期刊文献+
共找到5篇文章
< 1 >
每页显示 20 50 100
模型检测中的CTL形式化描述模板 被引量:3
1
作者 陈志远 黄少滨 +1 位作者 白玉 纪明宇 《哈尔滨工程大学学报》 EI CAS CSCD 北大核心 2013年第4期483-487,共5页
针对SPS(specification pattern system)和Prospec(property specification)不能将组合命题形式化为模型检测器可以接受的CTL(computation tree logic)公式问题,通过研究SPS和Prospec产生系统性质描述的形式化方法,并对比CTL与FIL(futur... 针对SPS(specification pattern system)和Prospec(property specification)不能将组合命题形式化为模型检测器可以接受的CTL(computation tree logic)公式问题,通过研究SPS和Prospec产生系统性质描述的形式化方法,并对比CTL与FIL(future interval logic)的表达能力以及CTL与LTL(linear temporal logic)两者之间的关系,构造了一类具有较强描述能力的CTL公式模板,并通过重新定义合取逻辑运算符来简化公式.该类模板简洁且易于理解.模板类的正确性证明表示该类模板可以有效地描述系统性质.利用该模板得到的CTL公式可以直接应用到模型检测器中,利于系统性质验证. 展开更多
关键词 模型检测 形式化描述 SPS Prospec CTL 模板
在线阅读 下载PDF
BNProspec型特种蛋白测定仪常见故障排除及应用体会 被引量:1
2
作者 董彦军 田玉峰 《现代检验医学杂志》 CAS 2004年第6期57-57,共1页
BN Prospec型特种蛋白测定仪是美国DADEDEHRING公司生产的新一代高性能特种蛋白测定仪,具有测量速度快,精密度高,灵敏性好,测量范围广等特点,是目前国内及世界上最为先进的特种蛋白测定仪之一.我们在使用过程中,对于它的应用和一些常见... BN Prospec型特种蛋白测定仪是美国DADEDEHRING公司生产的新一代高性能特种蛋白测定仪,具有测量速度快,精密度高,灵敏性好,测量范围广等特点,是目前国内及世界上最为先进的特种蛋白测定仪之一.我们在使用过程中,对于它的应用和一些常见故障的处理摸索出了一些经验和体会,以供大家参考. 展开更多
关键词 BN Prospec型特种蛋白测定仪 常见故障 故障排除 SAMPLE missing-样本丢失
暂未订购
Xinjiang Discovered the Largest Molybdenum Mine Deposit,Submitted 573000 Tonnes of Molybdenum Metal Volume
3
《China Nonferrous Metals Monthly》 2015年第2期3-4,共2页
According to Xinjiang Bureau of Geology and Mineral Exploration:An ultra large molybdenum mine was newly discovered near Yumin County,the molybdenum metal volume currently in application for record keeping is573,000 t... According to Xinjiang Bureau of Geology and Mineral Exploration:An ultra large molybdenum mine was newly discovered near Yumin County,the molybdenum metal volume currently in application for record keeping is573,000 tonnes,which is the biggest molybdenum mine deposit discovered in Xinjiang up till now. 展开更多
关键词 MOLYBDENUM currently keeping RECORD BUREAU prospec
原文传递
NONMETALS DEPOSITS
4
《Abstracts of Chinese Geological Literature》 2011年第1期68-71,共4页
20110251 Chen Jiyan(College of Resource and Environment,Guizhou University,Guiyang 550003,China);Zhang Jie Mode of Occurrence of Rare Earth Elements in Posphorite in Zhijin County,Guizhou Province,China(Acta Mineralog... 20110251 Chen Jiyan(College of Resource and Environment,Guizhou University,Guiyang 550003,China);Zhang Jie Mode of Occurrence of Rare Earth Elements in Posphorite in Zhijin County,Guizhou Province,China(Acta Mineralogica Sinica,ISSN1000-4734,CN52-1045/P,30(1),2010,p.123-129,2 illus.,4 tables,21 refs.)Key words:phosphate deposit,rare earths,Guizhou Province It was shown that the REE contents in the section increased positively with 展开更多
关键词 GUIZHOU Guiyang rock TABLES QUARTZ APATITE prospec
原文传递
PROSPECTING EXPLORATION
5
《Abstracts of Chinese Geological Literature》 2007年第4期177-177,共1页
20072994 Chen Jiabin(China Economic Academy of Land and Resources,Beijing 101149,China)Global Copper Resource and Its Strategy in China in Future Five Years(Jiangsu Geology,ISSN1003-6474,CN32-1258/P,30(4),2006,p.314-3... 20072994 Chen Jiabin(China Economic Academy of Land and Resources,Beijing 101149,China)Global Copper Resource and Its Strategy in China in Future Five Years(Jiangsu Geology,ISSN1003-6474,CN32-1258/P,30(4),2006,p.314-320,3 illus.,2 tables,17 refs.)Key words:copper deposits,administration of mineral resources,GlobalCopper is one of the important raw 展开更多
关键词 ADMINISTRATION Jiangsu TABLES GEOCHEMISTRY prospec
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部