全文获取类型
收费全文 | 103篇 |
免费 | 5篇 |
国内免费 | 3篇 |
专业分类
电工技术 | 5篇 |
综合类 | 4篇 |
化学工业 | 40篇 |
金属工艺 | 6篇 |
机械仪表 | 3篇 |
建筑科学 | 9篇 |
矿业工程 | 1篇 |
轻工业 | 15篇 |
水利工程 | 5篇 |
石油天然气 | 7篇 |
无线电 | 4篇 |
一般工业技术 | 4篇 |
冶金工业 | 2篇 |
自动化技术 | 6篇 |
出版年
2024年 | 2篇 |
2023年 | 6篇 |
2022年 | 7篇 |
2021年 | 8篇 |
2020年 | 4篇 |
2019年 | 3篇 |
2018年 | 13篇 |
2017年 | 9篇 |
2016年 | 5篇 |
2015年 | 3篇 |
2014年 | 12篇 |
2013年 | 12篇 |
2012年 | 5篇 |
2011年 | 3篇 |
2010年 | 7篇 |
2009年 | 4篇 |
2007年 | 2篇 |
2006年 | 6篇 |
排序方式: 共有111条查询结果,搜索用时 0 毫秒
1.
多值模型检测是解决形式化验证中状态爆炸问题的一种重要方法,三值模型检测是多值模型检测的基础,其中如何检验不确定状态的真值是一难点。针对不确定状态检验,提出了一种模型检测方法,首先对不完全Kripke结构PKS进行了扩展,然后在扩展后的模型上给出了检测不确定状态真值的方法,最后给出了基于扩展不完全Kripke结构的三值逻辑模型检测算法。与已有的三值逻辑模型检测算法相比,该算法降低了算法复杂度,完善了对于不确定或不一致信息的处理,从而增强了三值逻辑模型检测的实用性。 相似文献
2.
3.
5.
根据电加热柔性连续抽油杆的特性、参数及井下基本工况,建立了三级混合抽油杆柱的有限元模型。运用有限元软件对混合杆柱的动态特性进行计算机模拟,得到各关键点位移、速度随时间变化曲线,以及计算机模拟的地面示功图,为抽油机、抽油杆设计和井下故障诊断提供理论依据。与传统电加热空心抽油杆相比,电加热柔性连续抽油杆在降载和节能方面优势显著。 相似文献
6.
7.
某变电站场地下伏3号煤层的采空,煤层埋深31.1~40.5 m,属浅层煤层采空。该煤层开采时间为1971—1980年,开采厚度4.0~6.0m,开采方式为不规则房柱式开采,一次采全高,采煤工艺为炮采。通过对采空进行定性、定量分析,得出该采空区目前处于基本稳定状态,但由于采深采厚比小,煤层埋深较浅,其产生"活化"的可能性大,一旦产生"活化"将严重威胁到变电站安全运行。采用桩基穿越法对采空区进行治理设计,目前桩基施工完成已大约1年,整个场地未发现地基下沉现象,证明采用桩基穿越法治理采空区取得了良好的效果。该工程的成功实践为同类型采空区治理工程提供了一种值得借鉴的模式,具有较高的应用推广价值。 相似文献
8.
9.
通过浸渍沉淀法分别制备Ni/Al2O3、Ni/CeO2和Ni/CeO2-Al2O3催化剂,并对其分别进行不同CO/CO2比例下COx共甲烷化性能评价。发现Ni/Al2O3催化剂催化CO转化为CH4的能力明显高于Ni/CeO2,而催化CO2甲烷化的性能则相反。采用Ni/CeO2-Al2O3催化剂,可以在提高CO转化率的同时而不降低CO2转化率。结合BET、XRD、TPR、TPD和原位红外等各种表征手段,发现CeO2掺杂虽然降低了催化剂的比表面积和金属Ni的分散度,但却可明显提高其吸附活化CO2的能力,这主要是由于具有较高含量氧空位的CeO2的掺杂可以提高载体表面碱性位,促使共甲烷过程中CO... 相似文献
10.