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

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

帮助

条数/页：排序方式：
	面向工程应用的自由曲面离轴反射成像系统设计学位论文 OAI收割北京: 中国科学院大学, 2024 作者: 宁默 \| 收藏 \| 浏览/下载：6/0 \| 提交时间：2024/07/04 自由曲面离轴反射系统紧凑型可制造性可检测性
	制导弹药智能总装生产线研制与推广应用期刊论文 OAI收割自动化博览, 2016, 期号: 5, 页码: 72-73,75 作者: 中国科学院沈阳自动化研究所收藏 \| 浏览/下载：45/0 \| 提交时间：2016/08/14 智能制造行业传统共性技术生产效率质量参数制造模式在线自动检测自动化生产可重构性工艺装备
	数学性质局部检测与网络计算的局部性原理学位论文 OAI收割博士, 北京: 中国科学院研究生院, 2012 潘祎诚 \| 收藏 \| 浏览/下载：21/0 \| 提交时间：2012/06/19 数学性质局部检测局部可检测码模齐次Reed-Muller码图的传导率小社区现象网络同源性定律小瀑布行为
	改进的以SMT为基础的实时系统限界模型检测期刊论文 OAI收割软件学报, 2010, 卷号: 21, 期号: 7, 页码: 1491-1502 徐亮 \| 收藏 \| 浏览/下载：25/0 \| 提交时间：2011/05/23 限界模型检测可满足性模块理论实时系统时间自动机时间Kripke结构带时间参数的计算树逻辑bounded model checking satisfiability modulo theories real-time system timed automata timed Kripke structure TCTL (timed computation tree logic)
	一种基于混合概率模型的视频分割方法期刊论文 OAI收割计算机仿真, 2006, 卷号: 23.0, 期号: 004, 页码: 192 作者: 刘震; 赵杰煜 \| 收藏 \| 浏览/下载：17/0 \| 提交时间：2023/12/04 隐马尔可夫模型概率图模型同现性贝叶斯信念传播算法前景目标的检测和分割
	结构性土体强度的统计损伤模型分析期刊论文 OAI收割岩土工程学报, 2004, 期号: 05, 页码: 712-714 作者: 罗晓辉; 白世伟 \| 收藏 \| 浏览/下载：12/0 \| 提交时间：2018/06/25 土体结构性损伤 Weibull分布损伤容限可检测性
	脆性统计损伤模型在岩土工程中的应用研究期刊论文 OAI收割华中科技大学学报(自然科学版), 2004, 期号: 09, 页码: 82-85 作者: 罗晓辉; 卫军; 白世伟 \| 收藏 \| 浏览/下载：10/0 \| 提交时间：2018/06/25 土体结构性损伤 Weibull分布损伤容限可检测性
	基于混合粒度冲突检测的事务工作流调度算法期刊论文 OAI收割软件学报, 2003, 卷号: 14, 期号: 3, 页码: 369-375 丁柯; 魏峻; 冯玉琳 \| 收藏 \| 浏览/下载：22/0 \| 提交时间：2011/07/29 事务工作流并发控制恢复调度算法锁粒度混合粒度冲突检测事务工作流流调度算法可串行化补偿事务事务类并发度松弛原子性组成平面冲突预测冲突关系细粒度粗粒度特性活动概率Algorithms Concurrency control Mathematical models Network protocols Scheduling
	BIST可测性设计的低功耗技术期刊论文 OAI收割仪器仪表学报, 2003, 卷号: 24, 期号: S2, 页码: 629-630，632 作者: 汪滢; 辛晓宁; 李金凤 \| 收藏 \| 浏览/下载：18/0 \| 提交时间：2010/11/29 内建自检测片上系统可测性低功耗故障覆盖率