全文获取类型
收费全文 | 1094篇 |
免费 | 65篇 |
国内免费 | 1篇 |
专业分类
电工技术 | 13篇 |
综合类 | 3篇 |
化学工业 | 254篇 |
金属工艺 | 30篇 |
机械仪表 | 16篇 |
建筑科学 | 111篇 |
矿业工程 | 2篇 |
能源动力 | 40篇 |
轻工业 | 50篇 |
水利工程 | 4篇 |
武器工业 | 1篇 |
无线电 | 73篇 |
一般工业技术 | 191篇 |
冶金工业 | 88篇 |
原子能技术 | 9篇 |
自动化技术 | 275篇 |
出版年
2024年 | 4篇 |
2023年 | 20篇 |
2022年 | 20篇 |
2021年 | 56篇 |
2020年 | 29篇 |
2019年 | 29篇 |
2018年 | 44篇 |
2017年 | 32篇 |
2016年 | 51篇 |
2015年 | 40篇 |
2014年 | 66篇 |
2013年 | 62篇 |
2012年 | 68篇 |
2011年 | 88篇 |
2010年 | 62篇 |
2009年 | 65篇 |
2008年 | 50篇 |
2007年 | 51篇 |
2006年 | 29篇 |
2005年 | 44篇 |
2004年 | 29篇 |
2003年 | 13篇 |
2002年 | 15篇 |
2001年 | 23篇 |
2000年 | 4篇 |
1999年 | 14篇 |
1998年 | 19篇 |
1997年 | 22篇 |
1996年 | 15篇 |
1995年 | 14篇 |
1994年 | 5篇 |
1993年 | 13篇 |
1992年 | 7篇 |
1991年 | 3篇 |
1990年 | 5篇 |
1989年 | 4篇 |
1986年 | 3篇 |
1985年 | 3篇 |
1984年 | 6篇 |
1983年 | 3篇 |
1981年 | 4篇 |
1979年 | 3篇 |
1975年 | 2篇 |
1974年 | 4篇 |
1971年 | 3篇 |
1970年 | 1篇 |
1969年 | 2篇 |
1968年 | 2篇 |
1963年 | 1篇 |
1957年 | 1篇 |
排序方式: 共有1160条查询结果,搜索用时 15 毫秒
61.
Fe2O3/FeO-Verhältnisse im Quasivierstoffsystem CaO'–FeO'ges.-P2O5'–SiO2' im Gleichgewicht mit flüssigem Eisen. Beeinflussung der Sättigungskonzentrationen durch höhere Fe2O3/FeO-Verhältnisse. Bedeutung für die Schlacken der Stahlerzeugungsverfahren. 相似文献
62.
63.
Ramón Fernandez Astudillo Dorothea Kolossa Alberto Abad Steffen Zeiler Rahim Saeidi Pejman Mowlaee João Paulo da Silva Neto Rainer Martin 《Computer Speech and Language》2013,27(3):837-850
This paper presents a new approach for increasing the robustness of multi-channel automatic speech recognition in noisy and reverberant multi-source environments. The proposed method uses uncertainty propagation techniques to dynamically compensate the speech features and the acoustic models for the observation uncertainty determined at the beamforming stage. We present and analyze two methods that allow integrating classical multi-channel signal processing approaches like delay and sum beamformers or Zelinski-type Wiener filters, with uncertainty-of-observation techniques like uncertainty decoding or modified imputation. An analysis of the results on the PASCAL-CHiME task shows that this approach consistently outperforms conventional beamformers with a minimal increase in computational complexity. The use of dynamic compensation based on observation uncertainty also outperforms conventional static adaptation with no need of adaptation data. 相似文献
64.
Saso Dzeroski Steffen Schulze-Kremer Karsten R. Heidtke Karsten Siems Dietrich Wettschereck Hendrik Blockeel 《Applied Artificial Intelligence》2013,27(5):363-383
We present a novel application ofInductive Logic Programming (ILP) to the problem of diterpene structure elucidation from 13 CNMR spectra. Diterpenes are organic compounds oflow molecular weight with a skeleton of 20 carbon atoms. They are of significant chemical and commercial interest because oftheir use as lead compounds in the search for new pharmaceutical effectors. The interpretation of diterpene 13 CNMR spectra normally requires specialists with detailed spectroscopic knowledge and substantial experience in natural products chemistry, specifically knowledge on peak patterns and chemical structures. Given a database ofpeak patterns for diterpenes with known structure, we apply several ILP approaches to discover correlations between peak patterns and chemical structure. The approaches used include first - order inductive learning, relational instance based learning, induction oflogical decision trees, and inductive constraint logic. Performance close to that of domain experts is achieved, which suffices for practical use. 相似文献
65.
In many fields of materials science it is important to know how densely a particle mixture can be packed. The “packing density”
is the ratio of the particle volume and the volume of the surrounding container needed for a random close packing of the particles.
We present a method for estimating the packing density for spherical particles based on computer simulations only, i.e. without
the need for additional experiments. Our method is particularly suited for particle mixtures with an extremely wide range
of particle diameters as they occur e.g. in modern concrete mixtures. A single representative sample from such mixtures would
be much larger than can be handled on present standard computers. In our hierarchical approach the diameter range is therefore
divided into smaller intervals. Samples from these limited diameter intervals are drawn and their packing density is estimated
from a simulated packing. The results are used to “fill” the interstices in the sample from the next larger particle interval.
To account for the interaction between particles of different sizes we include larger particles into the sample of smaller
ones. The larger ones act as part of the boundary during the packing. Thus we obtain more realistic estimates of how dense
a fraction of particles can be packed within the whole mixture. The focus of this paper is on the divide-and-conquer approach
and on how the simulation results from the fractions can be collected into an overall estimate of the packing density. We
do not go into details of the simulation technique for the single packing. We compare our results to some experimental data
to show that our method works at least as good as the classical analytical models like CPM without the need for any experiments. 相似文献
66.
Subtyping in first order object calculi is studied with respect to the logical semantics obtained by identifying terms that
satisfy the same set of predicates, as formalised through an assignment system. It is shown that equality in the full first
order ς-calculus is modelled by this notion, which in turn is included in a Morris-style contextual equivalence.
U. de’Liguoro’s research was partially supported by project PRIN’05 prot. 2005015785_003. 相似文献
67.
MA Mansour FN Littooy WC Watson KA Blumofe TJ Heilizer GF Steffen C Chmura SS Kang N Labropoulos HP Greisler SG Fisher WH Baker 《Canadian Metallurgical Quarterly》1999,29(2):217-25; discussion 225-7
PURPOSE: The incidence rate of disease progression and stroke after the diagnosis of a moderate (50% to 79%) carotid stenosis was determined by means of color-flow duplex scanning. METHODS: During a 4-year period, 344 male veterans with moderate internal carotid artery stenoses, on one or both sides, were examined at regular intervals for a mean period of 25 months. Carotid color-flow scans were obtained semiannually. Clinical follow-up was performed to determine the incidence rate of amaurosis fugax, transient ischemic attacks, nonhemispheric symptoms, and strokes. RESULTS: New neurologic symptoms developed in 75 patients (21.8%). Fifty-one (14.8%) had ipsilateral symptoms during follow-up: 18 amaurosis fugax (5.2%), 14 transient ischemic attacks (4%), 5 nonhemispheric symptoms (1.4%), and 14 strokes (4%). Twenty-four patients (6.9%) had contralateral symptoms: 20 strokes (5.8%) and 4 transient ischemic attacks (1.2%). Life-table analysis showed that the annual rate of ipsilateral neurologic events was 8.1%, and the annual rate of stroke was 2.1%. Seventy-five patients (22%) died in the follow-up period. Disease progression to 80% to 99% stenosis or occlusion occurred in 71 of 458 vessels (15.5%). The internal carotid arteries that showed evidence of disease progression had a significantly higher initial peak systolic velocity (251 vs 190 cm/s; P <.0001) and end diastolic velocity (74 vs 52 cm/s; P < 0.0001). Black patients and patients with ischemic heart disease were at a higher risk for disease progression. We could not identify any atherosclerotic risk factors that reliably predicted patients in whom future ipsilateral neurologic symptoms were more likely to develop. However, there was an increased risk of stroke associated with progression of disease. CONCLUSION: Patients who are asymptomatic and who have moderate carotid stenoses are at significant risk for neurologic symptoms and death, but have a relatively low incidence rate of ipsilateral events. The initial flow characteristics in the stenotic vessel are predictive of future disease progression, but they are not helpful in identifying patients in whom symptoms will develop. 相似文献
68.
Lara Valentín Beata Kluczek‐Turpeinen Pekka Oivanen Annele Hatakka Kari Steffen Marja Tuomela 《Journal of chemical technology and biotechnology (Oxford, Oxfordshire : 1986)》2009,84(6):851-858
BACKGROUND: For most dioxin‐contaminated sawmill soils, combustion is recommended. However, the process may be inefficient if the soil has a high organic matter content. The use of saprotrophic basidiomycetous fungi is an alternative for pretreatment of this kind of soil. A total of 147 fungi were evaluated for their ability to grow in sawmill soil. From this screening, the best soil colonizing fungi were selected to study their enzyme activities and degradation of soil organic matter. Pine (Pinus sylvestris) bark was used as a co‐substrate to propagate the fungi into the soil. The activities of manganese peroxidase (MnP), laccase, endo‐1,4‐β‐glucanase, endo‐1,4‐β‐xylanase, and endo‐1,4‐β‐mannanase were analysed from the inocula and fungal treated soil. RESULTS: The screening revealed that 56 out of 147 fungi were able to grow in non‐sterile soil, and most of them were litter‐decomposing fungi (LDF). In pine bark cultures, the highest enzyme activities were observed with Phanerochaete velutina, which produced 5 U g?1 of MnP. The activity of endo‐1,4‐β‐glucanase was generally higher than that of other hydrolytic enzymes. The highest carbon loss from soil with a high organic matter content was achieved by P. velutina (3.4%) and Stropharia rugosoannulata (2.4%). CONCLUSIONS: Many LDF, and in addition the white‐rot fungus P. velutina, are potential degraders of soil organic matter since they showed good growth and respiratory activity. Pine bark was a suitable lignocellulosic co‐substrate and a good promoter of MnP activity. Copyright © 2009 Society of Chemical Industry 相似文献
69.
70.
Jewgenij Botaschanjan Manfred Broy Alexander Gruler Alexander Harhurin Steffen Knapp Leonid Kof Wolfgang Paul Maria Spichkova 《Formal Aspects of Computing》2008,20(6):637-662
Formal verification of software systems is a challenge that is particularly important in the area of safety-critical automotive systems. Here, approaches like direct code verification are far too complicated, unless the verification is restricted to small textbook examples. Furthermore, the verification of application logic is of limited use in industrial context, unless the underlying operating system and the hardware are verified, too. This paper introduces a generic model stack, allowing the verification of all system layers as well as the concrete application models being used in the upper layers. The presented models and proofs close the gap between the correctness proof for the lower layers of car electronics developed at the Saarland University and the verification procedure for distributed applications developed at the Technische Universität München. 相似文献