飞行程序发布订阅服务Petri网建模分析

发布订阅服务是未来航行情报管理所面临的主要问题之一。利用UML建立了飞行程序发布订阅概念模型,刻画了系统需求和发布订阅的具体过程。建立了相应的Petri网模型,通过可达树分析和P不变量分析得出所建Petri网模型的有界性、守衡性和活性,从而证明了概念模型的正确性和有效性。     

透波材料高温介电性能评价表征

概述了透波材料高温介电性能评价表征的研究意义及相关的基本概念、测试方法;介绍了国内外发展现状,以高Q腔法为例阐述了高温测试中关键共性技术,并对典型测试结果进行了分析;展望了透波材料高温介电性能评价表征的发展及应用前景.     

财产权的刑事诉讼法保护:趋势、特点与途径

财产权是世界范围内普遍承认和保护的基本人权。现代以来财产权的法律保护呈现出公法保护与私法保护相互融合的趋势,构建财产权的公法保护体系必须注重刑事诉讼中的财产权保护。刑事诉讼中的财产权保护的特点在于,它通过刑事诉讼法为当事人设定一系列的程序性权利,也即为国家设定一系列的程序性义务来控制国家权力的滥用。我国应从转变思想观念、规范涉财程序、完善救济措施等方面完善我国刑事诉讼中的财产权保护。     

航空嵌入式软件测试环境确认方法研究

通过对国军标与DO-178B对航空嵌入式软件测试环境确认要求的对比与分析,提出了一种满足国军标与DO-178B要求的航空嵌入式软件测试环境确认方法。实际运用表明,方法灵活、高效、可操作性强,可以满足航空嵌入式软件测试环境确认的要求。     

基于1553B总线某型导弹测试系统设计

阐述了采用NI Technology公司的PXI总线协议接口主机箱PCI一8196和Excalibur公司的EXC一1553PCI／MCH板卡,实现基于1553B总线某型导弹的总体测试设计方案。较为全面地分析了航空总线1553B的特点、体系结构、总线特性和协议,具体阐述了基于1553B总线某型导弹测控平台的设计思想、系统结构、关键设计流程和软件编制流程。系统的研制成功,降低了研制成本,满足了某型导弹的实验测试需求,也为后续型号相关测试设备的研制提供了很好的基础。     

面向三维重建的工艺语言理解及工艺语义模型构建

从动态工艺设计过程的视角考察工艺设计意图和二维工序图形的进化进程,以电子工艺卡片为输入对象,将自然语言理解技术和图形理解技术相融合,用具有工艺语义的工序语言指导二维工序图形的三维重建,实现对制造毛坯三维形态演变过程的智能推理,重建出基于特征的零件模型及中间工序模型.研究了工艺语义的定义与表示、机械加工领域概念知识库的构...     

飞机喷口滑油泵斜盘操控性能的试验系统研制与调试

为在规定的θ-P试验条件下检测斜盘操控性能,喷口滑油泵测试液压系统中设置了3个固定孔径的节流器.通过对斜盘扭矩测试的试验方法、步骤及试验设备的介绍,以正向节流孔参数确定为例,建立了系统压力P与油泵斜盘角度θ的方程式,并通过标准泵的预置节流孔试验,获得了与油泵和节流孔结构形状有关的系数.再采用维算-试验测试-对比修改的试...     

Modeling and identification of an electro-mechanical system: The LISA grabbing positioning and release mechanism case

In the frame of space missions, mechanisms often constitute critical systems whose functionality and performance need to be tested on ground before the mission launch. The LISA scientific space mission will detect gravitational waves by measuring the relative displacement of pairs of free-floating test masses set into geodesic motion onboard of three spacecrafts. Inside each satellite, the injection of the test masses from the caged configuration into the geodesic trajectory will be performed by the grabbing positioning and release mechanism. To provide a successful injection, the test masses must be dynamically released with a minimal residual velocity against adhesion with the holding device. A parameter that determines the test mass residual velocity is the quickness of the retraction of the holding device. The need arises then to characterize the dynamic response of the release mechanism in order to predict its behaviour in the in-flight conditions. Once a validated model of the mechanism is available, the compliance of the system to the tight requirement on the maximum allowed residual velocity of the test mass may be verified. Starting from an electro-mechanical model of the mechanism dynamics, this paper presents the results of the experimental identification of its relevant parameters.     

基于光固化快速成型技术的测压风洞模型孔道制造与性能评价

传统金属加工制造测压风洞模型存在难度大、周期长、成本高的问题,利用光固化快速成型技术,可以实现测压风洞模型气动外形-内部孔道的一体化成型制造.设计制作了不同孔径、长度的孔道结构模型,对孔道成型质量和孔道结构参数之间以及孔道半径与设计半径之间的关系进行了研究,并对孔道的气密性以及通气性进行了验证.研究得出了可成型的测压模...     

气象卫星地面测试成像终端软件设计与实现

根据气象卫星地面测试对成像终端软件的要求，对成像终端软件的设计与工程实现进行了研究。给出了成像终端软件的接口要求、设计思想、实现方法和可靠性设计等。整星测试结果表明，成像终端软件的设计原理和实现方法合理可行。