期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
1
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
业务设计阶段的能力件组合与交互模型研究
被引量：
1
1
作者
刘彦明
李鹏
《西安电子科技大学学报》
EI
CAS
CSCD
北大核心
2005年第2期229-233,共5页
解决能力件交互问题所采用的方法存在两个弱点:检测能力和检测方法不完善.针对这一问题,研究了在业务设计阶段检测能力件交互的方法,提出了采用混合模型表示能力件,即采用状态机和时序逻辑方法描述能力件的行为状态和固有性质.在此基础...
解决能力件交互问题所采用的方法存在两个弱点:检测能力和检测方法不完善.针对这一问题,研究了在业务设计阶段检测能力件交互的方法,提出了采用混合模型表示能力件,即采用状态机和时序逻辑方法描述能力件的行为状态和固有性质.在此基础上提出了基于状态机和时序逻辑的能力件组合理论和能力件交互模型.
展开更多
关键词
智能网
能力
件
组合
能力件交互模型
在线阅读
下载PDF
职称材料
题名
业务设计阶段的能力件组合与交互模型研究
被引量：
1
1
作者
刘彦明
李鹏
机构
西安电子科技大学综合业务网国家重点实验室
西安电子科技大学电子工程学院
出处
《西安电子科技大学学报》
EI
CAS
CSCD
北大核心
2005年第2期229-233,共5页
基金
综合业务网国家重点实验室基金资助项目
文摘
解决能力件交互问题所采用的方法存在两个弱点:检测能力和检测方法不完善.针对这一问题,研究了在业务设计阶段检测能力件交互的方法,提出了采用混合模型表示能力件,即采用状态机和时序逻辑方法描述能力件的行为状态和固有性质.在此基础上提出了基于状态机和时序逻辑的能力件组合理论和能力件交互模型.
关键词
智能网
能力
件
组合
能力件交互模型
Keywords
Combinatorial mathematics
Communication systems
Information services
Petri nets
Theorem proving
分类号
TP393 [自动化与计算机技术—计算机应用技术]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
业务设计阶段的能力件组合与交互模型研究
刘彦明
李鹏
《西安电子科技大学学报》
EI
CAS
CSCD
北大核心
2005
1
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
