知识库系统中语义网知识的表示

基于对知识库系统中知识表示的理解,提出了在语义网环境下知识库系统的建立和相应的知识表示,并将此扩展到语义网中整个的知识表示系统。     

基于彩色图像边缘差分的运动目标检测算法

针对目前常用的运动目标提取易受到噪声影响、易出现阴影和误检漏检等情况,提出了一种基于Sobel算子的彩色边缘图像检测和帧差分相结合的检测方法。首先用Sobel算子提取视频流中连续4帧图像的彩色边缘图像,然后将边缘图像进行隔帧差分相与,提取出较精确的运动目标边缘轮廓。提取的轮廓经过一系列的形态学操作填充,可得到完整的运动目标。实验结果表明,该方法对运动目标边缘轮廓提取准确,抗噪能力强,且鲁棒性好。     

新型高能量密度化合物NAPTDO性能的理论研究

新设计一种高能量密度化合物3-硝基氧化偶氮基-4-硝氨基吡嗪并-4’,6’-二氧化-1’,2’,3’,4’-四嗪（简称NAPTDO）。采用B3LYP法,在6-31G**基组水平上对其结构进行了优化,计算了其性能,得其稳定的几何构型;在振动分析的基础上求得体系的振动频率、IR谱,采用Monte-Carlo法计算了密度,利用Polizer等推导的固相生成焓预估公式估算了生成焓,使用Kamlet-Jacobs公式和VLW方程预估了爆轰性能。结果表明:NAPTDO由四嗪环并吡嗪环构成,2个环几乎在同一个平面内,形成离域大π键,硝基氧化偶氮基与吡嗪环呈一定夹角,且硝基不稳定,易脱落;NAPTDO预估性能与HMX和CL-20相比较,其密度(2.002g·cm^-3)、爆速(9569 m·s^-1)和爆压（50.18 GPa）均高于HMX,略高（或基本相当）于CL-20。     

分布式装备保障信息应用集成框架研究与应用

为适应信息化战争的需要,信息系统被应用到各类装备保障领域以提高信息化水平.但是从装备保障的宏观角度来看,装备保障信息被封闭在相互独立而且分布的系统中,造成一个个信息孤岛,这就要求对装备保障信息进行应用集成.针对传统集成框架在实际应用集成中的不足,分析了对.NET平台以及Web服务在分布式异构环境中应用集成实现的可行性,构建了一种具有自身特点的分布式装备保障信息应用集成框架.该框架可以充分利用现有信息资源,以较少的代价摆脱信息化建设中信息孤岛和数据利用率不高的困境,解决方案具有较为普遍的适用性.     

二维彩色图像的蜡笔画风格实现

提出了一种基于2D图像的蜡笔画风格自动生成算法,通过分析真实蜡笔画纹理的结构特征和艺术特点,抽象出蜡笔画的简单模型,探索地利用了噪声纹理方法,结合图像自身轮廓信息,分别完成了图像色彩区域和轮廓区域的蜡笔画风格渲染,并在YIQ颜色空间运用FLIC算法生成了笔触的走势纹理,使最终产生的结果非常相似于手绘效果,从而实现了计算机辅助生成蜡笔画风格的目的。     

Orientationability analyses of a special class of the Stewart–Gough parallel manipulators using the unit quaternion representation

This paper addresses the orientation-singularity and orientationability analyses of a special class of the Stewart–Gough parallel manipulators whose moving and base platforms are two similar semi-symmetrical hexagons. Employing a unit quaternion to represent the orientation of the moving platform, an analytical expression representing the singularity locus of this class of parallel manipulators in a six-dimensional Cartesian space is obtained. It shows that for a given orientation, the position-singularity locus is a cubic polynomial expression in the moving platform position parameters, and for a given position, the orientation-singularity locus is an analytical expression but not a polynomial directly with respect to the mobile platform orientation parameters. Further inspection shows that for the special class of parallel manipulators, there must exist a nonsingular orientation void in the orientation space around the orientation origin for each position in the position-workspace. Therefore, a new performance index referred to as orientationability is introduced to describe the orientation capability of the special class of manipulators at a given position. A discretization algorithm is proposed for the computation of the orientationability of the special class of manipulators. Moreover, effects of the design parameters and position parameters on the orientationability are investigated in details. Based on the orientationability performance index, another novel performance index referred to as practical orientationability is presented which represents the practical orientation capability of the manipulator at a given position. The practical orientationability not only can satisfy all the kinematic demands and constraints of such class of manipulators, but also can guarantee that the manipulator is nonsingular.     

结合SURF算子和极线约束的柑橘立体图像对匹配

提出一种结合SURF算子和极线约束的立体匹配方法。对采集的双目视觉柑橘图像进行R-B分量的计算,在该分量上,采用快速hessian检测子进行特征点检测,并使用SURF描述子对检测到的特征点进行64维的特征描述。采用欧式距离和极线约束进行特征点匹配。实验表明,该方法对一幅图像对的平均处理时间为293ms,在果实被遮挡或光线变化的情况下均能较好地进行特征点提取和匹配。该方法为后续的深度信息计算提供了基础。     

无线传感器网络路由协议的安全性分析与研究

传感器网络集成了传感器、计算机和网络三大技术,是一种全新的信息获取和处理技术。目前,针对不同的应用以及网络结构,提出了很多路由协议,但是绝大部分的协议都不是以安全为目标而设计的,因而都是不安全的。该文首先简单的介绍了无线传感器网络,然后提出了无线传感器网络路由的安全目标和设计原则,总结了针对目前各种路由协议的攻击方法,最后分类列出常见的各种路由协议,并有针对性的介绍了几种路由协议,包括DirectedDiffusion,LEACH,以及GEAR等,并且分析了他们的安全性。     

不规则网络的数学模型实现

基于Duato的新方法论把无死锁路由算法与全适应路由算法联合起来,把每一个物理通道与V个虚拟通道相对应,避免网络中消息传递时发生等待死锁,从而使消息等待时间最小。计算每个消息的平均等待时间,再汇总计算所有消息的平均等待时间,从而使建立的数学模型在估算网络性能时有很高的准确性。该模型提供了计算下一跳的地址的方法,实现了对网络性能的计算。     

基于符号化执行的Fuzzing测试方法

设计并实现一种基于符号化执行的Fuzzing测试方法。通过代码插装,在程序执行过程中收集路径约束条件,依据一定的路径遍历算法生成新路径约束条件并进行求解,构造可以引导程序向新路径执行的输入测试数据。提出一种改进的污点分析机制,对路径约束条件进行简化,提高了代码覆盖率和漏洞检测的效率。