中国科学院机构知识库网格系统: 检索

浏览/检索结果: 共7条，第1-7条

帮助

条数/页：排序方式：
	代数处理器加速核编程模型研究和实现学位论文 OAI收割北京: 中国科学院研究生院, 2018 作者: 杨磊 \| 收藏 \| 浏览/下载：44/0 \| 提交时间：2018/06/01 异构系统加速核指令级并行有限状态机编程模型编译器设计
	基于模型匹配的光电侦察无人机飞行控制器设计方法期刊论文 OAI收割红外与激光工程, 2015, 期号: 02, 页码: 693-698 作者: 李艳辉; 厉明; 周凌; 张楠收藏 \| 浏览/下载：20/0 \| 提交时间：2016/07/06 模型匹配遗传算法飞行控制飞行仿真有限状态机
	可信密码模块符合性测试方法与实施期刊论文 OAI收割武汉大学学报(理学版), 2009, 期号: 1, 页码: 31-34 李昊; 冯登国; 陈小峰 \| 收藏 \| 浏览/下载：15/0 \| 提交时间：2011/03/18 可信密码模块,符合性测试,扩展有限状态机模型,等价类测试
	功能块形式化建模与测试序列生成方法研究期刊论文 OAI收割仪器仪表学报, 2007, 卷号: 28, 期号: S, 页码: 755-757 作者: 王宏; 张连领; 于海斌; 王忠锋 \| 收藏 \| 浏览/下载：15/0 \| 提交时间：2010/11/29 现场总线功能块测试互操作测试形式化建模测试案例有限状态机模型
	信息系统生存性分析模型研究期刊论文 OAI收割通信学报, 2006, 期号: 2, 页码: 153-159 作者: 林雪纲; 许榕生收藏 \| 浏览/下载：19/0 \| 提交时间：2015/12/15 生存性分析模型有限状态机(FSM) 层次的
	基于RTL行为模型的测试产生及时延测试方法期刊论文 OAI收割中国科学院研究生院学报, 2002, 卷号: 19.0, 期号: 002, 页码: 198 作者: 李华伟 \| 收藏 \| 浏览/下载：1/0 \| 提交时间：2023/12/04 RTL行为模型测试产生时延测试寄存器传输级有限状态机自动测试向量产生故障诊断集成电路测试
	有限状态机的行为阶段聚类及其对测试的应用期刊论文 OAI收割中国科学：E辑, 2002, 卷号: 32.0, 期号: 006, 页码: 846 作者: 李华伟; 闵应骅; 李忠诚 \| 收藏 \| 浏览/下载：2/0 \| 提交时间：2023/12/04 行为阶段聚类有限状态机行为描述测试产生系统数学模型状态转换函数时序电路