全文获取类型
收费全文 | 2225篇 |
免费 | 58篇 |
国内免费 | 1篇 |
学科分类
工业技术 | 2284篇 |
出版年
2022年 | 32篇 |
2021年 | 44篇 |
2020年 | 13篇 |
2019年 | 19篇 |
2018年 | 33篇 |
2017年 | 36篇 |
2016年 | 42篇 |
2015年 | 19篇 |
2014年 | 54篇 |
2013年 | 108篇 |
2012年 | 90篇 |
2011年 | 112篇 |
2010年 | 83篇 |
2009年 | 104篇 |
2008年 | 98篇 |
2007年 | 99篇 |
2006年 | 82篇 |
2005年 | 70篇 |
2004年 | 62篇 |
2003年 | 63篇 |
2002年 | 77篇 |
2001年 | 36篇 |
2000年 | 38篇 |
1999年 | 41篇 |
1998年 | 57篇 |
1997年 | 54篇 |
1996年 | 51篇 |
1995年 | 40篇 |
1994年 | 34篇 |
1993年 | 35篇 |
1992年 | 31篇 |
1991年 | 34篇 |
1990年 | 36篇 |
1989年 | 29篇 |
1988年 | 24篇 |
1987年 | 27篇 |
1986年 | 25篇 |
1985年 | 42篇 |
1984年 | 34篇 |
1983年 | 19篇 |
1982年 | 26篇 |
1981年 | 20篇 |
1980年 | 17篇 |
1979年 | 29篇 |
1978年 | 23篇 |
1977年 | 24篇 |
1976年 | 22篇 |
1975年 | 22篇 |
1974年 | 14篇 |
1973年 | 18篇 |
排序方式: 共有2284条查询结果,搜索用时 15 毫秒
61.
Gilles Perrouin Sebastian Oster Sagar Sen Jacques Klein Benoit Baudry Yves le Traon 《Software Quality Journal》2012,20(3-4):605-643
Software Product Lines (SPL) are difficult to validate due to combinatorics induced by variability, which in turn leads to combinatorial explosion of the number of derivable products. Exhaustive testing in such a large products space is hardly feasible. Hence, one possible option is to test SPLs by generating test configurations that cover all possible t feature interactions (t-wise). It dramatically reduces the number of test products while ensuring reasonable SPL coverage. In this paper, we report our experience on applying t-wise techniques for SPL with two independent toolsets developed by the authors. One focuses on generality and splits the generation problem according to strategies. The other emphasizes providing efficient generation. To evaluate the respective merits of the approaches, measures such as the number of generated test configurations and the similarity between them are provided. By applying these measures, we were able to derive useful insights for pairwise and t-wise testing of product lines. 相似文献
62.
The knapsack problem (KP) and its multidimensional version (MKP) are basic problems in combinatorial optimization. In this paper, we consider their multiobjective extension (MOKP and MOMKP), for which the aim is to obtain or approximate the set of efficient solutions. In the first step, we classify and briefly describe the existing works that are essentially based on the use of metaheuristics. In the second step, we propose the adaptation of the two‐phase Pareto local search (2PPLS) to the resolution of the MOMKP. With this aim, we use a very large scale neighborhood in the second phase of the method, that is the PLS. We compare our results with state‐of‐the‐art results and show that the results we obtained were never reached before by heuristics for biobjective instances. Finally, we consider the extension to three‐objective instances. 相似文献
63.
64.
Vinnars Bo; Thorm?hlen Barbro; Gallop Robert; Norén Kristina; Barber Jacques P. 《Canadian Metallurgical Quarterly》2009,46(3):362
Studies involving patients with personality disorders (PDs) have not focused on improvement of core aspects of the PD. The authors examined changes in quality of object relations, interpersonal problems, psychological mindedness, and personality traits in a sample of 156 patients with Diagnostic and Statistical Manual of Mental Disorders (4th ed.) PD diagnoses being randomized to either manualized or nonmanualized dynamic psychotherapy. Effect sizes adjusted for symptomatic change and reliable change indices were calculated. The authors found that both treatments were equally effective at reducing personality pathology. Only in neuroticism did the nonmanualized group do better during the follow-up period. The largest improvement was found in quality of object relations. For the remaining variables, only small and clinically insignificant magnitudes of change were found. (PsycINFO Database Record (c) 2010 APA, all rights reserved) 相似文献
65.
The ML module system facilitates the modular development of large programs, through decomposition, abstraction and reuse. To increase its flexibility, a lot of work has been devoted to extending it with recursion, which is currently prohibited. The introduction of recursion adds expressivity to the module system. However it also creates problems that a non-recursive module system does not have. In this paper, we address one such problem, namely resolution of path references. Paths are how one refers to nested modules in ML. Without recursion, well-typedness guarantees termination of path resolution, in other words, we can statically determine the module that a path refers to. This does not always hold with recursive module extensions, since the module system then can encode a lambda-calculus with recursion, whose termination is undecidable regardless of well-typedness. We formalize this problem of path resolution by means of a rewrite system on paths and prove that the problem is undecidable even without higher-order functors, via an encoding of the Turing machine into a calculus with just recursive modules, first-order functors, and nesting. Motivated by this result, we introduce a further restriction on first-order functors, limiting polymorphism on functor parameters by requiring signatures for functor parameters to be non-recursive, and show that this restriction is decidable and admits terminating path resolution. 相似文献
66.
Pierre Yves Le Gac Morgane Broudin Gérard Roux Jacques Verdu Peter Davies Bruno Fayolle 《Polymer》2014
Tensile properties and crack propagation properties, especially critical strain energy release rate in mode I, GIC, have been used to investigate fracture properties of elastomers and their relationships with microstructure. These investigations were mainly based on a series of comparisons: first, the behaviour of polychloroprene rubber (CR), undergoing stress hardening due to strain induced crystallization (SIC) and oxidative crosslinking (OCL) was compared with that of chlorinated polyethylene (CPE), which undergoes SIC but not OCL, and with a polyurethane based on hydroxyl terminated polybutadiene (PU) which undergoes OCL but not SIC. Comparisons were also made on CR between fracture behaviour at ambient temperature, where SIC occurs and at 100 °C where there is no SIC. Finally, oxidative crosslinking was used to vary in a continuous way the crosslink density in CR and PU, in order to evaluate the role of crosslinking in fracture behaviour. 相似文献
67.
An improved colorimetric method, based on the well-known reaction between amylose and iodine, is described. Native starch is dissolved in ureadimethylsulfoxide and the resulting solution defatted with ethanol. An aliquot of the lipid-free solution is then reacted with iodine and the absorbance of the blue-coloured amylose-iodine complex measured, thus determining the iodine-binding capacity of starch (Blue Value). A collaborative study was conducted, according to official guidelines, to determine the method's repeatability and reproducibility: 8 participants were each sent 8 starch samples from different botanic origin for duplicate analysis. Statistical evaluation of the results gave good precision results, with an average repeatability relative standard deviation of 2.1% and an average reproducibility relative standard deviation of 5.6%. The method is, therefore, suitable to determine precisely the amylose content of native starch. 相似文献
68.
69.
Acidic cesium salts Csx
H3-xPW12O40 have been prepared by grinding together amounts of H3PW12O40 and porous Cs3PW12O40 compounds in varying stoichiometries. It is shown that this procedure leads to a dispersion of the acid on top of the high
surface area Cs3PW12O40 salt (160 m2 g-1), and, subsequently, yields high surface area materials which exhibit a much higher catalytic activity for n-butane isomerisation at 473 K when compared with samples prepared directly by chemical precipitation. This improvement holds
particularly true with low Cs content (x < 2).
This revised version was published online in July 2006 with corrections to the Cover Date. 相似文献
70.
Luiza G?in? Castelia Cristea Claudia Moldovan Dan Porumb Emanoil Surducan C?lin Deleanu Abdalah Mahamoud Jacques Barbe Ioan A. Silberg 《International journal of molecular sciences》2007,8(2):70-80
Application of a dynamic microwave power system in the chemical synthesis of some phenothiazine and quinoline derivatives is described. Heterocyclic ring formation, aromatic nucleophilic substitution and heterocyclic aldehydes/ketones condensation reactions were performed on solid support, or under solvent free reaction conditions. The microwave-assisted Duff formylation of phenothiazine was achieved. Comparison of microwave-assisted synthesis with the conventional synthetic methods demonstrates advantages related to shorter reaction times and in some cases better reaction yields. 相似文献