路径条件驱动的混淆恶意代码检测

代码混淆是恶意代码隐藏自身的主要手段之一.本文提出了一种新的动态检测方法,能够有效检测混淆后的恶意代码.该方法能够利用ISR进行动态调试.在调试过程中通过对路径条件的约束求解,驱动恶意代码执行不同的路径更深入地检测隐藏恶意代码.此外,对于需要读取外部资源的恶意代码,恶意行为往往需要结合外部资源才能检测.本文方法能够准确定位外部资源并结合原始恶意代码进行检测,提高检测的准确性.在原型系统的测试中,与12种杀毒软件的横向测试表明,该方法在对混淆恶意代码检测中能有效地降低漏报率.     

基于Modbus协议的智能仪表自动检测系统

智能仪表广泛应用于配电监控系统,仪表自动检测系统是确保其安全可靠运行的重要保证。为解决传统检测系统效率低、易出错、操作步骤多等问题,采用Modbus-RTU总线协议,设计了一种软硬件结合的智能仪表调试与检验系统,将Modbus通信协议与32位微处理器STM32F103VBT6相结合,实现了仪表的功能测试与精度校准。测试结果表明,仪表检测系统运行稳定、可靠性好、使用方便,大大提高生产效率与产品质量,可在相关行业广泛推广。     

三类根式不等式的有理化与机器证明

研究了三类根式不等式的有理化与机器证明.首先给出了三类根式不等式成立的充分必要条件,即等价的有理不等式组.然后介绍了伴随多项式概念,并建立了一个算法Simplex M.Simplex M能够处理带有连结词∧(and)和∨(or)的多项式不等式组.最后给出了大量的应用实例,证实了这一方法的有效性.     

地铁列车网络控制系统逻辑在线监视软件的设计与实现

本文介绍了分布式列车电子控制系统,对地铁列车网络控制系统逻辑在线监视软件的设计和实现进行了详细论述.软件通过PLC(programmable logic controller,可编程逻辑控制器)控制引擎实现了对网络控制系统的图形化监视.该软件对列车整车调试、试运行状态监视、故障排查和故障分析提供了非常有效的帮助和便利,提高了地铁列车的运维水平.     

双舵轮自动导引车轨迹追踪控制算法

为提高双舵轮自动导引车(automated guided vehicle, AGV)轨迹跟踪控制性能,设计了基于模型预测控制的轨迹跟踪控制器。以双舵轮自动导引车为研究对象,首先建立自动导引车运动学模型,求得车体转弯半径,并重点分析双舵轮自动导引车转向优势;然后,对双舵轮导引车建立了基于模型预测控制的轨迹跟踪模型,并考虑车体运动性能指标及各类约束,最后通过仿真实验验证了模型预测控制算法用于双舵轮自动导引车的可行性,且分析了控制时域权重和预测时域长度两项模型参数对系统性能的影响;与基于比例-积分-微分轨迹跟踪控制器的自动导引车进行轨迹跟踪对比仿真实验。最终实验表明,采用该模型预测控制器可以满足各类约束条件,高效精准完成对连续大曲率目标路径的有效跟踪,同时具有较高的实时性和鲁棒性。     

火灾报警与自动灭火系统的调试

着重介绍了火灾报警与自动灭火系统调试的主要内容,包括线路测试、火灾报警与自动灭火设备的单体功能试验、系统的接地测试和整个系统的开通调试,     

基于DCT轻型越野车的牵引力特性仿真

提出双离合器式自动变速器(DCT)轻型越野车依靠调节发动机、轴间差速器和制动器的联合牵引力控制策略,分析了DCT传动的工作原理,建立了换挡过程的动力学数学模型.在Matlab/Simulink仿真软件平台的基础上,建立了DCT和机械式自动变速器(AMT)轻型越野车驱动动力学仿真模型,并利用仿真模型对车辆在低坡度分离路面和对接路面上的起步加速过程进行仿真.仿真结果表明,所提出的牵引力控制策略能够提高车辆在低附着系数路面上的牵引力,DCT车辆的牵引性能明显优于AMT车辆的牵引性能.     

基于MAS的集装箱自动化码头调度算法

为解决ZPMC集装箱自动化码头的设备调度问题,提出一种基于多智能体(MAS)协作的设备调度方法.自动化码头中的装卸设备被抽象为具有一系列动作和属性的设备智能体,估计各智能体完成任务所需的时间得到整个多智能体系统的时间代价矩阵,通过搜索此矩阵选择最佳路径来指导多智能体的协作.另外,还考虑了设备有通讯故障情况下的设备调度问题.仿真结果表明,基于MAS搜索的调度方法能够提高生产效率,又有很强的灵活性.     

无人机自动空中加油飞行控制技术

无人机在现代战争中扮演重要角色,广泛用于侦察、监视战区环境等任务,留空时间需求日益增长,为了增加航时而不返回基地加油,亟需开展无人机自动空中加油技术的研究,根据空中加油的特点,深入研究了空中加油自动飞行控制系统方案,提出了受油机分阶段姿态和位置控制策略,设计了满足自动空中加油控制要求、面向工程的多模态、高精度、高抗扰飞行控制律,并用粒子群算法进行了参数优化。此外利用Matlab/Simulink搭建仿真平台对空中加油阶段受油机扰动运动进行了仿真验证。仿真结果表明,该多模态控制律可以满足自动空中加油的任务要求,控制精度较高,受油机的抗干扰能力较强。     

计算机多阶段自适应测验的组卷方法

计算机多阶段自适应测验(MST)实施的关键是成功组建多个满足测验规范(即统计和非统计约束)的平行测验(或称测验面板),自动组卷(ATA)为实现测验平行提供了可能.现有的MST组卷方法研究主要包括以下几种:1)基于线性规范算法的组卷方法; 2)基于启发式算法的组卷方法; 3)基于蒙特卡洛算法的组卷方法; 4)基于在线组卷的方法.该文讨论这几种方法的优缺点并进行比较,同时指出未来可进一步改进这种方法并开发基于认知诊断测验的自动组卷方法.