搜索页_形式化建模方法

中图分类法(87)

军事(4)

经济(12)

文化、科学、教育、体育(1)

自然科学总论(1)

工业技术(63)

交通运输(8)

在“CNKI学位论文”中，命中：87条，耗时：小于0.01 秒

1.协同产品开发链中过程管理、产品配置与数据管理技术研究

作者：张劲松

关键词：协同产品开发链 ; 开发过程建模 ; 产品配置过程 ; 产品数据管理 ; 权限控制模型

论文级别：博士

学位年度：2004

2.新型制造模式——基于Web Services的网络协同商务链理论与关键技术的研究

作者：王东

关键词：商务链 ; 协同 ; 网络 ; web ; services ; XML ; Multi-agent

论文级别：博士

学位年度：2004

3.制造执行系统（MES）的研究和应用

作者：黄学文

关键词：制造执行系统(MES) ; xBOM ; 物料工艺状态 ; 生产调度 ; 外协生产管理 ; COM构件

论文级别：博士

学位年度：2003

4.动态软件体系结构建模与模型验证方法的研究

作者：郑志

关键词：动态 ; 软件体系结构建模 ; 属性 ; 模型验证

论文级别：博士

学位年度：2010

5.列车运行控制系统分层形式化建模与验证分析

作者：吕继东

关键词：列控系统 ; 复杂安全苛求系统 ; 分层建模 ; 验证 ; 形式化方法 ; 模型检验

论文级别：博士

学位年度：2011

6.专用指令集处理器可靠性评估技术研究

作者：余洁

关键词：专用指令集处理器 ; 可重定向的设计环境 ; 软错误 ; 体系结构易受损因子 ; 可靠性评估

论文级别：博士

学位年度：2007

7.网络中心战条件下C2组织的知识服务建模方法研究

作者：任彦

关键词：知识服务 ; 知识模型 ; 网络中心战 ; 任务知识 ; 可执行模型 ; 服务组合 ; 知识流

论文级别：博士

学位年度：2006

8.轨道交通列车运行控制系统的形式化建模和模型检验方法研究

作者：燕飞

关键词：轨道交通 ; 列车运行控制系统 ; 形式化方法 ; 时间自动机网络 ; 模型检验

论文级别：博士

学位年度：2006

9.装备制造业产品制造数据集成管理研究与应用

作者：孟永胜

关键词：制造数据集成管理 ; 物料清单 ; 工艺行程 ; Meta图 ; 物料和过程清单

论文级别：博士

学位年度：2006

10.面向流程企业的原料供应规划模型智能决策及其应用

作者：陈晓方

关键词：流程企业 ; 原料供应规划 ; 预备供应 ; 不确定性 ; 集对分析 ; 信息熵 ; 遗传规划 ; 遗传算法 ; 库存控制 ; 滚动优化 ; 采购优化

论文级别：博士

学位年度：2004

1

2

3

4

5

6

7

8

9

按检索点细分(87)

目录(22)

关键词(1)

摘要(36)

引文(36)

按论文级别细分(87)

博士(40)

硕士(47)

按学位年度细分(87)

2003年(3)

2004年(5)

2005年(1)

2006年(5)

2007年(19)

2008年(5)

2009年(9)

2010年(10)

2011年(17)

2012年(8)

2013年(5)