对象状态测试

阐述了面向对象软件测试中对象状态测试的重要性，提出了对象状态测试模型，介绍了从Ｃ＋＋源程序构造模型的方法，最后给出了基于ＯＳＤ的面向对象状态测试的测试策略，测试标准和测试用例的生成方法。     

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

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

决策支持系统中的反馈机制研究

将反馈机制引入决策支持系统的研究与设计，分析了ＤＳＳ中反馈的基本特点，应用控制论，行为科学、人机工程学及系统仿真理论的有关思想和方法，提出了决策状态反馈与决策输出反馈的基本概念，并给出了相应的人机交互与策略仿真两种反馈模式，研究了其对决策的影响，最后结合具体实例分析研究了引入反馈后的决策过程和结果，研究表明，反馈机制的引进能有效地提高决策有效性。     

基于构件的模型库和方法库的设计和实现

在智能决策支持系统开发环境的分析和设计的过程中,提出了实现此开发环境的一种设计原理和系统结构,讨论了在决策支持系统设计建模中的模型库和方法库的设计和实现,在对分布式对象技术和对象建模技术分析的基础上,给出了基于对象建模技术和构件对象模型技术的模型库和方法库的分析、设计和实现.     

机械系统人机界面优化匹配决策系统的研究

应用决策支持系统的理论给出了机械系统人机界面优化匹配决策支持系统的方法,利用先进的计算机辅助设计技术CAD(Computer Aided Design)建立了机械系统人机界面优化匹配的多维组合式仿真试验台,该试验台主要由台架、仪表板、台面、底座及其它附件组成,在不变换试验台主体的情况下,可对多数机械系统人机界面进行优化匹配模拟仿真试验.应用层次分析法模型、模糊综合评判模型构建方法库和模型库.通过该决策支持系统,可以较好地完成初始方案的优化,即节省时间,又可以节省大量人力和物力.     

基于对象的仿真建模系统

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

基于FDII网络的空间站DMS网络可靠性分析

在首先介绍了空间站ＤＭＳ网络结构的基础上，通过对ＤＭＳ网络使用的ＦＤＤＩ、ＭＩＬ－ＳＴＤ－１５３３Ｂ及ＩＥＥＥ８０２．４网络在各种情况下的可靠性分析，应用概率分析的方法得出系统可靠性的数学模型，通过图示得出ＤＭＳ网络可靠性随点及链路失效率变化的情况，为空间站ＤＭＳ网络可靠性设计提出了依据。     

基于基元关系模型的C++程序静态分析器

分析了面向对象软件测试和度量的特点,结合面向对象程序的性质提出了描述程序基本组成元素之间关系的基元关系模型(ERM),介绍了从基于MFC(Microsoft Foundation Class)的Visual C+ +6.0源程序中构造ERM模型的算法,据此构造了一个基于基元关系模型的VC+ +6.0程序静态分析器.对分析器实现中采取的名称空间符号表、增量式开发和增量式分析等关键技术进行了介绍.实践证明,该分析器可以高效正确地提取出模型中描述的各种关系,有助于面向对象软件测试和度量方面的进一步研究.      

多媒体智能数据库系统MIDS／BUAA

ＩＤＢ（智能数据库）思想的提出，预示着人类的信息处理即将步入一个崭新的时代．ＩＤＢ将计算机科学中近年来日趋发展成熟的五大主要技术，ΟΟ（面向对象）技术、ＤＢ（数据库）技术、ＡＩ（人工智能）、Ｈｙｐｅｒｔｅｘｔ／Ｈｙｐｅｒｍｅｄｉａ（超文本／超媒体）和正文数据库与联机信息检索技术，集成为一体．其中ΟΟ、ＡＩ和ＤＢ是ＩＤＢ中的三大支柱技术．本文论述ＭＩＤＳ／ＢＵＡＡ数据模型（Ｄａｔａｍｏｄｅｌｉｎｇ）的哲学，并介绍ＭＩＤＳ／ＢＵＡＡ系统的设计思想、动机、核心数据模型，系统的功能构成和它的Ｃｌｉｅｎｔ／Ｓｅｒｖｅｒ体系结构．     

