专题首页
中图分类法(76)
哲学、宗教(2)
经济(2)
自然科学总论(4)
数理科学和化学(1)
医药、卫生(1)
农业科学(2)
工业技术(62)
交通运输(1)
航空、航天(3)
在“
CNKI学位论文
”中，
命中：
76
条，耗时：0.0200322 秒
1.
可信的自治式服务协同系统验证
作者：
胡斌
关键词：
跨域服务协同
;
规范
;
形式验证
;
可信计算
论文级别：
博士
学位年度：2009
2.
基于模糊Petri网的瓦斯突出空间预测模型研究
作者：
孔令东
关键词：
瓦斯突出
;
空间预测模型
;
模糊Petri网
;
工作流网
;
模糊空间Petri网
论文级别：
博士
学位年度：2011
3.
基于层次因子图的心电图自动诊断方法研究
作者：
毛玲
关键词：
心电图诊断
;
层次因子图
;
建模
;
推理
;
信号预处理
;
特征提取
论文级别：
博士
学位年度：2009
4.
一种基于失效传播模型的安全分析方法的研究
作者：
牛儒
关键词：
系统安全分析
;
安全苛求信息物理系统
;
CBTC
;
失效传播模型
;
时序逻辑系统
论文级别：
博士
学位年度：2010
5.
面向分布式关键任务系统的自律恢复机制研究
作者：
叶海智
关键词：
分布式关键任务系统
;
自律计算
;
检测
;
决策
;
恢复
论文级别：
博士
学位年度：2010
6.
机械产品设计过程的建模、评价与优化方法研究
作者：
郭峰
关键词：
产品设计过程管理
;
过程改进
;
设计结构矩阵族
;
逻辑迭代结构
;
过程仿真
;
过程模型
;
智力资源服务
;
设计过程广义模型
;
产品设计过程支持系统
论文级别：
博士
学位年度：2007
7.
基于数学定义的公差建模与误差评定技术的研究
作者：
茅健
关键词：
尺寸公差
;
形状公差
;
定向公差
;
定位公差
;
公差原则
;
数学定义
;
约束
;
公差分析
;
产品几何规范
;
误差评定
;
粒子群算法
;
不确定度
论文级别：
博士
学位年度：2007
8.
结构定性建模理论及其在机械产品类比设计中的应用研究
作者：
董雁
关键词：
概念设计
;
定性模型
;
产品结构
;
形状设计
;
形体符号
;
符号表示
;
符号造型
;
装配结构
;
类比设计
;
相似零件查找
;
零件设计库
;
设计重用
论文级别：
博士
学位年度：2004
9.
面向服务的计算（SOC）中服务组合的研究
作者：
廖军
关键词：
面向服务计算
;
开放分布式系统
;
形式化方法
;
Pi演算
;
服务组合
;
服务一致性
;
服务可替换性
论文级别：
博士
学位年度：2006
10.
特定领域元建模语言的形式化及其模型一致性验证研究
作者：
江涛
关键词：
特定领域建模
域 ;
元域
;
结构语义
;
一阶逻辑
;
一致性
论文级别：
博士
学位年度：2010
1
2
3
4
5
6
7
8
按检索点细分(76)
题名(4)
目录(17)
关键词(1)
摘要(9)
引文(50)
按论文级别细分(76)
博士(26)
硕士(50)
按学位年度细分(76)
2002年(3)
2004年(1)
2005年(1)
2006年(3)
2007年(3)
2008年(7)
2009年(14)
2010年(9)
2011年(17)
2012年(7)
2013年(6)
2014年(5)