全文获取类型
收费全文 | 1591篇 |
免费 | 94篇 |
国内免费 | 3篇 |
学科分类
工业技术 | 1688篇 |
出版年
2023年 | 19篇 |
2022年 | 13篇 |
2021年 | 23篇 |
2020年 | 25篇 |
2019年 | 37篇 |
2018年 | 51篇 |
2017年 | 56篇 |
2016年 | 54篇 |
2015年 | 57篇 |
2014年 | 60篇 |
2013年 | 120篇 |
2012年 | 91篇 |
2011年 | 113篇 |
2010年 | 71篇 |
2009年 | 53篇 |
2008年 | 76篇 |
2007年 | 68篇 |
2006年 | 64篇 |
2005年 | 42篇 |
2004年 | 33篇 |
2003年 | 32篇 |
2002年 | 27篇 |
2001年 | 25篇 |
2000年 | 15篇 |
1999年 | 24篇 |
1998年 | 113篇 |
1997年 | 64篇 |
1996年 | 47篇 |
1995年 | 26篇 |
1994年 | 19篇 |
1993年 | 22篇 |
1992年 | 9篇 |
1991年 | 12篇 |
1990年 | 4篇 |
1989年 | 9篇 |
1988年 | 5篇 |
1987年 | 5篇 |
1986年 | 5篇 |
1985年 | 9篇 |
1984年 | 12篇 |
1983年 | 5篇 |
1982年 | 3篇 |
1981年 | 10篇 |
1980年 | 7篇 |
1979年 | 6篇 |
1978年 | 3篇 |
1977年 | 13篇 |
1976年 | 16篇 |
1975年 | 5篇 |
1973年 | 3篇 |
排序方式: 共有1688条查询结果,搜索用时 0 毫秒
31.
32.
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. 相似文献
33.
Björn Regnell Martin Höst Johan Natt och Dag Per Beremark Thomas Hjelm 《Requirements Engineering》2001,6(1):51-62
When developing packaged software, which is sold ‘off-the-shelf’ on a worldwide marketplace, it is essential to collect needs
and opportunities from different market segments and use this information in the prioritisation of requirements for the next
software release. This paper presents an industrial case study where a distributed prioritisation process is proposed, observed
and evaluated. The stakeholders in the requirements prioritisation process include marketing offices distributed around the
world. A major objective of the distributed prioritisation is to gather and highlight the differences and similarities in
the requirement priorities of the different market segments. The evaluation through questionnaires shows that the stakeholders
found the process useful. The paper also presents novel approaches to visualise the priority distribution among stakeholders,
together with measures on disagreement and satisfaction. Product management found the proposed charts valuable as decision
support when selecting requirements for the next release, as they revealed unforeseen differences among stakeholder priorities.
Conclusions on stakeholder tactics are provided and issues of further research are identified, including ways of addressing
identified challenges. 相似文献
34.
Mekonnen SM Olufsen M Smalås AO Brandsdal BO 《Journal of molecular graphics & modelling》2006,25(2):176-185
The role of the primary binding residue (P1) in complexes between three different subtilases (subtilisin Carlsberg, thermitase and proteinase K) and their canonical protein inhibitor eglin c have been studied by free energy calculations. Based on the crystal structures of eglin c in complex with subtilisin Carlsberg and thermitase, and a homology model of the eglin c-proteinase K complex, a total of 57 mutants have been constructed and docked into their host proteins. The binding free energy was then calculated using molecular dynamics (MD) simulations combined with the linear interaction energy (LIE) method for all complexes differing only in the nature of the amino acid at the P1 position. LIE calculations for 19 different complexes for each subtilase were thus carried out excluding proline. The effects of substitutions at the P1 position on the binding free energies are found to be very large, and positively charged residues (Arg, Lys and His) are particularly deleterious for all three enzymes. The charged variants of the acidic side chains are found to bind more favorably as compared to their protonated states in all three subtilases. Furthermore, hydrophobic amino acids are accommodated most favorably at the S1-site in all three enzymes. Comparison of the three series of binding free energies shows only minor differences in the 19 computed relative binding free energies among these subtilases. This is further reflected in the correlation coefficient between the 23 relative binding free energies obtained, including the possible protonation states of ionizable side chains, but excluding the P1 Pro, for subtilisin Carlsberg versus thermitase (0.95), subtilisin versus proteinase K (0.94) and thermitase versus proteinase K (0.96). 相似文献
35.
36.
Stefan Kiefer Andrzej S. Murawski Jo?l Ouaknine Bj?rn Wachter James Worrell 《Formal Aspects of Computing》2012,24(4-6):671-678
Herman’s algorithm is a synchronous randomized protocol for achieving self-stabilization in a token ring consisting of N processes. The interaction of tokens makes the dynamics of the protocol very difficult to analyze. In this paper we study the distribution of the time to stabilization, assuming that there are three tokens in the initial configuration. We show for arbitrary N and for an arbitrary timeout t that the probability of stabilization within time t is minimized by choosing as the initial three-token configuration the configuration in which the tokens are placed equidistantly on the ring. Our result strengthens a corollary of a theorem of McIver and Morgan (Inf. Process Lett. 94(2): 79–84, 2005), which states that the expected stabilization time is minimized by the equidistant configuration. 相似文献
37.
Several studies have documented the occurrence of high ventilation rates during cardiopulmonary resuscitation, but to date, there have been no scientific investigation of the causes of hyperventilation. The objective of the current study was to test the effects of socio-emotional stressors on lay rescuers' ventilation rate in a simulated resuscitation setting using a manikin model. A within-subjects experiment with randomized order of conditions tested lay rescuers' ventilation rate on an intubated manikin during exposure to socio-emotional stressors and during a control condition where no external stressors were present. Ventilation rates and subjective workload were significantly higher during exposure to socio-emotional stressors than during the control condition. All but one of the nine participants ventilated at a higher ventilation rate in the experimental condition. All nine participants rated the subjective workload to be higher during exposure to socio-emotional stressors. Hence, exposure to socio-emotional stressors is associated with increased ventilation rates performed by lay rescuers during simulated cardiac arrest using a manikin model. These findings might have implications for the understanding of the type of situations which hyperventilation may occur. Awareness of these situations may have implications for training of lay rescues. 相似文献
38.
The need for structural rehabilitation of concrete structures all over the world is well known. Extensive amounts of research have been carried out and are ongoing in this field. Most of the laboratory research has been undertaken on structural elements without live load during the strengthening process. Normally owners of structures want to continue their activity or service during strengthening. Full-scale applications have shown that this is possible, but there is a lack of understanding as to how cyclic loads are distributed during strengthening; for example, traffic loads affect the final strengthening result. This paper presents laboratory tests on concrete beams strengthened with carbon fiber-reinforced polymer laminates and near-surface mounted reinforcement. The beams were subjected to a cyclic load during setting of the adhesive, and after additional hardening were then loaded by deformation control up to failure. 相似文献
39.
40.