基于模型检测的机载电子硬件验证方法研究

模型检测技术已广泛应用于计算机硬件、通信协议、控制系统等领域,在民用航空领域如何采用模型检测技术开展硬件符合性验证,成为设计及验证人员待解决的问题。文中介绍模型检测方法的验证机理,并提出使用该方法作为机载电子硬件的补充验证方案。以PCI总线状态机模块作为验证对象,开展模型检测补充验证,确定了状态机各状态转移路径的正确,说明了该方法的合理性。     

基于CAN总线的伺服电机控制系统设计

鉴于交流伺服电机系统参数繁琐、可操作性差、控制线路复杂、可靠性不高、实时性差等，提出了一种基于CANopen协议的CAN总线伺服电机驱动控制设计方法。CAN总线接口技术用于构建硬件平台，CANopen协议栈程序和电机控制程序在CCS 软件开发环境中实现，并利用PC上位机监控。实验结果表明，交流伺服驱动器采用CAN总线与PC上位机通信，控制简便，实时效果好，数据传输速度快。     

微型晶体谐振器预封定位装置动作时序优化研究

针对微型晶体谐振器预封定位装置结构复杂、动作时序难以规划的问题,对微型晶体谐振器预封定位装置的动作时序,及其有限状态机模型仿真优化进行了研究。基于预封定位装置的结构,结合工艺流程要求,分析了预封定位装置各执行元件的动作、动作顺序与位置,提出了预封定位装置的性能指标;以预封定位装置传感器的状态参数和执行元件的位置为依据,设计了其动作时序;基于有限状态机理论,利用Simulink/Stateflow建立了预封定位装置的动作时序模型;依据模型仿真结果,对预封定位装置动作时序进行了优化,确定了最终动作时序;利用样机试验对预封定位装置动作时序进行了验证。研究结果表明:优化后的动作时序满足预封定位装置性能指标要求。     

奥地利微电子推出光学传感器,集成非接触式手势检测及电子商务功能

奥地利微电子公司日前发布新的智能传感器系列,集成包括手势检测和Mobeam条形码仿真技术在内的六大传感器功能。TMG399x产品系列非常适用于智能手机、平板电脑以及当今市面上许多其他消费类电子产品的非接触式手势控制和显示屏管理。奥地利微电子开发的手势检测功     

软件工程在电梯控制系统中的实现方法

将软件工程的方法应用到电梯控制系统中．使电梯控制系统具备可观察性．可控制性和可测试性，从而提高电梯控制系统的稳定性和可靠性。     

基于Petri 网的虚拟维修过程建模

针对维修过程中复杂的活动关系,提出一种基于状态机Petri网的虚拟维修过程建模方法。对维修过程中的约束关系进行描述分析,建立了维修过程逻辑网模型,表达出整个维修操作过程,并结合示例验证模型的合理性。该方法解决了装备复杂维修过程的建模问题,可为实际维修提供技术支持。     

基于FPGA的PCI接口简化设计

本文介绍了一种简单、灵活、占用资源少、基于FPGA实现PCI总线的接口设计技术.本文还分析了接口内部实现结构,给出了PCI总线配置空间的设计以及目标状态机的实现.模式设计在Altera Quartus Ⅱ环境下通过Verilog HDL源程序进行仿真,并下载到Altera公司生产的EP1K30内,效果令人满意.     

基于人工神经网络与有限状态机的变电站告警处理系统

结合人工神经网络(Artificial Neural Network,ANN)和有限状态机(Finite State Machine,FSM),对变电站告警信息进行处理。首先构建ANN权矩阵模型和学习算法,通过对历史数据库的学习获取各种事故和异常状态的逻辑推理和知识表达;进一步地,设计FSM模型实现信号的排查和告警过程记录;最后形成告警原因分析和结果处理的综合分析结果。通过实际电网案例对所提算法进行验证,结果证明该方法对于电力系统通用故障告警判断具有快速、容错和学习能力强等特点,对应用于大规模电力系统的在线故障诊断问题的解决具有重要意义。     

基于有限状态机的煤矿辅助运输转载自动化控制研究

为实现辅助运输过程中转载容器装载和转载工作的少人化、智能化,提出一种采用煤矿辅助运输转载机器人实现容器自动化转载的控制方案。概述煤矿辅助运输转载机器人组成及工作原理,分析机器人转载过程,确定了辅助运输转载自动化需要对单轨吊车、转载机械臂、平板车、锁具的工作时序进行控制,在MATLAB中建立系统状态机,将单轨吊车、转载机械臂、平板车、锁具作为子系统,系统状态机根据用户指令结合当前各子系统的状态,协同控制各个子系统的工作时间和顺序,保证了煤矿辅助运输转载的安全进行;最后在ROS中建立辅助运输转载仿真环境,通过系统状态机控制机械臂进行多次抓取实验,实验结果表明转载容器在20次不同位置抓取实验中,抓取成功率均在80%以上。