-
题名形式化研究基于Agent的行为建模及应用
被引量：4
- 1
-
-
作者
廖守亿
戴金海
-
机构
第二炮兵工程学院
国防科技大学航天与材料工程学院
-
出处
《计算机仿真》
CSCD
2006年第4期54-59,73,共7页
-
基金
武器装备预研基金项目(51420010303KG0109)
-
文摘
为了实现虚拟环境中Agent的行为真实感以及行为动画,必须开展基于Agent的行为建模相关问题的研究。提出了一个包含Agent自主行为和全局互操作行为的基于Agent的行为模型,并利用形式化语言对相关概念例如状态、时间、动作和行为进行了规范描述与定义。在此基础上形式化研究了复杂智能行为的抽象机制,包括行为分解与聚合、行为特化与泛化,并因此提出在基于Agent的元行为模型的基础上,通过行为逻辑运算和行为抽象机制实现基于Agent的行为综合方法。同时以空间作战中的导弹预警为背景,分析了预警卫星的预警行为模型,并对预警卫星的数据获取行为进行了建模,这有利于实现预警卫星的行为动画以及对预警卫星的传感器进行调度,进而对预警行为进行规划、调度与仿真。
-
关键词
基于智能体的建模与仿真
基于智能体的行为建模
行为动画
形式化
预警行为
-
Keywords
Agent- based modeling and simulation （ABMS）
Behavior modeling
Behavior - based animation
Formal specification
Early warning behavior
-
分类号
TP391.9
[自动化与计算机技术—计算机应用技术]
-
-
题名具有二次预警行为的复杂网络病毒传播分析
- 2
-
-
作者
张传宗
朱阿康
谢梦玮
鲁延玲
-
机构
南京邮电大学理学院
-
出处
《计算机技术与发展》
2019年第2期120-123,128,共5页
-
基金
国家自然科学基金(61672298
11601241)
+2 种基金
国资基金孵化项目(NY217095)
江苏省自然科学基金(BK20160877)
南京邮电大学引进人才项目(NY215065)
-
文摘
社会网络中,健康节点获得病毒正在蔓延的消息,会转化为预警节点,这种行为称为预警行为,感染节点存在一定的概率转化为预警节点,将此行为称为二次预警行为。据此提出了一种具有二次预警行为的SAIS(susceptible-alert-infec-ted-susceptible)模型。从微分动力学系统角度分析病毒传播的临界值特性,并与具有一次预警行为的SAIS传播模型进行比较,通过模拟仿真对结论进行验证。研究结果表明,具有二次预警行为的SAIS模型的稳态感染节点密度小于具有一次预警行为的SAIS模型的稳态感染节点密度,具有二次预警行为的SAIS模型的病毒传播阈值大于具有一次预警行为的SAIS模型的病毒传播阈值。研究还发现,随着二次预警率的增加,稳态感染节点密度不断减小,从而可以减少病毒爆发规模,减缓病毒在网络中的爆发。
-
关键词
复杂网络
二次预警行为
病毒传播
微分动力学
传播临界值
-
Keywords
complex network
secondary early warning behavior
virus propagation
differential dynamics
propagation threshold
-
分类号
TP393.08
[自动化与计算机技术—计算机应用技术]
-
