一种飞艇半物理仿真系统ARINC429驱动的设计与实现

为了满足飞艇实际飞行过程对通信可靠性和实时性的需求,半物理仿真系统的飞艇模型计算机采用以PC为平台的Xpc嵌入式实时系统,飞控计算机采用以PowerPC为平台的VxWork嵌入式实时系统,通过ARINC429协议完成数据通讯;硬件上,PowerPC通过桥接芯片访问并控制PCI设备;软件上,按照Xpc系统和vxWork系统PCI设备驱动程序的编写流程,分析了xPC内存驱动框架和vxBus驱动框架关键技术点,设计了飞艇模型计算机Xpc和飞控计算机Vxwork的ARINC429通讯卡驱动程序;通过实际的应用,证实所开发的ARINC429驱动程序满足飞艇半物理仿真平台数据通讯的可靠性和实时性。     

基于VxWorks的PCI设备驱动程序设计

 阵列天线控制系统采用实时操作系统VxWorks,为了实现控制系统计算机与单元天线的通信,在控制系统计算机中采用PCI设备与单元天线通信,并且基于VxWorks实时操作系统开发了PCI设备的驱动程序。主要完成了板级支持包的修改、PCI设备的初始化,以及功能函数的设计。经试验验证,该驱动程序工作稳定可靠,可以应用于控制系统中。     

相控阵天线主控系统中实时数据交互

波束控制系统是高功率相控阵天线的神经中枢,负责天线阵面中所有单元相位的精确控制和状态监测任务。为实现天线阵面的快速、精确波束转换,采用分布式拓扑结构和嵌入式实时操作系统,设计了两级分布式波束控制方案,开发了基于VxWorks的相控阵天线主控系统。通过UDP协议实现主控系统与其他系统的多节点网络通讯;针对高速、实时通讯需求,利用VxWorks多任务编程接口,设计了一种基于双缓冲队列的Socket通讯方法;为使通讯被各方正确解析,制定了自定义的应用层协议。基于VxWorks的相控阵天线主控系统的开发应用,验证了方案的可行性以及控制软件的可靠性和稳定性。     

F2812DSP扩展AX88796网络接口的驱动设计

DSP处理器一般不带网络接口,设计了基于TMS320F2812连接高性能网络控制器AX88796组成的带网络接口的开发系统.该系统采用了AX88796的底层驱动程序,裁减TCP/IP协议栈并将其移植到DSP开发系统上.重点解决了驱动初始化,网卡的接收缓冲环管理和TCP/IP协议校验和计算等问题,实现了F2812驱动AX88796,通过TCP/IP协议接入互联网.     

基于多系统的1553B和串行通信的PXI板卡设计

为了满足箭上单机设备的通用化测试需求,设计了适用于航天领域的基于多系统的1553B总线和串行通信的PXI板卡;介绍了板卡的主要功能、基本原理、硬件设计、Windows系统和VxWorks系统下软件驱动开发,用户层软件设计等;工程应用表明:板卡在-40~70 ℃环境温度下,1553B通信速率1 Mbps,多路串行通信波特率800 bps至8M bps的条件下实时传输无误码,运行稳定,在多系统平台下图形显示实时性能高,板卡已经在多种箭上设备的通用测试中得到广泛应用。     

基于云计算平台嵌入式传感器图像处理系统设计

针对传统的图像采集和处理设备体积庞大、昂贵价格和灵活性差等问题,提出了一种基于云平台的和嵌入式图像处理系统设计方案;在系统硬件设计中,采用MT9M001C12STM图像传感器代替传统的CCD来采集图像数据,采用云计算嵌入式设备作为前端数据处理平台;在系统软件设计中,主要设计了硬件设备的初始化和为用户提供操作硬件设备的接口以及将由驱动采集到的数据进行处理和转化成规定格式,对PC机发起通信,传输数据;最终实现嵌入式系统的采集、处理、传输图像数据。     

基于Nios的微距控制系统的数字设计

设计了一种基于Nios处理器的微距控制系统,用于实现虚拟成像设备系统视标位置的精确定位。系统采用现场可编程门阵列(FPGA)实现对步进电机PWM的细分驱动和对光栅尺输出信号的鉴相倍频,构建了基于Nios的微距控制系统的数字设计部分。采用Altera公司的FPGA设计工具Quartus II和嵌入式开发套件 Nios IDE,将可配置的软核处理器与可编程的硬件电路集于一体,既实现了软件处理的灵活性,又具有硬件处理的高速性特点。实验表明,该设计在虚拟成像设备的标视定位中取得了良好的效果,实现了精度为1.25 μm的微距控制。     

