-
题名描述任务逻辑及其应用
被引量：11
- 1
-
-
作者
张会
李思昆
-
机构
国防科学技术大学计算机学院
-
出处
《计算机学报》
EI
CSCD
北大核心
2006年第3期488-494,共7页
-
基金
国家"九七三"重点基础研究发展规划项目基金(2002CB312105)
国家"八六三"高技术研究发展计划项目基金(2004AA115130)资助
-
文摘
针对任务逻辑存在的两个缺点:(1)不可判定,无法保证推理过程都能在有限的时间内结束;(2)任务的定义局限于抽象的、逻辑的定义,无法描述任务的具体属性和任务之间的关系,将描述性结构引入任务逻辑,构造了一个可描述具体属性的、可判定的任务逻辑系统———描述任务逻辑.将所构造的逻辑系统应用于具有组织的多主体系统行为建模,建立了基于描述任务逻辑的多主体组织模型和建模框架,并且表明应用描述任务逻辑构造应用系统具有表达能力强、结构紧凑的特点.
-
关键词
任务逻辑
可判定
描述语言
多主体系统
组织模型
-
Keywords
logic of tasks
decidable
description language
multi agent system
organization model
-
分类号
TP18
[自动化与计算机技术—控制理论与控制工程]
-
-
题名从事实逻辑到任务逻辑
被引量：1
- 2
-
-
作者
王国俊
许文艳
-
机构
陕西师范大学数学研究所
-
出处
《模糊系统与数学》
CSCD
2004年第1期1-8,共8页
-
文摘
在经典命题逻辑语言中引入附加算子冂,较系统地研究近几年刚刚被提出的任务逻辑。这里把公式理解为"任务",介绍了"任务逻辑"的语义理论,并从语构上定义形式系统L与之对应,证明该系统的可靠性、完备性及可判定性定理,最后建立系统L中的一系列基本定理。
-
关键词
事实逻辑
任务逻辑
可靠性
完备性
可判定性
命题逻辑
-
Keywords
logic of tasks
Additive Operator
Additive Complexity
Realization
Eventual (Situation
) (Accomplishable
)Action Strategy
-
分类号
O141.1
[理学—数学]
-
-
题名虚拟实体组织行为建模方法研究
被引量：2
- 3
-
-
作者
张会
李思昆
吴鹏
-
机构
国防科技大学计算机学院
海军潜艇学院
-
出处
《系统仿真学报》
CAS
CSCD
北大核心
2006年第z1期252-254,共3页
-
基金
973国家重点基础研究发展规划基金(2002CB312105)
国家"863"高技术研究发展基金资助(2004AA115130)
-
文摘
虚拟实体组织行为建模主要研究虚拟世界中有组织的实体群的组织关系及其活动规律。提出了一种新的基于描述任务逻辑的虚拟实体组织行为建模方法,建立了一个将虚拟实体群的组织结构关系、协同行为功能规划和组织规范三个维有机结合的组织行为模型,结构简单,能满足像战场实体群等面向任务的有组织的虚拟实体群的行为建模的需要。设计并实现了一种符合XML标准的虚拟战场兵力实体组织行为建模语言CBML,能实现对虚拟实体组织行为模型的描述,并提供较强的推理功能,经用户初步使用表明,具有简洁、易用、高效的特点。
-
关键词
虚拟实体
组织
行为建模
任务逻辑
描述性的
-
Keywords
virtual entity
organization
logic of tasks
description
-
分类号
TP391.9
[自动化与计算机技术—计算机应用技术]
-
-
题名任务逻辑中的定理
- 4
-
-
作者
许文艳
荆云鹏
-
机构
西安电子科技大学理学院应用数学系
[
-
出处
《模糊系统与数学》
CSCD
北大核心
2006年第6期15-20,共6页
-
文摘
基于任务逻辑的语义语构理论,提出模仿策略的概念,详细讨论任务逻辑形式系统L中的定理并给出其证明,得到许多有趣的结果。
-
关键词
任务逻辑
模仿策略
定理
-
Keywords
logic of tasks
Mimicking Strategy
Theorem
-
分类号
O141.1
[理学—数学]
-
-
题名数字游戏中的协同——描述任务逻辑方法
被引量：3
- 5
-
-
作者
张巍
曾亮
张会
李思昆
-
机构
国防科学技术大学计算机学院软件所
海军潜艇学院军事运筹教研室
-
出处
《计算机研究与发展》
EI
CSCD
北大核心
2012年第7期1507-1513,共7页
-
基金
国家自然科学基金项目(60873120)
国家"九七三"重点基础研究发展计划基金项目(2009CB723803)
-
文摘
传统的数字游戏只注重底层实体级别的交互协同,不支持多层次群体协同关系描述和协同规划描述,且很少有形式化理论支持.描述任务逻辑结合了描述逻辑的知识表示结构和任务逻辑的任务语义.描述任务逻辑方法对数字游戏中的协同关系和协同规划进行了形式化描述,给出了任务和规划可完成性的定义,以及联合策略下的规划可完成性的判定理论.通过示例说明,描述任务逻辑方法能够准确地描述虚拟群体高层指挥关系的任务交互语义,同时又能提供协同规划可完成性的可判定的推理验证服务.
-
关键词
数字游戏
协同
群体
描述任务逻辑
非玩家角色
-
Keywords
digital game
collaboration
group
description logic of tasks
non-player character
-
分类号
TP391.9
[自动化与计算机技术—计算机应用技术]
-
-
题名基于描述任务逻辑的群体组织协同关系模型
被引量：3
- 6
-
-
作者
张巍
曾亮
李思昆
-
机构
国防科学技术大学计算机学院
-
出处
《计算机工程与科学》
CSCD
北大核心
2013年第1期94-99,共6页
-
基金
国家973计划资助项目(2009CB723803)
国家自然科学基金资助项目(60873120)
-
文摘
群体组织模型是深入研究群体协同行为的基础,而现有的组织模型大多集中在对Agent组织的结构或个体低层指令级的交互上,不能描述组织高层的动态任务交互。提出一个新的群体组织协同关系模型GRNA。该模型包含两个子模型:认知模型和交互模型。认知模型构建于领域本体之上,为GRNA模型提供准确的术语定义;交互模型则基于描述任务逻辑理论,反映了群体的任务协同语义。实例分析表明,GRNA支持对群体规范和能力的描述,提供了组织任务可完成性的可判定的推理服务,能够描述组织的高层任务交互语义。
-
关键词
协同
描述任务逻辑
群体
组织
-
Keywords
collaboration description logic of tasks
group
organization
-
分类号
TP391.9
[自动化与计算机技术—计算机应用技术]
-
-
题名处突维稳行为建模仿真方法研究
被引量：1
- 7
-
-
作者
张巍
曾亮
李思昆
-
机构
国防科技大学计算机学院
-
出处
《系统仿真学报》
CAS
CSCD
北大核心
2012年第9期1931-1935,共5页
-
基金
国家自然科学基金(60873120)
国家重点基础研究发展计划(973)项目基金(2009CB723803)
-
文摘
非战争军事行动能力建设是我军建设的一个重要内容。目前极少有针对非战争军事行动的建模仿真研究。基于描述任务逻辑理论建立了一个计算机生成群体兵力模型GCGF。该模型具有层次结构,适宜描述不同规模的群体。并采用该模型对处突维稳型非战争军事行动进行了分析研究,军事群体对象能够正确做出符合处突原则的反应,效果良好,达到了预期目的。
-
关键词
非战争军事行动
行为建模
处突维稳
描述任务逻辑
-
Keywords
OOTW
behavior modeling
maintain-steady-restrict-chaos
description logic of tasks
-
分类号
TP391.9
[自动化与计算机技术—计算机应用技术]
-
-
题名虚拟群体组织协同行为建模实践方法
被引量：1
- 8
-
-
作者
张会
张红
李思昆
曾亮
-
机构
海军潜艇学院
国防科学技术大学计算机学院
-
出处
《系统仿真学报》
CAS
CSCD
北大核心
2015年第10期2246-2251,共6页
-
文摘
将虚拟群体组织协同行为模型的建立过程分为两个阶段:任务交互设计阶段和模型抽象阶段。任务交互设计阶段以任务分解为牵引,通过任务分解、交互设计和行为确定三个有机结合的步骤,实现对组织协同行为过程的初步设计。模型抽象阶段在初步分析阶段得到的协同行为过程的基础上,进行进一步的分析和抽象,通过结构、元素和关系三个层次的设计,建立组织协同行为模型。使用结果表明:该方法可以有效地指导虚拟群体组织协同行为模型的设计。
-
关键词
组织协同行为
描述任务逻辑
交互设计
实践方法
-
Keywords
organization synergy
description logic for tasks
interaction design
model abstraction
-
分类号
TP391.9
[自动化与计算机技术—计算机应用技术]
-
-
题名多约束条件下基于蒙特卡洛仿真的进度风险评估方法
被引量：7
- 9
-
-
作者
谢子哲
朱耀琴
卢于嘉
-
机构
南京理工大学
-
出处
《电子设计工程》
2016年第7期29-32,36,共5页
-
基金
南京理工大学毕业设计重点课题立项资助(29)
-
文摘
复杂项目的建设周期长、资源有限、不确定因素多,项目风险评估对项目成功与否起关键作用,其中进度风险评估是必不可少的一个环节。本文针对复杂项目中任务多逻辑关系,提出了基于蒙特卡洛仿真的进度推进算法;针对项目资源有限这个约束条件,提出了基于全拓扑排序的资源冲突解决策略,并给出了全拓扑排序的优化方案。最后介绍了实现的进度风险评估系统,并结合项目实例的2 000次仿真阐述了进度风险的计算,验证了算法及系统的可行性。该系统可帮助项目决策者识别关键任务和评估进度风险。
-
关键词
进度风险评估
蒙特卡洛仿真
任务逻辑关系
全拓扑排序
-
Keywords
schedule risk analysis
monte carlo simulation
logic relationships of tasks
topological sorting
-
分类号
TN957.52
[电子电信—信号与信息处理]
-
-
题名动态使命环境下指控资源动态规划组织的仿真研究
被引量：2
- 10
-
-
作者
杨春辉
刘翔
陈洪辉
罗雪山
-
机构
海军工程大学管理工程系
国防科技大学五院C
-
出处
《系统仿真学报》
CAS
CSCD
北大核心
2009年第1期9-14,共6页
-
基金
武器装备重点预研基金(6140538)
国家自然科学基金(70601036)
-
文摘
指挥控制资源动态规划组织(TAC2O)是一个面向特定作战使命环境灵活构建的指挥控制组织。提出了TAC2O的概念和性能评价仿真框架。针对作战环境下TAC2O组织性能分析对时间要求的紧迫性,在CPN模型中引入了控制变量的概念,将TAC2O组织的各种参数以及使命任务之间的逻辑关系采用初始标识进行描述,建立了在动态使命环境下能够保持模型结构不变的TAC2O组织仿真模型。研究了一套使命任务之间逻辑关系到CPN模型中控制变量初始标识的转换规则,最后用实例验证了模型的可行性和正确性。
-
关键词
指控资源动态规划组织
CPN模型
控制变量
任务逻辑关系转换
-
Keywords
task-oriented agile command and control organization
CPN
control variable
conversion of logic relationship of tasks
-
分类号
TP273
[自动化与计算机技术—检测技术与自动化装置]
-
-
题名多信道水文数据采集处理系统
- 11
-
-
作者
葛东良
-
机构
北京燕禹公司开发部
-
出处
《计算机应用与软件》
CSCD
北大核心
2003年第11期66-67,73,共3页
-
文摘
本文介绍了多信道水文数据采集系统的系统组成结构、方案。中心站软件设计,以及终端站硬件和软件设计实施。
-
关键词
水情预报
多信道水文数据采集处理系统
软件设计
数据查询
-
Keywords
Channel System Dynamic logic library task
-
分类号
P33
[天文地球—水文科学]
TP311.1
[水利工程—水文学及水资源]
-
