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

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

帮助

条数/页：排序方式：
	带时间和资源约束的实例化过程模型验证方法期刊论文 OAI收割计算机系统应用, 2014, 期号: 10, 页码: 172-177 李伟亨; 谢淼; 翟健; 杨秋松 \| 收藏 \| 浏览/下载：23/0 \| 提交时间：2014/12/16 实例化过程模型软件过程建模验证模型检测形式化方法 process instantiation model software process modeling verification model checking formal method
	基于LabWindows/CVI的虚拟仪器软件性能优化设计会议论文 OAI收割 2009全国虚拟仪器大会, 中国广西桂林, 2009 刘娅; 李孝辉收藏 \| 浏览/下载：17/0 \| 提交时间：2012/10/19 虚拟仪器多线程定时\|Abstract 本文通过介绍基于LabWindows/CⅥ的虚拟仪器软件设计过程分析了虚拟仪器设计中主要涉及的仪器多面板管理定时机制多线程机制等对软件性能的影响提出了优化软件性能的设计方案包括定时机制多线程机制的合理运用实现高速度高可靠性高效率的虚拟仪器软件设计本优化设计方案经过在实际应用验证达到了优化软件性能的目标。
	具有严格操作语义的图形化软件过程建模研究学位论文 OAI收割博士, 软件研究所: 中国科学院软件研究所, 2008 杨秋松 \| 收藏 \| 浏览/下载：26/0 \| 提交时间：2011/03/17 软件过程软件过程建模软件过程建模语言软件过程验证软件过程移动性 TRISO/ML TRISO Model
	基于代数的软件过程建模系统的设计与实现期刊论文 OAI收割计算机工程与设计, 2008, 卷号: 29, 期号: 3, 页码: 530-534,539 杨国伟; 杨秋松; 翟健; 袁峰 \| 收藏 \| 浏览/下载：29/0 \| 提交时间：2011/06/10 软件过程建模多元π演算 ASPMS系统形式化分析验证代数软件过程建模语言建模系统设计软件开发过程易于理解表示方式表达能力图形化形式化语义组织生产质量开发效率 π演算模型描述矛盾
	基于进程代数的软件过程建模系统的研究与实现学位论文 OAI收割博士, 软件研究所: 中国科学院软件研究所, 2007 杨国伟收藏 \| 浏览/下载：26/0 \| 提交时间：2011/03/17 软件过程建模分析验证进程代数 PASPMS系统 Eclipse插件
	一种弹性的软件过程模型验证工具期刊论文 OAI收割计算机工程与设计, 2007, 期号: 7, 页码: 1497-1500 胡旷; 董广智; 田勇; 柳军飞收藏 \| 浏览/下载：60/6 \| 提交时间：2011/07/01 软件过程过程模型验证工具语义规则可扩展标记语言
	利用ADS设计应用于C波段的射频滤波器会议论文 OAI收割 2005年全国时间频率学术交流会, 中国西安, 2005 王磊; 胡永辉收藏 \| 浏览/下载：21/0 \| 提交时间：2012/10/19 射频前端 ADS 射频滤波器\|Abstract 文章介绍了一个应用于C波段接收机射频前端的射频滤波器以及利用耦合微带线设计射频滤波器的过程最后利用ADS仿真软件验证了所设计的射频滤波器的性能。