递推科威耳数值积分方法——人造卫星轨道计算

本文讨论了轨道和弹道方程的数值积分科威耳(Cowell)方法。此法优点是:向前积分一步只要计算一次右端函数,如果飞行器只受保守力的作用,可以进一步减少计算量,与龙格——库塔法相比要快4—7倍。文章中运用生成函数法推导了科威耳方法中的各类系数,推导简单,并且给出一套递推公式。同时也算出了高达8阶的科威耳方法的系数值。利用递推公式编制了通用科威耳数值积分程序,根据问题的精度要求,可任意选取积分阶数、开头程序的步长和科威耳数值积分程序的步长。文中最后运用这个程序进行了大量计算,并对结果进行了分析。     

基于对象的仿真建模系统

基于面向对象的思想，图形用户界面和仿真程序自动生成技术研制开发出一个基于对象的辅助仿真建模系统ＳｉｍＭｏｄｅｌ，介绍了ＳｉｍＭｏｄｅｌ的系统结构和模型描述框架，讨论了仿真程序生成器的运行机制，提出了有向网络图递归深广优先搜索算法。     

显示多体动力学方程自动编制技术

为高效得到复杂柔性多体航天器的动力学方程解析表达式,研究了系统动力学方程自动编制技术。首先,基于Kane方法推导了构型简单的链状多体系统动力学显式方程;然后,根据方程中各项物理意义和分布规律,开发了适用于树状构型多体航天器的解析动力学方程输出程序,并运用Latex软件对输出文本进行二次编译,增强输出复杂数学公式的可读性。所得方法极大地简化了对此类航天器的建模工作。     

最优/经典综合法设计直接力/气动力复合控制器

将最优控制与经典控制中的频域分析综合起来应用,设计了直接力/气动力复合控制自动驾驶仪.应用最优控制理论推导出自动驾驶仪的结构,并确定其增益系数,经典控制中的频域约束用于限制目标函数中的权系数矩阵的选取,以保证系统具有一定的鲁棒性.仿真结果与传统设计方法相比较,说明了应用本方法设计出的自动驾驶仪使系统响应速度更快,但超调略变大,同时系统也具有一定的鲁棒性.     

人机交流技术概要和翼面结构布局优化中的一个问题

本文简要地叙述了用人机交流技术进行结构布局优化的过程及其软件系统,并对其中的困难之一——由于结构布局的修改而需要增加或减少结构元件的数目,从而需要结构总刚度矩阵能自动地产生相应的变化——怎样从程序上处理,提出了一个简单可行的方法。即利用数据结构(Data Structure) 的概念,在不变动原有结构优化程序的前提下,加入相应的前处理程序。作为实例,本文给出梯形和三角形翼面板杆结构模型的FORTRAN前处理程序及其计算结果。此两通用子程序也可用作有限元计算的前处理程序。     

光栅式凸轮盘测量仪

主要用来检测各类机床预置功能部件——凸轮盘的功能曲线的形状误差和位置误差,可实现对凸轮盘的静态检测和动态检测。以被测件作为检测传动链的一个环节,可减少其传动误差,实现测量的连续性。由于采用长、圆光栅作为测量标准元件和定位元件,用计算机控制,用逻辑电路处理,从而可完成误差计数、自动显示、记录、绘图和打印等程序,具有较高的精度、检测效率和较多的测量功能。     

关系数据库的自动生成与维护

随着计算机信息处理量的日益增长,数据处理部门的能力愈发不能满足需要,这就要求向数据处理专业人员提供新工具以提高其生产力。对关系数据库的自动生成与维护的研究就是出于这个目的。本文将基于假说演算的逻辑程序自动设计技术引入关系数据库之中,并使其成为关系数据库应用系统自动生成与自动维护的核心技术。利用这一技术,可以把自动设计出的逻辑程序通过程序变换途径转换为数据库查询语句。目前,我们已利用这一技术建立了一个实验系统,利用它已可以自动构造和维护一些小规模的数据系统。     

基于虚拟仪器的真空计电参数检定系统

介绍了真空计电参数检定装置及检定方法,并基于美国NI公司的Labview软件开发平台和真空计电参数检定规程,结合日常型号服务的真空计电参数计量需求,开发了真空计电参数检定程序。程序以模块化思想为基础,可进行不同厂家各类真空计的的检定,实现数据自动处理,报告自动生成。     

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

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

书面汉语的自动分词与一个自动分词系统—CDWS

本文介绍了一个现代汉语自动分词系统——DCWS(The ModernChinese Distinguishing Words System)。在大量统计的基础上,对现有的四种计算机分词方法进行了评价,论证了自动分词是可行的。本文叙述了CDWS的设计思想,并提出了词尾字构词检错技术及若干有效的纠错知识。     

飞机单台交流电源系统的计算机建模

