全文获取类型
收费全文 | 1735篇 |
免费 | 86篇 |
国内免费 | 3篇 |
专业分类
电工技术 | 20篇 |
综合类 | 4篇 |
化学工业 | 580篇 |
金属工艺 | 52篇 |
机械仪表 | 63篇 |
建筑科学 | 32篇 |
矿业工程 | 5篇 |
能源动力 | 62篇 |
轻工业 | 146篇 |
水利工程 | 2篇 |
石油天然气 | 4篇 |
无线电 | 136篇 |
一般工业技术 | 279篇 |
冶金工业 | 125篇 |
原子能技术 | 8篇 |
自动化技术 | 306篇 |
出版年
2023年 | 19篇 |
2022年 | 88篇 |
2021年 | 97篇 |
2020年 | 40篇 |
2019年 | 44篇 |
2018年 | 43篇 |
2017年 | 62篇 |
2016年 | 69篇 |
2015年 | 54篇 |
2014年 | 92篇 |
2013年 | 134篇 |
2012年 | 89篇 |
2011年 | 107篇 |
2010年 | 83篇 |
2009年 | 80篇 |
2008年 | 88篇 |
2007年 | 55篇 |
2006年 | 59篇 |
2005年 | 33篇 |
2004年 | 41篇 |
2003年 | 47篇 |
2002年 | 25篇 |
2001年 | 15篇 |
2000年 | 18篇 |
1999年 | 14篇 |
1998年 | 26篇 |
1997年 | 29篇 |
1996年 | 27篇 |
1995年 | 23篇 |
1994年 | 19篇 |
1993年 | 18篇 |
1992年 | 13篇 |
1991年 | 14篇 |
1990年 | 7篇 |
1989年 | 6篇 |
1988年 | 14篇 |
1987年 | 8篇 |
1986年 | 4篇 |
1985年 | 7篇 |
1984年 | 11篇 |
1983年 | 18篇 |
1982年 | 8篇 |
1981年 | 11篇 |
1980年 | 10篇 |
1979年 | 5篇 |
1978年 | 7篇 |
1977年 | 8篇 |
1976年 | 6篇 |
1973年 | 4篇 |
1971年 | 6篇 |
排序方式: 共有1824条查询结果,搜索用时 15 毫秒
41.
Marek A. Suchenek 《Journal of Automated Reasoning》1993,10(2):237-263
This paper investigates a consistent versioncwa s of Reiter's closed-world assumptioncwa. It provides a syntactic characterization of minimal entailment ? min : for every ∨-sentence ? and for every ∨-theory Σ, $$\varphi \varepsilon cwa_S \left( \sum \right)iff\sum \vdash _{min} \varphi .$$ A version of this characterization remains valid if not all relations are subject to minimization. These two characterizations do not use the domain-closure axiom nor the unique-names assumptionuna, although they may be easily modified to ones that incorporateuna. A similar result for Herbrand entailment ? Her , by means of generalized domain-closure axiomdca s , is provided: for every ∨-sentence ? and every ∨-theory Σ, $$\varphi \varepsilon dca_S \left( \sum \right)iff\sum \vdash _{Her} \varphi .$$ Finally, a syntactic characterization of domain-minimal entailment ? dom in terms of a versionmda s of minimal-domain assumption is shown: for every ∨-sentence ? and for every ∨-theory Σ, $$\varphi \varepsilon mda_S \left( \sum \right)iff\sum \vdash _{dom} \varphi .$$ The proving power of these entailments is then evaluated. In particular, it is shown that (1) neither ? min nor its versions are strong enough to derive positive sentences from Σ unless they are first-order provable from Σ however, a double application of ? min has enough power to derive such positive sentences; (2) ? Her has the strength of infinitary rule of inference but cannot derive existential nor quantifier-free sentences from Σ unless they are first-order provable from Σ (3) ? Her and ? dom can derive from Σ certain positive facts about = which are otherwise unprovable from Σ and (4) ? dom cannot derive from Σ sentences without positive occurrences of = unless they are first-order provable from Σ. Moreover, the paper relatescwa s to Reiter'scwa and to Minker's generalized closed-world assumptionGCWA and its extension. 相似文献
42.
This work will present a review of the concept of classifier combination based on the combined discriminant function. We will present a Bayesian approach, in which the discriminant function assumes the role of the posterior probability. We will propose a probabilistic interpretation of expert rules and conditions of knowledge consistency for expert rules and learning sets. We will suggest how to measure the quality of learning materials and we will use the measure mentioned above for an algorithm that eliminates contradictions in the rule set. In this work several recognition algorithms will be described, based on either: (i) pure rules, or; (ii) rules together with learning sets. Furthermore, the original concept of information unification, which enables the formation of rules on the basis of learning set or learning set on the basis of rules will be proposed. The obtained conclusions will serve as a spring‐board for the formulation of new project guidelines for this type of decision‐making system. At the end, experimental results of the proposed algorithms will be presented, both from computer generated data and for a real problem from the medical diagnostics field. 相似文献
43.
Filter-driven optimization based on the extended Kalman filter concept is used here for the numerical solution of crack and
flaw identification problems in elastodynamics. The mechanical modeling of the studied two-dimensional problem, which includes
the effect of unilateral contact along the sides of the crack, is done with the help of the boundary element method. The effect
of various dynamical test loads and the applicability of this method for crack and defect identification in disks are investigated.
The work has been supported by the German Research Foundation (DFG). Partial support has been provided by a Greek-German Research
Cooperation Grant (IKYDA2001). This support is greatfully acknowledged. 相似文献
44.
Marek Engelhardt Martin Schanz Georgios E. Stavroulakis Heinz Antes 《Optimization and Engineering》2006,7(1):63-79
An inverse problem in engineering mechanics is considered where the position and the geometry of three-dimensional, ellipsoidal
defects are identified by using measurements of the mechanical response under static loading on the external surface of the
structure. The problem is solved by appropriate combination of genetic optimization (GO) and boundary element method (BEM)
and following previously published two-dimensional problems. The three-dimensional case presents some additional difficulties.
Furthermore, the function of several genetic operators and the effect of the parameters of genetic optimization on the efficiency
of the solution has been numerically examined. 相似文献
45.
Direct Segmentation of Algebraic Models for Reverse Engineering 总被引:1,自引:0,他引:1
In Reverse Engineering a physical object is digitally reconstructed from a set of boundary points. In the segmentation phase these points are grouped into subsets to facilitate consecutive steps as surface fitting. In this paper we present a segmentation method with subsequent classification of simple algebraic surfaces. Our method is direct in the sense that it operates directly on the point set in contrast to other approaches that are based on a triangulation of the data set. The segmentation process involves a fast algorithm for k-nearest neighbors search and an estimation of first and second order surface properties. The first order segmentation, that is based on normal vectors, provides an initial subdivision of the surface and detects sharp edges as well as flat or highly curved areas. One of the main features of our method is to proceed by alternating the steps of segmentation and normal vector estimation. The second order segmentation subdivides the surface according to principal curvatures and provides a sufficient foundation for the classification of simple algebraic surfaces. If the boundary of the original object contains such surfaces the segmentation is optimized based on the result of a surface fitting procedure. 相似文献
46.
Wies?aw Ostachowicz Marek Krawczuk Matthew Cartmell Michael Gilchrist 《Computers & Structures》2004,82(6):475-483
The wave propagation model investigated herein is based on the known fact that material discontinuities affect the propagation of elastic waves in solids. The change in certain material characteristics, such as a local change in stiffness or inertia caused by a crack or the presence of material damage, will affect the propagation of transmitted elastic waves and will modify the received signal. Wave frequencies associated with the highest detection sensitivity depend, among other things, on the type of structure, the type of material, and the type of damage. This paper presents a method of wave propagation, which can be further used to detect small delaminations in beam-like structures. The considered beam is modelled by spectral finite elements. 相似文献
47.
Logic programming requires that the programmer convert a problem into a set of constraints based on predicates. Choosing the predicates and introducing appropriate constraints can be intricate and error prone. If the problem domain is structured enough, we can let the programmer express the problem in terms of more abstract, higher‐level constraints. A compiler can then convert the higher‐level program into a logic‐programming formalism. The compiler writer can experiment with alternative low‐level representations of the higher‐level constraints in order to achieve a high‐quality translation. The programmer can then take advantage of both a reduction in complexity and an improvement in runtime speed for all problems within the domain. We apply this analysis to the domain of tabular constraint‐satisfaction problems. Examples of such problems include logic puzzles solvable on a hatch grid and combinatorial problems such as graph coloring and independent sets. The proper abstractions for these problems are rows, columns, entries, and their interactions. We present a higher‐level language, Constraint Lingo, dedicated to problems in this domain. We also describe how we translate programs from Constraint Lingo into lower‐level logic formalisms such as the logic of propositional schemata. These translations require that we choose among competing lower‐level representations in order to produce efficient results. The overall effectiveness of our approach depends on the appropriateness of Constraint Lingo, our ability to translate Constraint Lingo programs into high‐quality representations in logic formalisms, and the efficiency with which logic engines can compute answer sets. We comment on our computational experience with these tools in solving both graph problems and logic puzzles. Copyright © 2004 John Wiley & Sons, Ltd. 相似文献
48.
Despite the importance of quantum dots in a wide range of biological, chemical, and physical processes, the structure of the molecular layers surrounding their surface in solution remains unknown. Thus, knowledge about the interaction mechanism of Nitrogen enriched Carbonaceous Quantum Dots’ (N-CQDs) surface with water—their natural environment—is highly desirable. A diffusive and Stern layer over the N-CQDs, characterized in situ, reveals the presence of anionic water clusters [OH(H2O)n]−. Their existence explains new observations: (i) the unexpectedly low adsorption enthalpy (ΔHads) in a pressure range below 0.1 p/ps, and ΔHads being as high as 190 kJ/mol at 0.11 p/ps; (ii) the presence of a “conductive window” isolating nature—at p/ps below 0.45—connected to the formation of smaller clusters and increasing conductivity above 0.45 p/ps, (iii) Stern layer stability; and (iv) superhydrophilic properties of the tested material. These observables are the consequences of H2O dissociative adsorption on N-containing basic centers. The additional direct application of surfaces formed by N-CQDs spraying is the possibility of creating antistatic, antifogging, bio-friendly coatings. 相似文献
49.
Tomasz Urbanowicz Anna Olasiska-Winiewska Marcin Gadki Micha Michalak Mateusz Sochacki Anita Weclewska Dominika Zalas Waldemar Bobkowski Marek Jemielity 《International journal of molecular sciences》2022,23(20)
Neutrophils play a significant role in immune and inflammatory reactions. The preoperative inflammatory activation may have a detrimental effect on postoperative outcomes. The aim of the study was to investigate the relation between preoperative hematological indices on postoperative complications’ risk in pediatric cardiac congenital surgery. The retrospective single center analysis included 93 pediatric patients (48 (65%) males and 45 (35%) females), mean age of 7 (3–30) months referred for cardiac surgery in cardiopulmonary bypass due to functional single ventricle disease (26 procedures), shunts lesions (40 procedures) and cyanotic disease (27 procedures). Among simple hematological indices, the receiver-operating-characteristic curve showed that a neutrophil count below 2.59 K/uL was found as an optimal cut-off point for predicting postoperative atrioventricular block following pediatric cardiac surgery (AUC = 0.845, p < 0.0001) yielding a sensitivity of 100% and a specificity of 65.62%. Preoperative values of neutrophil count below 2.59 K/uL in whole blood analysis can be regarded as a predictive factor (AUC = 0.845, p < 0.0001) for postoperative atrioventricular block in pediatric cardiac surgery. 相似文献
50.
Magdalena Kotaska Anna Dziubina Magorzata Szafarz Kamil Mika Marek Bednarski Noemi Nicosia Ahmed Temirak Christa E. Müller Katarzyna Kie-Kononowicz 《International journal of molecular sciences》2022,23(21)
The adenosine A2A and A2B receptors are promising therapeutic targets in the treatment of obesity and diabetes since the agonists and antagonists of these receptors have the potential to positively affect metabolic disorders. The present study investigated the link between body weight reduction, glucose homeostasis, and anti-inflammatory activity induced by a highly potent and specific adenosine A2B receptor antagonist, compound PSB-603. Mice were fed a high-fat diet for 14 weeks, and after 12 weeks, they were treated for 14 days intraperitoneally with the test compound. The A1/A2A/A2B receptor antagonist theophylline was used as a reference. Following two weeks of treatment, different biochemical parameters were determined, including total cholesterol, triglycerides, glucose, TNF-α, and IL-6 blood levels, as well as glucose and insulin tolerance. To avoid false positive results, mouse locomotor and spontaneous activities were assessed. Both theophylline and PSB-603 significantly reduced body weight in obese mice. Both compounds had no effects on glucose levels in the obese state; however, PSB-603, contrary to theophylline, significantly reduced triglycerides and total cholesterol blood levels. Thus, our observations showed that selective A2B adenosine receptor blockade has a more favourable effect on the lipid profile than nonselective inhibition. 相似文献