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

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

帮助

条数/页：排序方式：
	公平性约束下基于抽象和推理的活性验证学位论文 OAI收割博士, 北京: 中国科学院研究生院, 2013 龙腾 \| 收藏 \| 浏览/下载：18/0 \| 提交时间：2013/05/31 形式化方法推理证明公平性抽象化活性终止性
	循环不变式开发技术研究期刊论文 OAI收割计算机工程与科学, 2010, 卷号: 32, 期号: 9, 页码: 84-88,94 万松松; 薛锦云; 谢武平 \| 收藏 \| 浏览/下载：18/0 \| 提交时间：2011/05/23 循环不变式 PAR方法高可靠性软件谓词抽象
	对时间自动机进行空性检测的过程和改进期刊论文 OAI收割计算机工程与设计, 2010, 卷号: 31, 期号: 1, 页码: 122-125 魏绪凯收藏 \| 浏览/下载：22/0 \| 提交时间：2011/05/23 时间自动机模型检测符号化方法抽象方法空性检测 LTL性质timed automata model checking symbolic method abstraction emptiness checking LTL
	多线程版本的串口读写技术研究会议论文 OAI收割第三届全国虚拟仪器大会, 中国广西桂林, 2008-12-01 刘阳; 李孝辉收藏 \| 浏览/下载：15/0 \| 提交时间：2012/10/19 多核CPU 多线程串口\|Abstract 串口读写是很多控制软件的基本组成部分通过对目前通用的几种串口读写方式的研究提出了多线程的同步读写方法。通过把简单的同步读写引入多线程利用了同步读写的简单性和多线程调用的低开销并行乱序执行特性提升了串口编程抽象简化了串口编程充分利用多核CPU的潜能提升了程序的运行效率实现了对串口更为简单有效的控制。
	基于整数时间的实时系统符号化模型检测技术学位论文 OAI收割博士, 软件研究所: 中国科学院软件研究所, 2007 晏荣杰收藏 \| 浏览/下载：15/0 \| 提交时间：2011/03/17 时间自动机实时系统模型检测符号化方法 BDD 可达性抽象方法
	结合搜索空间划分和抽象进行LTL模型检测期刊论文 OAI收割中国科学E辑, 2007, 卷号: 37, 期号: 12, 页码: 1504-1520 蒲飞; 张文辉 \| 收藏 \| 浏览/下载：8/0 \| 提交时间：2011/07/01 搜索空间划分求精抽象 LTL模型检测应用模型状态空间爆炸方法空间复杂度逐步求精数值实验检测工业系统障碍验证效率消减内存
	形式化方法B及其程序规约机理期刊论文 OAI收割计算机工程, 2004, 卷号: 30, 期号: 16, 页码: 16-18,50 肖美华; 薛锦云 \| 收藏 \| 浏览/下载：14/0 \| 提交时间：2011/07/29 形式化方法B 程序规约抽象机程序设计形式化方法程序规约机理软件自动化软件可靠性生产效率开发软件抽象机运用历史革命
	运用ASM描述安全协议期刊论文 OAI收割中国科学院研究生院学报, 2002, 卷号: 19, 期号: 3, 页码: 263-270 薛锐; 冯登国 \| 收藏 \| 浏览/下载：11/0 \| 提交时间：2010/05/27 抽象状态机密码协议形式化方法形式归约
	可视化软件体系结构描述工具XYZ/ADL的设计与实现期刊论文 OAI收割重庆师范学院学报（自然科学版）, 2001, 卷号: 18, 期号: 2, 页码: 1-6 张广泉; 骆华俊; 郑建丹 \| 收藏 \| 浏览/下载：17/0 \| 提交时间：2011/07/29 时态逻辑软件体系结构体系结构描述工具可视化软件体系结构描述工具体系结构设计模块化程序逐步过渡图形表示设计方法设计单元求精方法逻辑语言动态行为抽象层次语言能连接件交互端组件框架基础规范