全文获取类型
收费全文 | 39373篇 |
免费 | 5106篇 |
国内免费 | 3639篇 |
专业分类
电工技术 | 12506篇 |
综合类 | 4821篇 |
化学工业 | 1747篇 |
金属工艺 | 813篇 |
机械仪表 | 2305篇 |
建筑科学 | 1259篇 |
矿业工程 | 732篇 |
能源动力 | 827篇 |
轻工业 | 943篇 |
水利工程 | 730篇 |
石油天然气 | 772篇 |
武器工业 | 380篇 |
无线电 | 5457篇 |
一般工业技术 | 2878篇 |
冶金工业 | 772篇 |
原子能技术 | 910篇 |
自动化技术 | 10266篇 |
出版年
2024年 | 188篇 |
2023年 | 473篇 |
2022年 | 769篇 |
2021年 | 972篇 |
2020年 | 1210篇 |
2019年 | 1065篇 |
2018年 | 963篇 |
2017年 | 1424篇 |
2016年 | 1603篇 |
2015年 | 1606篇 |
2014年 | 2535篇 |
2013年 | 2917篇 |
2012年 | 3163篇 |
2011年 | 3204篇 |
2010年 | 2498篇 |
2009年 | 2637篇 |
2008年 | 2538篇 |
2007年 | 2938篇 |
2006年 | 2537篇 |
2005年 | 2185篇 |
2004年 | 1810篇 |
2003年 | 1597篇 |
2002年 | 1254篇 |
2001年 | 1125篇 |
2000年 | 947篇 |
1999年 | 759篇 |
1998年 | 521篇 |
1997年 | 501篇 |
1996年 | 369篇 |
1995年 | 318篇 |
1994年 | 288篇 |
1993年 | 210篇 |
1992年 | 171篇 |
1991年 | 162篇 |
1990年 | 125篇 |
1989年 | 101篇 |
1988年 | 72篇 |
1987年 | 50篇 |
1986年 | 28篇 |
1985年 | 28篇 |
1984年 | 44篇 |
1983年 | 46篇 |
1982年 | 28篇 |
1981年 | 28篇 |
1980年 | 23篇 |
1979年 | 10篇 |
1978年 | 10篇 |
1977年 | 17篇 |
1973年 | 5篇 |
1959年 | 20篇 |
排序方式: 共有10000条查询结果,搜索用时 0 毫秒
32.
33.
介绍了神经网络与线性分组码之间的关系,并在文献[1]的基础上证明了软判决译码与求解能量函数最大值之间的等价性,然后以(7,4,3)汉明码为例介绍了神经网络在循环码硬判决、软判决译码中的应用。 相似文献
34.
It is necessary to determine the accurate reflectance of painted surfaces for the review of paint finishes by computer graphics (CG) before actual painting of the exterior color of automobiles, and for quality control during production and inspection processes. We have optimized a method for measuring reflectance by using a statistical technique. We have found that the reflectance of a painted surface is best measured at an incident angle of 60° and at five aspecular angles of 10°, 18°, 28°, 40°, and 90°. Our method makes it possible to accurately reproduce reflection characteristics of paint finishes containing special flake pigments, such as pearl mica. Also it was proved that our method can apply not only to solid and metallic coatings but to all painted surfaces. © 2005 Wiley Periodicals, Inc. Col Res Appl, 30, 275–282, 2005; Published online in Wiley InterScience (www.interscience.wiley.com). DOI 10.1002/col.20125 相似文献
35.
36.
Norihiro Kamide 《Journal of Logic, Language and Information》2002,11(4):453-470
We introduce Kripke semantics for modal substructural logics, and provethe completeness theorems with respect to the semantics. Thecompleteness theorems are proved using an extended Ishihara's method ofcanonical model construction (Ishihara, 2000). The framework presentedcan deal with a broad range of modal substructural logics, including afragment of modal intuitionistic linear logic, and modal versions ofCorsi's logics, Visser's logic, Méndez's logics and relevant logics. 相似文献
37.
介绍了一个基于Windows操作系统的数据采集软件,该软件用于使用重心法确定的位置信息的位置灵敏探测器,具有方便的人机交互界面,使用专用驱动程序采集数据。 相似文献
38.
Jaroslav Mackerle 《International Journal of Pressure Vessels and Piping》1996,69(3):279-339
The paper gives a bibliographical review of the finite element methods (FEMs) applied for the analysis of pressure vessel structures/components and piping from the theoretical as well as practical points of view. The range of applications of FEMs in this area is wide and cannot be presented in a single paper; therefore the aim of this review is to give the reader an encyclopaedic view of the differnt possibilities that exist today for the finite element analysis in the fields of pressure vessels and piping. The bibliography at the end of the paper contains approximately 1900 references to papers, conference proceedings and theses/dissertations on the subject that were published in 1976–1996. These are classified in the following categories: linear and non-linear, static and dynamic, stress and deflection analysis; stability problems; thermal problems; fracture mechanics problems; contact problems; fluid-structure interaction problems; manufacturing of pipes and tubes; welded pipes and pressure vessel components; development of special finite elements for pressure vessels and pipes; finite element software; and other topics. Also finite element software, general purpose and special purpose codes, used for the analysis of pressure vessels and pipes are briefly discussed and presented. 相似文献
39.
Grigori Mints 《Journal of Logic, Language and Information》1993,2(1):59-83
This paper presents a formulation and completeness proof of the resolution-type calculi for the first order fragment of Girard's linear logic by a general method which provides the general scheme of transforming a cutfree Gentzen-type system into a resolution type system, preserving the structure of derivations. This is a direct extension of the method introduced by Maslov for classical predicate logic. Ideas of the author and Zamov are used to avoid skolomization. Completeness of strategies is first established for the Gentzen-type system, and then transferred to resolution. The propositional resolution system was implemented by T. Tammet. 相似文献
40.
J. C. Sevy 《Calcolo》1993,30(1):41-68
Explicit error estimates are given for the iterated Boolean sum of a sequence of simultaneous approximants; the rate of convergence
is shown to be improved for smooth functions. The general results are applied in the case of the Bernstein, Durrmeyer and
Stancu operators. 相似文献