一种航空电子控制器测试设备的设计与实现

针对某航空电子控制器产品需求,设计了一种多功能测试设备,详细描述了测试设备的总体设计,硬件设计和软件设计,并对其中关键技术进行了重点论述;测试设备采用了C#和ARM技术结合,利用基于组件的开发方法,合理划分组件,有效提高了测试设备通用性和重用性,缩短了产品的测试周期;该测试设备主要应用于某航空电子控制器的产品调试、环境应力试验、交付验收、故障排除;使用后证明,测试设备的软/硬件设计合理、自动化程度高、工作稳定可靠。     

基于ISA总线的同步通信控制器

在研究某型航空通信电台的控制协议、分析电台接口关系的基础上．介绍该电台控制特点、编码协议，并根据其控制关系．研制了以仿真总线为核。的控制器，该控制器采用基于ISA总线的硬件电路．产生符合电台控制特性的控制信号。给出控制器硬件电路和原理、软件结构和主要程序流程。     

基于单片机的机载电台控制器

分析了某机载短波电台的控制接口需求,根据其控制接口特点,提出了利用单片机为核心设计该机载短波电台检测控制器的研制方案,介绍了该检测控制器的硬件组成框图和软件程序流程;该控制器能够模拟某短波电台在机上的通电环境,实现对某短波电台的功能控制,解决了该电台脱离飞机环境后的检测问题;具有操作简便、性价比高、应用广泛等特点.     

某航空电台外场检测仪的设计

为提高航空电台在外场的保障效率,提出了研制航空电台外场检测仪的思路和方案;根据某航空电台的测试需求,构建了航空电台及其机上接口信号模型,利用PC104、PLL、矩阵开关网络等技术设计了航空电台外场检测仪的硬件电路,编制了软件流程和测试程序代码,完成了系统的设计与调试,实现了对某电台的主要性能指标及其机上接口信号的测试;应用结果表明,该检测仪功能强、性价比高、可扩展性强、使用方便、应用广泛,已推广应用到多个单位,取得了显著的军事经济效益。     

航空电台测试系统接地技术的探讨与实现

阐述了某航空电台测试系统的设备组成,分析了系统及其设备的信号接地特性,总结了测试系统的接地需求;依据电气设备的接地类型和应用原则,对测试系统的接地进行了分类;运用复合式的接地方法,以大地为"树干",以工作地、电源地、保护地为"树枝",设计了某航空电台测试系统的"树形"接地电路结构;应用结果表明,采用该接地电路有效地去除了干扰,保证了系统的操作安全性与工作稳定性;该树形结构的接地电路已广泛应用到其他设备的测试系统中,取得了较好的应用效果.     

基于ARINC629的层次化验证平台设计

结合约束随机、覆盖率驱动及断言等多种验证方法,对层次化验证平台的搭建方法进行了研究;以对ARINC629航空数据总线接口控制器的验证过程为例,介绍了基于System Verilog的层次化验证平台的搭建过程及其使用方法;根据验证后覆盖率报告,证明各项功能均已达到其设计需求,且实现率为100%;验证结果表明该平台和传统验证方法相比极大地提高了验证效率,平台的搭建方法和结构具有一定的通用性,更改其数据生成模块即可用于其他类似设计的验证。     

小型电台中的单片微机控制器

本文介绍的小型电台微机控制器是采用IntelMCS-48系列单片机8039,实现多种控制功能的。文中给出了控制器的硬件组成和实现多种控制功能的软件设计流程,并对软件设计作了简要的说明。     

航空通信电台控制卡的设计

机载航空通信系统中的通信电台在地面维修、检查与测试时，需要提供电台工作需要的控制信号，建立电台的工作环境。在对机载航空通信系统控制关系和控制逻辑研究的基础上，采用ISA总线，研制出符合通信控制系统控制协议的控制卡，利用控制卡和控制软件，给出符合航空电台工作的串行控制信号和并行控制信号，控制电台工作状态，实现航空电台的地面控制和测试。     

一种多功能航空测试设备的设计与实现

针对某航空电子产品需求,设计了一种多功能测试设备,详细描述了测试设备的总体设计,硬件设计和软件设计,并对其中关键技术进行了重点论述;测试设备采用了虚拟仪器技术,利用基于组件模型的开发方法,合理划分组件,有效提高了测试设备及构件的通用性和重用性,缩短了产品的开发周期;该测试设备已应用于某航空电子产品的产品调试、交付验收、故障排除;经过使用后证明,测试设备的软/硬件设计合理、自动化程度高、工作稳定可靠。     

电台主控单元频率合成控制信号检测技术研究

