专题首页
中图分类法(84)
军事(1)
经济(3)
语言、文字(3)
天文学、地球科学(1)
工业技术(76)
交通运输(1)
在“
CNKI学位论文
”中，
命中：
84
条，耗时：0.011995 秒
1.
分布式仿真系统动态重构技术研究
作者：
韩守鹏
关键词：
分布式仿真
;
动态重构
;
离散事件系统规范
;
形式语义
;
动态结构模型
;
时间管理
;
高层体系结构
;
仿真克隆
;
模型驱动的仿真开发
论文级别：
博士
学位年度：2007
2.
基于CADM的C~4ISR系统体系结构验证方法及关键技术研究
作者：
姜志平
关键词：
C~4ISR
;
体系结构
;
核心体系结构数据模型
;
体系结构验证
;
完备性验证
;
可达性验证
;
一致性验证
;
合理性验证
论文级别：
博士
学位年度：2007
3.
纸币清分机产品族设计过程配置优化方法研究
作者：
崔文华
关键词：
纸币清分机
;
产品族
;
工作流网
;
混合蛙跳算法
;
配置性能预测
论文级别：
博士
学位年度：2013
4.
信牌驱动工作流模型的安全结构与仿真技术研究
作者：
付丽娜
关键词：
安全的信牌驱动模型
;
过程定义
;
转移
;
工作流模式
;
多流
;
安全结构
;
安全执行策略
;
过程仿真
论文级别：
博士
学位年度：2012
5.
语义支持的空间信息服务组合关键技术研究
作者：
陈科
关键词：
空间信息服务
;
服务组合
;
服务语义描述
;
服务自动分类
;
服务链模型
;
服务自动发现
;
语义匹配
论文级别：
博士
学位年度：2012
6.
支持业务过程重构的工作流技术
作者：
李海波
关键词：
工作流
;
业务过程
;
重构
;
软构件
;
业务对象
论文级别：
博士
学位年度：2008
7.
网格语义工作流关键技术研究
作者：
龙浩
关键词：
网格
;
语义工作流
;
本体
;
工作流自动生成
;
时间费用优化
论文级别：
博士
学位年度：2010
8.
Petri网若干关键技术的研究及其应用
作者：
叶剑虹
关键词：
Petri网
;
建模
;
分析
;
算法
论文级别：
博士
学位年度：2009
9.
工作流系统的访问控制模型及其安全性分析的研究
作者：
卢亚辉
关键词：
工作流
;
访问控制
;
着色Petri网
;
Pi演算
;
类型
论文级别：
博士
学位年度：2008
10.
在语义网环境下的Web服务组合与协作
作者：
刘海
关键词：
Web服务
;
服务组合
;
语义网
;
流程建模
;
服务语义匹配
;
语义验证
;
ECA规则
;
规则分析
;
异常处理
论文级别：
博士
学位年度：2009
1
2
3
4
5
6
7
8
9
按检索点细分(84)
题名(1)
目录(16)
关键词(3)
摘要(19)
引文(54)
按论文级别细分(84)
博士(27)
硕士(57)
按学位年度细分(84)
2003年(2)
2004年(1)
2005年(2)
2006年(5)
2007年(16)
2008年(14)
2009年(11)
2010年(12)
2011年(9)
2012年(11)
2013年(1)