基于模糊证据理论的物联网节点评估方法研究

在物联网中,如何充分挖掘网络环境中节点之间的信任关系是识别网络环境中恶意节点的重要工作.针对现有节点评估方法不能有效应对节点恶意行为以致无法抵御网络内部攻击的问题,提出了一种基于模糊证据理论的物联网节点评估方法.首先,我们使用模糊集理论并添加各种置信度因子来计算网络节点的直接置信度,从而实现节点置信度等级的划分;然后由...     

含热电联合系统的微电网运行优化

为了提高微电网的经济运行水平,提出考虑分时电价并计及制热收益的微电网多目标能量调度模型,该模型以微网发电成本最低与环境效益最优为目标。首先,利用权重系数将多目标经济调度问题化成单目标优化问题。其次,针对遗传算法局部搜索能力差的问题,提出了天牛须搜索算法改善遗传算法的变异操作,利用自身对空间的判断,加强局部搜索能力,在此基础上将Metropolis接受准则加入天牛须搜索算法中,增加变异的概率。最后,以一个微电网为例,将改进的算法与标准遗传算法进行对比,验证了所改进的算法的全局最优解的搜索能力,使得微网获得更佳的综合效益,降低了系统经济运行成本。     

基于Monte-Carlo辐射模型的水下光场绘制技术研究

过去的几十年中人们提出许多处理光照及阴影的方法,但这些常规方法大都致力于生成空气介质中真实感的三维动画,而对传统的水下光场及光影的动态效果建模问题研究较少。给出一个水下光场及流动光影效果的计算机模型。该模型从海洋水体的光传输物理特性,然后根据该特性给出Monte-Carlo模型,通过研究风海波下光的干涉现象及漫射现象,建立水下光场的二三维可视化模型,基于改进的全局光照及辐射度模型实时计算出阴影的流动效果。此外,还给出了生成三维水下光场及动态光影的方法及相应的游戏动画图例。     

SAS角运动补偿仿真研究

合成孔径声呐是具有距离和方位二维高分辨特性的成像声呐,运动补偿是合成孔径声呐成像的一个重要环节.在分析了多子阵sAs阵元角运动基础上,给出了空间角运动引起的空变相位误差的补偿方法.补偿算法首先将宽测绘带回波数据在距离向分块,然后依照等效相位中心相对每个距离块中心线视线偏移对回波数据进行补偿.仿真结果表明补偿算法可有效补偿由多子阵空问角运动误引起的空变相位误差.     

基于组件的水面战视景仿真系统关键技术研究

为了更加生动逼真地体现水面战视景仿真中导弹发射、导弹命中、舰炮开火、雷达搜索、干扰弹展开等攻防对抗的细节,针对仿真系统设计、组件化建模、组件化模型驱动等关键技术进行深入研究。提出了多粒度建模与替代子模型法相结合的组件化建模方法,通过配置链表内存映射的方法对组件化模型进行动态加载。所设计的基于组件的水面战视景仿真系统作为某大型分布式水面战仿真系统一个联邦成员,通过HLA接口接收联邦中相应联邦成员如导弹、火炮、雷达、干扰系统等的数据,在三维视景中驱动组件化模型。

Abstract：

In order to reflect more vivid details of attack and defense of surface warfare scene simulation such as missile launch, missile hit, gun fire, radar search and decoy expand, several key technologies including system designing, component-based modeling, component-based model-driven were researched. A component-based modeling method was proposed which combined multi-granularity modeling and sub-model replace. This method could load component-based model dynamically by list configuring and memory mapping. The component-based surface warfare scene simulation system designed as a federate of a large distributed surface warfare simulation system federation could receive data of the corresponding federate such as missile, artillery, radar and jamming system, and then the component-based model in the 3D scene was driven.     

多机编队队形控制建模及可视化仿真系统设计

针对多机协同作战编队队形控制问题,给出了相应的军事概念模型,提出了基于几何约束的三角形、菱形、主从式等典型树形编队控制模型,并通过可视化仿真技术,构建了可用于制定试飞方案的可视化仿真验证环境。验证结果表明基于该编队队形控制的算法可用于简单的模拟飞行操作和战术对抗、验证飞机模型。

Abstract：

In order to control the form of multi-fighters cooperative combat in formation, the military notion model was introduced. Several typical tree form team models （triangle, lozenge and leader-follower） based on geometry constraint were proposed on multi-fighters flying in formation. Through researching VR technology, a visual simulation testing model platform was built for making a plan of flight-testing mission. The simulation results indicate that the arithmetic can be well used on simulating flight, anti-tactics and valuating the flight models.     

一种可定制三维图形仿真引擎体系结构研究

针对现有3D图形引擎中软件体系结构比较具体、内部模块之间耦合度大、系统排故困难、新技术新算法无法快速嵌入等问题,提出了一种可定制三维图形仿真引擎平台的体系结构。该体系结构从研究复杂仿真系统角度对复杂引擎平台系统的设计准则、扩展机制、仿真资源装配关系、典型模块开发及组件封装等仿真模型进行了描述。利用这些仿真模型,应用开发者可以明确设计思路,集成最新算法资源,灵活定制仿真装配组件,立足于仿真学科快速组建自己通用化的三维虚拟仿真引擎平台。     

PASCAL程序中FOR语句正确性验证

本文给出ｆｏｒ ｘ：－ａ ｔｏ ｂ ｄｏ ｓ语句正确性验证法则的推导，通过一实例说明这个法则的应用。类似地可给出ｆｏｒ ｘ：＝ｂ ｄｏｗｎｔｏ ａ ｄｏ ｓ语句正确性验证法则的推导。     

我国旧石器文化研究的拓荒者——纪念裴文中教授逝世三周年

裴文中教授是国内外知名的考古学家,是我国旧石器考古学的奠基人。他生前十分重视贵州省旧石器考古事业的发展,为此倾注了大量的心血。最后一次在国内出差是考察贵州普定穿洞,最后一次学术报告和最后一篇论文也都是在贵阳师范学院作的和在《贵阳师院学报》发表的。 1984年9月18日是裴文中老师逝世三周年,将他对旧石器考古事业的贡献加以扼要地介绍,表达我们的怀念。后学者将会从中得到启迪。解放以后,他以很高的政治热情,为发展新中国考古事业而辛勤地工作。在五十年