∑树结构与更新最小生成树的并行算法

更新最小生成树问题,即已知图的最小生成树,当图的某条边的赋值被改变,如何快速有效的求新出的最小生成树.本文引进了∑-树结构,并以此获得了一个快速有效的更新最小生成树的并行算法,并行时间为O(logn),处理器个数为O(n~(4/(?)),计算模型为CREW-PRAM.其中n 为图的顶点个数,而且,进行预处理所需的时问也只需O(log~2n),处理器个数为O(n~(?)),存贮数据所需的空间为O(n~(?)).     

一种新的动态批密钥更新算法

针对传统单次密钥更新方法存在低效、资源浪费、数据和密钥不同步等问题,提出了一种基于密钥树的批密钥更新算法.通过2种方法保持密钥树的平衡:利用加入节点替代离开节点的位置来保持树的结构不变;搜索密钥树中高度最低的节点,然后根据该节点的类型及剩余的可加入节点数,将适量的节点加入到高度最低节点的位置.同时,对服务器的更新开销进行了理论分析,建立了用于计算开销的精确数学模型.仿真实验表明,与单次密钥更新方法相比,所提算法可以将更新开销减少74.6%,显著提高更新效率,并适合于大型动态群组的应用.     

一类图的亏格嵌入

在联树模型的基础上,把图在曲面上的嵌入用其联树,也即其关联曲面来表示。然后通过对关联曲面进行分类,建立递推关系式,进而得到了一类异于目前已知嵌入分布的新图类的可定向嵌入分布。     

基于LINGO的最小支撑树问题的模型与解法

研究了图与网络领域中的一类经典问题——最小支撑树问题,分析其现有算法的不足,通过引入0-1变量和辅助变量,根据最小支撑树的本质属性,从两个角度建立了最小支撑树问题的整数规划模型,编写了与模型相对应的LINGO程序.实证分析验证了模型的正确性,比较了两种建模模式的优劣.     

面向复杂产品交互虚拟装配操作的并行碰撞检测算法

运动对象间碰撞检测是交互式虚拟装配的一个基本问题,提出一种虚拟环境中运动对象间的并行化碰撞检测方法.该方法使用一种并行的、基于区域分割和快速相交校验排序的分解算法来包围盒层次模型,检测计算时依据用户的操作动态决定碰撞检测对以减少检测计算量,同时基于微机和局域网的并行方法来计算模型间碰撞,两个模型间碰撞检测时使用包围盒层次树动态更新方法.随后,以某型汽车底盘虚拟装配时的实时碰撞检测来验证算法性能.结果表明,该方法可以快速建立包围盒层次树模型,并可在交互操作中完成给定精度的实时碰撞检测.     

独立全局约束的Web服务组合模型的验证与分析

利用Petri网的分析方法对独立全局约束服务组合模型的正确性和可靠性进行科学的验证.首先根据该模型中约束条件的特点,对变迁t的发生规则改进后利用可达树的方法来验证模型的正确性.然后通过构造服务组合的可靠性验证图来检验模型的可靠性,最后通过一个实例分析了具体的验证过程,并说明该方法是可行的.     

线材出钢速度测量的可视化建模

采用面向对象的方法,在定义概念模型、热检状态图和热检类图的基础上,提出了建立线材轧制过程模型的方法.通过轧制过程模型的结构及工作原理,说明系统数据更新的实现,从而可测量实时出钢速度.     

区域管制员认知过程风险分析方法研究

空中交通管理系统是一个典型的高交互、高分布式和具备联合认知特性的复杂系统。在总结区域管制员日常工作任务基础上,考虑流程中的消息和协作模式,采用UML活动图刻画认知过程中各个活动之间的逻辑关系,提出利用BPMN语言的规范性,建立区域管制员"确定/更新MP"任务模型,结合事件树分析方法拓展BPMN模型,实现风险定量分析。结果表明,此方法通过对管制员认知过程的跟踪和训练,根据计算得出的风险值可以确定流程中影响安全的薄弱环节,为空管风险识别与分析提供支持。     

基于场景模型的双目相机动态检校方法

提出了一种基于场景模型的双目相机内、外方位元素的动态检校方法.初始检校过程构建了场景全局三维模型并以此为基础分别初步解算内、外方位元素,然后进行联合优化;更新检校过程利用已建立的场景模型,恢复场景模型与影像的关联,再通过联合优化更新相机的检校参数.实际场景实验验证结果表明:该方法的检校完整度优于基于即时定位和地图构建(SLAM)的检校方法,精度优于传统棋盘格检校方法.     

生灭分枝树连通分支的平均规模

基于随机图将生物繁衍过程描述为随机图过程-随机分枝树, 建立了依赖年龄的生灭分枝树模型, 并研究了分枝树的若干拓扑性质. 首先, 给出任意节点的首生年龄和末生年龄的分布及生产年龄的顺序统计量分布. 然后, 得到以年龄t 的节点为根节点的连通分支的平均规模.