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

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

帮助

条数/页：排序方式：
	基于状态反馈的多水下机器人队形控制研究会议论文 OAI收割 11th World Congress on Intelligent Control and Automation (WCICA 2014), Shenyang, China, June 29 - July 4, 2014 作者: 李一平; 阎述学收藏 \| 浏览/下载：68/0 \| 提交时间：2014/12/29 自主水下机器人队形控制状态反馈有限状态自动机(FSA)
	一种提高时序安全属性静态检测实用性的方法期刊论文 OAI收割计算机学报, 2012, 卷号: 35.0, 期号: 002, 页码: 244 作者: 霍玮; 李丰; 丁兆伟; 桑春雷; 张兆庆 \| 收藏 \| 浏览/下载：1/0 \| 提交时间：2023/12/04 有限状态自动机时序安全属性切片技术程序静态检测 F-衡量
	工作流过程图形建模及基于自动机的动态语义期刊论文 OAI收割计算机辅助设计与图形学学报, 2007, 卷号: 19, 期号: 1, 页码: 8-13 董广智; 田勇; 柳军飞收藏 \| 浏览/下载：137/5 \| 提交时间：2011/07/01 工作流过程图形建模反应式控制自动机动态语义工作流图形建模有限状态自动机动态语义 Dynamic Semantics 过程元模型语义正确性图形表示过程执行过程模型运行时可表示反应式中心应用行为活动
	分解弱可逆有限自动机的两个结果期刊论文 OAI收割计算机研究与发展, 2005, 卷号: 42, 期号: 4, 页码: 690-696 王鸿吉 \| 收藏 \| 浏览/下载：18/0 \| 提交时间：2011/07/28 有限自动机弱可逆延迟分解输出权 τ步弱可逆有限自动机 Finite Automata 严格延迟不可分解密码体制的安全性输出权公开问题分解问题充分条件有状态强连通公开钥证明基础构造
	使用概率规则文法评估人机界面可用性期刊论文 OAI收割计算机辅助设计与图形学学报, 2005, 卷号: 17, 期号: 12, 页码: 2709-2715 王常青; 王绪刚; 马翠霞; 邓昌智; 戴国忠 \| 收藏 \| 浏览/下载：7/0 \| 提交时间：2010/06/01 人机界面可用性评估概率规则文法有限状态自动机
	软件测试的自动分析工具学位论文 OAI收割博士, 中国科学院软件研究所: 中国科学院软件研究所, 2001 王晓旭收藏 \| 浏览/下载：23/0 \| 提交时间：2011/03/17 静态分析路径覆盖前置条件不可行路径测试数据生成约束求解扩展的有限状态自动机