全文获取类型
收费全文 | 497篇 |
免费 | 14篇 |
专业分类
电工技术 | 2篇 |
化学工业 | 160篇 |
金属工艺 | 17篇 |
机械仪表 | 3篇 |
建筑科学 | 42篇 |
矿业工程 | 1篇 |
能源动力 | 14篇 |
轻工业 | 82篇 |
水利工程 | 1篇 |
石油天然气 | 11篇 |
无线电 | 12篇 |
一般工业技术 | 53篇 |
冶金工业 | 64篇 |
自动化技术 | 49篇 |
出版年
2024年 | 2篇 |
2023年 | 4篇 |
2022年 | 17篇 |
2021年 | 12篇 |
2020年 | 10篇 |
2019年 | 7篇 |
2018年 | 12篇 |
2017年 | 7篇 |
2016年 | 3篇 |
2015年 | 11篇 |
2014年 | 13篇 |
2013年 | 23篇 |
2012年 | 17篇 |
2011年 | 25篇 |
2010年 | 18篇 |
2009年 | 31篇 |
2008年 | 30篇 |
2007年 | 29篇 |
2006年 | 19篇 |
2005年 | 16篇 |
2004年 | 19篇 |
2003年 | 17篇 |
2002年 | 12篇 |
2001年 | 11篇 |
2000年 | 12篇 |
1999年 | 9篇 |
1998年 | 8篇 |
1997年 | 5篇 |
1996年 | 9篇 |
1995年 | 5篇 |
1994年 | 11篇 |
1993年 | 5篇 |
1992年 | 6篇 |
1991年 | 11篇 |
1990年 | 7篇 |
1989年 | 8篇 |
1988年 | 7篇 |
1987年 | 7篇 |
1985年 | 3篇 |
1983年 | 2篇 |
1982年 | 3篇 |
1981年 | 2篇 |
1979年 | 6篇 |
1978年 | 3篇 |
1975年 | 2篇 |
1972年 | 2篇 |
1967年 | 2篇 |
1954年 | 1篇 |
1944年 | 2篇 |
1943年 | 1篇 |
排序方式: 共有511条查询结果,搜索用时 31 毫秒
41.
Hanne Gottliebsen Ruth Hardy Olga Lightfoot Ursula Martin 《Formal Aspects of Computing》2013,25(6):993-1016
Real number theorem proving has many uses, particularly for verification of safety critical systems and systems for which design errors may be costly. We discuss a chain of developments building on real number theorem proving in PVS. This leads from the verification of aspects of an air traffic control system, through work on the integration of computer algebra and automated theorem proving to a new tool, NRV, first presented here that builds on the capabilities of Maple and PVS to provide a verified and automatic analysis of Nichols plots. This automates a standard technique used by control engineers and greatly improves assurance compared with the traditional method of visual inspection of the Nichols plots. 相似文献
42.
43.
Ursula Bentrup Jörg Radnik Udo Armbruster Andreas Martin Jork Leiterer Franziska Emmerling Angelika Brückner 《Topics in Catalysis》2009,52(10):1350-1359
A new setup is presented which enables simultaneous wide- and small-angle X-ray scattering (WAXS/SAXS) and Raman spectroscopic
experiments during the synthesis of Mo-based mixed oxide catalyst precursors at the μ-spot beamline at the Berliner Elektronenspeicherring-Gesellschaft
für Synchrotronstrahlung (BESSY). Furthermore, we report about the separate monitoring of the same reactions under comparable
conditions by simultaneous combined ATR/UV–vis/Raman spectroscopic measurements. For testing the performance of both experimental
setups two syntheses were described comprising the precipitation of metal molybdates by mixing solutions of metal nitrates
and ammonium heptamolybdate. Additionally, the effect of H3PO4 admixture on precipitation was investigated. The combined evaluation of spectroscopic and WAXS/SAXS data allows the discrimination
between different molybdate species appearing in solution and precipitate. Furthermore, these molybdate species could be assigned
to separate phases of different crystallinity. 相似文献
44.
We prove that any simplification order over arbitrary terms is an extension of an order by weight, by considering a related monadic term algebra called the spine. We show that any total ground-stable simplification order on the spine lifts to an order on the full term algebra. Conversely, under certain restrictions, a simplification ordering on the term algebra defines a weight function on the spine, which in turn can be lifted to a weight order on the original ground terms which contains the original order. We investigate the Knuth–Bendix and polynomial orders in this light. We provide a general framework for ordering terms by counting embedded patterns, which gives rise to many new orderings. We examine the recursive path order in this context. 相似文献
45.
In the dieless drawing technology the drawing dies are replaced by a heating device, generally by an induction coil. Bars of different cross-sections, round or even rectangular, with varying dimensions along the length can be produced. By using a cooling box in connection with the heating device this deformation process may also be employed for a thermomechanical treatment of steels. The special cooling strategy with low cooling rates at high temperatures (during ferrite formation) and higher cooling rates at lower temperatures favours the formation of multiphase microstructures (ferrite - bainite/martensite) with a low yield strength but a strong work hardening effect. The experiments were carried out on rods with a diameter of 16 mm of a plain low carbon steel (0.1%C, 0.7%Mn). The specimens were locally heated up to the maximum temperature ?max that initiates the dieless drawing process, and subsequently cooled with different coolants. The change in yield strength and tensile strength and the corresponding change in the ratio of both could be achieved by variation of ?max and the cooling conditions. The multiphase microstructure with desired mechanical properties was produced at a strain of about more than 0.45 within the region of ?max ≈ 900–1000°C and a finale cooling rate of about 20 K/s. 相似文献
46.
Ursula Fillat Montserrat Pepió Teresa Vidal M. Blanca Roncero 《Biomass & bioenergy》2010,34(12):1896-1905
Fiber crops constitute a good alternative to wood fiber for manufacturing pulp and paper. In fact, fiber plants like flax surpass wood fiber in some technical respects and also in the environmental benignity of their processing. In this work, flax fiber was subjected to environmentally friendly bleaching sequences in order to obtain a high-quality pulp. The totally chlorine-free sequences (TCF) used for this purpose (LE and LRE) included an enzyme treatment with laccase in the presence of HBT as mediator (L stage), an alkaline extraction (E stage) and a reductive treatment with NaBH4 (R stage). The operating conditions for the L stage (laccase and HBT doses, reaction time and oxygen pressure) were optimised by using a sequential statistical plan to assess their influence on pulp properties after the E stage.Mathematical models accurately predicting brightness and kappa number in terms of the previous four variables were developed based on which the most influential factors were the laccase and HBT rates, and treatment time. By contrast, oxygen pressures of 0.2–0.6 MPa in the reactor had no effect on brightness or kappa number. The flax pulp obtained contained some oxidized cellulose that was partially degraded in the alkaline extraction step and reduced viscosity as a result. The viscosity loss associated with the presence of oxidized cellulose in the control and enzyme-treated pulp samples was efficiently recovered by using a reductive stage with sodium borohydride. Effluent was also analysed in order to assess the environmental impact of the process. 相似文献
47.
48.
与其他历史悠久的城市一样,丹麦首都哥本哈根市是有序和随意的规划设计共同作用的结果,它不仅继承了城市的人文建筑遗产,还体现了城市有机发展的过程.本项目位于哥本哈根市中心,紧挨着斯特罗里耶步行街. 相似文献
49.
To date, more than 1.3 million service members have served in the Global War on Terrorism. These men and women and their families face a range of stressful situations and must navigate many important tasks after a deployment. This article outlines four of the tasks of reintegration: redefining roles, expectations, and division of labor; managing strong emotions; abandoning emotional constriction and creating intimacy in relationships; and creating shared meaning. For each task, potential challenges are discussed and suggestions for how psychologists can support families are described. In addition, potential red flags and indicators that more intensive services may be warranted are reviewed. (PsycINFO Database Record (c) 2010 APA, all rights reserved) 相似文献
50.