关于标准化系统工程及其研究对象的探讨

阐述了标准化系统工程的含义,对其特征作了分析。将其与综合标准化的关系作了比较。探讨了航空航天工业标准化系统工程的主要类型。提出标准化系统工程的直接研究(工作)对象是标准系统和标准化工作系统(合称标准化系统),其依存主体对象是通常的标准化服务对象。讨论了标准化系统的两个分系统的特征。指出了明确标准化系统工程研究(工作)对象具有一定普遍意义。     

一个基于网络的程序自动评测系统

基于网络的分布式程序自动评测体系结构提供了一种高效、准确、适应性强的机制来实现一个评测系统.该体系结构通过被动激活方式利用木马技术,保证了系统在通讯和评测过程中的安全性,并在评测中实现了评测程序对系统资源的零占用,这使得样本程序在开发和评测时处于一致的运行环境中.该体系结构通过规则库和过滤程序的使用,提高了其灵活性和适应性,使得它可以适用于更多类型的样本程序.在此基础上,实现了一套完整的应用系统.经过多次实际应用,证明其具有高效、安全和配置灵活的特点.      

综合效益模型求解方法的探讨

综合效益模型,是一种综合多因素影响的动态模型,它既包括一般效益模型,又考虑最优投资的优化效益模型。前者求解,可用解析法;后者求解,就不那么容易。文章分析了模型特征,认为是一个固定端点的最优控制问题,从而,选用格林定理（公式）能较好地求得满意解。     

日本空间舱的新研制程序

由日本宇宙开发事业团研制并决定在轨道上与美国空间站对接的日本空间舱,是一个为广大用户提供各种实验用的组装式多用途实验室,广大用户将利用其微重力、高真空、高洁净环境进行材料实验、生命科学实验、地球观测、天体观测和理工实验等。它由加压舱、外部舱、气闸、机械手、后勤舱等组成。原计划JEM将于1994年发射并完成在轨组装等任务,由于挑战者号航天飞机失事以及美国空间站研制计划没能按期进行,使整个开发计划推迟,因此美国、ESA、日本等国经过协调,确定空间站的组成部件     

基于程序建模的网络程序漏洞检测技术

研究和分析了网络程序漏洞检测方法,针对C/S结构下网络程序存在的二进制漏洞提出了一种基于程序建模的漏洞检测方法。该方法针对网络程序架构进行分析,通过抽取不同类型网络程序中的关键性系统函数,进行程序建模和检测系统执行模块开发。采用选择符号执行技术进行检测,通过函数挂钩的方式定制挂钩函数语义和函数执行触发的操作,引入符号化数据和引导符号执行过程。研究过程中基于该技术实现了一套网络程序漏洞检测系统,系统能够识别目标网络程序采用的I/O模型,根据目标网络程序的不同类型调取相应的系统执行模块,利用选择符号执行技术进行自动化漏洞检测过程。实验结果表明,相比于已有的检测工具,该系统在网络程序的漏洞检测方面针对性更强,程序代码的覆盖率更高,同时具有很好的可扩展性。      

基于MBSE的民用飞机功能架构设计方法

基于模型的系统工程（MBSE）理论越来越广泛地应用于民用飞机设计与功能需求分析领域。研究起始于基于用户需求的自顶向下的民机系统产品顶层用例,辨识相关关键子用例,进一步基于对象用例展开“需求—功能分析”,构建黑盒活动图、顺序图表达实现相关飞机级需求的黑盒功能流,从而明确系统接口和辨识子系统,构建经验证可靠的可进行逻辑仿真的黑盒状态机。在黑盒功能架构的基础上驱动基于人机交互系统模型仿真的民机功能架构“正向设计”过程,对黑盒进行解白,基于建模分析和数值仿真结果,构建实现相关飞机级需求的系统功能白盒架构的“正向设计”。为充分演示上述方法,选择了对民用飞机产品安全性具有关键影响的最后进近着陆场景用例作为案例模型。研究表明,基于MBSE的民用飞机功能架构设计方法充分保证了需求分析和功能架构设计的紧密结合,正向构建了以满足民机产品需求为导向的结构化系统设计方法。      

基于对象关系模型的C＋＋程序静态分析器

面向对象程序设计技术给软件的测试和维护来了新困难。针对这些困难，提出了用于描述程序中对象类之间三种依赖的对象关系图模型，并研究了这一模型在软件测试和维护中的两个具体应用及其相应算法，为了从特定的面向对象程度设计语言Ｃ＋＋编写的程序中提取ＯＲＤ较信息，构造了一个逆向工程工具－Ｃ＋＋程序静态分析器，并对其实现上的一些关键技术进行了介绍。     

