全文获取类型
收费全文 | 92754篇 |
免费 | 8505篇 |
国内免费 | 3273篇 |
专业分类
电工技术 | 5596篇 |
技术理论 | 10篇 |
综合类 | 5250篇 |
化学工业 | 21139篇 |
金属工艺 | 4899篇 |
机械仪表 | 5166篇 |
建筑科学 | 6486篇 |
矿业工程 | 2484篇 |
能源动力 | 2294篇 |
轻工业 | 6456篇 |
水利工程 | 1312篇 |
石油天然气 | 4641篇 |
武器工业 | 665篇 |
无线电 | 9205篇 |
一般工业技术 | 12458篇 |
冶金工业 | 3714篇 |
原子能技术 | 955篇 |
自动化技术 | 11802篇 |
出版年
2024年 | 394篇 |
2023年 | 1952篇 |
2022年 | 2574篇 |
2021年 | 3913篇 |
2020年 | 3143篇 |
2019年 | 2526篇 |
2018年 | 2828篇 |
2017年 | 2952篇 |
2016年 | 2905篇 |
2015年 | 3774篇 |
2014年 | 4594篇 |
2013年 | 5993篇 |
2012年 | 5407篇 |
2011年 | 5617篇 |
2010年 | 5293篇 |
2009年 | 5215篇 |
2008年 | 4623篇 |
2007年 | 4470篇 |
2006年 | 4227篇 |
2005年 | 3748篇 |
2004年 | 2648篇 |
2003年 | 2314篇 |
2002年 | 2232篇 |
2001年 | 1895篇 |
2000年 | 1925篇 |
1999年 | 1971篇 |
1998年 | 1749篇 |
1997年 | 1431篇 |
1996年 | 1454篇 |
1995年 | 1151篇 |
1994年 | 968篇 |
1993年 | 795篇 |
1992年 | 618篇 |
1991年 | 452篇 |
1990年 | 408篇 |
1989年 | 395篇 |
1988年 | 317篇 |
1987年 | 261篇 |
1986年 | 278篇 |
1985年 | 214篇 |
1984年 | 211篇 |
1983年 | 213篇 |
1982年 | 189篇 |
1981年 | 223篇 |
1980年 | 181篇 |
1979年 | 176篇 |
1975年 | 202篇 |
1974年 | 188篇 |
1973年 | 367篇 |
1972年 | 212篇 |
排序方式: 共有10000条查询结果,搜索用时 15 毫秒
151.
152.
Dr. G. Bohlender 《Computing》1980,24(2-3):149-160
In numerical computations mainly real and complex numbers, intervals as well as matrices and vectors with such components occur. It is well known that the arithmetic operations with real numbers, complex numbers etc. can be carried over to real floating-point numbers, complex floating-point numbers etc. using roundings. This proceeding results in agreeable arithmetic-, order- and compatibility-properties for an abundance of numerical data types and the accompanying arithmetic operations. Most programming languages however only provide real floating-point numbers; all the other data types and operations have to be simulated, e. g. in the form of arrays and procedure calls, which often causes loss of accuracy and arithmetic properties. Furthermore the complicate notation makes programs difficult to read. Therefore in this article an extension of PASCAL is presented which serves as an example for the way these numerical data types can be embedded into the syntax of a programming language. 相似文献
153.
154.
用真空蒸发法在玻璃和单晶硅片 (10 0 )上制备Zn薄膜 ,然后对Zn薄膜进行氧化、热处理获得纳米ZnO薄膜。对在硅片上制备的Zn薄膜一次性进行高温掺杂、氧化获得纳米ZnO∶P和ZnO∶B薄膜。研究不同氧化、掺杂温度和时间对薄膜结构、电学性能的影响。结果表明 :氧化温度和时间对ZnO薄膜结构影响较大 ,液态源掺P可明显改善纳米ZnO薄膜的导电性能、结构特性和化学组分 相似文献
155.
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. 相似文献
156.
Prof. Dr. J. H. Ahrens 《Computing》1989,41(1-2):163-166
In many algorithms for sampling from non-uniform distributions the logarithm of a uniform deviate must be compared with some test quantity. It is shown that all these comparisons can be done efficiently without calling a logarithm subprogram: two procedures for this task are presented and compared. 相似文献
157.
158.
This paper presents a derivation of a new quadratic expression for the transmission loss in a power system. The main advantage of this expression is the improvement in accuracy over the other existing approximations. Furthermore, this improved quadratic form allows the transmission loss to be expressed in terms of nodal power injections. This paper builds on the derived loss expression and proposes a bus-loss matrix. This matrix is useful in quantifying the interactions among different bus power injections and establishing a loss allocation scheme for individual buses. Numerical examples are used to illustrate the accuracy of the derived quadratic form and its use in loss allocation. 相似文献
159.
Kyung-Won Lee Eung Soo Kim Hee Cheon No Chul-Hwa Song 《Nuclear Engineering and Design》2006,236(9):1003-1012
We experimentally investigate the de-entrainment of droplets by inertial impaction on an array of vertical rods in an air-droplet mixture flow. The de-entrainment efficiencies are measured for a single rod, for a single row of rods, and for a multi-row of rods. We investigate the effects of the droplet mass flux (0.5–5.4 kg/m2 s), the droplet Weber number (3000–8000), the air velocity (0–6 m/s), the rod geometry, and the surface roughness on the de-entrainment, and the rod diameter-to-pitch ratio effect on the de-entrainment. The results for a single rod show that the de-entrainment efficiency decreases slightly as the droplet mass flux increases; however, in our experimental ranges, there is negligible dependence on the droplet Weber number, the air velocity, and the surface roughness. The rod geometry affects the de-entrainment efficiency. The results for a single row of rods show that the existence of neighboring rods promotes de-entrainment due to droplet splashing, and we develop a correlation to show the effect of diameter-to-pitch ratio on the de-entrainment. Using information on the de-entrainment efficiencies of a single rod and those of a single row of rods, we propose a correlation that predicts the de-entrainment efficiency for a multi-row of rods with a staggered array. The RMS errors of the correlation from the de-entrainment efficiencies experimentally obtained are within 13.5%. 相似文献
160.