全文获取类型
收费全文 | 14656篇 |
免费 | 741篇 |
国内免费 | 963篇 |
专业分类
电工技术 | 373篇 |
综合类 | 1165篇 |
化学工业 | 1145篇 |
金属工艺 | 398篇 |
机械仪表 | 1746篇 |
建筑科学 | 994篇 |
矿业工程 | 316篇 |
能源动力 | 527篇 |
轻工业 | 306篇 |
水利工程 | 271篇 |
石油天然气 | 426篇 |
武器工业 | 93篇 |
无线电 | 891篇 |
一般工业技术 | 638篇 |
冶金工业 | 409篇 |
原子能技术 | 116篇 |
自动化技术 | 6546篇 |
出版年
2024年 | 23篇 |
2023年 | 105篇 |
2022年 | 165篇 |
2021年 | 253篇 |
2020年 | 218篇 |
2019年 | 229篇 |
2018年 | 231篇 |
2017年 | 284篇 |
2016年 | 395篇 |
2015年 | 429篇 |
2014年 | 819篇 |
2013年 | 800篇 |
2012年 | 811篇 |
2011年 | 1181篇 |
2010年 | 805篇 |
2009年 | 790篇 |
2008年 | 889篇 |
2007年 | 1085篇 |
2006年 | 1005篇 |
2005年 | 884篇 |
2004年 | 853篇 |
2003年 | 874篇 |
2002年 | 641篇 |
2001年 | 504篇 |
2000年 | 344篇 |
1999年 | 369篇 |
1998年 | 298篇 |
1997年 | 231篇 |
1996年 | 173篇 |
1995年 | 163篇 |
1994年 | 111篇 |
1993年 | 73篇 |
1992年 | 74篇 |
1991年 | 48篇 |
1990年 | 38篇 |
1989年 | 44篇 |
1988年 | 30篇 |
1987年 | 8篇 |
1986年 | 16篇 |
1985年 | 19篇 |
1984年 | 12篇 |
1983年 | 10篇 |
1982年 | 9篇 |
1981年 | 6篇 |
1980年 | 4篇 |
1979年 | 2篇 |
1978年 | 1篇 |
1976年 | 3篇 |
1973年 | 1篇 |
排序方式: 共有10000条查询结果,搜索用时 15 毫秒
21.
孙进 《石油化工管理干部学院学报》2003,(3):40-42
引入劳动力市场价位是企业薪酬制度改革的必然趋势。系统研究和分析了劳动力市场价位的基本特征;提出企业在引入劳动力市场价位过程中应该遵循的基本原则。 相似文献
22.
Erian A. Armanios 《Canadian Metallurgical Quarterly》1991,4(2):216-235
A validation of the delamination analysis models developed in a companion paper is provided through comparisons of predictions with finite‐element and elasticity solutions. The models are applied to the analysis of composite compression specimens reinforced with end tabs. An elasticity solution for the gage section of the specimens is developed. A comparison of the characteristic roots shows that the predictions of the models include the material and geometric parameters that control the behavior, and the roots corresponding to the basic stretching and bending modes are accurately predicted. The stress distribution at the interface between tabs and specimen is in good agreement with a finite‐element simulation. The interlaminar shear and peel stresses show an exponential increase with a maximum intensity at the free edges of the tabs. The behavior of previously tested specimens is explained; and practical guidelines for specimen design are provided to avoid unwanted extraneous modes of failure. The influence of the deformation modes associated with each model is investigated. An assessment of the accuracy and level of complexity is presented. 相似文献
23.
介绍了某企业在变流器包装的设计和制定其企业标准的过程中执行GB1.7(标准工作导则)的情况,论述了在充分考虑产品特点和流通环境条件下,企标增补的内容,这些内容是对变流器包装有关标准的深化和创新。新企标不仅注重标准深度,而且考虑标准广度方面的拓展,代表了当前较好的生产水平,可作为生产过程中控制质量,评价和检验质量的依据。 相似文献
24.
汪正浩 《计算机与应用化学》1993,(2)
SEESR(Simultaneous Electrochemical ESR)是研究电极过程中的自由基中间体行为的理想和方便的手段。在以前研制的ESR仪数据系统的基础上,我们应用IBM-PC/XT微机与JES-FE1XG型(JEOL产)ESR谱仪及HDV-7型恒电位仪研制了一套由计算机控制的SEESR实验装置。该系统可以完成包括循环伏安法、电流阶跃、电位阶跃及电位反转等多种电化学方法的SEESR实验。系统还具有包括数据平滑、曲线拟合等功能的多种数据处理软件,使用方便。我们应用模型化合物对该系统进行了实际测量,所得结果与文献报道一致。 相似文献
25.
26.
Diana Hurdowar-Castro Ioannis Tsanis Ilmar Simanovskis 《Journal of Great Lakes research》2007,33(1):232-252
A 3D transport model is used to perform a comparative analysis of several potential drinking water intakes located along the northwest shore of Lake Ontario between Toronto and Oshawa. The model is specifically used to assess each intake under both long- and short-term transport of a potential pollutant release from the Pickering Nuclear Generating Station and potential and actual pollutant releases from local land sources respectively. A model based on a 500 m grid resolution is calibrated using data collected in the aftermath of the 1992 tritium spill at the Pickering Nuclear Generation Station and subsequently used to simulate long-term transport. A model based on a 100 m grid resolution is verified using drogue studies and used to simulate short-term transport events. Both models are used to assess pollutant levels at each of nine potential intake locations under different wind scenarios and pollutant releases. Field data for the study included water quality and flow measurements from local sewers and rivers, and estimates of pollutant levels from the local waste water treatment plants. This paper describes the model setup for both the long-term and short-term transport models, calibration using field data, long-term transport modeling, short-term transport modeling, and the comprehensive analysis approach used to evaluate the nine potential intake locations proposed. Results indicated that four intakes in particular outperformed other intake locations by maintaining bottom pollutant levels within governmental standards and warning times that exceeded 20 hours. 相似文献
27.
ERP系统属于典型的联机事务处理系统,不可避免的存在许多不足,无法提供企业决策所需的决策信息。商务智能是一种正在快速发展的技术,它在ERP中的应用有效的解决ERP存在的问题。 相似文献
28.
Martijn Hendriks Barend van den Nieuwelaar Frits Vaandrager 《International Journal on Software Tools for Technology Transfer (STTT)》2006,8(6):633-647
For a case-study of a wafer scanner from the semiconductor industry it is shown how model checking techniques can be used
to compute (1) a simple yet optimal deadlock avoidance policy, and (2) an infinite schedule that optimizes throughput. in
the absence of errors. Deadlock avoidance is studied based on a simple finite state model using Smv, and for throughput analysis a more detailed timed automaton model has been constructed and analyzed using the Uppaal tool. The Smv and Uppaal models are formally related through the notion of a stuttering bisimulation. The results were obtained within 2 weeks, which
confirms once more that model checking techniques may help to improve the design process of realistic, industrial systems.
Methodologically, the case study is interesting since two models were used to obtain results that could not have been obtained
using only a single model.
Supported by the European Community Project IST-2001-35304 (Ametist), http://ametist.cs.utwente.nl/. 相似文献
29.
Electronic commerce is an important application that has evolved significantly recently. However, electronic commerce systems
are complex and difficult to be correctly designed. Guaranteeing the correctness of an e-commerce system is not an easy task
due to the great amount of scenarios where errors occur, many of them very subtle. In this work we presents a methodology
that uses formal-method techniques, specifically symbolic model checking, to design electronic commerce applications and to automatically verify them. Also, a model checking pattern hierarchy has
been developed—it specifies patterns to construct and verify the formal model of e-commerce systems. We consider this research
the first step to the development of a framework, which will integrate the methodology, an e-commerce specification language
based on business rules, and a model checker.
Adriano Pereira received the B.S. and M.S. degrees in computer science in 2000 and 2002, respectively, and he is currently pursuing the Ph.D.
degree in computer science from the Federal University of Minas Gerais, Belo Horizonte, Brazil. His current interests are
on performance analysis and modeling of e-business and distributed systems, and formal methods.
Mark Song received the B.S., M.S. and Ph.D. degrees in computer science from the Federal University of Minas Gerais, Belo Horizonte,
Brazil. His current interests are on distributed systems and formal methods – especially BMC (Bounded Model Checking).
Gustavo Franco received the B.S. and M.S. degrees in computer science in 2001 and 2004, respectively, from the Federal University of Minas
Gerais, Belo Horizonte, Brazil. His research was on modeling the user behavior of e-business and distributed systems, and
formal methods. Actually his current interests are on software engeneering and project management of IT projects. 相似文献
30.
VPDN企业端解决方案 总被引:1,自引:0,他引:1
从虚拟专用拨号网(VPDN)结构的基本原理、隧道协议、认证方式等方面概述了中国联通开展VPDN业务的实施步骤和解决VPDN企业端的5种模式,并介绍了中国石油天然气管道电信公司实现VPDN企业端的具体方案。 相似文献