用组合赋值权法评价战术防空C~3I系统的综合效能

战术防空C3 I系统综合效能评价是一个多目标评价过程。多目标评价中的一个重要因素是考虑目标权系数的选取。运用多目标权系数的组合赋值方法 ,对战术防空C3 I系统效能进行了综合评价 ,确定了一套评价指标 ,给出了系统效能的评价算法。效能评价实例说明了这种评价方法的科学性。     

基于π演算的自治系统架构描述语言AS-ADL

自治系统(Autonomous Systems)具有复杂的动态结构和行为特性,其典型代表就是各类军事作战系统.针对当前各种自治系统架构描述方法存在的局限,建立了自治系统架构的概余模型框架,并提出了一种描述该模型框架的形式化架构描述语言AS-ADL.AS-ADL以高阶多型π演算作为系统行为语义基础,具有丰富的数据类型,可以形式化描述自治系统的动态行为,且具有描述自治元素内部的交互行为的能力,为建立可执行的系统架构模型奠定了基础,并为系统模型求精和模型有效性验证提供支持.     

汽车电子ABS控制参数混合逻辑动态自标定研究

采用软硬件协同设计方法,提出基于汽车电子子系统模块化统一建模的动态仿真测试方法.参照汽车电子电控单元参数的匹配方法,提出了基于CCP协议在线调整ABS参数的匹配方法,并从理论上研究了基于MLD(Mixed Logical Dynamical)系统的ABS控制参数自动标定算法.并通过求解MIQP问题为ECU-ABS控制解出一个优化的控制序列.以ABS开发为例进行了说明和测试,对监控标定系统进行了试验,建立了完整的电控参数标定仿真、实验流程.提出的方法对其它汽车电子嵌入式实时软件开发,缩短调试、路试周期具有重要的意义.     

综合集成研讨厅的理论框架、设计与实现

开放的复杂巨系统及其方法论——综合集成研讨厅体系的提出，使得我们对复杂性的研究方向有了一个清晰的把握。同时，该方法论又是思维科学的一项应用技术，其目的是构建一个人机结合的巨型智能系统，作用于复杂问题的研究。因此，真正实现该系统，使之能应用于复杂性研究的实践，成为一项重要的任务和研究方向。本文阐述了作者在综合集成研讨厅的理论框架、设计与实现方面的工作。     

一类抛物方程组弱解梯度的有界性

本文证明了抛物方程组N的弱解u=(u_1,u_2,…,u_N∈L_2(O,T)_3W_2~1-(Ω))∩L∞(O,T;L_2(Ω))的梯度的有界性。     

系统验收的评估模型和方法

本文将层次分析法与多目标决策方法相结合,研究系统验收的评估问题。建立了系统验收的评估模型,综合评价系统的性能指标与系统研制要求相比较的综合水平,为检验研制的系统是否满足研制指标提供依据。     

微分变分原理的三种基本型式相容性问题的分析

对于非线性非完整系统,当应用微分变分原理三种基本型式(D—L原理、J—B原理、Gauss原理)推导动力学方程式时,会出现不相容的矛盾。因而,曾提出过解决这类问题的假定条件。本文对于假定条件的特点及其应用等方面,作了论证与进一步的分析。     

二阶奇摄动非线性微分差分方程组边值问题

本文讨论一类二阶奇摄动非线性微分差分方程组的边值问题。证明了解的存在性，唯一性。给出了解的渐近展开式，并进行了余项估计。     

一种求解大型生产计划模型的算法

本文考虑在允许缺贷的条件下,多产品、多阶段生产计划问题,给出了求解该问题的算法。这种算法不需要对原问题直接求解,而是先将原问题进行分解,得到一个由一系列非常小且易解的子问题组成的序列,然后用迭代的方法求得一个初始解,再对这个解进行修正,从而得到原问题的最优解。这种算法较好地解决了大规模生产计划模型的求解难问题。     

求解一类非对称线性方程组的极小化残量法

本文考虑系数阵的特征值正负成对出现的非对称线性方程组,对这类线性方程组,本文提出了一种基于特殊子空间的极小化残量法,它在理论上具有至多N/2步的收敛性(N为方程组的阶数),文中的数值试验验证了所得结论。