为了对某型电台主控单元进行有效地测试,满足电台测试的迫切需求,提出了一种基于功能测试的检测方法,对主控单元输出控制信号进行检测,以判断其工作状态的好坏;通过对电路原理的分析,明确了控制信号的性能特征和参数指标;研究了检测整体思想和具体的检测技术和方法;详细介绍了检测过程中软件和硬件的设计思路和使用方法;实践表明,该方法能对主控单元时序信号进行有效的测试,软件设计有较好的通用性,能大幅提高电台主控单元测试水平.     

机车空调逆变电源设计

本文讨论的是机车空调逆变电源系统的设计与研究。该电源系统主要是由DC/DC的BOOST升压部分和DC/AC三相逆变部分两部分组成。DC/DC部分所得直流电压通过DC/AC部分逆变成三相交流电,供给空调机组工作。同时,为使电源系统能更可靠的运行,也设计了相应的故障检测、保护等辅助电路。     

联合收割机脱粒滚筒恒速智能控制器设计

研究了轴流式联合收割机的控制问题,给出了联合收割机脱粒滚筒的数学模型,介绍了基于模式识别的智能控制原理,建立了联合收割机脱粒滚筒恒速控制模型,设计了基于模式识别的智能恒速控制器.应用Matlab/Simulink进行了控制器仿真,其结果表明,将基于模式识别的智能控制应用于联合收割机脱粒滚筒的恒速控制,其过渡过程平稳、响应速度快、无超调、无振荡并且无稳态误差.     

计算机辅助课表编排技术的研究

讨论了几种实用的计算机辅助课表编排技术及在实际编排中的应用。应用分析表明，采用分批与或图搜索和分批优化的匈牙利算法相结合的方法，在计算机辅助课表编排中是行之有效的。     

发热量测定仪系统设计

本文介绍了发热量测定仪的结构、工作原理、硬件系统功能,阐述了应用铂电阻进行高精度温度测量的方法,系统用AT89C52单片机作为处理和控制芯片,该发热量测定仪性能符合水泥企业应用要求。     

变电站一次设备喷涂PRTV用量的分析

对国网宁夏电力检修公司宁安运维站近2年来一次设备喷涂PRTV用量的统计数据进行分析整理,得出各类一次设备按照标准要求喷涂PRTV时的用量估算值,并针对现存作业中存在的问题,提出相应解决方案。     

Complexity of approximation of 3-edge-coloring of graphs

The problem to find a 4-edge-coloring of a 3-regular graph is solvable in polynomial time but an analogous problem for 3-edge-coloring is NP-hard. To make the gap more precise, we study complexity of approximation algorithms for invariants measuring how far is a 3-regular graph from having a 3-edge-coloring. We show that it is an NP-hard problem to approximate such invariants with an error O(n1−ε), where n denotes the order of the graph and 0<ε<1 is a constant.     

桥面损坏状态评估专家系统探讨

介绍关于桥梁结构损坏状态评估专家系统，在讨论状态评估方法的基础上，重点介绍损坏状态评估因素关系树的建立及各因素状态的模糊表达式等，最后以桥面诊断过程为例介绍系统的构成及诊断流程图，知识表达方式，系统推理过程及工作流程。     

风电机组电动变桨距控制系统的优化研究

由于风速的随机性、不稳定性及气动效应的影响,使得风力发电机组变桨距控制系统具有非线性、参数时变性、强耦合等特点,难于实现高精度控制,导致风电机组输出电能质量较差。为了改善系统在恒功率输出运行区域内的动态性能,分析了风电机组变桨距控制系统的现状,建立了整个风电机组模型,提出了优化的变桨距控制策略,并设计了基于模糊控制的变桨距控制器。仿真结果表明,独立变桨距控制技术的控制效果比统一变桨距好,实现了风力机各叶片的优化独立变桨距控制,优化了风力发电系统在超过额定风速时的恒功率控制,具有抗干扰能力强、控制精度高的特点。     

实现三维喷绘的软件系统设计

对三维喷绘软件系统的设计,通过USB 2.0实现与喷绘主板的高速图像数据通信。基于ARM与MCX314的运动控制器实现实时三轴运动控制以及精确的喷头时序控制,论述USB驱动程序和ARM固件的开发。结果表明,该系统具有设计简洁、成本低、可扩展性强和实用性高等特点。     

Recursive solution of number of reachable states of a simple subclass of FMS

This paper aims to compute the number of reachable (forbidden, live and deadlock) states for flexible manufacturing systems (FMS) without the construction of reachability graph. The problem is nontrivial and takes, in general, an exponential amount of time to solve. Hence, this paper focusses on a simple version of Systems of Simple Sequential Processes with Resources (S³PR), called kth-order system, where each resource place holds one token to be shared between two processes. The exact number of reachable (forbidden, live and deadlock) states can be computed recursively.