收敛无穷计算及其应用

经典计算不能很好地刻画无穷计算的行为.基于形式系统序列及其极限,讨论一类称为收敛无穷计算的问题,旨在建立刻画无穷计算在变化的环境中如何交互与演化以及演化的极限状态的逻辑理论基础.提出了收敛无穷计算的一个逻辑和推理系统,其表达能力超过一阶逻辑.还基于经典计算模型图灵(Turing)机和形式系统序列及其极限,提出了收敛无穷计算的模型,称为过程模式.在极限计算的意义下,其计算能力超过了Turing机和实数机器.讨论了上述研究在数据挖掘中的应用,用收敛无穷计算研究了数据挖掘的极限行为.     

Review of uncertainty-based multidisciplinary design optimization methods for aerospace vehicles

This paper presents a comprehensive review of Uncertainty-Based Multidisciplinary Design Optimization (UMDO) theory and the state of the art in UMDO methods for aerospace vehicles. UMDO has been widely acknowledged as an advanced methodology to address competing objectives of aerospace vehicle design, such as performance, cost, reliability and robustness. However the major challenges of UMDO, namely the computational complexity and organizational complexity caused by both time-consuming disciplinary analysis models and UMDO algorithms, still greatly hamper its application in aerospace engineering. In recent years there is a surge of research in this field aiming at solving these problems. The purpose of this paper is to review these existing approaches systematically, highlight research challenges and opportunities, and help guide future efforts. Firstly, the UMDO theory preliminaries are introduced to clarify the basic UMDO concepts and mathematical formulations, as well as provide a panoramic view of the general UMDO solving process. Then following the UMDO solving process, research progress of each key step is separately surveyed and discussed, specifically including uncertainty modeling, uncertainty propagation and analysis, optimization under uncertainty, and UMDO procedure. Finally some conclusions are given, and future research trends and prospects are discussed.     

某环型航空零件数控加工工艺分析和自动换刀的研究

针对加工环型航空零件时均采用手工换刀加工的问题,论述了用声发射法对刀具磨损进行监测、用静态测量法对刀具轴线的偏转进行测量、粗铣试切毛坯的内轮廓实验,分析出不能实现自动换刀加工的原因.通过对零件的加工工艺进行分析,将能合并的工步源程序串在一起并在实际加工中得到验证从而实现自动换刀加工.串编程序的应用提高了工厂的生产率,降低了生产成本,也为研究加工环型航空零件的自动换刀问题奠定了坚实的基础.     

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

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

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

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

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

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

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

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

RNP AR飞行程序设计方法及实例分析

RNP AR飞行程序因其水平保护区小、航迹设计灵活以及能提供垂直引导而备受青睐,在地形复杂或空域受限的机场使用RNP AR飞行程序能显著降低运行标准,提高运行效率~([1])。本文从RNP AR飞行程序设计规范入手,详细阐述了RNP AR飞行程序设计的主要内容,并以某机场进近程序为例,进行了RNP AR飞行程序设计的实例分析。     

庞巴迪宇航C系列项目风险管理浅析

庞巴迪宇航C系列项目风险管理在该项目发展尤其是技术研发中发挥了重要作用,是BA公司的一项重要管理行为,为BA公司的项目管理流程再造和决策提供了宝贵的、来自最前沿的实际运作经验和管理案例。本文根据笔者在C系列项目现场涉及到的实际工作内容,并结合自身体会,分别就C系列项目风险管理的愿景及目标、风险管理任务/机构及职责、风险管理流程、风险管理工具等进行了扼要介绍。     

飞行模拟机的某型涡扇发动机起动模型研究

为了建立适用于飞行模拟机的发动机起动模型,对涡扇类发动机起动过程的建模和仿真方法进行了研究,提出了飞行模拟机起动模型的建模基本原则,以此为指导,基于部件级建模方法建立了主导发动机正常起动动态性能的主要特性模型,并通过构建故障因子建立了典型故障模型,实现了发动机正常起动和起动过程中的故障模拟。正常起动仿真和故障仿真结果与测试数据的对比表明,所建立的正常起动模型正确地反映了发动机在各起动阶段的加速性能,故障模型很好的再现了故障逻辑和故障效应,满足了用于飞行模拟机的发动机起动仿真要求。