搜索页_操作语义

网站地图 | English | 公务邮箱

远程访问

NSTL服务站

中图分类法(305)

哲学、宗教(1)

社会科学总论(1)

经济(1)

语言、文字(1)

数理科学和化学(4)

天文学、地球科学(3)

工业技术(297)

交通运输(3)

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

1.分布式仿真系统动态重构技术研究

作者：韩守鹏

关键词：分布式仿真 ; 动态重构 ; 离散事件系统规范 ; 形式语义 ; 动态结构模型 ; 时间管理 ; 高层体系结构 ; 仿真克隆 ; 模型驱动的仿真开发

论文级别：博士

学位年度：2007

2.服务协同式自治VO开发方法和技术研究

作者：蔡国永

关键词：服务协同 ; 虚拟组织 ; 自治计算 ; 体系架构 ; 开发方法 ; 规范 ; 角色

论文级别：博士

学位年度：2008

3.基于PI-演算的CPN在移动通信服务建模的研究与应用

作者：康辉

关键词：Web服务组合 ; 编排规则 ; 有色Petri网(CPN) ; PI-演算 ; 互模拟 ; 建模与验证

论文级别：博士

学位年度：2008

4.基于MCBA的舰艇编队NCO行为建模方法及其关键技术研究

作者：仲辉

关键词：舰艇编队 ; 网络中心作战 ; 面向行为 ; 复合行为 ; Agent基于MCBA的行为建模 ; BARM ; π-EFM ; πDL

论文级别：博士

学位年度：2007

5.基于模型驱动架构的软件开发方法与实现技术研究

作者：王晓燕

关键词：模型驱动架构 ; 可执行元建模语言 ; 具体语法 ; 抽象语法 ; 语义 ; 模型映射

论文级别：博士

学位年度：2008

6.指针逻辑的扩展与应用

作者：王志芳

关键词：软件安全 ; 程序性质证明 ; 无存储内存模型 ; 指针逻辑 ; 验证框架

论文级别：博士

学位年度：2009

7.任务关键系统生存性形式化建模与分析

作者：王健

关键词：任务关键系统 ; 生存性 ; 指标体系 ; 形式化建模 ; 量化分析

论文级别：博士

学位年度：2009

8.模型驱动的SoC系统级功能验证关键技术研究

作者：余金山

关键词：系统芯片 ; 模型驱动 ; UML ; 功能验证 ; 事务验证方法 ; 调度 ; Petri网 ; SystemC ; 接口自动机 ; 风险评估 ; 程序切片

论文级别：博士

学位年度：2007

9.工作流系统的访问控制模型及其安全性分析的研究

作者：卢亚辉

关键词：工作流 ; 访问控制 ; 着色Petri网 ; Pi演算 ; 类型

论文级别：博士

学位年度：2008

10.移动支付系统安全的若干关键问题研究

作者：刘文琦

关键词：移动支付 ; 形式化分析 ; 有色Petri网 ; 支付协议 ; 同时生效签密

论文级别：博士

学位年度：2008

1

2

3

4

5

6

7

8

9

按检索点细分(305)

题名(9)

目录(172)

关键词(21)

摘要(114)

引文(97)

按论文级别细分(305)

博士(122)

硕士(183)

按学位年度细分(305)

2000年(1)

2001年(1)

2002年(3)

2003年(3)

2004年(15)

2005年(18)

2006年(30)

2007年(38)

2008年(48)

2009年(45)

2010年(38)

2011年(30)

2012年(23)

2013年(10)

2014年(2)

网站地图　|　常见问题　|　交通位置　|　联系我们　|　OA远程办公　|　English

© 2004-2018 中国地质图书馆版权所有京ICP备05064691号京公网安备11010802017129号

地址：北京市海淀区学院路29号邮编：100083

电话：办公室：(+86 10)66554848；文献借阅、咨询服务、科技查新：66554700