中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
首页 机构 成果 学者
  
  1. CAS IR Grid
机构
采集方式
内容类型
发表日期
学科主题
筛选

浏览/检索结果: 共19条，第1-10条 帮助

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