在飞机单台交流电源系统的频率域研究当中,需要建立调压系统的传递函数数学模型。本文提出的建模计算程序具有计算机自动建模和自动计算调压系统稳定性的功能。通过输入调压器、无刷交流发电机的参数及电机磁化曲线,计算机将自动输出调压系统各环节的增益、时间常数及其他参数,并自动计算系统开环频率特性,判定其给定工作点的稳定性。文中简要介绍了单台调压系统各环节的传递函数,给出了数字计算机建模程序框图,说明了程序的功能和特点,并以某型30千伏安飞机单台调压系统为例,给出了建模与计算的结果。     

可靠性维修性保障性效能模型研究

因素,提出了可靠性维修性保障性效能的概念,定义了进行可靠性维修性保障性综合设计分析的一个新的参数RMS效能E_RMS,推导了在执行任务期间可修复和不可修复2类典型系统的E_RMS表达式,给出了利用参数E_RMS进行可靠性维修性保障性综合设计分析的步骤.      

最严重充电条件下航天器的瞬态充电模拟研究

运用等效电路模式理论推导出随时间变化充电问题的微分方程组，针对最严重情况构造了解决瞬态充电问题的程序，对ＡＴＳ－６卫星的二种情况运用这个程序进行了计算。讨论了航天器不同材料对充放电的影响。     

一种软件脆弱性自动分析定位的方法

摘要： 为了更好地满足航空航天领域中使用的多种嵌入式软件的高可靠性要求，设计一种软件脆弱性自动分析定位的方法.该方法基于程序切片技术，改进现有的前向计算动态切片算法，利用动态程序切片收集程序运行时的动态信息，构造程序切片谱，设定相关统计量统计程序语句的脆弱性可疑度，生成脆弱性定位报告.在发现软件中存在的脆弱性后，该方法对导致此脆弱性的程序代码根源实现了自动分析定位.基于此方法设计开发了软件脆弱性自动定位工具并进行了实例验证分析，实验证明了该方法的有效性.     

三轴过顶跟踪中互耦误差分析及补偿技术

简要介绍卫星过顶跟踪时出现的盲区现象和常用的卫星过顶跟踪天线座结构形式,理论上推导了三轴跟踪系统的程序跟踪算法。针对A+E+TIL形式的无盲区跟踪系统,推导了其过顶跟踪时产生的交叉耦合对跟踪性能的影响,并提出了解决方法。仿真结果表明,该方法可以有效提高系统跟踪精度。     

自动诊断仪

根据和NASA签订的一项合同,美国康涅狄格州的温索尔洛克斯汉密尔顿测试系统公司为一个空间站的环境控制和生保系统研制了一种由计算机操作的诊断系统——自动诊断仪。它不仅能用于空间,而且也适合地面上的商业应用,如诊断汽车或卡车的故障。自动诊断仪比起其它旧式的诊断装置要先进的多。在25分钟内,它能完成对汽     

可靠性维修性保障性效能模型研究

分析了系统效能的定义及其影响因素,提出了可靠性维修性保障性效能的概念,定义了进行可靠性维修性保障性综合设计分析的一个新的参数ＲＭＳ效能ＥＲＭＳ,推导了在执行任务期间可修复和不可修复２类典型系统的ＥＲＭＳ表达式,给出了利用参数ＥＲＭＳ进行可靠性维修性保障性综合设计分析的步骤．     

中断雷达距离跟踪的战斗机机动控制方法

基于跟踪雷达距离自动跟踪系统特性,提出了战斗机中断雷达距离跟踪的机动轨迹控制策略.推导了跟踪雷达距离自动跟踪系统的系统传递函数,研究了跟踪误差产生机理.以二维平面内导弹攻击为例,分析了导弹与战斗机的二阶相对运动模型.在此基础上,基于闭环反馈控制思想,提出了战斗机中断雷达距离跟踪的控制方法,推导了战斗机的机动轨迹控制律,给出了其解析形式.通过数值仿真,分析了该方法的适用范围,为战斗机飞行员制定决策提供了依据.      

永磁电动机网格自动部分

有限元法是一种查以用来求复杂工程问题近似解的数值方法，而求解域的网格自动部分技术有明显的实用价值。本文根据网格自动部分的一般原则，阐述了稀土永磁直流电动机矩形槽三角形单元的自动部分方法及相应的几个功能于程序，并利用ＡｕｔｏＣＡＤ绘图软件包方便的实现了网格数据检查和图形显示。     

符号执行和测试数据辅助生成的实验系统

本文提出了一个以符号执行方法辅助生成测试数据的实验系统。对于一个给定的源程序,它在对该程序进行静态分析的基础上,自动选择一组逻辑路径使其满足语句覆盖准则、或分支覆盖准则、或逻辑路径覆盖准则。然后,逐条地符号执行这组逻辑路径。对每条路径,它都产生一组以程序输入变量表示的路径限制条件。本系统还产生定义在输入变量上的输出变量(及中间变量)的符号表达式,用户可据此分析路径的计算过程、输入变量与输出变量的关系等。因此,它为验证程序断言、静态分析程序、分析动态测试结果提供了有价值的信息。