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

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

帮助

条数/页：排序方式：
	环境内分泌干扰物对背角无齿蚌性腺分化的研究学位论文 OAI收割北京: 中国科学院生态环境研究中心, 2017 作者: 夏西超 \| 收藏 \| 浏览/下载：8/0 \| 提交时间：2019/07/29 环境内分泌干扰物，背角无齿蚌，性腺分化，间性，awsox2，awsox9 Environmental Endocrine Disruptors, Anodonta Woodiana, Gonadal Differentiation, Intersex, Awsox2, Awsox9
	面向无穷数据的形式模型综述期刊论文 OAI收割软件学报, 2016, 卷号: 27, 期号: 3, 页码: 682-690 宋富; 吴志林 \| 收藏 \| 浏览/下载：10/0 \| 提交时间：2016/12/09 无穷数据自动机逻辑非空性语言包含可满足性可判定性复杂性
	非结构化信息的形式语义表征与检索学位论文 OAI收割北京: 中国科学院研究生院, 2012 作者: 杨来 \| 收藏 \| 浏览/下载：12/0 \| 提交时间：2012/06/27 非结构化信息，多媒体，形式语义，信息检索，动态哈希trie
	构建度量区间时序逻辑的时间自动机学位论文 OAI收割硕士, 北京: 中国科学院研究生院, 2010 王勤思 \| 收藏 \| 浏览/下载：18/0 \| 提交时间：2010/06/08 模型检测实时时序逻辑度量区时序逻辑基于迁移的扩展时间Büchi自动机 Tableau方法。
	在真空室内表面形成非蒸发吸气剂膜（TiZrV）抽气层的特性研究学位论文 OAI收割 2009 蒙峻 \| 收藏 \| 浏览/下载：14/0 \| 提交时间：2010/01/24 非蒸发型吸气剂
	实时系统非空性模型检测工具及技术学位论文 OAI收割博士, 软件研究所: 中国科学院软件研究所, 2008 彭云全收藏 \| 浏览/下载：6/0 \| 提交时间：2011/03/17 实时系统二叉判定图非空性模型检测
	一种基于离散时间自动机的LTL性质检测工具期刊论文 OAI收割计算机仿真, 2008, 期号: 4, 页码: 80-83 张文亮; 彭云全收藏 \| 浏览/下载：56/2 \| 提交时间：2011/06/10 离散时间自动机非空性检测线性时序逻辑性质时间自动机检测工具 Timed Automata 状态空间爆炸线性时序逻辑利用模型指数增长压缩存储性质验证系统规模时间空间检测效果检测速度检测过程检测方法存储延迟效率算法实验技术
	离散时间自动机模型检测工具的设计与实现学位论文 OAI收割博士, 软件研究所: 中国科学院软件研究所, 2007 张文亮收藏 \| 浏览/下载：10/0 \| 提交时间：2011/03/17 实时系统可达性二叉判定图非空性模型检测
	非定域夸克真空的结构和Kisslinger函数期刊论文 OAI收割原子核物理评论, 2007, 期号: 5, 页码: 171-174 作者: 蒙成举; 潘继环; 周丽娟; 马维兴收藏 \| 浏览/下载：11/0 \| 提交时间：2015/12/10 夸克传播子非定域QCD真空凝聚定域QCD真空凝聚