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

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

帮助

条数/页：排序方式：
	星载图像压缩核VLSI实现的软件验证学位论文 OAI收割硕士: 中国科学院国家空间科学中心, 2017 作者: 周文敬收藏 \| 浏览/下载：25/0 \| 提交时间：2017/08/29 CCSD-IDC 小波变换位平面编码软件验证图形界面
	HYSYS软件应用于熔盐冷却系统瞬态分析的可行性研究期刊论文 OAI收割核技术, 2015, 期号: 4, 页码: 62-68 作者: 唐延泽; 郑海伟; 陈玉爽; 傅远; 唐忠锋收藏 \| 浏览/下载：46/0 \| 提交时间：2015/12/09 熔盐系统 HYSYS软件瞬态仿真实验验证
	基于Aspen HYSYS软件的熔盐堆实验装置热工瞬态仿真学位论文 OAI收割硕士: 中国科学院研究生院（上海应用物理研究所）, 2015 作者: 唐延泽收藏 \| 浏览/下载：37/0 \| 提交时间：2015/12/09 熔盐堆 HYSYS软件系统仿真实验验证自然循环
	带时间和资源约束的实例化过程模型验证方法期刊论文 OAI收割计算机系统应用, 2014, 期号: 10, 页码: 172-177 李伟亨; 谢淼; 翟健; 杨秋松 \| 收藏 \| 浏览/下载：22/0 \| 提交时间：2014/12/16 实例化过程模型软件过程建模验证模型检测形式化方法 process instantiation model software process modeling verification model checking formal method
	基于LabWindows/CVI的虚拟仪器软件性能优化设计会议论文 OAI收割 2009全国虚拟仪器大会, 中国广西桂林, 2009 刘娅; 李孝辉收藏 \| 浏览/下载：13/0 \| 提交时间：2012/10/19 虚拟仪器多线程定时\|Abstract 本文通过介绍基于LabWindows/CⅥ的虚拟仪器软件设计过程分析了虚拟仪器设计中主要涉及的仪器多面板管理定时机制多线程机制等对软件性能的影响提出了优化软件性能的设计方案包括定时机制多线程机制的合理运用实现高速度高可靠性高效率的虚拟仪器软件设计本优化设计方案经过在实际应用验证达到了优化软件性能的目标。
	GNSS基带信号的通信性能分析软件会议论文 OAI收割中国通信学会第六届学术年会, 中国广东广州, 2009 贺成艳; 卢晓春; 王雪收藏 \| 浏览/下载：21/0 \| 提交时间：2012/10/19 GNSS 基带信号通信性能卫星信号\|Abstract 本文针对GNSS空间传输信号开发出了一种专门分析其通信性能的分析软件并用所开发的分析软件从时域频域调制域和相关域四个方面引入一系列参数对基带信号质量进行评估同时给出了对实际所采集卫星信号的评估结果并对信号失真及其产生的原因进行了分析。实验证明该分析软件可以比较准确地分析并反映GNSS空间传输信号的质量。
	具有严格操作语义的图形化软件过程建模研究学位论文 OAI收割博士, 软件研究所: 中国科学院软件研究所, 2008 杨秋松 \| 收藏 \| 浏览/下载：21/0 \| 提交时间：2011/03/17 软件过程软件过程建模软件过程建模语言软件过程验证软件过程移动性 TRISO/ML TRISO Model
	基于代数的软件过程建模系统的设计与实现期刊论文 OAI收割计算机工程与设计, 2008, 卷号: 29, 期号: 3, 页码: 530-534,539 杨国伟; 杨秋松; 翟健; 袁峰 \| 收藏 \| 浏览/下载：26/0 \| 提交时间：2011/06/10 软件过程建模多元π演算 ASPMS系统形式化分析验证代数软件过程建模语言建模系统设计软件开发过程易于理解表示方式表达能力图形化形式化语义组织生产质量开发效率 π演算模型描述矛盾