专题首页
中图分类法(286)
社会科学总论(2)
军事(1)
经济(11)
文化、科学、教育、体育(3)
数理科学和化学(2)
生物科学(1)
农业科学(1)
工业技术(270)
在“
CNKI学位论文
”中，
命中：
286
条，耗时：小于0.01 秒
1.
安全系统形式化设计与分析研究
作者：
黄勇
关键词：
安全系统
;
安全模型
;
无干扰性
;
信息流分析
;
形式化方法
论文级别：
博士
学位年度：2009
2.
基于π演算的编程与表达能力研究
作者：
蔡小娟
关键词：
π演算
;
表达能力
;
λ演算
;
Ambient演算
论文级别：
博士
学位年度：2009
3.
协同学习平台技术的研究
作者：
季隽
关键词：
协同学习
;
信息场
;
并发性
;
pi-演算
;
lambda-演算
;
领域语言
论文级别：
博士
学位年度：2009
4.
知识网格中语义Web服务建模与组合的若干问题研究
作者：
刘思培
关键词：
语义Web服务组合
;
服务组模型
;
服务语义关系
;
描述逻辑规则
;
布尔角色算子
论文级别：
博士
学位年度：2010
5.
网格语义工作流关键技术研究
作者：
龙浩
关键词：
网格
;
语义工作流
;
本体
;
工作流自动生成
;
时间费用优化
论文级别：
博士
学位年度：2010
6.
基于属性的网络协议建模与互操作性测试方法研究
作者：
李华
关键词：
属性
;
协议
;
建模
;
互操作性测试
论文级别：
博士
学位年度：2010
7.
密码协议的形式化分析方法研究
作者：
王全来
关键词：
密码协议
;
形式化分析
;
进程演算
;
重写
;
计算模型
;
形式化模型
;
自动验证
论文级别：
博士
学位年度：2009
8.
移动商务业务流程的分析与建模方法研究
作者：
乔爽
关键词：
移动商务
;
业务流程管理
;
流程建模
;
Petri网
;
π-演算
论文级别：
博士
学位年度：2009
9.
SoC测试资源优化方法研究
作者：
邵晶波
关键词：
SoC测试压缩
;
SoC测试调度
;
测试响应重用
;
进程代数
ACSR
论文级别：
博士
学位年度：2008
10.
基于PI-演算的CPN在移动通信服务建模的研究与应用
作者：
康辉
关键词：
Web服务组合
;
编排规则
;
有色Petri网(CPN)
;
PI-演算
;
互模拟
;
建模与验证
论文级别：
博士
学位年度：2008
1
2
3
4
5
6
7
8
9
按检索点细分(286)
题名(12)
目录(112)
关键词(52)
摘要(122)
引文(147)
按论文级别细分(286)
博士(128)
硕士(158)
按学位年度细分(286)
2000年(1)
2001年(1)
2002年(5)
2003年(5)
2004年(10)
2005年(18)
2006年(21)
2007年(40)
2008年(41)
2009年(35)
2010年(32)
2011年(41)
2012年(19)
2013年(11)
2014年(6)