一种适用任意平面多边形的三角剖分算法

针对基于凹凸顶点判定的三角剖分算法适用范围有限的缺点 ,提出了将凹凸顶点判定与连接多边形内外边界相结合的适用任意平面多边形的三角剖分算法 GTP( General Triangulation of Polygons)。GTP计算速度快、适用范围广的良好特点已在应用中得到证实     

图C4t∪4t的调和标号

不连通图的标号问题是图论研究中的重要课题之一,本文首先给出了调和图的定义,然后证明了两个图C4t的并图C4t∪C4t是调和图。     

船体曲面的数学表达

本文利用计算几何的曲面理论,选择均匀双三次B-Spline曲面,对船体曲面进行了数学表达。根据曲面顶点反求研究的最新算法,文中推导出了已知型值点与均匀双三次B-Spline曲面控制网格顶点之间的数学关系式。只要已知船体曲面上的一些特定型值点,应用这一关系式,便可求出数学表达所需的曲面控制网格顶点的数值。这种方法简单易行,计算有效。     

浅析美军作战顶点思想的新发展

西方著名军事理论家克劳塞维茨说过:“大多数战略进攻只能进行到它的力量还足以进行防御以等待媾和的那个时刻为止。超过这一时刻就会发生剧变,就会遭到还击,这种还击的力量通常比进攻者的进攻力量大得多。”这个适情停止进攻的时刻,即为“进攻的顶点”。它是作战力量极限的标志,关系着攻防双方的根本利益,是攻防类型转化的分水岭。美军作战理论中,“顶点论”是非常重要的一个概念。美军1986年版《作战纲要》中指出:“任何进攻作战迟早都会达到这样一个时刻,攻方的力量不再超过守方的力量。或者攻方综合考虑战争因素,认为作战已达不到预定的…     

TSP及其操作语义模型研究

在有限状态进程(Finite State Process, FSP)和时间自动机(Timed Automata, TA)的基础上,提出了一种描述分布式实时系统(Distributed Real Time System, DRTS)行为的模型:时间状态进程(Timed StateProcess, TSP).TSP包括4个常量进程IDLE进程、SKIP进程、STOP进程和ERROR进程;以及前缀进程、超时进程、时钟复位进程、卫式条件进程、非确定性选择进程、数据(/消息/应答消息)发送进程、数据(/消息/应答消息)接收进程、组合进程和顺序进程.定义了TSP模型的结构化操作语义,以及TSP到时间标号迁移系统(Timed Labeled Transition System , TLTS)的转换规则.     

无人飞行器Ad Hoc网络中容错节点移动控制算法

针对无人飞行器Ad Hoc网络的容错设计需求,基于UAV节点的可控移动特性,提出了一种基于强化边启发的节点移动控制算法.首先采用文化基因算法对给定通信网络对应的拓扑图进行搜索,求解使图获取顶点2 -连通属性所需新增的最小成本强化边组合.以强化边为启发,将连接的节点移动到彼此通信范围内来实现强化边,同时以这些节点为leader,采用基于一致性算法的leader-follower控制算法移动其他关联节点,使变化后的网络为顶点2-连通,从而实现网络容错.仿真实验结果表明算法的可行性与有效性,节点总的移动距离少于用于对比的块移动算法和紧缩算法.     

一类新的优美树

Rosa 等人于1966年提出了著名的优美树猜想,即任何树都是优美图.该猜想至今没有得到证明或否定,仅有一些特殊树类被证明是优美图.通过构造路Pn=v0v1…vm的平衡标号f使f(v0)=k,其中k为任意不大于n的非负整数,且4k≠n,3n,进而给出一种新的优美树的构造方法,使已知的优美树大大增加.     

极区格网导航在大圆航行中的应用

为了克服因极区地理经线快速收敛而产生的惯导系统无法准确定位的难题,对极区格网导航在大圆航行中的应用进行了研究,提出将过大圆顶点的子午线作为格网北的极区格网导航方法,根据格网北进行了航向推算,分别对大圆顶点相对于大圆端点对称的特殊情况以及大圆顶点相对于大圆端点非对称的常规情况进行了航向推算,并分析了航向误差产生的原因。理论分析证明该方法能够为船舶高纬度航行提供准确的位置信息。     

P3，4m的优美性

设u、v是两个固定顶点,用b条内部互不相交且长度均为a的道路连接u、v所得到的图用Pa,b表示.Kathiresan证实P2r,2m-1(r,m均为任意正整数)是优美的,且猜想除了(a,b)=(2r+1,4s+2)外,所有的Pa,b都是优美的.杨元生已证实P2r+1,2m-1是优美的.本文证明P3,4m是优美图,从而当a=3时Kathiresan猜想成立.