可计算组织模型的验证难点与验证方法综述

模型“有效性”能否得到验证是推动计算组织理论发展的必要条件,也是一大瓶颈. 立足于计 算组织理论的前沿地位,论文综述并讨论了可计算组织模型的验证难点和验证方法. 首先,可计算组织模型验 证区别于自然工程模型,也超越了传统实证方法,在验证过程面临诸多主观、客观的难点;其次,发展基于问题 域、建模目的、参照系三者内在联系的验证情境,从“度”上考量模型有效性,是可计算组织模型的有效性本质;再次,建立区别于自然工程系统的VV&A验证方法,关注概念效度验证、操作效度验证以及数据效度验证,遵循 迭代验证原则,是未来的研究趋势. 本课题也列举了相应的验证案例;最后,可计算组织模型验证应该是一个不断 增强模型信心的过程,亟待跨领域专家执着于该领域的研究兴趣.     

基于Agent的项目组织和流程模型

为预测并行或复杂项目中大量涌现出的返工、协调和等待等"隐性工作", 基于Agent仿真和计算组织相关理论, 实现了经理论和实践验证有效的可计算项目组织和流程(CPOP) 模型. 该模型能对任务、流程、人员和组织进行建模, 模拟隐性工作的涌现, 输出工期、成本、质量、隐性工作和工作积压等定量结果, 评估项目组织与流程的匹配度. 这一模型有助于促进项目组织和流程设计的定量化研究.     

基于符号模型检测的SDG模型可诊断性验证

由于定量信息和非线性因果关系的丢失,符号有向图（signed directed graph, SDG）模型的可诊断性需要进一步地进行校核与验证。为此,提出了基于符号模型检测的SDG模型可诊断性形式化验证方法。首先定义了SDG模型的有限状态变迁系统形式化描述,建立了符号模型验证器（symbolic model verifier, SMV）模型;其次利用SDG的深层知识,构造了可诊断性函数,设定了可诊断性上下文,给出了可诊断性定义。然后,构造了SDG耦合孪生SMV模型,定义了可诊断性的计算树时态逻辑公式,提出了验证算法SDGD_CSMV。最后,通过一个实例验证了可诊断性的判定和算法的有效性。     

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

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

实时仿真系统可信性验证

实时仿真系统可信性验证是实时仿真理论研究及工程应用的重要内容。主要研究了实时仿真系统可信性验证，给出了验证的基本步骤，提出了从实时性、逻辑计算正确性及稳定性三个方面验证实时仿真系统可信性的观点；然后提出了三个指标来验证实时性，给出了各指标的定量计算模型；并研究了实时仿真系统逻辑计算正确性的相关问题，给出了逻辑计算正确性验证的基本步骤；最后分析了实时仿真系统稳定性验证。     

基于可拓学的行为模型验证

虚拟实体行为的逼真度和可信度是行为建模的两个重要指标,行为模型验证是断定行为模型是否真实可信的重要手段.行为模型具有决策空间多维性和响应结果不确定性等特征,传统的面向数学物理模型的验证方法难以凑效.提出依据可拓学基本原理,结合专家经验评估法,对虚拟实体行为模型进行验证的方法.算例表明该方法对于行为模型的验证是有效的,可以实现多层次验证指标的分解与合成,并最大限度地降低了验证过程中的主观因素.     

计算机仿真有独立的生命吗?

计算机仿真是以计算机为工具,根据研究目标,建立并运行计算模型,对研究对象进行认识与改造的过程,是计算模型需求、计算模型表达、计算模型设计、计算模型实现、计算模型运行与计算模型分析的过程,是基于计算机模型的活动,不是在"实物"上进行的活动,具有超越理论方法与实验方法的双重特性,是与理论、实验同等重要的认识世界与改造世界的方法论,有不能完全脱离理论与实验而存在的独立的生命.     

突现计算模型和行为研究进展及案例分析

作为系统重要特征之一,复杂系统中的突现现象被许多研究者所关注.突现计算为复杂动态系统中的智能行为研究提出了一种创新思路.根据突现计算发展的特点,分析了相关领域的研究难点和重点,并从模型结构、研究方法等方面分析总结了突现计算模型的国内外研究状况.最后针对Swarm模型在MatIab平台下进行了仿真,并结合粗糙集的数据挖掘方法验证了系统动力学参数对模型形状有重要影响.     

内燃机零部件结构仿真模型有效性确认与验证

论证在内燃机零部件结构仿真领域实施模型确认与验证的必要性.根据目前我国燃机零部件结构仿真的特点,对仿真模型有效性确认与验证的内涵进行重新定义.确立通过包含有模型确认内容的模型文本化方法进行模型有效性确认的策略,建立模型确认文本规范.研究进行模型验证的一般方法.对曲轴结构强度仿真模型进行有效性确认与验证的实例应用,表明仿真模型确认与验证是保证内燃机零部件结构仿真可信度的有效方法.     

多级批处理过程自组织动态调度方法

针对多级多产品批处理过程生产调度的动态性和复杂性等特点,提出了自下而上的自组织调度方法,用来解决目前存在的动态重调度瓶颈问题.分析了多级批处理过程动态调度的要求,将自组织理论引入到动态调度建模问题中,建立了自组织调度系统模型构架.提出了"业务办理"自组织机制,定义了自组织过程中的行为准则和标准,并给出了自组织动态调度算法.最后应用实例验证了自组织动态调度方法的有效性.     

中远程地空导弹系统效能评估模型