嵌入式Linux设备的高精度IEEE 1588时钟同步实现

IEEE 1588时钟同步协议用于解决分布式网络测控系统中远距离仪器设备之间的同步问题;在分析IEEE 1588时钟同步实现原理的基础上,提出一种嵌入式Linux设备的高精度IEEE 1588时钟同步实现方案;采用专用PHY芯片DP83640在物理层为PTP报文加盖硬件时间戳,设计网络设备驱动与PTP硬件时钟控制驱动,并在用户层利用Linux系统标准API实现IEEE 1588协议软件;实验结果表明,两台设备直接相连时,时钟同步精度可稳定在±100 ns以内。     

一种嵌入式软件逻辑覆盖测试方法研究

针对嵌入式软件测试覆盖率低的问题,本文提出了基于软件故障注入的逻辑覆盖测试方法,首先就嵌入式系统常用传感器建立故障模式库,设计了嵌入式软件故障注入系统;其次选取中间层作为故障注入点,研究基于VxWorks653嵌入式操作系统的故障注入实现方式,并通过分析故障信号在软件系统中的传播,提出优化测试用例的方法;最后通过实验验证了该方法可有效提高容错设计功能、冗余设计功能、故障检测功能测试的逻辑覆盖率;有助于提高嵌入式软件的可靠性。     

基于B/S模式的网络化监控系统研究

针对嵌入式网络化数字视频监控系统,结合嵌入式技术的现状和发展趋势,提出了基于B/S模式的网络化监控系统总体设计方案。设计了相应的接口和外围电路,搭建了系统的硬件平台和软件平台,进行了嵌入式Linux操作系统的移植,交叉编译环境的建立,以及嵌入式软件开发平台的建立。构建了基B/S模式的网络化监控系统原型,并根据所设计的实验方案,对系统进行了详细的测试。实验表明基于B/S模式的网络化监控系统平台成功实现了通过网络对嵌入式设备的远程访问,并且能够通过Web网页对远程监控设备进行控制。     

Point defects on graphene on metals

Understanding the coupling of graphene with its local environment is critical to be able to integrate it in tomorrow's electronic devices. Here we show how the presence of a metallic substrate affects the properties of an atomically tailored graphene layer. We have deliberately introduced single carbon vacancies on a graphene monolayer grown on a Pt(111) surface and investigated its impact in the electronic, structural, and magnetic properties of the graphene layer. Our low temperature scanning tunneling microscopy studies, complemented by density functional theory, show the existence of a broad electronic resonance above the Fermi energy associated with the vacancies. Vacancy sites become reactive leading to an increase of the coupling between the graphene layer and the metal substrate at these points; this gives rise to a rapid decay of the localized state and the quenching of the magnetic moment associated with carbon vacancies in freestanding graphene layers.     

基于Matlab分析负荷对多联机IPLV的影响

多联机有其特殊的优点,但是不同部分负荷的组合对IPLV的影响仍需进一步研究。文中建立IPLV与部分负荷的相关公式,运用MATLAB软件分析不同卸载级负荷与IPLV的关系,从而确定不同部分负荷的最优组合。     

Note on duality on polarized symplectic manifolds

In this note we use some of the results of [3] to derive a general duality theorem for the cohomologies of foliated structures on a manifold. The result is applied to the special case of a symplectic manifold M on which the foliation is given by a complex polarization F in the sense of geometric quantization. We obtain, for example, a rigorous proof of the fact that for a smooth function ƒ on M whose Hamiltonian vector field leaves F invariant, the spectrum of the corresponding prequantization operator v(ƒ) coincides with the spectrum of its transpose, under the above duality. This latter result was obtained by Simms in [12] under certain hypotheses. Proofs of the validity of those hypotheses are now available in the literature; cf. [3] and [7].     

Space-charge effects on multipactor on a dielectric

Analyzes the effects of space charge shielding on the steady state of a multipactor discharge on a dielectric. Analytic methods are used to obtain an exact function for the potential in the discharge, assuming a Maxwellian distribution of emitted electrons. An equation for the amount of power deposited on the dielectric by the multipactoring electrons, for a given saturation level, is given. A simple method for obtaining the saturation level, for a given material, is obtained