一种面向语义Web服务的语义程序变换方法

语义程序变换是面向语义Web服务的软件设计方法的基础,语义程序只有通过程序变换后才能被运行环境执行和调用,然而目前还缺乏有效的语义程序变换方法。针对这一问题,基于语义编程语言SPL,提出了一种面向语义Web服务的语义程序变换方法。该方法通过对语义数据类型、语义规则、语义服务和语义流程等语义信息的有效变换,不仅提高了面向服务的程序设计的灵活性和健壮性,而且有助于提高业务流程的柔性和重用性。     

一种新的无陀螺惯性测量组合标定方法

无陀螺惯性测量组合在角速率解算过程中不仅需要知道加速度计标定因数、零偏及实际安装方向向量,还需要准确获取加速度计的实际安装位置.针对上述特点,以加速度计输出模型为基础,提出并建立了一种广泛适用于各种无陀螺惯性测量组合的标定方法.该方法经转台位置和速率实验验证可以准确得到加速度计标度因数、零偏及安装误差,进一步提高了载体线加速度和角速率解算精度,从而为后续的姿态解算奠定基础.     

浅谈机械专业AutoCAD课程的教学

为提高机械专业AutoCAD课程教学质量,主要从教师自身角度,教学环节、教学内容与教学媒体、教学方法与手段等方面进行阐述。     

航空相机操纵器仿真系统研究

航空相机操纵器是安装在飞机上对航空相机进行控制的仪器,其仿真系统可用于模拟控制航空相机的地面拍照、航空相机性能测试及相关设备性能的研究。文中在介绍航空相机操纵器系统功能的基础上,针对航空相机的拍照特点,在VisualC++环境下,建立了航空相机操纵器的仿真系统,并着重进行了硬件结构设计。通过对参数的装定、调焦和图像处理等大量实验,证明了该系统性能稳定,具有很强的抗干扰性,不仅缩短了研制周期,而且还降低了试验费用,节省了经费的投入。     

Matlab在辅助火箭飞行控制软件测试中的应用

介绍了Matlab在软件测试中的应用.通过仿真设计,针对控制系统稳定设计线形控制、非线性控制的特点,提供在阶跃信号和斜坡信号输入下,被测飞行控制软件输出的理论判断依据,提高软件测试的效率,降低测试成本.     

基于HCM的可扩展路由器体系结构MER

本文提出了基于层次化协同模型的多维可扩展路由器MER。参考Open Router路由器模型,利用层次化协同模型实现了独立于数据层的控制平台CSP,奠定了开放控制的基础;基于功能插件和抽象插件构造了基于插件的路由器抽象层PRA,分离了控制与转发平面,支持路由器转发平面功能的动态扩展;并举例说明了MER中高效的网络应用控制路由选择机制,体现了直接控制原理,有助于设计更为复杂的控制策略。模拟结果表明,MER具有良好的扩展性,支持网络应用直接控制,为控制平面智能化奠定基础。     

虚拟煤矿事故救援训练系统设计与实现

针对煤矿事故救援训练时高成本、耗时长、缺乏灵活性、不能适应复杂的变化、存在危险的问题,提出了一个将训练过程以游戏的方式进行的虚拟煤矿事故救援训练系统设计方案。分析了该系统的总体结构,阐述了该系统各模块的功能。并结合实际开发经验,就三维建模、粒子系统、碰撞检测等技术进行了探讨。     

时延Petri网模拟能力研究

Petri网是一个功能强大的建模工具,然而原型Petri网的模拟能力有限,而对原型Petri网的扩充可以提高其模拟能力.时延Petri网是一种重要的含时间因素的Petri网,已广泛应用于并发系统的建模,所以对时延Petri网的模拟能力的研究就非常必要.本文首先说明时延Petri网能够满足零检验理论,然后通过模拟随机存取机来证明时延Petri网具有与图灵机相等的模拟能力.而后用时延Petri网实现对计算机经典问题的建模.     

基于网络拓扑优化的WSN最小跳路由算法

以节能为主要目标,基于最小跳路由的思想提出一种基于网络拓扑优化的WSN最小跳路由算法——MH-TO算法。该算法采用折半匹配的功率调整策略对网络拓扑进行优化,并引入“塔模型”实现节点的最小跳信息的学习,使得信息包路由时沿着最小跳的路径向sink节点传送。理论分析和仿真实验结果表明,与基于最小跳数场的自组织路由算法相比,该算法能够降低能量消耗并均衡能量负载,从而显著延长网络的生存期。     

农产品成本数据库管理系统关键技术的实现

结合农产品成本数据库管理系统开发实例,对其中的框架页折叠、目录条件收放及动态统计图设计几个关键技术进行研究,并给出相应的主要实现代码。