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

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

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

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

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

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

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

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

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

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

实时仿真系统可信性验证

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

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

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

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

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

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

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

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

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

组织行为演化研究的计算实验方法

社会组织是一个复杂适应系统,演化问题单纯应用静态、还原思想为主导的理论框架难以解决,管理问题的实验也因为风险和道德等问题很难进行.利用人工社会思想和计算机技术构造人工组织系统进行计算实验,可以提供一个间接实验的重要方法.文章主要工作包括建立演化计算实验模型,讨论实现方法和结果.初步成果表明这一方法对研究组织行为等管理问题是有效的,有助于研究复杂现象背后的基本机制、人的行为对系统演化的影响等问题.     

分形视角下的非常规突发事件应急协同组织

随着跨地域、跨部门、跨功能等协同处置需求增强,动态协同成为应急组织研究的热点.本文从系统理论的角度,借鉴分形的思想,将分形方法论引入非常规突发事件的组织系统理论研究中,以应急单元间的供需关系(demand-supply(DS))和授权-执行(delegation-to do(DT))关系为主线,生成了协同的应急组织分形元.分形元中的每个应急单元具有双重角色,既可以作为父分形元中应急任务的能力单元,也可以作为子分形元中应急任务的指挥单元,应急组织分形元间关系繁衍构建了分形应急组织模型.组织模型构建中,我们应用计算数学组织理论,以应急任务、应急能力单元和应急指挥单元为关键要素,构建了分形应急组织的优化模型.最后,我们以8.12天津港重大安全生产事故为例,说明了分形应急组织应对环境变化的灵活性和高效性.     

基于语境的仿真模型可组合性判定准则研究

组合仿真理论和方法研究的核心是仿真模型的可组合性.论文基于面向组合的MS框架描述了语境与可组合性判定的关系,通过定义应用语境和模型语境,论证了可组合性问题的本质是在应用语境约束下判定仿真模型及其组合在模型语境中是否为真,进而基于应用语境对模型语境的接口剪裁和行为剪裁提出了模型组合在满足应用需求方面应具备的条件,构建了四个IO规范层次上可组合性的判定准则.判定准则的提出不仅清晰地描述了可组合性判定的研究层次和内容,而且有利于将语境显式地表达为仿真模型的元数据从而促进可组合性设计以及仿真模型成熟度的工程实践.     

基于Agent的计算经济学及其在供应网络中的应用

基于Agent的计算经济学（ACE）是将复杂适应系统（CAS）、基于Agent的计算机仿真方法应用到经济学研究的一种新方法。与传统的“自上而下”研究方法不同，ACE是用由很多自主、交互的Agent构成的演化系统来对整个经济系统进行建模的计算研究方法。对国内外在ACE取得的成果进行了综述，并讨论了ACE方法的特征和研究方向。同时着重讨论了ACE在供应网络中的应用，说明了它的优势，并分别在供应网络的企业内部机制、组织和复杂网络等方面讨论了潜在的研究方向。     

Validation methodology for distribution-based degradation model

Distribution-based degradation models (or graphical approach in some literature) occur in a wide range of applications. However, few of existing methods have taken the validation of the built model into consideration. A validation methodology for distribution-based models is proposed in this paper. Since the model can be expressed as consisting of assumptions of model structures and embedded model parameters, the proposed methodology carries out the validation from these two aspects. By using appropriate statistical techniques, the rationality of degradation distributions, suitability of fitted models and validity of degradation models are validated respectively. A new statistical technique based on control limits is also proposed, which can be implemented in the validation of degradation models’ validity. The case study on degradation modeling of an actual accelerometer shows that the proposed methodology is an effective solution to the validation problem of distribution-based degradation models.     

改进点格自动机交通网络模型及交通系统自组织现象的研究

基于点格自动机的原理,提出一种比较切合实际的改进点格自动机交通网络模型。该模型把交通网络分为“道路”和“路口”。用队列来模拟“车流”,车辆密度分为三档。在此模型基础上,研究了不同情况下交通系统中的自组织现象。理论上分析了自组织形成的动态过程。并进行计算机仿真     

任务型CGF组织本体建模

针对作战模拟对人类行为表示的准确性要求,建立真实反映战场行为的组织模型是非常重要的。根据需求分析和已有研究的不足,提出了基于本体论的组织建模方法,阐述了该组织本体的构建原则,并从组织静态结构和动态行为两个方面定义了相关概念及概念间的关系。在此基础上采用一阶谓词逻辑描述了该组织本体的形式化过程。实验结果表明,该方法能够准确地建立起用于实体的组织模型,使得实体行为可以反映实际战场行为,且能够保证组织本体的通用性。     

基于多色分级网络的舰炮保障组织柔性重构

针对舰炮保障组织在复杂多变的条件下难以实施动态、高效、精确保障的问题,引入了增强保障组织柔性的思想。通过分析舰炮保障组织的特征、组织柔性的定义及其描述需求,提出了构建舰炮保障组织模型的多色分级网络方法,对组织的网络结构、节点属性及节点间的关联进行了详细描述。在舰炮保障流程中加入了保障组织柔性重构步骤,并给出了具体的柔性重构算法、组织柔性多维度量参数与方法。最后通过仿真实例对比分析了柔性重构与随机重构的柔性度量参数变化,表明了方法的有效性与可行性,及其对舰炮保障组织柔性设计与优化的指导性。     

研发项目中“团队-产品-功能”多领域集成与组织聚类研究

研发项目是由产品、功能、组织和流程等多个领域中元素之间相互联系构成的复杂网络.为了便于同时分析三个领域元素之间存在的相互依赖关系,本文引入扩展的域映射矩阵EDMM分析"团队-产品-功能"之间的依赖关系,进一步,通过"扩展的多领域矩阵"(EMDM),即"团队-产品-功能"EMDM,本文构建了由部件设计结构矩阵(DSM)、功能DSM和EDMM推导组织DSM的模型.然后,为优化组织架构以降低管理的复杂性,构建了改进的两阶段组织DSM聚类准则,提出了最大化"增加的类内外依赖强度比"AIDER和最小化项目的总协调成本的聚类准则,以平衡类内和类外元素对聚类的影响.最后,通过案例,将本文提出的AIDER聚类准则与传统的聚类准则进行了比较,聚类结果表明本方法可明显降低总协调成本.