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

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

帮助

条数/页：排序方式：
	深厚表土段井壁径向荷载的规范计算方法探讨期刊论文 OAI收割水电能源科学, 2013, 期号: 05, 页码: 113-116 作者: 刘金龙; 陈陆望; 王吉利 \| 收藏 \| 浏览/下载：8/0 \| 提交时间：2018/06/25 岩土工程井壁径向荷载规范方法深土力学
	BPMN到BPEL2.0的模型转换方法期刊论文 OAI收割计算机应用研究, 2008, 卷号: 25, 期号: 11, 页码: 3363-3366 魏明; 夏永霖; 魏峻 \| 收藏 \| 浏览/下载：17/0 \| 提交时间：2011/06/10 业务流程管理模型转换业务流程建模符号业务流程执行语言模型中国科学院组件转换方法支持实际运用软件建模工具规范标准工程中心错误处理研究所可用性语义特性适用事务设计扩展检验
	《土的冻结作用与地基》评介期刊论文 OAI收割冰川冻土, 2007, 期号: 1, 页码: 157-158 刘经仁收藏 \| 浏览/下载：25/0 \| 提交时间：2013/03/06 多年冻土区:4205 冻土学:3997 计算方法:3809 地基基础:3374 设计规范:3097 地基土:2828 建筑物地基:2723 冻胀率:2580 影响因素:2128 融化深度:2060
	优先级顶协议的形式化验证期刊论文 OAI收割计算机仿真, 2007, 卷号: 24, 期号: 6, 页码: 276-279 张博颖收藏 \| 浏览/下载：54/6 \| 提交时间：2011/07/01 优先级顶协议时段演算调度实时操作系统形式规范和验证调度协议验证方法状态函数实时数据库系统阻塞性规范优先级驱动形式化验证易于理解时段演算无死锁抢占式应用文献个性
	一种有效的边界测试点选取策略期刊论文 OAI收割计算机辅助设计与图形学学报, 2007, 卷号: 19, 期号: 2, 页码: 251-256 赵瑞莲; 董红霞收藏 \| 浏览/下载：58/3 \| 提交时间：2011/07/01 边界测试点测试数据生成 RSDIMU 变异体边界值分析测试点选取策略测试用例健壮性测试固定型故障边界值测试诊断原理软件需求逻辑电路覆盖程度方法设计测试成本变异体组合实验容错开发规范程序
	光电导开关工作模式的蒙特卡罗模拟期刊论文 OAI收割物理学报, 2007, 期号: 11 施卫; 贾婉丽; 纪卫莉; 刘锴收藏 \| 浏览/下载：35/0 \| 提交时间：2012/01/06 显示屏标准通用规范测试方法
	对刊后审读的认识和讨论会议论文 OAI收割陕西省科技期刊编辑学会学术年会, 中国陕西, 2006 潘炼德收藏 \| 浏览/下载：48/0 \| 提交时间：2012/10/19 审读科技期刊编辑出版评价体系\|Abstract 在简单回顾有关文件的基础上分析了刊后审读的双重目的指出刊后审读不仅是管理部门加强对刊物的检查监督和管理的重要措施而且应该成为具体指导和帮助编辑出版单位认识不足改进工作提高业务水平的有效途径。在对科技文稿的极强的专业性给审读工作带去的难度进行分析的基础上阐述了不断改进审读的方式方法加强审读方与被审读方的直接沟通的必要性以及反馈具体审读意见注重审读实际效果的重要性。最后讨论了慎重操作基于审读的评选活动的问题认为评选应该建立在完善的评价体系和规范的评价方法的基础上这样才能尽量做到客观和公正从而调动编辑出版人员的积极性同时避免挫伤部分人员的积极性。
	对一类多级安全模型安全性的形式化分析期刊论文 OAI收割计算机学报, 2006, 卷号: 29, 期号: 8, 页码: 1468-1479 何建波; 卿斯汉; 王超 \| 收藏 \| 浏览/下载：26/0 \| 提交时间：2011/07/13 BLP模型 MLS策略安全不变式 Z语言 Z/EVES定理证明器多级安全模型安全性形式化分析不变式验证模型形式化规范验证工具系统安全策略表述形式分析表语言思想理论客体方法Computer programming languages Formal languages Functions Mathematical models Security of data Security systems Specifications Theorem prov
	一种计算机取证中需求定义的方法期刊论文 OAI收割电子学报, 2006, 卷号: 34, 期号: 5, 页码: 921-923 孙波; 刘欣然; 孙玉芳 \| 收藏 \| 浏览/下载：12/0 \| 提交时间：2011/07/13 电子数据取证有效性真实性计算机取证环境需求定义定义方法应用环境实际应用软件工程描述基本理论方法研究安全工程灵活性定义法思想规范场景