作战模型验证的过程成熟度模型

作战模型由于自身的特点,它的验证问题一直是一个难点。分析了影响作战模型验证的主要因素,总结了作战模型验证的一般方法,研究了作战模型验证的过程成熟度模型,有助于作战模型验证人员在验证过程中进行阶梯式的改进。     

GM(1,1)幂模型的派生模型

为了进一步完善灰色幂模型体系, 分析了经典GM(1,1)模型和GM(1,1)幂模型之间的变换关系, 在GM(1,1)幂模型的定义型和白化型的基础上, 推导了GM(1,1,x⁽²⁾)幂模型、GM(1,1,x⁽¹⁾)幂模型、GM(1,1,b)幂模型、GM(1,1,exp)幂模型和GM(1,1,C)幂模型五种派生型GM(1,1)幂模型, 构建了GM(1,1)幂模型群. 结果表明, GM(1,1)幂模型与GM(1,1)模型的时间响应函数在本质上是一致的, 不同的GM(1,1)幂模型派生模型在结构、内涵、解析式、功能方面存在一定的区别, 体现了灰色系统解非唯一性原理. 在实际应用中, 可以依据一定的准则, 在默认解群中找出一个最合适的白化解.     

基于结构模型的模型管理

为了使模型管理系统能支持三类不同层次的模型用户，探讨了分别面向信息用户、模型建立者和ＤＳＳ工具建造者的结构模型、模型网络图和模型描述语言的管理方法，讨论了模型描述语句的校验方法和模型描述语句与模型网络图的转换方法，提出了结构模型执行前提判断算法和执行后模型状态设置算法，并给出了在基础教育规划决策支持系统的应用实例．     

复杂性研究的模型方法

模型方法是塑造实在的科学工具,它兼有还原与整体两种特性,因此在复杂性科学研究中也具有重要的地位。复杂性科学一般在隐喻类比的基础上从不同的角度、不同的途径建立了大量的复杂系统模型。回声模型、涌现模型、沙堆模型、人工生命模型是几个已经比较成熟的复杂性研究模型。     

动态投入产出优化模型

[1]、[2]文给出了动态投入产出模型及其调节器。本文在[2]文的基础上提出了动态投入产出优化模型,并给出了求解的方法与步骤,无疑,动态投入产出优化模型在经济发展研究中具有十分重要的意义。     

故障树模型与Markov模型的关系及转换

故障树模型和Markov模型是可靠性分析中最常用的两种方法。探讨了从故障树模型到Markov模型的转换问题。通过通常的列举法从树得到的Markov模型的状态数在基本器件数目很多时将会非常大。为简化模型,提出了用合并法和层次法来减少Markov模型的状态数。利用这两种方法不但可以减少状态数,而且简化了Markov模型的计算。     

基于"当前"统计模型的交互式多模型算法

提出了一种基于"当前"统计模型的交互式多模型算法。在交互式多模型算法框架内,计算"当前"统计模型的概率,自适应地调整"当前"统计模型中目标加速度,使其能够反映目标的机动特性,充分发挥了"当前"统计模型和交互式多模型算法的优点,扩大了"当前"统计模型的应用范围,提高了"当前"统计模型的自适应性。Monte Carlo仿真结果表明了该算法的有效性。     

IDEF3过程模型转换为对象Petri网模型方法研究

IDEF3过程模型是描述复杂、并发系统业务逻辑强有力的建模工具,具有完备的建模语义,在业务建模中有广泛的应用。然而IDEF3过程模型虽然描述了系统的复杂业务过程,却没有对业务过程的动态逻辑,特别是随着时间的演变,业务过程能否正确、合理地反映系统的需求进行描述。提出了一种如何将IDEF3过程模型转换为对象Petri网模型的方法,给出了转换规则和步骤。并利用对象Petri网模型对大型、复杂并发系统强有力的建模、仿真能力,对转换后的IDEF3过程模型进行执行,获取了IDEF3过程模型的行为特性。     

HLA中的对象模型浅析

在基于HLA的仿真系统设计和开发中,开发对象模型是促进仿真互操作和仿真组件重用的关键过程。在给出HLA对象模型概念的基础上,分析提炼了基于HLA的仿真系统的建模过程,总结了FOM、SOM的模型开发方法,最后介绍了HLA对象模型的OMT标准化描述结构框架。     

仿真模型分类学

仿真模型是具有轨迹和结构行为或其中之一的模型.这一定义排除了模型集合中具有点行为的模型.仿真模型的分类要依据一系列的分类准则,本文采用了下述准则:(1)模型的时间集(2)变量的存在性和值域(3)描述性变量的轨迹(4)变量的函数关系(5)空间分布(6)子模型的组织方式(7)所寻求的目标     

