基于有向图建模的航天器自动化测试研究与实现

为了提高航天器测试效率及测试质量,研究了在无法给出航天器数学模型的情况下利用知识定义方法实现自动化测试的原理。通过对航天器静态测试和动态测试任务的分析,建立了航天器测试任务中测试业务的数学表示模型。基于有向图理论,建立了航天器测试过程的基本模型,提出了一种形式简单、易于理解、便于应用的表格方式航天器自动化测试语言(SATL),给出了SATL应用示例,开发了航天器自动化测试软件(SATS)。SATL和SATS成功应用于"神舟"飞船及多颗卫星各阶段测试,实际应用表明了该方案具有较强的工程实用性。

航天器综合测试系统设计

航天器功能及结构日趋复杂,对综合测试系统要求也越来越高,采用新一代测控技术,构建集中监控管理的分布式体系结构较好地解决了综合测试系统设计中面临的众多问题;提出了具有自动化程度高、通用性和扩展性强、集中监控管理特点的航天器综合测试系统设计方案;对航天器综合测试系统中各测试设备功能、组成及具体方案进行了详细介绍。

人工智能技术在航天器数据监视中的应用研究

通过对航天器数据监视需求的分析,指出了智能监视是航天器数据监视的必然趋势,并对航天器数据智能监视的可行性进行了分析。在深入探讨人工智能技术研究成果的基础上,给出了基于人工智能技术的航天器数据智能监视系统(SDIMS)方案。

航天器地面测试监控管理系统的设计

分析了航天器地面综合测试监控管理系统的任务 ,并对航天器地面测试监控管理系统进行了体系结构设计和软、硬件实现。实际应用表明 ,该系统具有较强的工程实用性和通用性。

航天器地面测试监控管理系统的设计

分析了航天器地面综合测试监控管理系统的特点和任务,并对本系统进行了体系结构设计和软、硬件开发。其专用测试语言为航天器自动化测试提供了有力的支持。实际应用表明。该系统具有较强的工程实用性和通用性。

航天器综合测试数据辅助监视系统(DAMS)设计

对航天器综合测试数据监视的需求进行了系统分析并从数学角度进行了归类描述,提出了一种方便实用的表格式语言实现航天器综合测试数据各类监视知识表示并在此基础上对监视推理流程进行了设计,给出了综合测试数据辅助监视系统(DAMS)设计方案。

基于Motif的航天器综合测试监控台软件(MOCS)设计与实现

系统分析了航天器电气地面支持设备(EGSE)测试监控台软件需求,给出了基于UnixMotif环境的测试监控台软件(MOCS)系统结构方案、进程间通信及进程同步方案,详细描述了采用界面描述信息、控制指令描述信息实现软件通用性的解决方案,给出了基于Motif环境的中文界面实现方法。

一种用于航天器数据监视的知识表示方法

针对我国目前以人为主的航天器数据监视现状,利用人工智能的一般方法,分析了航天器数据监视中需要用到的各种监视知识,提出一种将各种复杂监视知识表示成计算机可识别形式的方法;该方法采用基于规则的思想,易于接受,并引入了优先级的机制完成冲突消解;该方法能够解决与时间有关、与历史数据有关、基于曲线变化等几类遥测参数的监视问题,具有一定的实用性和推广价值。

股票价格的回归—马氏链分析与预测

本文将随机时间序列分解成趋势变动序列和马尔可夫链，建立了回归—马尔可夫组合预测模型，并对此模型编制成通用计算机程序，以此预测股票价格取到某个区间的概率分布、平稳分布。

识别同谱图的实用算法

所谓同谱图是指邻接矩阵不置换相似但具有相同特征多项式的图.在化学上,它表示休克尔分子轨道能谱相同,但对分子结构不同的共轭碳氢化合物,从理论上要识别两个图是否同谱.并给出判别准则,是图论与分子轨道理论目前正在探讨的问题.另从计算的角度出发,给出确定图的邻接矩阵特征多项式的准确快速算法,对于判断给定的图是否同谱,进而检验某些与此有关的理论与猜想也是十分有意义的.在文献[1]中,曾因计算过程中数字膨胀过快,而对利用牛顿公式确定0-1矩阵的特征多项式的方法加以怀疑。

神舟飞船综合测试分系统研制与测试实施

简述了神舟飞船综合测试分系统的方案和系统设计,测试方法和技术,总结了神舟飞船综合测试的特点。

一种用于航天器数据监视的知识表示方法

针对我国目前以人为主的航天器数据监视现状,利用人工智能的一般方法,分析了航天器数据监视中需要用到的各种监视知识,提出一种将各种复杂监视知识表示成计算机可识别形式的方法。该方法采用基于规则的思想,易于接受,并引入了优先级的机制完成冲突消解。该方法能够解决与时间有关、与历史数据有关、基于曲线变化等几类遥测参数的监视问题,具有一定的实用性和推广价值。

GaAs MESFET器件数值模拟的预优共轭梯度法

用传统的牛顿法对GaAs MESFET器件进行数值模拟,由于发散而并不成功。本文采用在不精确线性搜索条件下仍具下降性与收敛性的Fletcher-Reeves共轭梯度法,求解由非线性方程组转化成的非线性最小二乘问题。为使方法能在不同的二次区域形成共轭性较好的搜索方向,方法采用了重开始准则。为加快收敛速度,对目标函数采用了逐步预优的方法。为减少存储量,预优矩阵由Broyden修正公式产生,且不存储修正矩阵,计算结果表明方法稳定,收敛较快,数值结果与实验结果基本相符。

凹槽栅砷化镓金属-半导体场效应晶体管的二维稳态有限元分析

本文叙述用有限元方法对凹槽栅GaAs MESFET’s器件进行稳态模拟的程序。半导体基本方程的离散采用改进的电荷浓缩法和有限元——有限差分混合法;有限元网格采用非均匀剖分及局部加密细分,程序能对结点编序优化,缩小带宽,这对凹槽栅器件,优点更为明显;在用耦合法求解非线性方程组中,采用予优共轭梯度法和牛顿迭代法相结合的新方法,对给定的偏压能一次计算成功。

一类人口系统的预测模型

本文针对新疆边远地区县(市)的人口系统,提出了一类有效的分析预测方法,该模型用于阿勒泰地区富蕴县人口的预测,取得了良好的结果。

股票价格变动的马氏链分析

股票价格变动的马氏链分析艾山江·沙依提，韩东（新疆大学数学系，乌鲁木齐，８３００４６）朱维宝（新疆维吾尔自治区证券公司，乌鲁木齐，８３０００１）１．时间序列一马氏链组合预测模型设Ｚｔ（ｔ＝１，２，３，…，Ｎ）是一随机时间序列，用简单作图法或检验Ｚｔ的...