全文获取类型
收费全文 | 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.
2.
石油和天然气在我国能源使用中占有重要的地位,日益受到人们的重视,针对于石油和天然气的特点,对生产储运过程中加强其管理尤其重要,本文针对于石油和天然气在生产储运过程可能存在的危险和解决措施进行了分析。 相似文献
3.
根据安全性测试的需求,建立了检测软件内部安全逻辑故障的故障模型,提出了故障模型动态生成算法及基于故障覆盖的安全性测试生成算法,可以有效识别软件是否具备对于故障的安全防护能力,在我国高速铁路列控中心安全性测试中说明了方法的有效性。 相似文献
4.
最强后件的计算是模型检测算法的核心.本文使用一阶逻辑可满足性模线性算术理论给出线性混成自动机的有界模型检测表示公式,利用一阶逻辑公式不可满足情况下的插值存在性定理,对线性混成自动机的有界模型检测公式进行指定的划分,使用支持线性算术插值计算的可满足性模理论后端证明引擎的线性时间复杂度的消解反证技术获得这两部分公式间的插值公式,按一阶逻辑Craig插值的性质,所得到的插值公式就是模型检测过程中最强后件公式的上近似表示.有效地避免了使用逻辑编码方案实现线性混成自动机模型检测过程中需要双指数时间复杂度的量词消去操作求取最强后件公式,也不需像有界模型检测按步长展开变迁公式进行可满足性判定.最后本文在此最强后件计算的基础上,以有界模型检测技术作为反例确认方法,实现了一种无假反例的混成系统近似可达集计算算法.实验证明该算法与目前已经得到广泛工业应用的有界模型检测算法相比具有更优的性能. 相似文献
5.
近年来,中间罐的作用因其净化钢液的功能不断发展而显著增强。根据预测,由于《罐内冶金》过程已从钢水罐内全部或部分地转移到中间罐内进行,中间罐净化钢液的功能将进一步扩大。人们认为,在炉外处理的条件下,在中间罐使用传统耐火材料的同时,以CaO和Al~1O_3为主的耐火材料,由于具有很高的化学稳定性而将是很有发展前途的。 相似文献
6.
无料钟高炉在煤气流势能利用方面,比料钟式高炉无疑具有很大的优越性。带溜槽式旋转布料器的无料钟装料设备的操作经验和所采用的装料程序的分析表明,为使炉料和炉内煤气达到所希望的径向分布,要有1/3的炉料以差别很大的倾斜角位来装矿石和焦 相似文献
7.
在住宅建筑设计中,过去大量的建筑均为砖混结构,住宅建筑的每个开间尺寸并不太大,配筋也大多采用园钢配筋(捣制板)在采用预制构件时,大多采用辽标的空心板标准图集中的构件。而随着时代的发展,人们对住宅建筑的要求越来越高,大居室及大客厅的应用更广泛,住户对所购住宅要求更大的开间,而双筋技术正是由于钢筋强度比普通钢筋高,能形成更大的板跨,并能节约钢材。自从双筋技术出现以来,在营口地区得到了广泛的应用。 相似文献
8.
本采样器采用单片机直接对现场工频参数实施交流采样,而后根据采样器的用途,或通过LED、LCD显示器显示频率、电压、电流的实时值;或进行欠压、过压声光报警;或定时打印电压、电流及频率值;或直接将采集数据发送至其他设备。 相似文献
10.
本文简单介绍了家用漏电保护器的作用,说明安装使用漏电保护器时的注意事项,分析家用漏电保护器不能投运现象的原因,提出了具体解决措施。 相似文献