装备采办中的讨价还价博弈模型

竞争性谈判是一种重要的武器装备采办方式,军方与承包商之间的谈判是一个重复博弈过程,双方谈判的本质是讨价还价。分析了轮流出价的讨价还价模型,对轮流出价博弈的子博弈精炼均衡进行了论述;在轮流出价模型的基础上建立了同时出价的讨价还价模型,并对2种模型的特点进行了分析;通过案例对2个模型的均衡结果进行了对比。分析结果显示：同时出价的讨价还价模型更能有效解决实际问题,更具有现实意义。     

基于能量函数的插值代理模型推广能力评价准则

本文分析了插值型代理模型的特性,提出了影响插值代理模型的推广能力的重要因素是代理模型的振荡特性,分析表明:振荡剧烈的代理模型,其推广能力就弱。为了评价代理模型的推广能力,本文提出基于能量函数方法的评价方法。能量函数方法是通过计算代理模型的一阶和二阶导数,得出代理模型的振荡情况来进行评价。能量函数越高,代理模型的振荡越剧烈,因而其推广能力越差。测试函数表明,能量函数方法在评价代理模型推广能力上是有效的。     

高炮群火力优化分配的指派模型

火力优化分配是高炮群指挥控制的关键环节。依据有严格理论证明和实用价值的指派问题及其解法(匈牙利法),构建了一对一射击和多对一射击情形下的高炮群火力优化分配的指派模型,探讨了该模型的求解,分析了该模型的实际应用,并通过具体实例对该模型进行了初步验证。该模型的解法被证明是多项式时间算法,满足作战实时性要求。实际应用表明该模型用于解决高炮群的火力分配问题是有效的。     

多模型滤波器

本文研究了多模型滤波器的最优设计问题。多模型滤波器在跟踪目标时,使用了不同的局部模型。其中用到两个模型:常速(CV)和常加速(CA)模型。得到了保证最优多模型滤波存在的充分条件。这个问题是在开关增益是对角矩阵的条件下解决的。用一个模拟的目标轨迹对此滤波器的性能进行评估。     

具有偏好系数允许卖空的投资组合模型解存在的条件

在投资组合各种模型中,具有偏好系数的投资组合模型是最重要的模型之一,对其求解的研究具有理论价值。本文利用矩阵分块理论对此模型进行了研究,并给出了此模型解存在的一个充分条件。     

基于元模型的可执行体系结构建模方法

可执行模型是进行体系结构分析的一种有效方法,但是现有可执行建模方法都是利用部分视图模型转换得到可执行模型,无法充分发挥以数据为中心方法的优势,并且由于视图模型的半形式化特性,无法确保可执行模型转换的一致性。为了弥补现有可执行建模方法的不足,提出了DoDAF元模型向着色Petri网转换的可执行建模方法,通过分析DoDAF元模型之间的内在关系及其在可执行建模中的作用,建立了DoDAF元模型与着色Petri网的语义映射矩阵及模型转换的详细步骤。     

粘弹阻尼隔震元件的小数阶微商动力模型研究

本文研究粘弹材料的小数阶微商本构模型,指出这一本构模型不仅是在数学上对标准粘弹本构模型的推广,更重要的是它能合理地描述具有较宽频带的高应变率动载作用下粘弹材料的力学行为。给出了粘弹阻尼隔震元件的小数阶微商动力模型、确定模型参数的试验途径、以及综合模型参数的非线性规划方法。研究了粘弹液体阻尼器的小数阶微商Ｍａｘｗｅｌｌ模型,通过与试验结果的比较,表明了模型的适用性和综合模型参数方法的有效性。     

基于概念模型的仿真模型调度决策法

仿真模型调度决策是实现仿真结果合理、可信、可用的重要环节。界定了模型调度决策问题域,引入了模型调度序列表示决策结果,提出了基于UML(unified modeling language)概念模型的模型调度决策法,分析了防空作战仿真模型调度决策示例,为解决舰艇作战仿真模型的调度决策提供可行办法,对复杂军事问题仿真模型调度决策具有一定的理论意义。     

装备综合保障仿真一体化建模研究

装备综合保障一体化模型是更有效地实现装备综合保障仿真的基础,解决元模型的异构和分布性问题是综合保障仿真一体化建模技术的关键。针对装备综合保障仿真一体化建模问题,探索了利用可扩展标记语言（eXtensible Markup Language,XML）对综合保障仿真元模型进行一致性描述,并建立了综合保障仿真一体化模型。以XML为基本建模语言,通过设计各类元模型的XML描述结构和表达方式,实现了综合保障仿真中各类异构元模型的集成化、一体化表达,该一体化模型为综合保障仿真集成化开发环境的实现奠定了良好基础。     

变结构MM估计器的模型集合序列条件估计

变结构多模型(VSMM)估计最重要、自然和实用的方法是递归自适应模型集合(RAMS)方法。它由两个功能部分组成:模型集合自适应和模型集合序列条件估计。本文是针对第二部分。具体一点,就是通过推广著名的交互多模型(IMM)算法得到基于任意时变模型集合序列的一般的最优单步高效的递归模型集合序列条件估计。这种递归提供了一种在RAMS中是最优的为新激活的模型分配概率并且对基于这些模型的滤波器进行初始化的自然和系统的方法。此外,还给出了基于任意两个模型集合(未必是不相交)获得整体估计的最优和高效的融合方法。最优递归和融合为模型集合序列条件估计问题提供了对于大多数实际问题都相当令人满意的解决方案。这里给出的结果已经应用在最近建立起来的两个变结构MM估计器,似然模型集合和模型群切换算法中。这些算法是普遍适用和容易实现,并且明显优于可用的最好的固定结构的MM估计器。     

