全文获取类型
收费全文 | 392篇 |
免费 | 17篇 |
国内免费 | 1篇 |
专业分类
电工技术 | 4篇 |
综合类 | 9篇 |
化学工业 | 85篇 |
金属工艺 | 22篇 |
机械仪表 | 16篇 |
建筑科学 | 3篇 |
矿业工程 | 1篇 |
能源动力 | 14篇 |
轻工业 | 13篇 |
石油天然气 | 1篇 |
无线电 | 28篇 |
一般工业技术 | 103篇 |
冶金工业 | 65篇 |
原子能技术 | 1篇 |
自动化技术 | 45篇 |
出版年
2023年 | 8篇 |
2022年 | 14篇 |
2021年 | 16篇 |
2020年 | 10篇 |
2019年 | 10篇 |
2018年 | 13篇 |
2017年 | 12篇 |
2016年 | 13篇 |
2015年 | 12篇 |
2014年 | 10篇 |
2013年 | 21篇 |
2012年 | 18篇 |
2011年 | 31篇 |
2010年 | 17篇 |
2009年 | 13篇 |
2008年 | 22篇 |
2007年 | 15篇 |
2006年 | 8篇 |
2005年 | 9篇 |
2004年 | 4篇 |
2003年 | 6篇 |
2002年 | 5篇 |
2001年 | 2篇 |
2000年 | 5篇 |
1999年 | 11篇 |
1998年 | 14篇 |
1997年 | 11篇 |
1996年 | 11篇 |
1995年 | 6篇 |
1994年 | 14篇 |
1993年 | 9篇 |
1992年 | 6篇 |
1991年 | 4篇 |
1990年 | 3篇 |
1989年 | 2篇 |
1988年 | 3篇 |
1987年 | 6篇 |
1985年 | 1篇 |
1984年 | 1篇 |
1983年 | 1篇 |
1981年 | 3篇 |
1980年 | 1篇 |
1978年 | 2篇 |
1976年 | 4篇 |
1975年 | 2篇 |
1974年 | 1篇 |
排序方式: 共有410条查询结果,搜索用时 15 毫秒
1.
A continuous process for the extraction of sunflower oil using supercritical CO2, featuring multiple extractors, one oil separator and three cascaded CO2 recovery vessels operating at different pressures, was devised and studied. For every single equipment of the plant making up the process a mathematical model was built. Experimental tests—consisting in measurements of oil solubility in supercritical CO2—were carried out in a laboratory-scale apparatus to characterise the behaviour of sunflower oil in the separation from the supercritical fluid. The mathematical model of the whole process was coded in the commercial gPROMS process modelling environment where both its simulation and optimisation—this latter assuming the overall oil production cost as the objective function—were carried out. The process- and economics-related results are discussed and compared with those obtained with traditional and cold-pressing extraction. 相似文献
2.
The morphology and growth kinetics of discontinuous precipitation in a Zn-2.5 at % Cu alloy have been studied in the temperature range 383–583 K by optical and scanning electron microscopy. The precipitate phase has a lamellar morphology, and maintains a statistically constant interlamellar spacing under isothermal growth conditions. The interlamellar spacing increases with an increase in temperature. The isothermal growth kinetics in terms of reaction front migration rate is maximum at 523 K. The upper temperature limit for the occurrence of reaction in this alloy has been predicted to be 643 K. A detailed kinetic analysis of the experimental data using several analytical models has confirmed discontinuous precipitation in this system to be a boundary diffusion controlled reaction, and enabled the determination of the grain boundary chemical diffusivity of Cu in a Zn-rich Zn-Cu alloy in the temperature range studied. The corresponding activation energy values determined in this study, range between 65 to 86 kJ/mol–1, which compare well with the relevant data in the literature. 相似文献
3.
4.
Andrea Bettidi Antonio Cetronio Walter Ciccognani Marco De Dominicis Claudio Lanzieri Ernesto Limiti Antonio Manna Marco Peroni Claudio Proietti Paolo Romanini 《国际射频与微波计算机辅助工程杂志》2009,19(5):598-606
In this article, the design, fabrication, and on‐wafer test of X‐Band and 2–18 GHz wideband high‐power SPDT MMIC switches in AlGaN/GaN technology are presented. The switches have demonstrated state‐of‐the‐art performance and RF fabrication yield better than 65%. Linear and power measurements for different control voltages have been reported and an explanation of the dependence of the power performances on the control voltage is given. In particular, the X‐band switch exhibits a 0.4 dB compression level at 10 GHz when driven by a 38 dBm input signal. The wideband switch shows a compression level of 1 dB at an input drive higher than 38 dBm across the entire bandwidth. © 2009 Wiley Periodicals, Inc. Int J RF and Microwave CAE, 2009. 相似文献
5.
6.
Nikolaj S. Bjørner Anca Browne Michael A. Colón Bernd Finkbeiner Zohar Manna Henny B. Sipma Tomás E. Uribe 《Formal Methods in System Design》2000,16(3):227-270
We review a number of formal verification techniques supported by STeP, the Stanford Temporal Prover, describing how the tool can be used to verify properties of several versions of the Bakery Mutual exclusion algorithm for mutual exclusion. We verify the classic two-process algorithm and simple variants, as well as an atomic parameterized version. The methods used include deductive verification rules, verification diagrams, automatic invariant generation, and finite-state model checking and abstraction. 相似文献
7.
Silvio Borrelli Ida Matarazzo Eugenio Lembo Laura Peccarino Claudia Annoiato Maria Rosaria Scognamiglio Andrea Foderini Chiara Ruotolo Aldo Franculli Federica Capozzi Pavlo Yavorskiy Fatme Merheb Michele Provenzano Gaetano La Manna Luca De Nicola Roberto Minutolo Carlo Garofalo 《International journal of molecular sciences》2022,23(12)
Increasing potassium intake ameliorates blood pressure (BP) and cardiovascular (CV) prognoses in the general population; therefore the World Health Organization recommends a high-potassium diet (90–120 mEq/day). Hyperkalaemia is a rare condition in healthy individuals due to the ability of the kidneys to effectively excrete dietary potassium load in urine, while an increase in serum K+ is prevalent in patients with chronic kidney disease (CKD). Hyperkalaemia prevalence increases in more advanced CKD stages, and is associated with a poor prognosis. This scenario generates controversy on the correct nutritional approach to hyperkalaemia in CKD patients, considering the unproven link between potassium intake and serum K+ levels. Another concern is that drug-induced hyperkalaemia leads to the down-titration or withdrawal of renin-angiotensin system inhibitors (RASI) and mineralocorticoids receptors antagonists (MRA) in patients with CKD, depriving these patients of central therapeutic interventions aimed at delaying CKD progression and decreasing CV mortality. The new K+-binder drugs (Patiromer and Sodium-Zirconium Cyclosilicate) have proven to be adequate and safe therapeutic options to control serum K+ in CKD patients, enabling RASI and MRA therapy, and possibly, a more liberal intake of fruit and vegetables. 相似文献
8.
Cadmium (Cd), a highly toxic environmental pollutant, induces hepatic disorders. The present study has been undertaken to investigate the protective role of the fruit extract of Terminalia arjuna (AE) against Cd-induced oxidative liver impairment using a murine model. Cadmium reduced hepatocytes viability, activated MAPKs, disturbed Bcl-2 family protein balance, increased reactive oxygen species (ROS) production and induced apoptotic cell death by mitochondria dependent caspases-3 activation. AE treatment, however, suppressed all the apoptotic actions of cadmium. Similarly, mice treated with cadmium altered a number biomarkers related to hepatic oxidative stress and other apoptotic indices. Oral administration of AE both pre and post prevented all the Cd-induced hepatic damages. 相似文献
9.
Alternating systems are models of computer programs whose behavior is governed by the actions of multiple agents with, potentially, different goals. Examples include control systems, resource schedulers, security protocols, auctions and election mechanisms. Proving properties about such systems has emerged as an important new area of study in formal verification, with the development of logical frameworks such as the alternating temporal logic ATL*. Techniques for model checking ATL* over finite-state systems have been well studied, but many important systems are infinite-state and thus their verification requires, either explicitly or implicitly, some form of deductive reasoning. This paper presents a theoretical framework for the analysis of alternating infinite-state systems. It describes models of computation, of various degrees of generality, and alternating-time logics such as ATL* and its variations. It then develops a proof system that allows to prove arbitrary ATL* properties over these infinite-state models. The proof system is shown to be complete relative to validities in the weakest possible assertion language. The paper then derives auxiliary proof rules and verification diagrams techniques and applies them to security protocols, deriving a new formal proof of fairness of a multi-party contract signing protocol where the model of the protocol and of the properties contains both game-theoretic and infinite-state (parameterized) aspects. 相似文献
10.
Multiphase Al65Cu20Ti15 intermetallic alloy matrix composite, dispersed with 10 wt.% of TiO2 nanoparticles, has been processed by mechanical alloying, followed by spark plasma sintering under pressure in the temperature range of 623–873 K. Differential scanning calorimetry and X-ray diffraction suggest that equilibrium crystalline phases evolve from the amorphous or intermediate crystalline phases. Transmission electron microscopy shows that the composite sintered at 873 K has partially amorphous microstructure, with dispersion of equilibrium, crystalline, intermetallic precipitates of Al5CuTi2, Al3Ti, and Al2Cu of 25–50 nm size, besides the TiO2. The composite sintered at 873 K exhibits little porosity, hardness of 5.6 GPa, indentation fracture toughness in the range of 3.1–4.2 MPa√m, and compressive strength of 1.1 GPa. Indentation crack deflection by TiO2 particle aggregates causes increase in fracture resistance with crack length, and suggests R-curve type behaviour. The study provides guidelines for processing high strength amorphous–nanocrystalline intermetallic composites based on the Al–Cu–Ti ternary system. 相似文献