应用ADC方法建立了中远程地空导弹系统效能评估的数学模型.分析了典型中远程地空导弹武器系统的可靠性逻辑结构,通过适当的计算假设,计算出武器系统的有效度矩阵;利用连续时间齐次马尔可夫链的柯尔莫哥洛夫向后方程和向前方程求解武器系统的可信赖度矩阵;选择武器系统的目标特性,射击能力,抗干扰能力,导弹能力和机动能力建立能力指数体系数学模型.为了验证模型的有效性,给出应用实例,并提出了进一步研究的方向.     

多维输出模型集成验证方法研究

基于经典假设检验和多元数理统计方法,提出了三种多维输出模型集成验证的度量,能够在多维输出模型的验证工作中考虑输出变量之间的隐含相关信息进行集成验证,避免忽略这些隐含信息而对模型的可信性做出错误判断.研究了Box-Cox等非正态数据转换方法,目的是满足各种假设检验基于正态分布假设的要求,扩大所提出的模型集成验证方法的工程应用范围.最后,数值算例说明对多维输出模型进行集成验证能够得到比单变量验证更准确的结果,并将所提方法应用到某飞行器三自由度运动学模型的验证工作中,说明其具有一定的工程意义.     

基于SMP2的仿真模型测试方法研究

仿真模型的有效性评估一直是建模与仿真领域研究的重要课题。在工程大系统的仿真模型集成过程中,由于传统仿真模型的验证方法受到建模方法和建模语言的多样性以及模型重用语境变化的影响,使工程总体难以确定导致系统行为产生偏差的模型单元。从测试的角度以SMP2（仿真模型可移植性规范）为基础提出层次化语境驱动的仿真模型测试方法论,从测试框架的描述机制、测试框架的分解机制以及面向测试的仿真模型验证方法等三个方面讨论方法论的具体内容,为基于SMP2的仿真模型提出可测试性设计方法。     

组织描述方法研究

概括了组织描述研究的方法和理论 ,分析了这一研究领域的难点和重点 ,并在计算组织适应性理论和分阶段设计理论基础上提出了一种组织的分层描述思想 ,定义组织核心元素 :组织、目标、决策实体、平台和环境 ,以及四个链接 (平台 -任务链接、决策实体 -平台链接、决策实体间链接以及组织 -环境链接 ) ,通过这五个元素和四个链接来描述组织模型和组织行为 ,基于这一思想对组织适应性过程给出了数学描述 .     

效能评估ADC模型中可信赖度矩阵算法探讨

ADC模型是目前评价复杂武器系统效能的标准方法,在实践中得到了广泛应用.但多数应用中可信赖度矩阵计算过于简化,致使效能评估结果误差较大.为了提高模型的有效性和可信度,将武器系统在执行任务后任意时刻处于某种状态看作是一个随机过程,应用连续时间齐次马尔可夫链的柯尔莫哥洛夫向前和向后方程建立可信赖度矩阵计算模型,求解矩阵微分方程得到转移概率.最后,以某型近程地空导弹武器系统效能评估为应用背景,给出了应用案例,验证了模型的有效性,并提出了进一步研究的方向.     

基于QFD和Kano模型的供应商选择方法

为降低供应商选择过程中的主观偏见和不确定性,综合应用QFD、Kano模型和模糊集理论提出了一种新的供应商选择方法.应用QFD方法将需方对欲购产品的各项需求转换为可精确度量的、与该产品相联系的工程特性;通过专家打分,确定各项需求的相对权重、各工程特性间的关联强弱,以及各项需求与工程特性间的关系,并用非对称三角模糊数进行定量描述,据此计算各工程特性的权重,得到供应商选择的质量屋.然后,根据权重对全部工程特性进行排序,将排序结果区分为Kano模型中的3类需求,并用Kano系数表示.最后,综合工程特性值和Kano系数得到候选供应商在各特性上的表现得分,经加权求和可获取该供应商的总得分.通过算例验证了所提方法的有效性,并进行了决策者的敏感性分析.     

混合系统的形式验证方法

在介绍混合系统形式验证概念的基础上，从可达集表示和可达集计算方法的角度比较了混合系统的各种形式验证方法和验证工具。重点介绍了模型检验方法中的收敛近似方法和过近似方法，通过一个化工过程系统的验证实例详细介绍了验证工具CheckMate的验证算法。最后分析了混合系统形式验正的难点问题和主要研究方向。     

中国金融可计算一般均衡模型

为了研究中国金融问题,本文建立了中国金融可计算一般均衡模型,用于分析中国的货币政策和能源行业的资本存量,从而为中国金融政策的制订提供了数量上的依据。中国金融可计算一般均衡模型的方法也用于其他国家研究金融问题。     

空空导弹系统仿真模型验证平台

文章介绍了空空导弹系统仿真模型验证平台。该平台基于CLIMB方案，将不同数据资源分为五个等级。利用等级高的数据库对产生等级低的数据库资源的模型进行验证。平台集成了工程上用于仿真模型有效性评估的统计检验方法。平台验证方法完备且具有良好的开放性，易于扩充。最后用实例说明平台的工作界面。     

基于知识的仿真模型的验证方法

仿真模型的验证研究的是模型的可信度问题。由于模型验证需要关于真实系统,建模理论以及数据分析等多方面的知识,基于知识的智能化方法适合于仿真模型的自动验证。这类方法是建立在三个知识库的基础上的:存储验证相关知识的验证知识库(VKB),用于智能推理和决策的决策知识库(DKB),以及由各类验证算法所构成的验证技术库(VTB)。通过分析验证知识库的验证域,系统选择合理的验证技术和相关的验证过程。在此基础上,系统自动设计仿真实验,获得运行结果,并自动分析数据,执行验证过程,生成验证报告。此外,我们也讨论了验证相关知识的获取过程和细节。