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

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

帮助

条数/页：排序方式：
	多重中断驱动C程序的数据竞争检测学位论文 OAI收割硕士, 北京: 中国科学院研究生院, 2016 熊浩军 \| 收藏 \| 浏览/下载：17/0 \| 提交时间：2016/06/25 数据竞争中断驱动C程序顺序化限界模型检测
	自动化多层级生物样品集滤系统专利 OAI收割专利类型: 发明, 专利号: CN201110341771.3, 申请日期: 2013-05-08, 公开日期: 2013-05-08 董逸; 肖天; 吴钧; 岳东海收藏 \| 浏览/下载：48/0 \| 提交时间：2014/08/04 一种自动化多层级生物样品集滤系统流量检测装置(C) 所述多层级生物样品集滤器(B)是由一套集滤筒(1)和滤膜组合压板(2)构成的按照初级过滤集滤筒(1)的底端设有一个滤膜组合压板槽(15) 其特征在于：多层级生物样品集滤器(B)两端接出的进气水分离器(D)的排水控制阀(I) 中级过滤滤膜组合压板槽(15)中置入滤膜组合压板(2)。出水管路分别与样品盛水器(E)和流量监测装置(C)连接呼叫转换器(G)及抽真空设备(A)分别与系统控制器(F)连接末级过滤(细滤)的顺序组装起来的集滤装置流量监测装置(C)通过管路与气水分离装置(D)连接其两端为上气水分离装置(D)与抽真空设备(A)通过管路相连下连接段分别引出进出水管路
	CTCS-3级列车运行控制系统的形式建模学位论文 OAI收割硕士, 北京: 中国科学院研究生院, 2012 权曌 \| 收藏 \| 浏览/下载：30/0 \| 提交时间：2012/05/31 CTCS-3级列车运行控制系统混成系统信息物理融合系统混成通信顺序进程形式化模型
	基于文件布局的文件碎化检测与评估研究期刊论文 OAI收割高技术通讯, 2012, 卷号: 22.0, 期号: 008, 页码: 819 作者: 朱亚东; 张景旺; 张建刚; 许鲁 \| 收藏 \| 浏览/下载：4/0 \| 提交时间：2023/12/04 文件碎化顺序读性能文件碎化因子
	基于最小序句子的上下文无关语言句子枚举期刊论文 OAI收割计算机研究与发展, 2004, 卷号: 41, 期号: 1, 页码: 9-14 黄文集 \| 收藏 \| 浏览/下载：19/0 \| 提交时间：2011/07/29 上下文无关语言句子枚举最小序句子最小序句子上下文无关语言句子枚举顺序扫描字符串方法验证系统形式规约效率获取系统形式化数据表性能实验时空基础策略
	关于农业产业化几个问题的讨论期刊论文 OAI收割农业现代化研究, 1997, 卷号: 18, 期号: 6, 页码: 36-39 张苏林收藏 \| 浏览/下载：26/0 \| 提交时间：2013/02/23 农村经济农业产业化内涵发展顺序利益结构
	一种函数式语言到PROLOG的转换技术期刊论文 OAI收割吉林大学自然科学学报, 1996, 期号: 01, 页码: 30-34 宋立彤; 金成植; 魏仲慧收藏 \| 浏览/下载：12/0 \| 提交时间：2013/03/11 函数式语言SFL PROLOG转换顺序化