超欧拉图判定方法的一个注记

通过对图的奇顶点的导出子图做研究,得到了由奇顶点的导出子图的性质判定图的超欧拉性的方法,即当图的奇顶点的导出子图满足一定性质时,可得出图的超欧拉性.     

基于着色petri网的安全协议验证方法

设计安全协议时,协议的安全性验证是消除安全协议脆弱性和不精确性的关键步骤,验证安全协议的模型和工具有很多．提出了一种基于着色petri网的安全协议验证方法．通过采用该方法对一个STS协议进行了分析,证明了这种方法的有效性,并根据分析结果给出了改进后的STS协议．     

超立方体三次幂的可区别数研究

根据d维超立方体p次幂结构特性,研究了其顶点间距离与海明距离的关系,给出了确定顶点坐标的充分必要条件,并对d维超立方体三次幂H3d的可区别数进行了研究.得到H3d可区别数的一个上界:D(H3d)≤5(d≥6).     

基于HTCPN的飞机维修保障资源配置方法

针对飞机基层级维修保障资源配置问题,提出了一种基于分层赋时着色Petri网(hierarchical timed colored Petri net, HTCPN)的维修保障资源配置方法。首先,根据飞机基层级维修保障工作内容及流程,运用CPN Tools软件,构建飞机维修保障全过程的HTCPN仿真模型,设计仿真时钟折算方法。其次,提出维修保障资源配置规则,建立基于飞机出动架次率的维修保障资源配置模型。最后,算例分析结果表明所提方法能够迅速、准确地完成飞机基层级维修保障资源配置。所提方法为科学制定飞机基层级维修保障配置方案提供了技术支撑,具有一定的工程应用价值。     

轮图与扇图的对策着色

讨论了图的二人对策着色和放松对策着色,给出了轮图与扇图的对策色数与放松对策色数.     

双目标进化算法求解图着色问题

根据图着色问题的特征,提出了求解图着色问题的双目标模型;设计的有效、简洁的杂交算子和变异算子,均直接产生可行的后代个体;理论分析表明算法以概率1收敛到问题的最优解集.对标准算例进行了仿真实验,结果表明,双目标进化算法可以获得问题高质量的解,即对图进行着色所使用的颜色接近图的色数.     

基于数据手套的逼真虚拟手的实现

在基于头盔、数据手套的虚拟现实系统中虚拟手的实现效果十分重要,传统的虚拟手模型将手掌和各手指分割为多个刚体,当虚拟手运动时在刚体连接处产生重叠或裂缝,严重影响了沉浸感。在此根据虚拟手的运动特点对其进行整体建模,并快捷地对数据手套采集的原始关节数据进行校正,在可编程图形硬件上利用顶点混合算法将校正后的数据作用于虚拟手模型来产生皮肤变形,在满足实时性的同时提供了逼真的视觉效果。最后还通过搭建实验系统验证了所述方法的可行性。     

DVE场景精简的NP-Hard问题及其近似算法

高效的网格精简算法对于大规模DVE场景的实时绘制与传输均十分重要.目前已经提出了大量关于网格精简方法[1],但绝大多数网格优化算法都是面向实际应用的.我们却从计算机科学理论的角度出发,对这一经典问题重新进行了深入研究.首先,我们发现网格精简是一个最优顶点覆盖问题,即NP-Hard问题.然后,我们又提出了一种基于贪心算法的用于网格精简的最优顶点覆盖问题的近似算法.理论推导与实验数据都说明本文所给出的近似算法有效地减少了DVE场景的网格数量,能进一步提高DvE场景数据的网络传输速度.     

基于GPU的加权Voronoi图计算

Voronoi图描述了一种对空间按照欧式距离进行的划分,是关于空间邻近关系的一种基础数据结构,在图像处理、城市规划以及地理信息系统等应用中有着重要的地位.顶点加权Voronoi图是Voronoi图的一种扩展,有着更为广泛的应用,但由于其实现的复杂性,相关算法一直比较少.为此,提出了一种基于GPU的加速算法.该算法利用GPU的高效计算特性,能够实时地生成离散的加权Voronoi图.与现有的算法相比,该方法易于实现,同时实验显示算法具有更好的计算性能.     

镁合金着色技术研究进展

镁是最轻的金属结构材料之一,长期以来只少量应用于航空航天等军事工业,被称为＂贵族金属＂,对镁合金进行研究和开发一直是科学家探讨的课题。本文主要讲述了传统的镁合金表面着色技术和微弧氧化着色技术原理,发展和存在的问题。