基于组合度量的应急救援网络路由算法研究

针对AODV协议只选用跳数最小进行选路的缺陷,提出一种新的基于组合量度的路由协议(AMAODV)。该协议综合考虑路由的跳数、节点间链路的有效期和可用带宽3种因素,通过层次分析的方法判定上述3种因素对链路传输的影响,提出了组合度量函数,借助组合度量函数的计算来选择一条具有较小度量值的路径进行传输。仿真结果表明:AMAODV协议在适应高速移动的网络环境上具有一定优势,并能降低网络时延和增加网络吞吐量。     

钢结构空间网架BIM仿真建模技术研究

针对BIM技术发展现状,结合现有钢结构空间网架建模技术的优缺点,提出关于空间网架仿真建模的概念,实现钢结构空间网架BIM仿真建模。通过创建空间网架Revit标准构件库,并引用Revit API类库在Revit平台上进行二次开发,完成钢结构空间网架的建模。同时,针对MSTCAD数据接口文件进行开发,实现自动化建模。通过Revit参数化建模与Revit二次开发的结合,创新出Revit下钢结构空间网架BIM仿真建模的方法,为今后钢结构空间网架在Revit平台下的建模提供便利。     

某两自由度弹药提升装置的建模、实验及仿真研究

弹药自动装填系统的研究已经成为火炮武器平台中机械系统设计的关键和难点,基于一种两自由度弹药提升装置,并根据该装置的工作原理构造数学模型,搭建实验平台,建立PID控制回路,同时创建该模型的虚拟样机模型,使用动力学仿真软件Recurdyn和Matlab/Simulink进行联合仿真,并通过实验与仿真的数据进行对比,验证该装置的可行性和所采用控制的有效性。     

吹瓶模具制造企业面向负荷均衡的订单预投决策方法

针对吹瓶模具制造企业因订单到达的随机性、模具类别的差异性导致各生产车间负荷均衡性差、资源利用率低的问题,采用预投订单方式来均衡各生产车间的负荷。基于吹瓶模具制造企业的生产计划体系,设计了一套针对吹瓶模具制造企业的预投订单的决策模型。实践表明,在吹瓶模具制造企业,采用预投订单能很好地均衡负荷、平衡产能以及提高各加工设备的利用率,提高订单准时交货率,降低企业的生产成本。     

电子护照及其验证系统研究在边防检查工作中的应用

出入境边防检查是保障国家安全,维护国家正常出入境秩序的一项国家行为。电子护照的推广使用,给出入境边防检查工作带来了便利也引发了一系列新问题,因此,研究电子护照及其验证系统在边防检查工作中的应用显得极为重要,该研究将影响出入境检查工作的有效运行,对进一步维护出入境管理秩序和口岸安全稳定均有积极的指导意义。     

真空开关触头结构形式对磁感应强度和电磁力的影响

笔者采用仿真计算的方法,对不同结构形式的横磁触头磁感应强度和电磁力进行了分析,得出了触头结构形式对磁感应强度和电磁力的影响规律。16匝横磁触头结构的最大磁感应强度值(49.21 m T)最小,4匝横磁触头结构的最大磁感应强度值(63.86 m T)居中,螺旋槽横磁触头结构的最大磁感应强度值(74.54 m T)最大。16匝横磁触头结构电弧模型的电磁力(0.042 1 N)最小,4匝横磁触头结构电弧模型的电磁力(0.063 6 N)居中,螺旋槽横磁触头结构电弧模型的电磁力(0.117 6 N)最大。     

煤矿区生态塌陷风险远程监测与实时报警系统设计

传统系统采用定点式有线监控,受限于传输线路影响,导致煤矿区生态塌陷风险监测效率较低,为了避免人们生命安全受到威胁,设计远程监测与实时报警系统。在协同环境下分析不同层次关系,设计总体结构,为系统报警提供正确决策支持。采用TQ2440开发板设计的LCD液晶显示接口电路具有25针2.0 mm和20针0.5 mm两种接口,能够接各种单色和彩色液晶屏。采用TLP521-3型号芯片作为信息采集器的主要芯片,可通过按钮连接信息通道,为监测装置提供数据。采用SIM900A型号的监测装置可通过UART端口发送监测指令,使用敏感重力加速度计求解地势信息,获取塌陷风险最大值,根据监控风险报警实施流程完成系统设计。由实验对比结果可知,该系统风险报警预测与实际报警误差保持在-0.01～0.03范围内,具有精准监测与报警效果,为煤矿区人们生命安全提供保障。     

嵌入式实时操作系统内核混合代码的自动化验证框架

"如何构造高可信的软件系统"已成为学术界和工业界的研究热点.操作系统内核作为软件系统的基础组件，它的安全可靠是构造高可信软件系统的重要环节.为了确保操作系统内核的安全可靠，将形式化方法引入到操作系统内核验证中，提出了一个自动化验证操作系统内核的框架.该验证框架包括：（1）分别对C语言程序和混合语言程序（C语言和汇编语言）进行验证；（2）在混合语言程序验证中，为汇编程序建立抽象模型，并将C语言程序和抽象模型粘合形成基于C语言验证工具可接收的验证模型；（3）从规范中提取性质，基于该自动验证工具，对性质完成自动验证；（4）该框架不限于特定的硬件架构.成功地运用该验证框架对两种不同硬件平台的嵌入式实时操作系统内核μC/OS-II进行了验证.结果显示：利用该框架在对两个不同的硬件平台上内核验证时，框架的可重复利用率很高，高达到88%，虽然其抽象模型需要根据不同的硬件平台进行重构.在对基于这两种平台的操作系统内核验证中，分别发现了10~12处缺陷.其中，在ARM平台上两处与硬件相关的问题被发现.实验表明，该方法对不同硬件平台的同一个操作系统分析验证具有一定的通用性.