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

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

帮助

条数/页：排序方式：
	湿空气水蒸气-水溶液热质交换系统的分区状态图会议论文 OAI收割中国工程热物理学会-传热传质, 2013 袁芳; 陈群收藏 \| 浏览/下载：52/0 \| 提交时间：2013/11/28 热质交换湿空气溶液分区状态图
	基于UML的人机界面操作引导功能建模期刊论文 OAI收割福建电脑, 2012, 期号: 01, 页码: 110-111 作者: 阚珊珊收藏 \| 浏览/下载：21/0 \| 提交时间：2013/03/11 人机界面操作引导 UML 状态图
	基于状态图的测试路径自动生成期刊论文 OAI收割计算机工程, 2011, 卷号: 37, 期号: 2, 页码: 25-26,29 作者: 李鹏; 彭祥伟; 周喜; 董军; 代四广收藏 \| 浏览/下载：12/0 \| 提交时间：2012/11/29 状态图测试准则转移路径
	基于环境因素与攻击能力的网络脆弱性评估模型学位论文 OAI收割博士, 软件研究所: 中国科学院软件研究所, 2008 张海霞收藏 \| 浏览/下载：21/0 \| 提交时间：2011/03/17 脆弱性评估安全状态图环境因素破坏值攻击能力威胁值安全状态域
	双重软件体系结构描述框架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收割 2005年全国时间频率学术交流会, 中国西安, 2005 马红皎; 胡永辉收藏 \| 浏览/下载：21/0 \| 提交时间：2012/10/19 Mapx控件 PDA GPS 鹰眼图\|Abstract 采用EVC++4.0编程并接合MapInfo公司的MapXMobile控件介绍了在嵌入式设备PDA中创建GPS卫星状态图和鹰眼图的实现原理及方法并给出了相应的解决方案。解决此类问题的思路在导航电子地图软件制作中具有较强的实用性和通用性。
	UML的形式化及其应用期刊论文 OAI收割计算机科学, 2005, 卷号: 32, 期号: 3, 页码: 136-140 周瑾; 马应龙; 李巍; 吴志林 \| 收藏 \| 浏览/下载：10/0 \| 提交时间：2011/07/28 UML 形式化形式化设计错误数表框架检测优化建议优化方案设计模型软件设计进化过程基础状态图序列图应用人员理论度量
	一种简化协议路径测试的方法期刊论文 OAI收割计算机工程, 2002, 期号: 10, 页码: 39-40,122 蒙移发; 徐惠民; 高强 \| 收藏 \| 浏览/下载：10/0 \| 提交时间：2011/07/29 测试例,路径空间,状态图,基本路径集,缺省边,生成树,线性无关
	化学数据库内文字信息处理系统(Ⅱ)—无机化合物、离子及分子化学式自动解析程序系统期刊论文 OAI收割计算机与应用化学, 1986, 期号: 02, 页码: 143-147 作者: 王沛明; 许志宏; 王乐珊收藏 \| 浏览/下载：15/0 \| 提交时间：2014/08/27 程序系统信息处理系统检索程序水溶液体系系数矩阵子段状态图数值型输入数据中离子