期刊导航
期刊开放获取
cqvip
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
3
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
基于情景演算的多个智能虚拟人协作行为描述语言
被引量：
1
1
作者
刘一松
王刚
+1 位作者
詹永照
孙亚民
《计算机辅助设计与图形学学报》
EI
CSCD
北大核心
2007年第12期1629-1634,共6页
在情景演算的框架内引入真并发动作和相应的语义,参照FIPA-ACL增加了请求、承诺、结果等通信动作,将ConGolog扩展为CTConGolog,并且基于CTConGolog提出一个请求/服务协作模型及相应语义.在此基础上,引入用于表示复杂行为动画的元动作,...
在情景演算的框架内引入真并发动作和相应的语义,参照FIPA-ACL增加了请求、承诺、结果等通信动作,将ConGolog扩展为CTConGolog,并且基于CTConGolog提出一个请求/服务协作模型及相应语义.在此基础上,引入用于表示复杂行为动画的元动作,提出并且实现了一种多个智能虚拟人协作行为描述语言---CBDL.实验结果表明,CBDL能够较好地描述多个智能虚拟人在动态环境下通过推理和协作而表现出的行为.
展开更多
关键词
情景演算
智能虚拟主体
协作
行为描述语言
下载PDF
职称材料
面向行为的需求建模研究及实现
被引量：
8
2
作者
万黎
毋国庆
吴怀广
《计算机科学》
CSCD
北大核心
2011年第4期175-181,共7页
需求建模是需求工程中的重要步骤。提出了一种面向行为的需求建模方法,首先将目标系统问题域划分成多个子问题域,然后在子问题域里建立多个视点,在每个视点内,根据需求建立多个场景。对于每个场景,用行为描述语言建立场景行为模型,视点...
需求建模是需求工程中的重要步骤。提出了一种面向行为的需求建模方法,首先将目标系统问题域划分成多个子问题域,然后在子问题域里建立多个视点,在每个视点内,根据需求建立多个场景。对于每个场景,用行为描述语言建立场景行为模型,视点内所有场景的行为模型组合构成视点行为模型,目标系统所有视点的行为模型组合构成系统行为模型。在行为模型的基础上,提出了一系列特性以及其验证方法,用于验证行为模型的正确性以及系统特性。基于以上方法,设计和实现了面向行为的需求建模工具(BRMT),以辅助开发人员从行为的角度进行需求建模。
展开更多
关键词
需求建模
软件行为
视点
场景
行为描述语言
下载PDF
职称材料
一种面向构件的行为语义模型及其应用研究
被引量：
4
3
作者
岳洋
曾广平
《计算机应用研究》
CSCD
北大核心
2012年第5期1751-1755,共5页
以SOFA/CDL作为刻画动态行为的形式化语义基础,从交互语义层面入手,提出面向SMC(softMancomponent)构件的行为描述语言(BDL);同时,针对CDL在行为刻画上的不足进行扩展,给出了针对SMC的行为描述框架。在此基础上,选取典型的构件动态替换...
以SOFA/CDL作为刻画动态行为的形式化语义基础,从交互语义层面入手,提出面向SMC(softMancomponent)构件的行为描述语言(BDL);同时,针对CDL在行为刻画上的不足进行扩展,给出了针对SMC的行为描述框架。在此基础上,选取典型的构件动态替换作为应用背景,得到基于BDL表达的构件上下文无关替换定义及其判定定理,验证了上述模型在构件行为语义抽象中的有效性和正确性。
展开更多
关键词
构件
动态行为
行为描述语言
替换性
下载PDF
职称材料
题名
基于情景演算的多个智能虚拟人协作行为描述语言
被引量：
1
1
作者
刘一松
王刚
詹永照
孙亚民
机构
南京理工大学计算机科学与技术学院
江苏大学计算机科学与通信工程学院
出处
《计算机辅助设计与图形学学报》
EI
CSCD
北大核心
2007年第12期1629-1634,共6页
基金
国家自然科学基金(60273040)
江苏省社会发展计划(BS2001046)
江苏省高校自然科学研究计划(03kjd520175)
文摘
在情景演算的框架内引入真并发动作和相应的语义,参照FIPA-ACL增加了请求、承诺、结果等通信动作,将ConGolog扩展为CTConGolog,并且基于CTConGolog提出一个请求/服务协作模型及相应语义.在此基础上,引入用于表示复杂行为动画的元动作,提出并且实现了一种多个智能虚拟人协作行为描述语言---CBDL.实验结果表明,CBDL能够较好地描述多个智能虚拟人在动态环境下通过推理和协作而表现出的行为.
关键词
情景演算
智能虚拟主体
协作
行为描述语言
Keywords
situation
calculus
intelligent
virtual
agents
cooperation
behaviors
description
language
分类号
TP391 [自动化与计算机技术—计算机应用技术]
下载PDF
职称材料
题名
面向行为的需求建模研究及实现
被引量：
8
2
作者
万黎
毋国庆
吴怀广
机构
武汉大学计算机学院
出处
《计算机科学》
CSCD
北大核心
2011年第4期175-181,共7页
基金
国家高技术研究发展计划(863计划)(2007AA01Z185)资助
文摘
需求建模是需求工程中的重要步骤。提出了一种面向行为的需求建模方法,首先将目标系统问题域划分成多个子问题域,然后在子问题域里建立多个视点,在每个视点内,根据需求建立多个场景。对于每个场景,用行为描述语言建立场景行为模型,视点内所有场景的行为模型组合构成视点行为模型,目标系统所有视点的行为模型组合构成系统行为模型。在行为模型的基础上,提出了一系列特性以及其验证方法,用于验证行为模型的正确性以及系统特性。基于以上方法,设计和实现了面向行为的需求建模工具(BRMT),以辅助开发人员从行为的角度进行需求建模。
关键词
需求建模
软件行为
视点
场景
行为描述语言
Keywords
Requirements
modeling
Software
behavior
Viewpoint
Scenario
behavior
description
language
分类号
TP301 [自动化与计算机技术—计算机系统结构]
下载PDF
职称材料
题名
一种面向构件的行为语义模型及其应用研究
被引量：
4
3
作者
岳洋
曾广平
机构
北京科技大学计算机与通信工程学院
武警北京指挥学院
出处
《计算机应用研究》
CSCD
北大核心
2012年第5期1751-1755,共5页
基金
国家"863"计划资助项目(2009AA01Z119)
国家自然科学基金资助项目(60973065)
文摘
以SOFA/CDL作为刻画动态行为的形式化语义基础,从交互语义层面入手,提出面向SMC(softMancomponent)构件的行为描述语言(BDL);同时,针对CDL在行为刻画上的不足进行扩展,给出了针对SMC的行为描述框架。在此基础上,选取典型的构件动态替换作为应用背景,得到基于BDL表达的构件上下文无关替换定义及其判定定理,验证了上述模型在构件行为语义抽象中的有效性和正确性。
关键词
构件
动态行为
行为描述语言
替换性
Keywords
component
dynamic
behavior
behavior
description
language
substitution
分类号
TP311.5 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
基于情景演算的多个智能虚拟人协作行为描述语言
刘一松
王刚
詹永照
孙亚民
《计算机辅助设计与图形学学报》
EI
CSCD
北大核心
2007
1
下载PDF
职称材料
2
面向行为的需求建模研究及实现
万黎
毋国庆
吴怀广
《计算机科学》
CSCD
北大核心
2011
8
下载PDF
职称材料
3
一种面向构件的行为语义模型及其应用研究
岳洋
曾广平
《计算机应用研究》
CSCD
北大核心
2012
4
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