一种基于面向对象Petri网的并发程序建模方法

介绍了一种基于面向对象Petri网的并发系统建模方法. 该方法把面向对象技术与Petri网理论相结合, 构成一种面向对象Petri网,可以解决用Petri网建立并发程序模型所遇到的状态爆炸问题,又使得建模系统具有可重用性且易于维护, 是一种具有数学和图形方式相结合的形式化描述.     

A novel system parameters design and performance analysis method for Distributed Satellite-borne SAR system

As a promising new technology emerged in recent years, the Distributed Satellite-borne SAR (DSS) system with Interferometric Synthetic Aperture Radar (InSAR) imaging capability has been recognized by the remote sensing community as an integrated part of the spaceborne earth observation system. However, most researches on DSS were focused on individual aspects of system design/analysis and data processing, while few studies have been dedicated to establishing a standard methodological framework for universal DSS system design. Aiming at this problem, the topics of DSS system error analysis and design method are investigated in this paper. Firstly, a rigorous error propagation model of height measurement is theoretically derived from the DSS InSAR imaging geometry, and the impact of each error sources in this model on the height measurement accuracy is analyzed individually. In particular, the baseline length and its measurement error in the InSAR imaging plane are identified as the dominant factors. Second, a new method for DSS system design is proposed based on our analyses with the error propagation model. This method consists of two important phases, namely collaboration design and monostatic design. The major objective of collaboration design is to determine the configuration and parameters for the coordination between satellites in the DSS system. Afterwards, the key parameters for single satellite and the payload are determined by the monostatic design. Thirdly, a system performance analysis method is developed to comprehensively evaluate the performance of the pre-designed DSS system. In the next section, a typical example of DSS system design is given to demonstrate the effectiveness of the proposed system design and analysis methods. The target DSS system has the same goal and hardware configuration as the TanDEM-X mission. Finally, the conclusion is drawn with our major findings are presented.     

多阶段制造系统调度模型与资源价格研究

为时变需求下的多阶段、多工件种类且生产能力可追加的制造系统调度问题构建了一个令总成本最小的数学模型.通过分析最优性条件,得到了工作站生产能力的价格,并解释了它的经济含义.将调度模型转换为一个时空扩展网络上的静态的费用极小流问题,然后用改进的Frank-Wolfe算法求解.     

成分数据的空间自回归模型

针对已有成分数据线性回归模型对研究对象相互独立的严格要求,提出了含有成分数据和普通数据的空间自回归模型,在此基础上提出了成分数据空间自回归模型的估计方法。新模型结合了空间自回归模型处理因变量之间相互依赖的优势,可同时处理成分数据和普通数据。通过利用等距对数比（ilr）变换将成分数据解约束,得到了新模型的参数估计量。蒙特卡罗模拟实验验证了所提估计方法的有效性。      

基座与臂杆全弹性空间机器人的有限时间控制

探讨了基座、臂杆全弹性影响下,基于有限时间的漂浮基空间机器人系统轨迹跟踪以及柔性抑振问题.由于弹性基座与两柔性杆之间存在多重动力学耦合关系,此系统为高度非线性系统.将弹性基座与臂杆间的连接视为线性弹簧,利用拉格朗日第二类方程并结合假设模态法,推导出该系统的动力学模型;应用奇异摄动理论的两种时间尺度假设,将系统分解为表示刚性运动的慢变子系统和表示基座弹性、双柔杆振动的快变子系统.针对慢变子系统,设计了一种基于名义模型的有限时间控制器,保证完成刚性期望轨迹跟踪.设计的积分式滑模面具有有限时间收敛特性,比传统渐近收敛控制方法具有更快的收敛速度和更强的鲁棒性;对于快变子系统,采用线性二次型最优控制同时抑制弹性基座与两柔性杆的振动.Lyapunov理论证明了所提控制算法能使跟踪误差在有限时间内收敛到原点.仿真验证了控制方法的有效性.     

