航天测控软件共用技术研究与实现

软件共用是航天测控软件的发展趋势,分析了航天测控软件共用的可行性,并选取火箭遥测软件作为原型验证系统,提出了解决方案和设计方法,采用ICE中间件和构件技术实现了该原型验证系统,经测试验证,分布式部署的原型验证软件各项指标满足测控任务软件的技术要求,对航天测控软件共用研究具有重要的借鉴和指导意义。     

基于组织的社会技术系统程序设计模型及语言

互联网上越来越多软件系统呈现出社会与技术交融、环境多样和开放、系统动态和演化等特点,如何支持这类复杂软件系统的构造是软件工程面临的一项重要挑战。本文将社会技术系统视为多Agent组织,把社会组织学的概念和思想引入到面向Agent程序设计范畴,提出了以Agent、组织、角色和职位为核心的基于组织程序模型ORAP来支持社会技术系统的开发;通过对多Agent组织不同层次动态性的识别和分析,设计了一组程序设计机制来实现社会技术系统的动态演化,包括角色绑定和组合机制、基于角色的交互机制以及组织的自我管理机制;论文提出了基于上述模型和机制的社会技术系统程序设计语言OragentL,给出了OragentL程序在组织、角色和组合三个层次的语法形式定义,介绍了OragentL的编译器及其运行支撑环境OragentBurg,并通过案例分析和演示展示了本文研究工作的有效性。     

基于格的密码学技术专题讲座(一) 第1讲 基于格的密码学概述

文章介绍了基于格的密码学的研究背景和主要内容,阐述了格基本理论,包括基本概念、定义、性质、格问题和特殊格等,从求解算法、格问题归约和最坏情况安全性等方面讨论了格问题的难度假设,概述了基于格的密码函数构造、公钥密码方案、密码分析和发展现状等内容。     

CORBA技术在指挥控制系统中的应用

针对CORBA的技术特点和指控系统全分布式体系结构的需求,提出了基于CORBA的指控系统全分布式体系结构,并分析了它的诸多优点.另外,在分析了CORBA规范和CORBA构件技术的基础上,提出了基于CORBA构件的指控系统应用架构和软件体系结构.最后通过一个应用程序演示了基于VisiBroker的分布式构件开发过程.     

基于分布式转发交换的并行路由器关键技术研究

随着Internet链路速率和IP前缀数目的不断增长,对路由器的转发和交换能力提出了更高的要求.提出一种基于分布式转发交换的并行路由器体系结构,采用多个低速的能够独立转发和交换报文的功能部件构成多级流水线,以流水的方式执行报文转发和交换.对该结构实现关键技术--基于子树映射的IP流水查找机制进行了深入的研究,提出了相应的解决方案,并指出了下一步的研究方向和思路.     

基于复合CBR的炮兵侦察情报处理系统模型研究

本文针对当前炮兵侦察情报处理系统工作现状,指出了现有侦察情报处理系统所存在的问题和局限性,利用人工智能中的基于案例推理技术,建立起基于复合案例推理的炮兵侦察情报处理系统的模型。该模型详细地描述了炮兵侦察情报处理过程,克服了现有基于规则推理系统不易扩展和修改的弊端,具备更好的处理效果。     

可复用构件模型探讨

针对软件复用中构件模型的建立,介绍了构件模型的基本概念,分析了几个现存的构件模型,并对构件模型技术提出了一些展望。     

昌飞公司直升机关键构件加工概述

随着我国航空工业快速发展,航空产品中大量复杂高精度零件需通过高效数控加工提升效率,保证质量。本文结合直升机关键构件加工特性分析了其对数控机床的加工要求,通过国内外数控机床使用情况对比分析了国产数控机床存在的主要问题与不足,并进一步提出国产数控机床的改进建议。     

基于ABM方法的空间碎片网捕体系结构建模

空间碎片网捕是一种新型的空间碎片清理方式。首先介绍了基于活动的建模方法(ABM)以及进行体系结构建模的流程,之后基于系统的基本工作流程,使用System Architect软件对空间碎片网捕任务的体系结构进行了可视化建模,得到了典型的作战视图,并进行了任务流程的仿真;对理解空间目标网捕系统的功能、研究空间碎片网捕任务的流程,提出系统构建需求具有一定的参考价值。。     

基于效果的作战方案优化方法

针对实际作战中快速、正确的决策要求,在基于效果作战的概念下,采用面向实体的方法对作战方案进行建模,并提出基于DBN的评估网络作为方案优化的评估引擎,利用GA在评估结果中搜索得到最优的作战方案。最后以某登陆战役为实例验证了该方法的有效性。考虑了作战过程中的不确定因素,保证了优化后的方案能达到最佳效果的同时还具有较高的鲁棒性,为作战指挥员优选作战方案提供了科学依据。