基于数据特征的仿真动态输出验证方法

为了解决考虑不确定性时仿真系统动态输出验证问题,提出一种基于数据特征的仿真系统动态输出验证方法。首先在给出数据特征度量模型集概念的基础上,定义了形状、位置、频谱3方面的差异特征度量模型;然后分别构建仿真系统输出和参考输出的标准序列,建立仿真系统和参考系统动态输出的数据特征矩阵;再者,应用基于核密度估计的改进贝叶斯因子法实现仿真系统动态输出统计特性的一致性度量,从而完成动态输出的验证;最后,通过实例应用对所提方法进行了验证。     

行为驱动的仿真模型组合方法研究

针对目前海洋智能航行器仿真系统在开发过程中模型的动态行为很难验证的问题,给出了一个通用的基于行为的仿真系统开发框架,并提出了行为驱动的模型组合方法。首先在研究了仿真模型的行为特性的基础上,采用演算的进程表达式表示组合交互过程,描述状态转换和消息传递序列,利用其转换函数和进程推演验证组合过程的行为兼容性,然后通过水动力组合的应用实例具体描述了行为驱动的组合验证过程。最后给出了该方法在水下水下机器人和水面无人艇仿真试验中的应用情况,进一步证明了方法的可行性。     

CTCS-3级列控系统临时限速服务器建模与形式化验证

临时限速服务器是CTCS-3级列控系统的重要组成部分,其系统安全性直接影响到高速铁路的运营安全.在TSRS系统研发过程中需对系统进行仿真建模和验证,发现系统设计错误,以保证系统的安全性.分析CTCS-3级列控系统临时限速服务器的组成结构,提取系统功能和性能规范约束,利用消息顺序图对TSRS与外部系统之间的信息交互行为建模,并将系统MSC模型转化为UPPAAL中的时间自动机仿真模型,对系统的功能和性能要求进行形式化验证.验证结果确认了系统的安全性和受限活性,为进一步完善TSRS设计和系统开发提供参考.     

故障特征选择与诊断规则提取的VPRS模型方法

针对实际工程系统故障诊断过程中故障特征和诊断规则难以提取的问题，提出了一种基于变精度粗糙集(VPRS)模型的故障特征选择和诊断规则提取的新方法。该方法通过选取适当的分类误差参数β，运用知识约简简化知识系统。它不仅能从实测数据中提取出最佳的故障特征参数，还可得到简化的诊断规则。对滚动轴承故障诊断的仿真实例表明，该方法有效地简化了特征参数和诊断规则，提高了故障诊断的准确率，减低了诊断成本，具有比基本RS方法更广的适用性。     

面向复杂仿真因果追溯的行为建模方法

基于行为建模的因果追溯方法是解决复杂仿真分析中因果关系追溯问题的一种思想。该思想依据仿真系统运行结果数据,重新构建描述因果关系的行为模型,并基于这些行为模型进行因果追溯。为了建立良好有效的行为模型支持追溯,首先介绍了因果关系的概念及其结构描述;然后将追溯划分为三个层次:系统表层、系统深层以及组合层,最后选取事件图行为模型为基本模型,按照这些层次分别对其进行扩展,从而获得不同层次的行为建模方法支持因果关系的描述和建模。     

Agent建模的情感集成研究

缺少个体特色的agent在行为模式上往往比较"呆板",而且其行为可以被预测,导致系统的真实性和有效性降低.情感是能够影响人类行为的重要因素,在人类决策中发挥着重要作用.为构建行为更为真实的agent,提出了一种将情感产生机制嵌入到一个成熟的agent体系结构中的方法,依照该方法构建的agent以Soar为基础实现推理和决策,以基于OCC模型的情感模块实现agent情感的生成与更新.同时,文章认为agent的情感状态受其个性、情感历史以及外部刺激决定,并给出了agent情感产生模型,同时分析了情感对agent决策过程的影响机理.最后通过一个具体的仿真实例,验证了基于该框架建立的agent情感和决策的相互影响作用.     

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

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

自旋进动目标的微多普勒特征分析

