航空犯罪防控的系统工程分析

通过对航空犯罪防控的系统分析,探寻航空犯罪防控工作规律,研究系统构建的技术方法,认识防控系统工程的特征,做好航空犯罪防控工作。     

黑板框架的知识表达方法

本文介绍了黑板框架知识表达方法的设计思想和技术。黑板框架是由框架、知识源和黑板模型组成,是产生式规则、谓词、框架等多种知识表达功能的组合形式,它将知识表达和知识处理结合成一体,既能表达静态的知识,又能表达动态的知识;既能方便地表达断言性知识,又能自然地表达结构性知识。表达功能强、灵活性大;方便知识调度,加快推理速度,提高推理效率;方便知识获取并有利于机器学习。 黑板框架是一种能表达特定领域复杂知识结构的良好的方法,具有表达充分、推理充分、推理效率和获取效率高的特点。 文中还对目前各种知识表达方法进行了评价,对黑板模型、知识源、黑板框架的概念进行了描述,并对黑板框架给出了严格的BNF定义。 黑板框架的知识表达方法,已在医学专家系统开发工具BFBEST中获得了成功的应用,并取得满意的效果。     

基于XML的产品主模型技术研究

多学科设计优化方法是近年来发展的一种设计复杂系统的新方法。它充分考虑各个学科之间的相互影响和耦合作用,以获得系统的整体最优解。产品主模型技术是多学科设计优化的关键技术之一,能较好地解决应用模型之间的数据交换和通信。文章介绍了产品主模型的概念及其特点,对产品主模型技术及其实施过程进行了深入研究。回顾了可扩展标记语言的产生和发展历史,并对其特性进行了较详细介绍;研究了基于可扩展标记语言技术实现系统集成的技术路线;最后,提出了基于可扩展标记语言技术和产品主模型技术的卫星总体方案多学科设计优化集成框架。     

快速可重构信息系统的框架研究(英文)

变化和重构是快速可重构信息系统 (RRIS)的两个核心概念 ,RRIS对变化的适应或演化能力使它优于传统信息系统。本文首先提出 RRIS的体系结构 ,然后以 RRIS框架为重点 ,讨论框架的定义、分类及设计 ,研究框架的构成、构成元素 (业务构件 )的设计及构件如何在构架的组织下协调地安插在 CORBA的软总线上 ,实现类似硬件IC的即插即用。构件在框架上即插即用的灵活机制及热点构件 (反映变化 )的灵活运用 ,提高了框架的可扩展性、可定制性 ,从而提高了 RRIS适应变化的可重构性。     

基于MBD的飞机装配工装协同变更方法

装配工装在飞机产品生产过程中处于飞机设计的下游,受到飞机装配件设计及其装配工艺的影响以及飞机生产准备周期限制,时间紧迫,任务繁重。传统的飞机装配工装以文本、二维图形式表达为主,信息是静态的,缺乏唯一的数据源易导致飞机-装配工装协同变更管理效率低、准确性差,针对以上问题提出一种飞机-装配工装协同变更方法:利用基于模型的定义(Model based definition,MBD),建立了飞机和装配工装MBD模型关系架构,并结合相关的变更传播计算方法实现了飞机设计结构变更对装配工装变更影响的主动、自动化预测和分析。通过一套飞机壁板开口加强框的装配工装变更设计实例验证了该方法的可行性。     

航天器系统工程技术发展思路

系统工程技术水平是航天器系统研制和创新能力的重要体现。对我国航天器系统工程技术发展问题进行了思考。首先对比分析了国内外航天器系统工程技术发展差距,阐述了国内面临的空间任务形势及系统工程技术发展要求;然后,研究构建了以系统工程过程和活动为核心,并包含任务能力支撑要素、发展基础要素和发展保障要素的航天器系统工程技术体系框架;随后,提出了航天器系统工程技术发展目标,并从专业技术发展、经验继承、活动过程研究、工具方法完善、标准规范开发和发展机制健全等方面梳理了航天器系统工程技术建设内容;此外,还探讨了航天器系统工程技术发展的实施途径。     

A two-step weighted least-squares method for joint estimation of source and sensor locations: A general framework

It is well known that the Two-step Weighted Least-Squares(TWLS) is a widely used method for source localization and sensor position refinement. For this reason, we propose a unified framework of the TWLS method for joint estimation of multiple disjoint sources and sensor locations in this paper. Unlike some existing works, the presented method is based on more general measurement model, and therefore it can be applied to many different localization scenarios.Besides, it does not have the initialization and local convergence problem. The closed-form expression for the covariance matrix of the proposed TWLS estimator is also derived by exploiting the first-order perturbation analysis. Moreover, the estimation accuracy of the TWLS method is shown analytically to achieve the Cramér-Rao Bound(CRB) before the threshold effect takes place. The theoretical analysis is also performed in a common mathematical framework, rather than aiming at some specific signal metrics. Finally, two numerical experiments are performed to support the theoretical development in this paper.     

嵌入式软件测试开发环境的框架设计

采用软件设计上的复用思想,对嵌入式软件仿真测试环境进行框架的设计,可以使测试环境在不做大幅度修改的情况下适应不同的被测软件,节省设计的时间和费用.论述了由框架开发软件的过程,并把此过程应用于测试环境;对嵌入式软件仿真测试环境进行总体分析,确定了它的3个主要组成部分;归纳出作为测试环境重要组成部分的测试开发环境的基本功能,并使用专门针对框架开发的UML-F建模语言设计了一个框架;对已开发成功的测试开发环境框架,提出了具体的框架适配方案.本设计已在实际工程中得到了应用.     

BVR空战仿真中具有分层学习能力的CGF实体行为仿真框架设计

针对超视距协同空战仿真是一个复杂系统的仿真特点,通过对预警机指挥引导下的多机协同空战过程的分析,建立了超视距多机协同空战行为功能框架,总结出多机协同空战过程中的影响因素。在分析了现有各种CGF系统体系结构及行为仿真框架基础上,结合超视距空战过程中各作战阶段的特点,建立了具有分层学习能力的编队协同空战自主兵力系统FCAF(Formation and Cooperative Air Combat Autonomous Force System,编队协同空战自主兵力系统)行为仿真框架,并给出了该行为仿真框架组成模块的形式化描述。仿真系统应用表明,在该框架中作战行为可以分解为一系列具有经验学习功能的行为基,并且各行为基可以重新组合,全面诠释了协同作战行为仿真的作战过程。     

软件总线体系结构的研究与应用

设计一种轻量级软件总线体系结构,将软件总线思想引入到单机软件系统的定制与集成.软件总线技术源于分布式异构环境搭建提出的,应用于分布式系统.对传统软件总线结构进行改进,采用双总线结构,摒除不必要的分布式功能,使轻量级软件总线成为一种适用于单机环境的软件体系结构.通过创建一个基于轻量级软件总线体系结构的模拟银行服务排队系统,验证轻量级软件总线作为单机软件系统的搭建架构具有可行性.