首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   59篇
  免费   18篇
  国内免费   10篇
电工技术   2篇
综合类   2篇
机械仪表   1篇
建筑科学   1篇
矿业工程   8篇
石油天然气   1篇
无线电   13篇
一般工业技术   2篇
冶金工业   7篇
自动化技术   50篇
  2021年   1篇
  2020年   1篇
  2018年   1篇
  2016年   1篇
  2014年   5篇
  2013年   3篇
  2012年   8篇
  2011年   7篇
  2010年   7篇
  2009年   7篇
  2008年   11篇
  2007年   14篇
  2005年   3篇
  2004年   3篇
  2003年   1篇
  2002年   2篇
  2001年   1篇
  2000年   2篇
  1998年   2篇
  1992年   3篇
  1991年   4篇
排序方式: 共有87条查询结果,搜索用时 15 毫秒
1.
基于ASM的元模型形式化语义的研究*   总被引:1,自引:0,他引:1  
提出一种在模型驱动开发过程中的形式化语义描述方法。该方法利用元建模技术,形式化地描述了元模型及其语义间的映射关系,以提供精确的语义描述,从而为模型驱动开发提供有力的支持。将描述框架用于模型转换规则的定义以及元模型的分析与验证,并以简单Petri网为例,说明该方法可以有效地支持模型转换和代码生成。  相似文献   
2.
石油和天然气在我国能源使用中占有重要的地位,日益受到人们的重视,针对于石油和天然气的特点,对生产储运过程中加强其管理尤其重要,本文针对于石油和天然气在生产储运过程可能存在的危险和解决措施进行了分析。  相似文献   
3.
根据安全性测试的需求,建立了检测软件内部安全逻辑故障的故障模型,提出了故障模型动态生成算法及基于故障覆盖的安全性测试生成算法,可以有效识别软件是否具备对于故障的安全防护能力,在我国高速铁路列控中心安全性测试中说明了方法的有效性。  相似文献   
4.
陈祖希  徐中伟  霍伟伟  喻钢 《电子学报》2014,42(7):1338-1346
最强后件的计算是模型检测算法的核心.本文使用一阶逻辑可满足性模线性算术理论给出线性混成自动机的有界模型检测表示公式,利用一阶逻辑公式不可满足情况下的插值存在性定理,对线性混成自动机的有界模型检测公式进行指定的划分,使用支持线性算术插值计算的可满足性模理论后端证明引擎的线性时间复杂度的消解反证技术获得这两部分公式间的插值公式,按一阶逻辑Craig插值的性质,所得到的插值公式就是模型检测过程中最强后件公式的上近似表示.有效地避免了使用逻辑编码方案实现线性混成自动机模型检测过程中需要双指数时间复杂度的量词消去操作求取最强后件公式,也不需像有界模型检测按步长展开变迁公式进行可满足性判定.最后本文在此最强后件计算的基础上,以有界模型检测技术作为反例确认方法,实现了一种无假反例的混成系统近似可达集计算算法.实验证明该算法与目前已经得到广泛工业应用的有界模型检测算法相比具有更优的性能.  相似文献   
5.
近年来,中间罐的作用因其净化钢液的功能不断发展而显著增强。根据预测,由于《罐内冶金》过程已从钢水罐内全部或部分地转移到中间罐内进行,中间罐净化钢液的功能将进一步扩大。人们认为,在炉外处理的条件下,在中间罐使用传统耐火材料的同时,以CaO和Al~1O_3为主的耐火材料,由于具有很高的化学稳定性而将是很有发展前途的。  相似文献   
6.
无料钟高炉在煤气流势能利用方面,比料钟式高炉无疑具有很大的优越性。带溜槽式旋转布料器的无料钟装料设备的操作经验和所采用的装料程序的分析表明,为使炉料和炉内煤气达到所希望的径向分布,要有1/3的炉料以差别很大的倾斜角位来装矿石和焦  相似文献   
7.
在住宅建筑设计中,过去大量的建筑均为砖混结构,住宅建筑的每个开间尺寸并不太大,配筋也大多采用园钢配筋(捣制板)在采用预制构件时,大多采用辽标的空心板标准图集中的构件。而随着时代的发展,人们对住宅建筑的要求越来越高,大居室及大客厅的应用更广泛,住户对所购住宅要求更大的开间,而双筋技术正是由于钢筋强度比普通钢筋高,能形成更大的板跨,并能节约钢材。自从双筋技术出现以来,在营口地区得到了广泛的应用。  相似文献   
8.
本采样器采用单片机直接对现场工频参数实施交流采样,而后根据采样器的用途,或通过LED、LCD显示器显示频率、电压、电流的实时值;或进行欠压、过压声光报警;或定时打印电压、电流及频率值;或直接将采集数据发送至其他设备。  相似文献   
9.
10.
徐中伟  巩固 《煤矿现代化》2003,(4):46-46,57
本文简单介绍了家用漏电保护器的作用,说明安装使用漏电保护器时的注意事项,分析家用漏电保护器不能投运现象的原因,提出了具体解决措施。  相似文献   
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号