基于知识的模型库管理系统

模型库管理系统是决策支持系统区别于其它计算杌信息系统的一个重要特征,着重介绍了如何将知识的表达技术(网络图)和推理机制(深度优先搜索)应用于模型库管理系统,从而实现模型的自动集成和选择,并给出了具体实现过程。     

基于网格的资源目录管理的设计与管理

资源目录管理是网格系统软件的重要组成部分。通过实例研究基于网格的资源目录管理的设计与实现。资源目标管理的设计基于LDAP协议 ,直接采纳了LDAP的标准数据表示和数据存储方法 ,并结合网格系统的自身特点设计网格中的信息表示方法和数据模型。资源目录管理的实现采用目录管理软件Openldap1 2 7和后台数据gdbm1 8 0 ,对其中的关键技术和主要步骤都做了重点研究并举例说明     

舰艇编队作战指挥系统设计与仿真平台

作战指挥系统是海上舰艇编队的神经中枢。针对现代舰艇编队作战指挥系统研制过程的特点,构建了支持协同建模、动态重组、敏捷制造和增量开发等功能的支撑平台。该平台由建模工具、仿真引擎、系统管理与模型部署3个工具组成,重点对建模工具和仿真引擎进行了介绍。建模工具支持多种开发视图、多种建模方法和模型表示方法,特别适用于对复杂大系统进行多层次、多粒度的建模;仿真引擎是模型的求解环境,为模型的运行提供柔性的架构、简单的接口和高级的支撑服务,大大地简化了应用系统的实现,促进了模型的复用。最后,举例说明了如何应用该平台开发一个应用系统。     

SIM—LISP:一个通信网络管理专家系统外壳的设计与实现

本文介绍了笔者为开发名为OONMES的网络管理专家系统所实现的一个简单专家系统工具SIM-LISP。SIM-LISP是一个用C/C++语言来实现的模拟LISP语言的可调用函数集,它短小精巧,速度快,可以完成针对网管专家系统的事实或规则知识的表示、匹配、合一和推理等基本操作,并有与知识对象的连接功能,是网管专家系统内核实现的支撑环境。     

基于关系数据库的仿真模型管理

本文将讨论仿真模型库管理技术。从仿真模型库管理的实际需求出发，提出以关系代数系统实体结构（ＲＡＳＥＳ）框架为理论依据、利用关系数据库进行模型库管理的方法，并给出模型库管理算法的形式化描述及系统设计。     

基于操作-响应模型的IPCA设计与实现

根据虚拟操作训练系统可以建立确定的操作部件和响应部件之间的逻辑关系模型这一特点,采用产生式知识表达方法和正向推理控制策略,构建了操作-响应模型。在确定误操作类型的基础上,设计了基于操作-响应模型的IPCA(Intelligent Process Control Agent),同时给出了具体的技术实现过程。     

故障诊断专家系统外壳设计与实现

设计了一个故障诊断专家系统外壳,给出了外壳的总体框架结构,基于对象式框架的知识表示,融经验诊断和原理诊断为一体的推理机制.介绍了在Windows环境下实现故障诊断专家系统外壳的方法.只要通过知识库管理系统,在Access数据库中建立不同的知识库,就可以创建不同系统的专家系统.开发的故障诊断专家系统已经在实际中应用,取得了良好的效果.     

基于贝叶斯网络的作战目标评估

在作战指挥决策活动的筹划阶段,对敌体系要害和关键点的分析,当前尚未形成系统方法。针对此问题,利用贝叶斯网络在非精确知识表达与推理领域的优势,提出了综合考虑目标价值、打击难度、打击效果等因素的作战目标评估模型。根据判别贝叶斯网络分类器性能优于生成贝叶斯网络分类器的特点,在经相关领域专家论证的样本数据集的基础上,采取梯度下降法训练得出评估模型各结点条件概率分布。最后,利用Netica仿真软件,经样本数据测试,证明了作战目标评估模型的合理性。     

Coherent systems based on sequential order statistics

The sequential order statistics (SOS) are a good way to model the lifetimes of the components in a system when the failure of a component at time t affects the performance of the working components at this age t. In this article, we study properties of the lifetimes of the coherent systems obtained using SOS. Specifically, we obtain a mixture representation based on the signature of the system. This representation is used to obtain stochastic comparisons. To get these comparisons, we obtain some ordering properties for the SOS, which in this context represent the lifetimes of k‐out‐of‐n systems. In particular, we show that they are not necessarily hazard rate ordered. © 2011 Wiley Periodicals, Inc. Naval Research Logistics, 2011     

基于GMM的数据仓库管理与维护

元数据管理系统是构建、管理、维护和使用数据仓库系统的核心部件。元数据管理关键在于构建一个全面的、可扩展的元数据模型,表示各种类型的元数据。本文提出了一个通用的元数据模型GMM,该模型可以有效支持数据仓库的管理和维护,如用户视图管理、个性化服务、增量刷新、数据志跟踪等。