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

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

帮助

条数/页：排序方式：
	基于LabWindows/CVI的虚拟仪器软件性能优化设计会议论文 OAI收割 2009全国虚拟仪器大会, 中国广西桂林, 2009 刘娅; 李孝辉收藏 \| 浏览/下载：13/0 \| 提交时间：2012/10/19 虚拟仪器多线程定时\|Abstract 本文通过介绍基于LabWindows/CⅥ的虚拟仪器软件设计过程分析了虚拟仪器设计中主要涉及的仪器多面板管理定时机制多线程机制等对软件性能的影响提出了优化软件性能的设计方案包括定时机制多线程机制的合理运用实现高速度高可靠性高效率的虚拟仪器软件设计本优化设计方案经过在实际应用验证达到了优化软件性能的目标。
	一种考虑缺陷关联的软件可靠性增长模型期刊论文 OAI收割计算机工程, 2008, 卷号: 34, 期号: 8, 页码: 44-46 张荣辉; 姜楠; 勾朗; 车美儒; 舒风笛 \| 收藏 \| 浏览/下载：20/0 \| 提交时间：2011/06/10 软件可靠性增长模型非齐次泊松过程软件缺陷关联软件缺陷关联关系齐次泊松过程可靠性指标改进的模型预测能力失效数据软件产品拟合效果测试过程分析表实验评价基础工具分类
	双重软件体系结构描述框架XYZ/ADL 期刊论文 OAI收割计算机研究与发展, 2007, 卷号: 44, 期号: 9, 页码: 1485-1494 朱雪阳 \| 收藏 \| 浏览/下载：30/0 \| 提交时间：2011/07/01 软件体系结构体系结构描述语言双重描述框架 XYZ/E 时序逻辑 UML 活动图状态图形式语义结构描述框架形式化方法语义基础图形语言软件工程师表示系统体系结构设计时序逻辑语言软件开发过程软件的可靠性语言建模形式语言行为表示前端静态语义结构框图结构建模基本概念Formal languages Formal methods Semantics Software engineering Software reliability Tem
	算法程序变换研究与进展期刊论文 OAI收割计算机科学, 2007, 卷号: 34, 期号: 11, 页码: 232-238 石海鹤; 石海鹏; 郑宇军; 薛锦云 \| 收藏 \| 浏览/下载：17/0 \| 提交时间：2011/07/01 算法程序变换自动化形式化方法算法设计算法程序程序变换软件自动化程序开发设计方法学程序的可靠性支撑工具研究方向相关概念适用领域生产效率设计能力科学领域计算机语言课题分类