全文获取类型
收费全文 | 61篇 |
免费 | 19篇 |
国内免费 | 10篇 |
专业分类
电工技术 | 2篇 |
综合类 | 2篇 |
机械仪表 | 1篇 |
建筑科学 | 2篇 |
矿业工程 | 8篇 |
石油天然气 | 1篇 |
无线电 | 13篇 |
一般工业技术 | 2篇 |
冶金工业 | 7篇 |
自动化技术 | 52篇 |
出版年
2022年 | 1篇 |
2021年 | 2篇 |
2020年 | 2篇 |
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篇 |
排序方式: 共有90条查询结果,搜索用时 15 毫秒
1.
2.
仿真测试是嵌入式软件系统测试阶段的一种有效测试方法,探讨了通过在PC机上仿真模拟ARM嵌入式系统,对嵌入式系统软件进行仿真测试的通用测试平台的设计。该平台可以在不做大幅度修改的情况下对不同的嵌入式系统软件进行各种测试。重点介绍了仿真模拟器、测试管理器和测试平台专用工具链的设计,提出了一种测试管理器的实现模型,并进行了详细的描述。 相似文献
3.
根据安全性测试的需求,建立了检测软件内部安全逻辑故障的故障模型,提出了故障模型动态生成算法及基于故障覆盖的安全性测试生成算法,可以有效识别软件是否具备对于故障的安全防护能力,在我国高速铁路列控中心安全性测试中说明了方法的有效性。 相似文献
4.
本文简单介绍了家用漏电保护器的作用,说明安装使用漏电保护器时的注意事项,分析家用漏电保护器不能投运现象的原因,提出了具体解决措施。 相似文献
5.
基于重要抽样的联锁软件安全性评估 总被引:1,自引:0,他引:1
根据计算机联锁软件失效危险严重性等级的不同,科学地建立了安全性评估指标,介绍了重要抽样的基本原理,以及利用层次分析法确定抽样概率。重点研究了基于重要抽样方法在计算机联锁软件测试和评估中的具体应用。实验证明,该方法在不影响评估结果的准确性情况下,解决了传统联锁软件测试效率低的问题。 相似文献
6.
近年来,中间罐的作用因其净化钢液的功能不断发展而显著增强。根据预测,由于《罐内冶金》过程已从钢水罐内全部或部分地转移到中间罐内进行,中间罐净化钢液的功能将进一步扩大。人们认为,在炉外处理的条件下,在中间罐使用传统耐火材料的同时,以CaO和Al~1O_3为主的耐火材料,由于具有很高的化学稳定性而将是很有发展前途的。 相似文献
7.
无料钟高炉在煤气流势能利用方面,比料钟式高炉无疑具有很大的优越性。带溜槽式旋转布料器的无料钟装料设备的操作经验和所采用的装料程序的分析表明,为使炉料和炉内煤气达到所希望的径向分布,要有1/3的炉料以差别很大的倾斜角位来装矿石和焦 相似文献
8.
在住宅建筑设计中,过去大量的建筑均为砖混结构,住宅建筑的每个开间尺寸并不太大,配筋也大多采用园钢配筋(捣制板)在采用预制构件时,大多采用辽标的空心板标准图集中的构件。而随着时代的发展,人们对住宅建筑的要求越来越高,大居室及大客厅的应用更广泛,住户对所购住宅要求更大的开间,而双筋技术正是由于钢筋强度比普通钢筋高,能形成更大的板跨,并能节约钢材。自从双筋技术出现以来,在营口地区得到了广泛的应用。 相似文献
10.
最强后件的计算是模型检测算法的核心.本文使用一阶逻辑可满足性模线性算术理论给出线性混成自动机的有界模型检测表示公式,利用一阶逻辑公式不可满足情况下的插值存在性定理,对线性混成自动机的有界模型检测公式进行指定的划分,使用支持线性算术插值计算的可满足性模理论后端证明引擎的线性时间复杂度的消解反证技术获得这两部分公式间的插值公式,按一阶逻辑Craig插值的性质,所得到的插值公式就是模型检测过程中最强后件公式的上近似表示.有效地避免了使用逻辑编码方案实现线性混成自动机模型检测过程中需要双指数时间复杂度的量词消去操作求取最强后件公式,也不需像有界模型检测按步长展开变迁公式进行可满足性判定.最后本文在此最强后件计算的基础上,以有界模型检测技术作为反例确认方法,实现了一种无假反例的混成系统近似可达集计算算法.实验证明该算法与目前已经得到广泛工业应用的有界模型检测算法相比具有更优的性能. 相似文献