农业知识模型研究初探

将数学模型理论运用到知识表达中去,提出了知识模型表达方式思想,并阐述了农业知识模型的基本理论和实现方式,建立了作物气候适应性知识模型系统。参7。     

描述VHDL语句的Petri Nets模型

提出了一个可以描述VHDL中对象和控制流的Petri Nets模型,对比了只支持控制流CFPN模型的描述能力,给出了VHDL中对象信号、变量和数据类型对模型的影响,并以具体实例分析了两种模型的不同抽象结果.     

交通分布模型的一致性研究

重力模型、增长系数模型和最大熵模型是交通分布的代表模型,有不同的适用条件,但在实际应用中其计算结果却极为接近,本文从理论上证明了这几种模型的一致性,证明过程中选择双约束重力模型,底特律模型和引入重力式先验概率的最大熵模型(重力式熵模型)进行分析.根据重力式熵模型的原理写出其规划问题,求解并进行等式转换,证明了重力式熵模型与重力模型及底特律模型具有相同的表达形式,并在实际规划问题中应用三种模型进行预测.结果显示重力式熵模型与这两种模型是一致的,预测结果存在的微小误差产生于不同的迭代过程,为重力式熵模型的实际应用提供了理论依据.     

贝叶斯网络个人信用评估模型

研究了朴素贝叶斯分类器、树增强朴素贝叶斯分类器2种贝叶斯网络信用评估模型的精度,用10层交叉验证在2个真实数据集上对贝叶斯网络信用评分模型进行了测试并与神经网络模型进行了比较.结果表明,贝叶斯网络信用评估模型具有较高的分类精度,在信用评估中具有优势.     

广义技术成熟度评价模型

结合科技工程特点,研究如何量化评价重大工程中关键技术的成熟程度.在传统技术成熟度方法基础上,首先对设计成熟度、制造成熟度、产品成熟度、集成成熟度和系统成熟度等方法进行了研究改进,提出了广义技术成熟度的概念.然后研究了这些成熟度的综合集成关系,建立了广义技术成熟度集成模型,提出了广义技术成熟度的评价特征模型.最后研究了广义技术成熟度在科技工程转阶段评估和管理决策中的应用模型.研究提出的广义技术成熟度模型,已经在重大航天科技工程中得到了应用,可以更全面和准确地对关键技术的成熟程度进行评价.     

谣言传播模型研究综述

简要介绍了自二战以来谣言现象的研究成果及不同领域的谣言传播模型,综述了现有模型的特点及进展.指出谣言传播模型建模过程中要对谣言传播的复杂性、心理特征、蝴蝶效应、从无序到有序的演化等问题进行深入思考,并借鉴舆论传播等多学科的现有成果,以建立基于Agent的复杂网络上的谣言传播模型.     

作战智能体的攻击行为模型研究

针对作战模型中的攻击行为描述问题,在基于多智能体的作战模型中提出了一种攻击行为模型。将攻击行为分解为确定作战对象、选择武器、计算攻击效果三个主要动作,分别建立了一次进攻多个作战对象、阵地作战和机动作战的作战对象选择模型,面目标杀伤武器和单目标杀伤武器选择模型,讨论了作战对象毁伤计算模型。     

多策略的工作流管理系统访问控制模型

针对RBAC模型中没有明确定义模型的非法信息流,也没有提供信息流控制策略,会带来严重的信息泄露问题,对传统的军用安全模型加以改进,并推广到工作流管理系统中,提出了一种基于安全信息流和角色的多策略工作流管理系统访问控制模型,给出了模型的形式化定义、检测系统中合法信息流的算法.新模型为每个角色增加安全类,同时也为每个客体分配一个安全类,在基于角色进行访问控制的同时根据安全信息流进行访问控制,可以很好地解决目前基于角色的工作流管理系统访问控制模型中的信息泄露问题,增强系统的安全性.将该方法应用于开发的工作流 管理系统中,收到了很好的效果.     

VHDL高级抽象模型

本文概述了VHDL的高级抽象模型,并对VHDL中支持和表示此模型的语言基础作了简介。     

隐马氏模型中的标量估计

通过测度变换的方法构造一个概率空间,利用观测变量在该构造空间中独立的性质,研究了一类在实际中应用广泛的隐马尔可夫模型———零延迟隐马尔可夫模型;然后通过测度的逆变换,将构造空间中得到的结果返回到实际的空间中来,克服了通过半鞅的方法得到标量估计的困难。最后给出了零延迟隐马尔可夫模型中标量估计的一般公式,并且应用该公式给出了状态、跳跃次数、状态到达次数等标量估计,以阐明该方法的应用。