无线自组网竞争类MAC协议分析及研究

无线自组织网络是一种无基础设施的移动网络,并且每个节点的业务多以突发业务为主,因此信道资源分配适用于采用竞争方式。本文在对无线自组网各种典型竞争类MAC协议进行分析及探讨的基础上,采用Opnet仿真建模环境,创建出各协议的状态分析模型,并在此基础上对各协议的性能优劣进行了比较总结。论文对无线自组网各协议仿真建模研究及选择高效适用的MAC技术方案具有实际参考价值。     

基于Web服务的教师请假短信平台构建

手机的普及为建立基于短信的信息化系统创造了条件.针对高校多校区运行教师请假不便的问题,介绍了利用手机开展信息系统业务的主要模式,分析了Web服务技术,提出了基于Web服务的短信请假原理图和请假流程.研究了短信的发送、接收和平台Web服务化3个关键技术,给出了实证结果.该请假系统为高校信息化、无纸化、科学化管理提供了一种...     

Design and Implementation of Simulation Environment for HLA-Compliant Torpedo Weapon System

A novel scheme for HLA（high level architecture）-compliant reconfigurable open architecture for the torpedo weapon system simulation is proposed.In addition,a kind of applied software framework for federate members based on the reusable software is put forward.The automation of time management strategy drafting and publish-subscribe declaration,and the consistent interface between RTI（run-time infrastructure） and simulation models are solved effectively.Furthermore,in order to simulate the fluctuant seabed,twinkle light spots,air bubbles,muddy effect,etc,an extended module,called as Underwater Space Vega,is developed.Finally,a distributed interactive simulation environment for underwater vehicles is set up with the aid of the software pRTI1.3.The preliminary experiment results indicate that this system friendly features GUI,reusable models and competence for real-time simulation.     

基于GPS卫星模拟器的AUV辅助导航半实物仿真系统开发

全球卫星定位系统(GPS)应用于远程自主水下航行器导航系统中,可利用其精密导航和定位能力对航位推算导航系统如惯导和多普勒导航的累积误差进行精密校正.本文设计一种采用GPS卫星定位导航模拟器、GPS接收机和仿真计算机构成的卫星导航仿真系统,旨在用于自主水下航行器AUV辅助导航系统的试验验证.文中对该系统的硬件接口设计和软件开发进行了论述,并进行了部分系统测试评估.测试结果表明,该卫星导航仿真平台工作可靠,最终的设计方案可用于AUV导航与控制半实物仿真系统中.     

基于STAGE的水下战仿真系统研究

文中首先阐述了STAGE软件的框架结构和功能,构建了水下战系统的结构, 最后实现了某典型作战想定下潜-舰对抗作战仿真系统的可视化演示.     

体目标条件下的鱼雷攻击效果评估仿真方法研究

为了进行精确制导仿真,文中将目标体视为椭球体的几何体目标,建立了鱼雷攻击目标的脱靶量和命中角等命中要素的计算模型,并采用蒙特卡罗法进行统计仿真试验,得到命中概率、脱靶量均值、均方差、置信区间等统计结果.本方法对于提高鱼雷攻击效果的仿真统计精度具有应用价值.     

视景仿真的关键技术

针对视景仿真开发中的几个常见问题，提出了解决方案。包括：利用回调函数将OpencL代码嵌入到Vega应用程序中，实现Vega中未能提供的图形功能；分析了视景坐标系与模型坐标系之间的对应转换关系，给出两种常用的转换公式；概述了通用视点方式的设计方法，通过开发自定义运动模式实现了以输入设备控制视点的方法。     

分布交互环境下的视景系统研究与开发

分析比较了几种常用视景开发工具在分布交互环境下的特点，指出采用MultiGen Creator和Vega进行分布交互环境下的视景仿真系统的开发是一条简单快捷的途径。讨论了分布交互环境下对视景系统的要求，及其所要解决的关键技术。采用MultiGen Creator、Vega以及VR—Link开发出了基于HLA的水下航行器分布交互环境下的视景演示系统，实现了基于Vega的视景仿真系统和HLA系统的互连。     

基于时态逻辑的形式化联邦校核方法

提出了一种基于时态逻辑的形式化联邦校核方法，采用时态逻辑公式描述联邦各成员的行为逻辑关系，推导出与该时态逻辑公式对应的有限自动机模型，即规范自动机。同时，建立联邦全局行为的状态转移图，即实现自动机，通过检验规范自动机所接受的语言是否包含实现自动机所接受的语言来判断联邦运行时各成员的状态变化是否满足规范要求，达到校核联邦的目的。该方法可用来校核联邦及其成员的交互设计和逻辑行为运行的正确性和逻辑性，具有理论意义和应用价值。