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

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

帮助

条数/页：排序方式：
	面向航天应用的高可靠系统软件设计研究学位论文 OAI收割硕士: 中国科学院研究生院, 2012 黄江泉收藏 \| 浏览/下载：26/0 \| 提交时间：2014/07/03 高可靠性软件容错 SPARC 在轨编程 VxWorks
	循环不变式开发技术研究期刊论文 OAI收割计算机工程与科学, 2010, 卷号: 32, 期号: 9, 页码: 84-88,94 万松松; 薛锦云; 谢武平 \| 收藏 \| 浏览/下载：18/0 \| 提交时间：2011/05/23 循环不变式 PAR方法高可靠性软件谓词抽象
	基于LabWindows/CVI的虚拟仪器软件性能优化设计会议论文 OAI收割 2009全国虚拟仪器大会, 中国广西桂林, 2009 刘娅; 李孝辉收藏 \| 浏览/下载：13/0 \| 提交时间：2012/10/19 虚拟仪器多线程定时\|Abstract 本文通过介绍基于LabWindows/CⅥ的虚拟仪器软件设计过程分析了虚拟仪器设计中主要涉及的仪器多面板管理定时机制多线程机制等对软件性能的影响提出了优化软件性能的设计方案包括定时机制多线程机制的合理运用实现高速度高可靠性高效率的虚拟仪器软件设计本优化设计方案经过在实际应用验证达到了优化软件性能的目标。
	使用SPEC#开发高可靠性的算法程序期刊论文 OAI收割计算机工程与应用, 2006, 卷号: 42, 期号: 12, 页码: 114-117,130 郑宇军; 马燕; 薛锦云 \| 收藏 \| 浏览/下载：16/0 \| 提交时间：2011/07/13 SPEC# 形式化方法算法程序契约开发高可靠性软件自动化对象不变式契约机制可维护性基本特性后置条件程序规约形式化可读性语言前置描述