全文获取类型
收费全文 | 59篇 |
免费 | 6篇 |
专业分类
电工技术 | 1篇 |
综合类 | 7篇 |
化学工业 | 4篇 |
机械仪表 | 4篇 |
建筑科学 | 9篇 |
矿业工程 | 2篇 |
能源动力 | 2篇 |
轻工业 | 11篇 |
水利工程 | 2篇 |
石油天然气 | 3篇 |
无线电 | 11篇 |
一般工业技术 | 3篇 |
冶金工业 | 1篇 |
自动化技术 | 5篇 |
出版年
2024年 | 2篇 |
2023年 | 2篇 |
2022年 | 2篇 |
2021年 | 1篇 |
2020年 | 3篇 |
2018年 | 2篇 |
2016年 | 1篇 |
2015年 | 2篇 |
2014年 | 2篇 |
2013年 | 4篇 |
2012年 | 7篇 |
2011年 | 4篇 |
2010年 | 4篇 |
2009年 | 3篇 |
2008年 | 4篇 |
2007年 | 2篇 |
2006年 | 4篇 |
2004年 | 3篇 |
2003年 | 1篇 |
2002年 | 3篇 |
2001年 | 2篇 |
1999年 | 2篇 |
1997年 | 1篇 |
1996年 | 2篇 |
1995年 | 2篇 |
排序方式: 共有65条查询结果,搜索用时 562 毫秒
21.
22.
模型构建是模型检验的基础,在微控制器代码模型构建过程中面临状态爆炸的问题。由于生成模型的状态数量与代码规模密切相关,通过简化代码可以有效缩减生成的状态数量。该文提出了敏感变量和敏感位置的概念,并以此为基础提出了结合子程序摘要信息的敏感位置识别算法;该算法从待验证的性质出发,提取敏感变量,识别代码中与敏感变量相关的敏感位置;模型构建过程中只对敏感位置对应代码进行建模,从而实现对模型状态的缩减。实验结果表明所提的方法能够有效缓解微控制器代码模型生成过程中的状态爆炸问题。 相似文献
23.
在二进制代码分析中,传统的区间分析方法难以有效获得变量的取值范围。针对二进制代码变量特点,基于抽象解释理论,该文提出字级数据区间和位级数据区间的概念,分别对数值型数据变量和位级数据变量进行抽象表示;将抽象区间用于二进制代码变量运算,构建字级数据区间和位级数据区间的运算方法;引入区间集的概念,确立字级数据区间和位级数据区间的转换关系,提出字级数据区间和位级数据区间的相互转换算法。实验结果表明,该文提出的基于抽象解释的二进制代码变量区间分析方法能够精确高效地确定二进制代码变量的取值范围。 相似文献
24.
变速箱是我厂拖拉机的一个重要零件,其止口φ52K7在镗床上加工,行程开关控制行程,止口深度尺寸54.5_0~( 0.1)mm不能保证,而该尺寸决定了此处的一对锥齿轮的间隙。装配时需靠垫片调整来保证该尺寸,操作复杂,费时费力。我们经过认真 相似文献
25.
根据岩心常规薄片、物性和压汞等实验分析资料以及测井解释结果,对威远气田震旦系灯影组储层的岩石学特征、物性特征、孔隙类型、孔隙结构特征以及储层分布特征进行分析与研究,研究认为灯影组主要的成岩作用为压实作用;储集空间以裂缝孔洞型为主,次为洞穴;储集体为叠置的透镜体,由致密岩分隔组合成复合透镜状白云岩储层。综合各项物性参数评价该储层为II类储层。 相似文献
26.
CO锅炉蒸发器运行状况的好坏,不仅影响产汽量,而且还影响过热段使用寿命。原蒸发器炉管材质为20G/GB5310,达到材质劣化变形的最高温度为400℃左右,而通过蒸发器的高温烟气为500℃以上,炉管稍有缺水,就容易造成炉管因高温缺水碳化,从而造成泄漏;同时,炉管集箱走水采用同一端进水、出水,极易造成另一端炉管抢水现象。蒸发器炉管改造为Φ38×4无缝钢管,材质为12Gr1MoV高温合金钢,避免缺水发生过烧现象,又对蒸发器的进、出水流程进行了优化,由原来的同一端进水、出水改进为两端进水,中间出水,保证炉管内水流均匀,蒸发良好。同时,为保证蒸发器水流均匀,蒸发段水量要大于65m3/h,过热段不低于35m3/h,通过以上改进和改造,不仅提高了产汽量,也保证了CO锅炉平稳操作。 相似文献
27.
建筑工程质量管理是防控工程质量问题的第一道关口。以往的经验表明,由于建筑单位质保体系不健全或建筑人员的责任心不强、疏忽等原因,极有可能在工程建设中,留下产生质量问题的隐患。 相似文献
28.
随着勘探的深入,各种含有H2S,CO2等有害气体的井越来越多。在这类井中测井作业时,需要采取一定的方法来保护电缆,防止腐蚀。文章介绍了一种非常经济实用的方法,即采用给普通电缆注入硫化氢抑制剂,来达到防硫和保护电缆的目的。 相似文献
29.
30.