全文获取类型
收费全文 | 1595篇 |
免费 | 44篇 |
国内免费 | 3篇 |
专业分类
电工技术 | 48篇 |
综合类 | 6篇 |
化学工业 | 419篇 |
金属工艺 | 23篇 |
机械仪表 | 28篇 |
建筑科学 | 203篇 |
矿业工程 | 5篇 |
能源动力 | 21篇 |
轻工业 | 199篇 |
水利工程 | 11篇 |
石油天然气 | 2篇 |
无线电 | 93篇 |
一般工业技术 | 236篇 |
冶金工业 | 109篇 |
原子能技术 | 16篇 |
自动化技术 | 223篇 |
出版年
2023年 | 11篇 |
2022年 | 32篇 |
2021年 | 41篇 |
2020年 | 18篇 |
2019年 | 24篇 |
2018年 | 19篇 |
2017年 | 17篇 |
2016年 | 52篇 |
2015年 | 50篇 |
2014年 | 55篇 |
2013年 | 95篇 |
2012年 | 69篇 |
2011年 | 96篇 |
2010年 | 43篇 |
2009年 | 69篇 |
2008年 | 79篇 |
2007年 | 69篇 |
2006年 | 54篇 |
2005年 | 61篇 |
2004年 | 56篇 |
2003年 | 31篇 |
2002年 | 36篇 |
2001年 | 19篇 |
2000年 | 11篇 |
1999年 | 26篇 |
1998年 | 18篇 |
1997年 | 11篇 |
1996年 | 14篇 |
1995年 | 17篇 |
1994年 | 10篇 |
1993年 | 16篇 |
1992年 | 20篇 |
1991年 | 16篇 |
1990年 | 15篇 |
1988年 | 10篇 |
1987年 | 19篇 |
1986年 | 16篇 |
1985年 | 14篇 |
1984年 | 23篇 |
1983年 | 22篇 |
1982年 | 15篇 |
1981年 | 16篇 |
1980年 | 22篇 |
1979年 | 10篇 |
1975年 | 21篇 |
1973年 | 11篇 |
1971年 | 10篇 |
1970年 | 10篇 |
1969年 | 11篇 |
1937年 | 10篇 |
排序方式: 共有1642条查询结果,搜索用时 0 毫秒
31.
In the constructive setting, membership predicates over recursive types are inhabited by terms indexing the elements that satisfy the criteria for membership. In this paper, we motivate and explore this idea in the concrete setting of lists and trees. We show that the inhabitants of membership predicates are precisely the inhabitants of a generic shape type. We show that membership of x (of type T) in structure S, (xTS) can not, in general, index all parts of a structure S and we generalize to a form ρS where ρ is a predicate over S. Under this scheme, (λx.True)S is the set of all indexes into S, but we show that not all subsets of indexes are expressible by strictly local predicates. Accordingly, we extend our membership predicates to predicates that retain state “from above” as well as allow “looking below”. Predicates of this form are complete in the sense that they can express every subset of indexes in S. These ideas are motivated by experience programming in Nuprl's constructive type theory and examining the constructive content of mechanically checked formal proofs involving membership predicates. 相似文献
32.
33.
In this paper, a novel inverse random under sampling (IRUS) method is proposed for the class imbalance problem. The main idea is to severely under sample the majority class thus creating a large number of distinct training sets. For each training set we then find a decision boundary which separates the minority class from the majority class. By combining the multiple designs through fusion, we construct a composite boundary between the majority class and the minority class. The proposed methodology is applied on 22 UCI data sets and experimental results indicate a significant increase in performance when compared with many existing class-imbalance learning methods. We also present promising results for multi-label classification, a challenging research problem in many modern applications such as music, text and image categorization. 相似文献
34.
Josef Widder Martin Biely Günther Gridling Bettina Weiss Jean-Paul Blanquart 《Distributed Computing》2012,24(6):299-321
We consider the problem of reaching agreement in distributed systems in which some processes may deviate from their prescribed
behavior before they eventually crash. We call this failure model “mortal Byzantine”. After discussing some application examples
where this model is justified, we provide matching upper and lower bounds on the number of faulty processes, and on the required
number of rounds in synchronous systems. We then continue our study by varying different system parameters. On the one hand,
we consider the failure model under weaker timing assumptions, namely for partially synchronous systems and asynchronous systems
with unreliable failure detectors. On the other hand, we vary the failure model in that we limit the occurrences of faulty
steps that actually lead to a crash in synchronous systems. 相似文献
35.
Josef Herrmann 《Zeitschrift für Lebensmitteluntersuchung und -Forschung A》1976,160(3):227-243
Zusammenfassung Die Subjektive Gustometrie und Olfaktometrie (SGO) gestattet unter bestimmten Voraussetzungen und Grenzbedingungen gesetzmäßig die Konzentration von Geruchs- und Geschmacksstoffen mit den Größen ihrer Empfindungen zu verknüpfen. Auf dieser Basis ist sie einerseits als quantitative Bestimmungsmethode von Flavorstoffkonzentrationen einzusetzen und andererseits zur Bestimmung der Reaktionskinetik sensorischer Veränderungen zu nutzen. Dieses ermöglicht die Gleichungen der chemischen Reaktionskinetik (Reaktionsordnung, -geschwindigkeit und ihre Temperatur-abhängigkeit) zur Berechnung der sensorischen Veränderungen heranzuziehen, was am Beispiel der Bildung und des Abbaues von Flavorkomponenten für verschiedene Reaktionstypen theoretisch abgeleitet wird. Damit lassen sich einerseits Aussagen über die Anforderungen an Indikatoren und Aroma-Indices zur Charakterisierung von sensorischen Veränderungen treffen und andererseits die Prozesse der Ver- und Bearbeitung sowie Lagerung von Lebensmitteln für das betreffende Qualitätsmerkmal berechnen und optimieren. Am praktischen Beispiel der Bildung des Kochgeschmacks von Apfelsaft wird die Richtigkeit der theoretischen Ableitung demonstriert.
Vortrag zur 30. wissenschaftlichen Arbeitstagung des Institutes für Lebensmitteltechnologie und Verpackung e.V. in München am 23.4.1975. 相似文献
Application of subjective gustometry and olfactometry for determination of reaction kinetics during sensorical changes in technological processes
Summary Under special conditions the subjective gustometry and olfactometry (SGO) allows to combine the concentration with the intensity of flavour components by theoretical means. In this way it can be used for quantitative determination of flavour concentrations as well as for kinetic measurements of sensorical changes. Thus the equations of chemical reaction kinetics (reactionorder, speed and temperature dependancy) can be used for calculation of sensorical changes as theoretically demonstrated for the formation and decomposition of different flavour components. The requirements for indicators, aroma indices, technological processes and storage conditions for a special quality criterium can also be calculated. By using the formation of cooked flavour in apple juice as a practical example the correctness of the theoretical calculations is demonstrated.
Vortrag zur 30. wissenschaftlichen Arbeitstagung des Institutes für Lebensmitteltechnologie und Verpackung e.V. in München am 23.4.1975. 相似文献
36.
MPTP (Mizar Problems for Theorem Proving) is a system for translating the Mizar Mathematical Library (MML) into untyped first order format suitable for automated theorem provers, allowing generating theorem proving problems corresponding to MML. The first version generates about 30000 problems from complete proofs of Mizar theorems, and about 630000 problems from the simple (one-step) justifications done by the Mizar checker. We describe the design and structure of the system, some limitations, and planned future extensions. 相似文献
37.
Josef ajka Tom Dostl Kamil Vrba 《International Journal of Circuit Theory and Applications》2004,32(3):133-138
We propose a new current conveyor terminology and explain how these terms are coined. Copyright © 2004 John Wiley & Sons, Ltd. 相似文献
38.
统计不相关最佳鉴别矢量集的本质研究 总被引:6,自引:0,他引:6
对统计不相关最佳鉴别矢量集的本质进行研究,在基于总体散布矩阵特征分解的基础上,构造了一种白化变换,使得变换后的样本空间中的总体散布矩阵为单位矩阵,这样使得传统的最佳鉴别矢量集算法得到的均是具有统计不相关的最佳鉴别矢量集,从而揭示了统计不相关最佳鉴别变换的本质——白化变换加普通的线性鉴别变换。该方法的最大优点在于所获得的最优鉴别矢量同时具有正交性和统计不相关性。该方法对代数特征抽取具有普遍适用性。用ORL人脸数据库的数值实验,验证了该方法的有效性。 相似文献
39.
Milo Hricovíni Raymond J. Owens Andrzej Bak Violetta Kozik Witold Musia Roberta Pierattelli Magdalna Mjekov Yoel Rodríguez Robert Musio Aneta Slodek Pavel tarha Karina Pitak Dagmara Sota Wioletta Florkiewicz Agnieszka Sobczak-Kupiec Josef Jampílek 《International journal of molecular sciences》2022,23(23)
The knowledge of interactions between different molecules is undoubtedly the driving force of all contemporary biomedical and biological sciences. Chemical biology/biological chemistry has become an important multidisciplinary bridge connecting the perspectives of chemistry and biology to the study of small molecules/peptidomimetics and their interactions in biological systems. Advances in structural biology research, in particular linking atomic structure to molecular properties and cellular context, are essential for the sophisticated design of new medicines that exhibit a high degree of druggability and very importantly, druglikeness. The authors of this contribution are outstanding scientists in the field who provided a brief overview of their work, which is arranged from in silico investigation through the characterization of interactions of compounds with biomolecules to bioactive materials. 相似文献
40.
A comparative study of the purification of betanin 总被引:3,自引:0,他引:3
Letícia Christina Pires GonçalvesMarco Aurélio de Souza Trassi Nathana Barbosa LopesFelipe Augusto Dörr Monica Teixeira dos SantosWilhelm Josef Baader Vani Xavier Oliveira Jr.Erick Leite Bastos 《Food chemistry》2012,131(1):231-238
Betanin is a natural pigment with antioxidant properties used as a food colourant. This work describes the spectrophotometric and chromatographic quantification of betanin (2S/15S) and its epimer isobetanin (2S/15R) in fresh beetroot juice, food-grade beetroot powder and betanin standard diluted in dextrin. Absorption spectra of all three samples were deconvoluted using a mixed three-function model. Food-grade beetroot powder has the largest amount of violet-red impurities, probably formed during processing. The purification of betanin from these complex matrices was carried out by seven different methods. Ion exchange chromatography was the most efficient method for the purification of betanin from all samples; however, fractions contain high amounts of salt. Reversed-phase HPLC as well as reversed-phase column chromatography also produced good results at a much faster rate. The longer retention time of isobetanin when compared to betanin in reversed-phase conditions has been investigated by means of quantum-mechanical methods. 相似文献