针对弹道导弹防御系统中弹头目标的自旋进动特性,建立了锥体目标的自旋进动模型,引入微多普勒效应的有关概念,推导出了由自旋进动产生的微多普勒频率的数学表达式,利用高分辨的时频变换对微多普勒特征进行分析,并用仿真实验验证了该模型的正确性.针对时频图,提取能反映目标质量特性的特征量,为识别此类目标提供了新的途径.通过仿真实验证明了在低信噪比时所提取特征的有效性.     

基于UML的仿真系统验证方法研究

仿真系统的VV&A一直是仿真领域研究的热点,其目的在于提高仿真系统的可信度.目前,关于仿真系统的验证方法研究都是偏向于某个侧面,缺少对仿真系统的开发全过程进行验证的方法,导致系统的验证与开发衔接不紧密,影响验证方法的实际使用.现代仿真系统主要采用面向对象思想设计开发,UML是面向对象仿真中不可或缺的一个建模仿真工具.根据仿真系统开发过程,将仿真系统开发过程中形成的UML图用于对仿真系统的验证中,使验证覆盖仿真系统开发的全过程,增强了系统开发和验证的连贯性,并通过对实际系统的验证,检验了所提出方法的可行性.     

复杂系统的可执行模型仿真方法研究

针对复杂系统早期验证评估过程中,由于模型不可执行造成的问题,提出了一种复杂系统可执行模型仿真方法。从复杂系统的精确模型定义入手,将复杂系统模型分为结构模型和行为模型,扩展fUML元模型得到复杂系统的可执行元模型,使用这些元模型来构建复杂系统的可执行模型,并为可执行模型定义了行为语义。为了支持可执行模型的仿真,设计了相应的仿真执行系统,定义模型仿真所需要的仿真语言和执行规约,将行为模型转换为可执行的进程项,依据执行规约对进程项进行仿真执行来实现复杂系统的可执行模型仿真。最后以区域防空系统为例说明了方法的可行性。复杂系统; 可执行模型; 可执行模型代数; 模型验证     

情感影响下的人类认知行为建模研究概述

情感对人类认知行为具有重要影响作用,在认知行为建模过程中加入情感因素可以显著提高认知行为模型的真实性和适应性。首先将情感对认知行为影响作用的理论研究发展脉络划分为三个阶段,对各阶段代表性理论成果进行了阐述;其次,研究了情感影响下的认知行为模型的基本建模思想和方法,给出了若干典型的情感行为模型,并对各种方法和模型的优缺点进行了分析;最后,根据情感行为建模研究的现状,指出个体情感的精确描述与建模、多层次的情感-认知交互模型和组件化的通用情感行为建模框架是下一步需要着重研究的三个方向,并且给出了指导性的组件化的情感行为建模框架。     

行为概率的数学模型

为了研究人们在某种行为回报的普遍预期下选择该行为的概率,建立了行为概率的数学模型.该模型的输入是有关行为的期望回报,输出是相应行为的概率.在群体的情况下,行为概率可以看作是群体中相应行为者的比例.该模型用历史数据统计回归其参数,模型的结果能够反映人们在选择行为时的理性规则与认知偏差的相互影响,可为政策制定和制度设计时预测其效果提供参考.     

中小企业员工安全遵守行为演化路径

为研究中小企业员工安全遵守行为的演化规律,对中小企业不安全行为的原因进行了分析,并借助演化经济学方法,构建了中小企业员工与企业行为交往的支付矩阵。通过对交往过程的演化模型分析,揭示了个体策略选择对群体行为的影响。用数值仿真演示了群体不同初始比例和不同参数变化对演化趋势和结果的影响,研究发现:中小企业员工安全遵守行为演化系统收敛于两种模式,其中,(遵守,不检查)为理想模式,(违章,检查)为"不良锁定"模式;各参数的大小对系统收敛速度和收敛结果具有影响,企业在设计安全生产激励与约束机制时,通过设计科学合理的激励与约束参数,并通过调整参数的大小,可以引导员工的安全遵守行为,使中小企业员工安全行为向着预期方向和目标演进,达到制度优化的目的。     

基于情绪的人工生命行为选择机制研究

