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

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

帮助

条数/页：排序方式：
	工业用高低温测试箱用于植物抗冻性检测初探及应用实例学位论文 OAI收割 : 中国科学院大学, 2022 作者: 吴志超 \| 收藏 \| 浏览/下载：9/0 \| 提交时间：2024/05/14 实验操作规范与流程，树木抗冻性检测，高低温测试箱，青藏高原横断山区，高山树线交错区 Detail instructions for freezing resistance examination., Freezing resistance of tree taxa, High and how temperature test chamber, Himalaya-Hengduan Mountains, Alpine treeline ecotone
	优化混凝工艺及操作规范的研究与进展期刊论文 OAI收割环境科学学报, 2009, 期号: 5, 页码: 897-904 王东升; 解建坤; 周永强; 邢丽楠; 李涛; 葛小鹏收藏 \| 浏览/下载：14/0 \| 提交时间：2012/06/29 优化混凝水质水体有机物消毒副产物操作规范
	高安全等级操作系统形式化开发技术研究学位论文 OAI收割博士, 软件研究所: 中国科学院软件研究所, 2008 李丽萍收藏 \| 浏览/下载：14/0 \| 提交时间：2011/03/17 安全操作系统形式化形式化安全策略模型形式化顶层规范求精安全体系结构微内核
	高等级安全操作系统中可信恢复关键技术研究学位论文 OAI收割博士, 软件研究所: 中国科学院软件研究所, 2007 袁春阳收藏 \| 浏览/下载：23/0 \| 提交时间：2011/03/17 安全操作系统可信恢复可信计算形式化规范与验证安全审计
	优先级顶协议的形式化验证期刊论文 OAI收割计算机仿真, 2007, 卷号: 24, 期号: 6, 页码: 276-279 张博颖收藏 \| 浏览/下载：57/6 \| 提交时间：2011/07/01 优先级顶协议时段演算调度实时操作系统形式规范和验证调度协议验证方法状态函数实时数据库系统阻塞性规范优先级驱动形式化验证易于理解时段演算无死锁抢占式应用文献个性
	优先级顶协议的形式规范和验证学位论文 OAI收割博士, 软件研究所: 中国科学院软件研究所, 2006 张博颖收藏 \| 浏览/下载：21/0 \| 提交时间：2011/03/17 优先级顶协议时段演算调度实时操作系统形式规范和验证
	对刊后审读的认识和讨论会议论文 OAI收割陕西省科技期刊编辑学会学术年会, 中国陕西, 2006 潘炼德收藏 \| 浏览/下载：52/0 \| 提交时间：2012/10/19 审读科技期刊编辑出版评价体系\|Abstract 在简单回顾有关文件的基础上分析了刊后审读的双重目的指出刊后审读不仅是管理部门加强对刊物的检查监督和管理的重要措施而且应该成为具体指导和帮助编辑出版单位认识不足改进工作提高业务水平的有效途径。在对科技文稿的极强的专业性给审读工作带去的难度进行分析的基础上阐述了不断改进审读的方式方法加强审读方与被审读方的直接沟通的必要性以及反馈具体审读意见注重审读实际效果的重要性。最后讨论了慎重操作基于审读的评选活动的问题认为评选应该建立在完善的评价体系和规范的评价方法的基础上这样才能尽量做到客观和公正从而调动编辑出版人员的积极性同时避免挫伤部分人员的积极性。
	J2EE平台中分布式事务互操作的研究与实现期刊论文 OAI收割计算机科学, 2005, 卷号: 32, 期号: 7, 页码: 1-4,43 张勇; 胡剑军; 陈宁江 \| 收藏 \| 浏览/下载：14/0 \| 提交时间：2011/07/28 分布式事务 RMI-IIOP协议 J2EE应用服务器事务互操作平台分布式事务互操作应用服务器客户端和服务器协议扩展应用组件调用事务上下文有效传播体系结构环境服务框架中科院灵活性语言设计软件规范
	基于OpenGIS规范的GIS组件的设计与实现期刊论文 OAI收割计算机工程, 2005, 期号: 9, 页码: 54-55+76 杨建宇,杨崇俊,刘冬林,芮小平,高积粮收藏 \| 浏览/下载：14/0 \| 提交时间：2015/01/05 GIS组件 OpenGIS规范 COM 互操作性