IDSS中数据仓库和数据挖掘的研究与实现

讨论了数据仓库、数据库知识发现和分布式对象的概念和技术,提出了一种集成化的IDSS(Intelligence Decision Support Systems)的开发环境,将传统的DSS四库结构与数据仓库相结合,把数据挖掘作为一种特殊的模型应用于数据库中的知识发现.同时,在系统实现上采用分布式对象技术,实现接口规范和应用程序相分离.最后进一步对数据仓库的设计与实现及数据库知识发现的设计与实现进行了介绍.     

反馈结构模型及应用

反馈结构结构系统的排序原理是在递阶导次结构基础上提出来的，对于元素关系很复杂的系统，可能无法建立递阶层次结构模型，而反馈结构模型就为复杂关系提供了条件。在论述了建立反馈结构模型方法的基础上，对大型工程项目总设计单位的评审这一涉及因素多，关系复决策问题，进行了分析计算，在分析反馈结构模型时，借用了图论分析的方法，并建立了两类结构的运算模型，对反馈结构运算模型和递阶层次结构模型的排序结果进行了对比研究     

监测位移预报的非等间距相关系数平稳序列法

建立了监测位移时间序列分析、建模和预报的非等间距相关系数平稳序列法.采用随机过程理论导出了模型的整体极大似然估计,在保证参数估计量优良统计特性的同时,克服了现行组合模型方法难以处理非等间距监测位移序列的问题.通过数字模拟仿真技术解释了传统插值处理产生较大误差的原因.计算实例表明该方法具有较高的建模和预报精度.      

函数传递法求解悬链线问题

悬链线问题是一类经典又多变的力学问题，其曲线构形指导着桥梁等工程应用的结构设计。为了求得结构特征或载荷特征不同的悬链线的变形，提出了一种基于传递矩阵法思想的、通用性较好的求解方法。首先，提炼出悬链力学模型，将悬链顺序划分成若干简单单元，结合单元力平衡和本构-几何关系解得单元特征函数方程组，顺序嵌套单元特征函数方程组获得整体特征函数方程组；然后，使用离散Newton迭代法对该非线性方程组进行求解，获得悬链的受力和变形；最后，算例验证了结果与解析解的一致性。函数传递法对具有复杂结构特征和载荷特征的悬链线问题有很好的适用性，对求解其他可划分为若干首尾相接结构单元的结构系统的广义变形也适用。      

吴方法在平面并联机构位置正解中的应用

采用吴方法对平面并联机构位置正解问题进行了研究.吴方法是一种求解非线性方程组的数学机械化方法,采用这种方法任何非线性方程组都可以在有限步内得到解决.在给出了吴方法基本原理的基础上,对本问题进行了求解,并将原始方程组转化成为一个三角化的方程组.其中单变量方程的次数为6次,说明平面并联机构可以有6个不同的位姿.最后用数值实例进行了验证,给出了计算结果.吴方法在这一问题中的应用,为求解其它机构学难题提供了新途径.     

一种网络环境中的故障诊断模型

结合故障诊断的需求和存在的问题,提出了一种以故障症状、故障假设、诊断操作和观测操作节点为基本元素,并具有网络结构的诊断模型.在该模型基础之上,遵循诊断过程独立的假设,解决实际诊断过程中操作依赖关系的问题,提出了一种基于诊断贝叶斯网络DBN(Diagnosis Bayesian Network)的故障诊断算法.同时通过引入观测操作,加快诊断的速度并且降低诊断代价.试验表明,与P/C更新算法比较,该算法能更有效地降低诊断代价,实现快速故障诊断,较好解决了操作依赖的复杂故障诊断问题.