揭示了基于情绪的行为选择机制.环境意义事件以反馈情绪方式为生命体感知,而驱动大脑进行思维活动,形成行为方案;生命体对行为方案进行评价,产生驱动情绪,驱动行为实施;行为作用于意义事件产生结果再以反馈情绪形式为生命体感知,往复循环形成情绪行为机制;借鉴前景理论,建立行为特征函数对情绪进行量化;依据情绪强度趋高和中等情绪行为高效原则建立情绪行为选择机制.运用人工生命Swarm软件平台进行模拟,验证了情绪行为选择机制正确性.     

社会大规模群体行为仿真概念建模框架ARE

任何一个仿真系统中,概念建模是首要的也是最关键的环节。针对EATI(实体、行动、任务、交互)和EBI(实体、行为、交互)概念建模框架在社会域概念描述方面的不足,为体现大规模社会民众群体行为的涌现性特征,将实体和行为有机结合起来用主体Agent进行描述,并采用复杂网络的有关研究成果建立Agent之间的社会结构——社会关系网络,以及突出强调环境对行为的影响和制约作用,用智能环境的思想来简化行为描述的复杂度,提出了大规模社会群体行为建模的Agent、社会关系网络、智能环境(Agent Relation Environment:ARE)概念建模框架,给出了该框架所涉及的一系列概念的定义,并对框架的内容和特点进行了较为详细的阐释和探讨。     

群体行为建模理论基础与建模方法研究

群体行为建模与仿真是虚拟现实技术的重要研究方向,是战争模拟、虚拟社会等领域研究的热点问题.从学科交叉点的全新角度来学习和研究群体行为建模,总结和分析了社会学、心理学、生物学、物理学以及新兴复杂系统理论中的群体行为理论,并以这些理论为基础归纳了虚拟现实领域中群体行为的建模方法,从而勾画出了群体行为建模技术的整体轮廓,最后指出了群体行为建模面临的技术难点和可能的解决思路.     

任意有限维空间中群体行为的研究

探讨了任意有限维空间中的智能群体的聚集行为和迁徙行为,提出了一类基于局部信息的群体行为控制方法。从虚拟相互作用力的角度理解分析群体行为,采用吸引/排斥力的数学方法实现个体间的相互作用,并利用求解任意有限维空间点集的凸壳方法,将二维空间中的群体行为模型推广到任意有限维空间中,实现了一类基于局部信息的且适合于任意有限维空间的群体行为控制。在此基础上分析了系统的稳定性,并通过仿真实验验证了该方法的有效性。     

云计算环境下动态用户行为认证的机制、模型与分析

在云计算中,终端用户对云资源软硬件的影响和破坏远比目前用户利用因特网进行资源共享要严重的多,因此相对于用户的身份,用户的行为是否真实可信是云计算研究的一个重要内容。提出了户行为认证的机制,包括行为认证集的确立、行为证据的获得、行为认证的策略,建立相应的随机Petri网模型,并通过量化瞬时变迁的实施概率来模拟不同的认证选择,利用系统达到稳定状态时位置中的平均标记数来评价认证效果,为云计算的安全应用奠定理论和实践基础。     

基于行为概率和符号结构的行为管理制度设计

提出一种科学而实用的行为管理制度设计方法——符号结构化行为概率设计,提出了制度符号系统和结构图制图规则,提出了制度设计的三类优化问题: 一是最小失效率问题;二是最小成本问题;三是最大效率问题.开发了最小失效率问题的求解方法:边界法.这种方法的意义在于比一般的搜索法能够更快地找到制度设计的最优方案, 而且无需建立解析函数即可求解,从而对使用条件的要求比较宽松,具有大面积的推广应用前景,是制度设计的科学且实用的方法.     

购物中心大额购买者与小额购买者的行为差异:一项跨国和跨地区的比较研究

通过对在西安、美国和香港进行问卷调查所得数据的分析,研究了购物中心大额购买者与小额购买者之间在惠顾动机、惠顾行为和购买行为上的异同,得到三个适用性较强的结论:第一,大额购买者有较强的购买动机和较明确的购物计划,小额购买者的购买动机较弱,购物计划也比较模糊;第二,大额购买者是购买非食品类产品的主体,同时在食品购买方面也很重要,而小额购买者在购买食品方面十分重要;第三,在购买时,大额购买者比小额购买者更注重品牌.另外,还得到了一些只是在一定条件下适用的结论.最后讨论了研究结果的应用.