全文获取类型
收费全文 | 3654篇 |
免费 | 436篇 |
国内免费 | 313篇 |
专业分类
电工技术 | 177篇 |
综合类 | 289篇 |
化学工业 | 188篇 |
金属工艺 | 70篇 |
机械仪表 | 163篇 |
建筑科学 | 298篇 |
矿业工程 | 33篇 |
能源动力 | 35篇 |
轻工业 | 111篇 |
水利工程 | 43篇 |
石油天然气 | 144篇 |
武器工业 | 18篇 |
无线电 | 298篇 |
一般工业技术 | 176篇 |
冶金工业 | 89篇 |
原子能技术 | 14篇 |
自动化技术 | 2257篇 |
出版年
2024年 | 8篇 |
2023年 | 37篇 |
2022年 | 52篇 |
2021年 | 66篇 |
2020年 | 77篇 |
2019年 | 72篇 |
2018年 | 54篇 |
2017年 | 66篇 |
2016年 | 74篇 |
2015年 | 89篇 |
2014年 | 208篇 |
2013年 | 177篇 |
2012年 | 247篇 |
2011年 | 222篇 |
2010年 | 206篇 |
2009年 | 202篇 |
2008年 | 230篇 |
2007年 | 324篇 |
2006年 | 238篇 |
2005年 | 269篇 |
2004年 | 209篇 |
2003年 | 176篇 |
2002年 | 159篇 |
2001年 | 135篇 |
2000年 | 105篇 |
1999年 | 119篇 |
1998年 | 77篇 |
1997年 | 69篇 |
1996年 | 65篇 |
1995年 | 73篇 |
1994年 | 58篇 |
1993年 | 34篇 |
1992年 | 40篇 |
1991年 | 30篇 |
1990年 | 16篇 |
1989年 | 15篇 |
1988年 | 5篇 |
1987年 | 7篇 |
1986年 | 4篇 |
1985年 | 14篇 |
1984年 | 10篇 |
1983年 | 4篇 |
1982年 | 10篇 |
1981年 | 5篇 |
1980年 | 10篇 |
1979年 | 7篇 |
1978年 | 6篇 |
1977年 | 5篇 |
1976年 | 5篇 |
1973年 | 3篇 |
排序方式: 共有4403条查询结果,搜索用时 78 毫秒
1.
控制棒提升极限用于限定控制棒组棒位和可溶硼浓度的范围,以防止慢化剂温度系数突破限值。CAP1400核电厂采用机械补偿运行策略,使控制棒及硼浓度运行范围大为扩展,同时功能独立的M棒组和AO棒组同时插入堆芯使得插棒情况更为复杂,因此与传统核电厂相比,CAP1400核电厂的控制棒提升极限更难界定。本文建立了适用于CAP1400核电厂的控制棒提升极限分析方法,并给出计算结果。本文提出的方法合理地解决了复杂的控制棒运行情况给提升极限造成的影响,并充分地利用了电厂实测数据对提升极限进行修正。基于本文方法得到的提升极限精确且具备一定的保守性,所以便于电厂实际运行时使用。 相似文献
2.
3.
大型正装固定拱顶储罐承压环具有一定的结构特点,针对于拱顶储罐承压环的安装,需要从整体角度出发,采用合适的安装工艺,通过手工埋弧横焊、气电立焊的方式进行焊接,能够最大程度上保障焊接的稳定性,规避焊接过程中气孔问题,基于此,本文就对大型正装固定拱顶储罐承压环安装组焊接技术的相关内容进行了一个较为详细的概述。 相似文献
4.
借助转子钢冷却过程实测温度变化,制订了不同直径棒材心部冷却规范,研究了G50超高强度钢在奥氏体化后以不同冷却速度冷却后得到的微观组织及其力学性能。结果表明,等效ø430 mm和ø500 mm棒材轴心冷却试样形成马氏体+下贝氏体复相组织,抗拉强度高于油淬试样,屈服强度降低,但不明显损害冲击性能。等效ø650 mm棒材轴心淬火冷却形成60%以上的下贝氏体组织,进一步降低屈服强度的同时,冲击性能反而明显回升,表明该材料在较低的冷却速度下仍保有较高的韧性。 相似文献
5.
Elisabetta DE MARIA Abdorrahim BAHRAMI Thibaud L’YVONNET Amy FELTY Daniel GAFFÉ Annie RESSOUCHE Franck GRAMMONT 《Frontiers of Computer Science》2022,16(3):163404-115
Having a formal model of neural networks can greatly help in understanding and verifying their properties, behavior, and response to external factors such as disease and medicine. In this paper, we adopt a formal model to represent neurons, some neuronal graphs, and their composition. Some specific neuronal graphs are known for having biologically relevant structures and behaviors and we call them archetypes. These archetypes are supposed to be the basis of typical instances of neuronal information processing. In this paper we study six fundamental archetypes (simple series, series with multiple outputs, parallel composition, negative loop, inhibition of a behavior, and contralateral inhibition), and we consider two ways to couple two archetypes: (i) connecting the output(s) of the first archetype to the input(s) of the second archetype and (ii) nesting the first archetype within the second one. We report and compare two key approaches to the formal modeling and verification of the proposed neuronal archetypes and some selected couplings. The first approach exploits the synchronous programming language Lustre to encode archetypes and their couplings, and to express properties concerning their dynamic behavior. These properties are verified thanks to the use of model checkers. The second approach relies on a theorem prover, the Coq Proof Assistant, to prove dynamic properties of neurons and archetypes. 相似文献
6.
为应对更为复杂的任务需求,现代机器人产业发展愈发迅猛.出于协调工作的灵活性、柔顺性以及智能性等多项考虑因素,多臂/多机器人充分发挥了机器人的强大作用,成为现代机器人产业的重要研究热点.在机器人双臂协调运行当中,机械臂之间以及机械臂与外部障碍物之间容易发生碰撞,可能会造成财产损失甚至人员伤亡.对机器人碰撞检测方法进行形式化验证,以球体和胶囊体形式化模型为基础,构建基本几何体单元之间最短距离和机器人碰撞的高阶逻辑模型,证明其相关属性及碰撞条件,建立机器人碰撞检测方法基础定理库,为多机系统碰撞检测算法可靠性与稳定性的验证提供技术支撑和验证框架. 相似文献
7.
云存储技术目前被广泛应用于人们的生产与生活中.验证云存储系统中管理程序的正确性,能够有效地提高整个系统的可靠性.块云存储系统(CBS)具有最接近底层的存储架构.运用交互式定理证明器Coq,实现了一种辅助验证工具,用于分析和验证CBS中管理程序的正确性.基于分离逻辑的思想,对工具中证明系统的实现主要包括:首先,将CBS抽象为两层堆结构,定义建模语言形式化表示CBS的状态和管理程序;其次,定义描述CBS状态性质的堆谓词,并说明堆谓词间的逻辑关系;最后,定义描述程序行为的CBS分离逻辑三元组,以及制定验证三元组所需的推理规则.此外,还引入了几个证明实例,以此展示工具对实际CBS管理程序表示和推理的能力. 相似文献
8.
形式化推导是在程序正确性证明理论下所进行的程序开发,最终得到完全正确的算法程序。针对序列折半划分问题,现有的形式化推导方法将推导与证明交替进行,推导过程繁琐且大多无法直接获得可执行程序。为解决上述问题,提出了一种新的序列折半划分问题的形式化推导方法。该方法基于分划递推的核心思想,应用规约变换技术对问题规约进行变换并严格保证一致性,使得在推导过程中无需交替证明,进而导出递推关系式并得到高可靠性抽象算法程序Apla,最终通过转换工具自动生成可执行程序。实现了从程序规约到具体可执行程序的完整程序求精过程。以2个序列算法为例,验证了该方法的有效性和可行性,对相关问题的形式化推导具有指导意义。 相似文献
9.
10.
多粒度数据是一种特殊的、有用的数据类型,它通过对论域(研究对象的集合)采用不同的粒化方式使得数据能够在多个粒度空间中进行呈现,在此基础上可以开展数据的多层次知识发现研究。商空间理论、序贯三支决策、多粒度粗糙集、多尺度数据分析模型和多粒度形式概念分析是几种常见的、有效的多粒度数据分析方法,已受到人们的广泛关注。本文对基于粒计算的多粒度数据分析研究工作进行综述,给出每一类多粒度数据分析方法的理论框架、基本概念以及主要研究思想,并指出多粒度数据分析研究中存在的若干问题,为该领域的后续研究提供理论参考。 相似文献