机构

• 软件研究所 [4]
• 计算技术研究所 [3]
• 长春光学精密机械与物... [1]
• 高能物理研究所 [1]
• 自动化研究所 [1]
• 沈阳自动化研究所 [1]
• 更多

采集方式

• OAI收割 [11]

内容类型

• 期刊论文 [8]
• 学位论文 [3]

发表日期

• 2018 [1]
• 2015 [1]
• 2011 [1]
• 2009 [1]
• 2008 [1]
• 2007 [3]
• 更多

学科主题

• 计算机科学技术基础学... [1]

筛选

浏览/检索结果: 共11条，第1-10条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择题名升序题名降序提交时间升序提交时间降序作者升序作者降序发表日期升序发表日期降序 代数处理器加速核编程模型研究和实现 学位论文  OAI收割 北京: 中国科学院研究生院, 2018 作者:  杨磊   |  收藏  |  浏览/下载：44/0  |  提交时间：2018/06/01 异构系统加速核  指令级并行  有限状态机  编程模型  编译器设计   基于模型匹配的光电侦察无人机飞行控制器设计方法 期刊论文  OAI收割 红外与激光工程, 2015, 期号: 02, 页码: 693-698 作者:  李艳辉;  厉明;  周凌;  张楠 收藏  |  浏览/下载：20/0  |  提交时间：2016/07/06 模型匹配  遗传算法  飞行控制  飞行仿真  有限状态机   基于模型检测的安全协议形式化分析方法的研究 学位论文  OAI收割 硕士, 北京: 中国科学院研究生院, 2011 赵振举   |  收藏  |  浏览/下载：12/0  |  提交时间：2011/06/15 安全协议  模型检测  形式化  抽象状态机  限制归约   可信密码模块符合性测试方法与实施 期刊论文  OAI收割 武汉大学学报(理学版), 2009, 期号: 1, 页码: 31-34 李昊; 冯登国; 陈小峰   |  收藏  |  浏览/下载：15/0  |  提交时间：2011/03/18 可信密码模块,符合性测试,扩展有限状态机模型,等价类测试   Isabelle在分析安全操作系统状态机模型中的应用 期刊论文  OAI收割 计算机工程与设计 , 2008, 卷号: 29, 期号: 3, 页码: 580-582, 730 陈坤; 贺也平   |  收藏  |  浏览/下载：19/0  |  提交时间：2010/01/06 形式化  Isabelle工具  状态机模型  安全操作系统  可信进程模型   安全操作系统开发中的形式化技术应用研究 学位论文  OAI收割 博士, 软件研究所: 中国科学院软件研究所, 2007 陈坤 收藏  |  浏览/下载：11/0  |  提交时间：2011/03/17 安全操作系统  形式化分析  状态机模型  测试用例生成  Isabelle工具   功能块形式化建模与测试序列生成方法研究 期刊论文  OAI收割 仪器仪表学报, 2007, 卷号: 28, 期号: S, 页码: 755-757 作者:  王宏;  张连领;  于海斌;  王忠锋   |  收藏  |  浏览/下载：15/0  |  提交时间：2010/11/29 现场总线  功能块测试  互操作测试  形式化建模  测试案例  有限状态机模型   服务网格的用户3A使用模式 期刊论文  OAI收割 电子学报, 2007, 卷号: 35.0, 期号: 002, 页码: 292 作者:  吕毅;  王源;  李晓林   |  收藏  |  浏览/下载：1/0  |  提交时间：2023/12/04 服务网格  3A使用模式  抽象状态机  网格模型   信息系统生存性分析模型研究 期刊论文  OAI收割 通信学报, 2006, 期号: 2, 页码: 153-159 作者:  林雪纲;  许榕生 收藏  |  浏览/下载：19/0  |  提交时间：2015/12/15 生存性  分析模型  有限状态机(FSM)  层次的   基于RTL行为模型的测试产生及时延测试方法 期刊论文  OAI收割 中国科学院研究生院学报, 2002, 卷号: 19.0, 期号: 002, 页码: 198 作者:  李华伟   |  收藏  |  浏览/下载：1/0  |  提交时间：2023/12/04 RTL行为模型  测试产生  时延测试  寄存器传输级  有限状态机  自动测试向量产生  故障诊断  集成电路测试