专题首页
中图分类法(10)
文化、科学、教育、体育(1)
数理科学和化学(1)
工业技术(7)
环境科学、安全科学(1)
在“
CNKI学位论文
”中，
命中：
10
条，耗时：0.0110235 秒
1.
非功能需求交互的语义建模和
自动化推理
作者：
胡海波
关键词：
非功能需求
;
需求交互
;
需求验证
;
本体论
;
语义万维网规则语言
论文级别：
博士
学位年度：2012
2.
计算机辅助装配工艺规划技术研究
作者：
王辉
关键词：
装配工艺规划
;
装配信息建模
;
基于规则的推理
论文级别：
硕士
学位年度：2003
3.
积分方程求解及一类机械化算法研究
作者：
王玮明
关键词：
积分方程
;
求解
;
算法
;
数学机械化
;
符号计算
;
计算机代数系统
论文级别：
博士
学位年度：2008
4.
中班儿童故事类绘本阅读理解的研究
作者：
翟海琪
关键词：
早期阅读
;
阅读方式
;
阅读理解
;
信息加工
论文级别：
硕士
学位年度：2011
5.
基于聚丙烯反应装置SDG-HAZOP方法研究与应用
作者：
黄廷泽
关键词：
危险和可操作性分析
;
符号有向图
;
故障树分析
;
定量分析
论文级别：
硕士
学位年度：2011
6.
HAZOP/事故树综合安全评价模型研究与实现
作者：
吴学彬
关键词：
HAZOP/FTA
;
安全评价
;
三角模糊数
;
DAP反应系统
论文级别：
硕士
学位年度：2010
7.
机械运动系统计算机辅助选型研究及应用
作者：
郭振
关键词：
概念设计
;
机械运动系统
;
机构运动方案
;
推理模型
论文级别：
硕士
学位年度：2009
8.
通用模糊PROLOG方法及其应用
作者：
吉张媛
关键词：
逻辑编程
;
模糊逻辑
;
模糊Prolog系统
;
模糊化
论文级别：
硕士
学位年度：2006
9.
风机旋转机械设备故障诊断专家系统的设计与实现
作者：
梁亮
关键词：
旋转机械
;
专家系统
;
费舍尔判别分析法
;
自动诊断
;
蚁群算法
论文级别：
硕士
学位年度：2008
10.
基于LDG模型的HAZOP
自动化推理
作者：
杨宇霄
关键词：
危险和可操作性分析
;
化工过程
;
SDG方法
;
LDG模型
;
自动化推理
论文级别：
硕士
学位年度：2008
1
按检索点细分(10)
题名(2)
目录(2)
关键词(1)
摘要(8)
引文(2)
按论文级别细分(10)
博士(2)
硕士(8)
按学位年度细分(10)
2003年(1)
2006年(1)
2008年(3)
2009年(1)
2010年(1)
2011年(2)
2012年(1)