机构

• 过程工程研究所 [5]
• 软件研究所 [5]
• 沈阳自动化研究所 [3]
• 心理研究所 [2]
• 国家空间科学中心 [1]
• 长春光学精密机械与物... [1]
• 更多

采集方式

• OAI收割 [19]

内容类型

• 期刊论文 [15]
• 会议论文 [2]
• 专利 [1]
• 学位论文 [1]

发表日期

• 2013 [2]
• 2012 [1]
• 2011 [1]
• 2010 [1]
• 2008 [1]
• 2007 [3]
• 更多

学科主题

• 空间技术 [1]

筛选

浏览/检索结果: 共19条，第1-10条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择提交时间升序提交时间降序发表日期升序发表日期降序题名升序题名降序作者升序作者降序 我国近海富营养化评价模型操作系统构建方法 专利  OAI收割 专利类型: 发明, 专利号: CN201310078853.2, 申请日期: 2013-08-21, 公开日期: 2013-08-21 作者:  俞志明;  宋秀贤 收藏  |   CSS BOY在BEPCII控制系统中的应用 期刊论文  OAI收割 信息与电脑(理论版), 2013, 期号: 3, 页码: 1--3 作者:  郭凤琴;  赵卓;  王春红 收藏  |   基于UML的人机界面操作引导功能建模 期刊论文  OAI收割 福建电脑, 2012, 期号: 01, 页码: 110-111 作者:  阚珊珊 收藏  |   基于微分几何的蛇形机器人移动与操作统一动力学模型研究 期刊论文  OAI收割 中国科学:信息科学, 2011, 卷号: 41, 期号: 2, 页码: 190-206 作者:  马书根;  王越超;  王智锋;  李斌 收藏  |   基于FPGA的数据缓存与转发系统设计 期刊论文  OAI收割 微计算机信息, 2010, 卷号: 26, 期号: 20, 页码: 165-167 薛国凤; 张健 收藏  |   Isabelle在分析安全操作系统状态机模型中的应用 期刊论文  OAI收割 计算机工程与设计 , 2008, 卷号: 29, 期号: 3, 页码: 580-582, 730 陈坤; 贺也平   |  收藏  |   安全操作系统开发中的形式化技术应用研究 学位论文  OAI收割 博士, 软件研究所: 中国科学院软件研究所, 2007 陈坤 收藏  |   优先级顶协议的形式化验证 期刊论文  OAI收割 计算机仿真, 2007, 卷号: 24, 期号: 6, 页码: 276-279 张博颖 收藏  |   功能块形式化建模与测试序列生成方法研究 期刊论文  OAI收割 仪器仪表学报, 2007, 卷号: 28, 期号: S, 页码: 755-757 作者:  王宏;  张连领;  于海斌;  王忠锋   |  收藏  |   一种多层次特权控制机制的设计与实现 期刊论文  OAI收割 计算机研究与发展, 2006, 卷号: 43, 期号: 3, 页码: 423-428 沈晴霓; 卿斯汉; 李丽萍   |  收藏  |