可编程序控制器在力标准机上的应用

主要介绍了应用可编程序控制器（ＰＬＣ）对直荷式力标准机的电控系统进行彻底改造，其主要设计思想是以ＰＬＣ为核心，配上外围电路及执行机构完成对机器的自动化控制。改造后，设备由原手动控制变为一台自动化设备，抗干扰能力很强，运行稳定可靠。     

基于程序变异的Simulink模型测试方法

为解决当前Simulink模型变异测试中测试执行开销大、测试用例生成效率低等问题,首先根据当前的Simulink模型变异算子集,基于程序变异技术提出了Simulink模型的变异测试过程和一组改进变异算子集.实验表明,在不影响测试用例集变异评分的情况下,该组变异算子集能够有效减少变异模型的生成数量,从而降低测试开销.其次,设计了一种基于搜索的Simulink模型变异测试用例生成方法,该方法将变异模型的测试用例生成问题转换为目标函数极小化问题,通过模拟退火算法对目标函数寻优,最终搜索出能够杀死该变异模型的测试用例.最后,将该方法应用于典型案例,验证了方法的正确性和有效性.      

星—地路径雨致衰减特性及其对卫星系统设计的可能影响

本文综述了影响星—地路径雨致衰减的主要因素。并利用在北京获得的实测数据,对北京地区星—地雨致衰减的特点进行了分析。此外,还对卫星定点位置的选择和北京上行站选址提出了建议。     

GPS实时定姿系统的设计与实现

以GPS OEM板为基本硬件,在自行研制GPS实时定姿软件的基础上,搭建了GPS实时定姿系统。该系统硬件结构简单,成本低廉。定姿软件解决了数据接收、解码、同步,模糊数快速计算,动态检校等关键技术。经多次静态、动态试验验证,系统运行稳定,动态跟踪性能良好。基线长度为1.2m时,定姿精度优于0.3°,可单独用于系统的导航,或作为系统导航设备的校准装置,具有很好的应用价值。     

基于RISC芯片的32位嵌入式基本系统的设计和调试

基于ＲＩＳＣ芯片的３２位嵌入式基本系统的研究和设计是当前嵌入式星载计算机研制方面的一个重要课题，着重介绍了该ＲＩＳＣ基本系统的设计特点以及所使用的构思新颖的调试方法等两方面的研究情况。     

信息传输卫星方案的综合和分析

本文提出一种用于信息传输卫星总体方案的设计方法,从分析对卫星任务的要求和约束出发,提出了总体方案的综合因素以综合各可替代方案。然后建立一个由总体设计要素和设计单元构成的二维总体方案设计模型用于对不同方案的分析。     

综合后勤保障及其在工程系统研制中的应用

探讨了综合后勤保障在工程系统研制中的重要作用,及其在研制过程各个阶段中的应用。还讨论了保障性设计与工程设计接口关系及保障性设计中的风险分析。     

一种带帆板挠性的控制系统分析和设计

分析了一种卫星太阳帆板结构挠性对姿态控制系统稳定性影响的问题;给出了带挠性的控制系统仿真与设计方法。试验结果表明,通过合理的设计可以减小挠性对卫星姿态稳定性的影响,提高系统的控制精度。     

一种模块级可降级重组双机系统的系统管理程序实现方法

分析了模块级可降级重组双机系统的有效组态数,并与双机系统级备份进行了比较。分析结果表明,随着冗余级别的降低,系统的可靠性有所改善,但系统的有效组态数将大大增加,这将导致系统管理程序的复杂化。文章介绍了该系统管理程序的设计准则,并对其中几个有特点的子程序作了简要说明。     

返回式卫星数字姿态控制系统及飞行试验结果

简要介绍我国返回式卫星上用的计算机数字姿态控制系统的方案;重点阐述姿态确定和相平面控制律的设计方法;最后简述飞行试验的结果。     

无控固体火箭探空运载系统总体设计

由无控固体探空火箭和地面发射设备组成的运载系统是固体火箭探空系统的一个组成部分。文章介绍该运载系统在各研制阶段的设计内容,着重讨论总体方案选择的原则和总体参数设计的方法。     

CAE集成文档管理系统的设计与实现

概述了CAE 集成文档管理系统的总体设计思想,层次化的模型结构,关系型的参数集管理,集成化的功能模块,以及友好的人机界面。本系统适用于一般的文档管理应用。