一类线性时滞系统的时滞依赖稳定性研究

针对一类带有参数不确定性的线性时滞系统,研究其时滞依赖稳定性问题。采用改进的Lyapunov-Krasovskii泛函方法给出了线性时滞系统基于线性矩阵不等式的时滞依赖稳定的充分条件,在定理的证明中结合牛顿公式改进了一系列二次型积分不等式,从而有效降低了定理保守性。最后给出2个计算实例,通过与现有方法的比较可以看出本文方法的更加有效,且得到的最大时滞具有更小的保守性。     

任务型CGF组织本体建模

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

基于元胞自动机的企业员工行为-激励传播效应模拟

企业激励的现有研究方法过于概念化,不能从理论上说明具体激励措施的运用过程及效果.在一般激励理论的基础上,结合企业激励可传递的特点,提出激励传播理论,考虑时间延迟、信息失真和行为突变等因素改进元胞自动机模型,对企业员工激励传播过程进行元胞自动机建模并开发模拟系统,就该过程及其对企业内部群体的影响进行模拟实验,模拟结果证明了企业员工群体激励传播效应的存在,并说明如何通过模拟实验来制定相应的激励措施以改善企业员工激励的效果.     

The Design of Behavior Management Institution Based on Special Symbols and Measure Optimizing-Taking the Design of the Institution of Controlling the Pollution Behavior of Enterprises as an Example

Taking the institution design of controlling the pollution behavior of enterprises as an example, the symbol system specialized for the design and analysis of behavior management institution is put forward, which predigests the institution design greatly and make the process of institution design much like the engineering design. The measure combination method for improving the parameters of the institution, the arithmetic for calculating the validity of the institution and the arithmetic for calculating the behavior probability of the irrational managed are also put forward, which make the design and analysis technology of behavior management institution more practical.     

基于SD-SEM模型的消费者食品安全风险感知的信息搜寻行为

本文利用系统动力学模型和结构方程模型来研究消费者食品安全风险感知和消费者信息搜寻行为之间的关系,在总结消费者食品安全风险感知和消费者食品安全信息搜寻行为研究文献的基础上,利用结构方程确定消费者食品安全风险感知的影响因素及其之间的路径系数,进而建立系统动力学模型模拟信息搜寻行为对消费者食品安全风险感知的影响,以提出降低消费者食品安全风险感知的建议.     

欧美股票市场对我国股票市场的传染效应研究——基于次贷与欧债危机背景

近年来,金融危机频频爆发且易表现出传染性,这使得金融传染引起国内外学者的高度关注.本文选取合适的动态条件相关模型研究欧美市场与A股、港股市场的条件相关性,结合内生多重结构突变模型与T检验方法划分危机传染期与平稳期,选用考虑外部影响的CCK模型研究A股、港股市场的羊群行为,随后,引入收益率分散度指标,研究两次危机的羊群行为传染渠道.研究结果表明:港股市场受两次危机传染的速度均快于A股市场,受传染的持续时间均长于A股市场,但受传染的程度均弱于A股市场:次贷危机传染程度强于欧债危机的传染程度,但传染的持续时间短于欧债危机:羊群行为传染渠道是两次危机对A股、港股市场的传染渠道之一.     

倒计时信号交叉口处的驾驶员行为决策

从驾驶员心理角度出发, 分析驾驶员在交叉口处的决策过程.综合驾驶员行为的影响因素, 在对交叉口数据采集和分析的基础上,运用Logistic模型建立了倒计时信号交叉口行为决策模型,并与无倒计时信号交叉口处驾驶员的行为决策进行了比较,最后对影响决策的因素进行了敏感性分析.分析结果表明：倒计时信号显示时间对驾驶员的行为决策存在着显著影响.为城市交通管理者改进倒计时显示屏的设计设置以及在交叉口处采取相应的措施,改善交叉口安全性提供了参考.     

基于π演算的自治系统架构描述语言AS-ADL

自治系统(Autonomous Systems)具有复杂的动态结构和行为特性,其典型代表就是各类军事作战系统.针对当前各种自治系统架构描述方法存在的局限,建立了自治系统架构的概余模型框架,并提出了一种描述该模型框架的形式化架构描述语言AS-ADL.AS-ADL以高阶多型π演算作为系统行为语义基础,具有丰富的数据类型,可以形式化描述自治系统的动态行为,且具有描述自治元素内部的交互行为的能力,为建立可执行的系统架构模型奠定了基础,并为系统模型求精和模型有效性验证提供支持.     

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

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

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

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