基于XML的安全协议形式化描述方法

针对安全协议的设计与分析复杂且容易出错的问题,文章为编写一个自动验证工具提出一种基于XML(eXtensible Markup Language)语言的时间相关安全协议形式化描述方法。该方法将安全协议用树状结构表示,用XML语言进行描述,为简化安全协议的形式化分析提供了帮助。     

静电放电抗扰度试验中辐射场若干特性的试验研究

国际标准IEc61000-4—2中对静电放电抗扰度试验方法和试验布局进行了规定,但是对间接静电放电（ESD）产生的辐射场没有进行描述。根据标准IEc61000—4—2,首先对水平耦合板和垂直耦合板放电时垂直耦合板上的场分布进行了分析,然后对几种医疗设备进行静电放电抗扰度试验。试验得出：1）对两种耦合板放电时,水平耦合板上电场强度和磁场强度随测试距离的变化趋势不同;2）试验结果对ESD模拟器的种类有着依赖关系。这些结果为研究电子设备静电放电抗扰度试验新方法、新标准和新的试验平台及诊断评估方法提供了参考依据。     

模糊时滞系统控制器依赖于状态时滞的H∞控制

针对一类非线性时滞系统,研究了该系统基于T—S模糊模型的H∞控制器设计问题。采用线性矩阵不等式LMI的方法,设计一个依赖于状态时滞的模糊控制器,得到了系统存在模糊控制器的充分条件,此充分条件等价于一类线性矩阵不等式的可解性,最后通过仿真说明了控制器的有效性。     

一种基于辅助交互的手抓握动作生成方法

针对沉浸式、非沉浸式和混合式虚拟维修系统中,维修动作交互过程繁琐、实现效果不佳的问题,提出一种高效的辅助交互方法,首先基于现有的维修动作规则和用户对维修任务的理解,建立了用户辅助信息接口和系统反馈辅助信息接口,前者由用户提供抓取目标、抓取手形和抓握点等辅助信息加速交互过程,系统通过后者反馈辅助信息帮助用户进一步决策,然后应用增广矩阵方法对经典逆向运动学算法进行扩展并生成具体的维修动作,最后应用该方法实现了装备车辆轮胎更换任务中维修动作的生成,维修动作交互过程的鲁棒性和效率得到显著提高。     

基于Statemate的C~4ISR系统体系结构仿真

首先简要介绍了C4ISR系统体系结构,然后在基于Statemate的系统体系结构分析的基础上,结合防空系统实例给出了它的详细开发过程,为C4ISR系统体系结构的应用提供了初始原型。该项研究对C4ISR领域的系统仿真具有重要意义,值得进一步探讨。     

维汉双语教师专业技能适应性比较的实证研究——以新疆喀什地区泽普县为例

教师的专业知识是从事教育教学工作的前提条件。新疆的双语教师按民族可以分为汉族双语教师和维族双语教师两种,哪种教师的专业知识水平更高,更适合于实施双语教学？本文主要通过实证研究,并辅以哲学思考,对此问题进行分析,最后得出结论,并提出建议。     

战争设计工程中专家群体研讨组织研究

通过对产生战争复杂性原因的分析,对战争设计工程提出的专家群体集体研讨方法进行了研究;并重点对专家群体组成、在研讨中的作用与专家之间协作关系进行了阐述。为对抗由战争复杂性引起的诸多战争问题,提供了一种切实可行的研究方法。     

捷联寻北仪抗环境干扰的研究

捷联寻北仪在使用中会受到各种环境干扰的影响,从而削弱有用信号,降低寻北精度。研究了一种测量角速度干扰的方法。首先,定义一个虚拟的数学平台;然后,利用加速度计输出和陀螺仪输出积分计算得到实时姿态角相比较,并采用P I控制器进行反馈控制将数学平台调平;从而把角速度干扰从陀螺输出信号中测量出来。该方法简单实用,能显著提高寻北仪抗环境干扰的能力。     

基于Matlab/Simulink的三轴随动跟踪平台仿真

在分析三轴随动跟踪平台控制原理和算法设计的基础上,运用Matlab/simulink仿真工具对其建立数字仿真模型。通过调节仿真模型系统参数,探索出具有精确指向的最优系统参数,以指导跟踪平台的设计与调试,优化和改善随动平台的跟踪性能。最后给出了仿真模型和随动平台在静态精度和动态精度方面的比较结果。仿真计算和实际应用结果表明,精度基本一致,验证了数字仿真模型建立的可行性和有效性。     

一种有效的红外图像融合算法

给出了一种基于átrous算法红外与可见光图像融合算法,该算法主要针对光谱差异较大以及配准精度较低的这类图像的融合算法。该算法首先对融合图像源进行átrous算法分解;随后,对分解的低频信息利用取加权法进行融合;高频信息首先利用边缘检测技术对不同尺度不同方向的高频信息进行边缘点的加强,然后以区域的空间频率为度量标准得到新的高频系数;最后进行átrous算法重构得到最终的融合图像。通过两组红外和可见光图像的融合实验,结果表明该方法能有效地突出边缘细节,提高图像分辨效果和人眼对场景目标的发现和识别概率。