全文获取类型
收费全文 | 5559篇 |
免费 | 948篇 |
国内免费 | 586篇 |
专业分类
电工技术 | 464篇 |
综合类 | 429篇 |
化学工业 | 150篇 |
金属工艺 | 88篇 |
机械仪表 | 345篇 |
建筑科学 | 223篇 |
矿业工程 | 85篇 |
能源动力 | 85篇 |
轻工业 | 113篇 |
水利工程 | 126篇 |
石油天然气 | 92篇 |
武器工业 | 56篇 |
无线电 | 680篇 |
一般工业技术 | 450篇 |
冶金工业 | 113篇 |
原子能技术 | 103篇 |
自动化技术 | 3491篇 |
出版年
2024年 | 17篇 |
2023年 | 94篇 |
2022年 | 194篇 |
2021年 | 197篇 |
2020年 | 252篇 |
2019年 | 292篇 |
2018年 | 151篇 |
2017年 | 175篇 |
2016年 | 203篇 |
2015年 | 222篇 |
2014年 | 365篇 |
2013年 | 334篇 |
2012年 | 424篇 |
2011年 | 411篇 |
2010年 | 333篇 |
2009年 | 340篇 |
2008年 | 379篇 |
2007年 | 432篇 |
2006年 | 353篇 |
2005年 | 357篇 |
2004年 | 247篇 |
2003年 | 197篇 |
2002年 | 195篇 |
2001年 | 130篇 |
2000年 | 125篇 |
1999年 | 119篇 |
1998年 | 77篇 |
1997年 | 58篇 |
1996年 | 58篇 |
1995年 | 70篇 |
1994年 | 52篇 |
1993年 | 39篇 |
1992年 | 47篇 |
1991年 | 21篇 |
1990年 | 16篇 |
1989年 | 20篇 |
1988年 | 9篇 |
1986年 | 4篇 |
1985年 | 13篇 |
1984年 | 11篇 |
1983年 | 5篇 |
1982年 | 7篇 |
1981年 | 3篇 |
1980年 | 9篇 |
1979年 | 9篇 |
1978年 | 2篇 |
1977年 | 5篇 |
1976年 | 4篇 |
1975年 | 4篇 |
1973年 | 3篇 |
排序方式: 共有7093条查询结果,搜索用时 15 毫秒
1.
2.
3.
针对气液联合式碎石器内部出现的气蚀问题,在建立基本控制方程及质量输运方程的基础上,根据碎石器结构原理同时参考主机液压系统管路布置,搭建了包含动力系统及控制系统的整机AMESim仿真模型。之后,基于影响气穴的参数类型及对应取值范围设计了正交试验方案,并进行了仿真分析,获得了提高活塞后腔最低压力的最优水平组合。最后,对于集中参数模型无法反映流体质点运动空间的不足,进行了CFD模型与AMESim输出最优参数组合的联合仿真,并和AMESim模拟结果进行了对比。结果表明:活塞后腔出现最低压力的时刻与活塞运动至下死点的位置完全对应,这也与实际工程中出现气蚀真相的位置十分吻合;活塞前腔杆径是影响最低压力的主要因子,同时最低压力与杆径及蓄能器初始容积都呈负相关、与蓄能器压力正相关,与工作压力没有表现出明显的相关性;采用最优水平组合时,AMESim计算得到的最低压力为2.29 MPa,而CFD仿真获得的最低压力为1.016 MPa,其远高于工况条件对应的空气分离压。 相似文献
4.
大型正装固定拱顶储罐承压环具有一定的结构特点,针对于拱顶储罐承压环的安装,需要从整体角度出发,采用合适的安装工艺,通过手工埋弧横焊、气电立焊的方式进行焊接,能够最大程度上保障焊接的稳定性,规避焊接过程中气孔问题,基于此,本文就对大型正装固定拱顶储罐承压环安装组焊接技术的相关内容进行了一个较为详细的概述。 相似文献
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.
为解决当前电子发票防伪困难、隐私泄露、验证效率低等问题,针对全程无纸化的电子发票文件,提出了一种基于国密签名算法的电子发票公开验证架构。面向电子发票文件数据来源复杂、票面用户信息敏感、数据流转频繁等特征及电子发票高效公开查验需求,在电子发票服务架构下设计电子发票生成及查验协议,基于无证书联合签名提出发票防伪签名码生成方案,实现开票方与税务主管部门的多重数据核验与签名,支持各类型的发票持有者对电子发票的真伪及数据完整性进行公开查验。融合数据加密算法对电子发票中的用户隐私数据进行保护,同时可满足各类发票应用场景下的真伪或状态验证需求,解决了当前电子发票文件中用户消费信息等敏感数据在传递中泄露的问题,突破了电子发票仅能通过在线系统核对真伪的局限。查验方仅需验证单次签名即可确认开票方及主管部分等双方签名的电子发票真伪性,同时利用公钥加密实现了隐私数据,方案中使用国密算法符合电子发票应用需求。调用Scyther 安全仿真工具对方案安全性进行分析,在各类攻击下可安全验证数据的完整性及来源真实性并保证隐私数据的保密性。在查验计算开销及发票文件数据量两方面,与国外已实行的典型电子发票查验方案及同类型基于数字签名的电子发票查验方案进行对比,所提电子发票公开查验方案在查验效率及发票文件大小等两方面具有明显的优势。 相似文献
7.
As blockchain technology is gaining popularity in industry and society, solutions for Verification and Validation (V&V) of blockchain-based software applications (BC-Apps) have started gaining equal attention. To ensure that BC-Apps are properly developed before deployment, it is paramount to apply systematic V&V to verify their functional and non-functional requirements. While existing research aims at addressing the challenges of engineering BC-Apps by providing testing techniques and tools, blockchain-based software development is still an emerging research discipline, and therefore, best practices and tools for the V&V of BC-Apps are not yet sufficiently developed. In this paper, we provide a comprehensive survey on V&V solutions for BC-Apps. Specifically, using a layered approach, we synthesize V&V tools and techniques addressing different components at various layers of the BC-App stack, as well as across the whole stack. Next, we provide a discussion on the challenges associated with BC-App V&V, and summarize a set of future research directions based on the challenges and gaps identified in existing research work. Our study aims to highlight the importance of BC-App V&V and pave the way for a disciplined, testable, and verifiable BC development. 相似文献
8.
航天器地面健康管理系统作为整个航天器健康管理系统的核心,主要为技术人员提供航天器试验、运行和管理过程中的数据分析、诊断、预测等服务。目前由于航天器故障机理难以获取、故障验证环境不足、缺乏统一的验证方法和性能指标,给航天器PHM的研究成果的有效验证与评价带来了困难。提出了一种基于大数据的航天器地面健康管理系统设计思路,并对其验证评估指标体系和验证方法进行了研究,在此基础上设计实现了基于仿真和试验验证的航天器地面健康管理验证系统,通过多个航天器故障仿真和在轨历史数据试验,验证了提出的航天器地面健康管理验证系统设计方法的有效性,能够有效的应用于航天器的地面健康管理过程,具有较强的航天器工程应用价值。 相似文献
9.
提出一种V型多通道平板太阳能集热器,对其建立稳态传热模型,利用Matlab软件编程进行求解,并进行实验测试验证模型的准确性。利用已验证的传热模型,模拟分析V型多通道平板太阳能集热器的结构和物性参数对其热性能的影响,结果表明当透明盖板和吸热体发射率变大时,集热器的集热效率会呈下降趋势;当V型槽顶角、吸热体长度及空气夹层厚度变大时,集热器的集热效率变化趋势是先升后降;当透明盖板透射率、吸热体吸收率和保温材料导热热阻变大时,集热器的集热效率会呈升高趋势。集热效率随V型槽和吸热体宽度的改变并未呈现明显的变化规律。在整个模拟范围内,集热器的集热效率在56.1%~86.4%之间。 相似文献
10.
UDP是一种开销小、效率高的以太网传输层协议,由于其非面向连接的固有特性,在工程应用中会发生丢帧、错帧和乱帧等问题。针对UDP通信不可靠问题开展研究,在保证其开销小、效率高等优势的前提下,设计了基于四度冗余拓扑的以太网总线结构,实现了基于多重校验的以太网通信协议,提出了两种基于超时重传的UDP可靠通信方法。经建模分析,该方案相较传统单通道UDP通信,可靠度由0.9提升到0.9999。经试验测试,基于该方案的嵌入式软件可以在通信链路出现一度、二度和三度故障时,实时、可靠地完成UDP数据通信,为UDP通信提供了新的高可靠性工程应用方法。 相似文献