全文获取类型
收费全文 | 1577篇 |
免费 | 107篇 |
国内免费 | 3篇 |
专业分类
电工技术 | 17篇 |
综合类 | 1篇 |
化学工业 | 256篇 |
金属工艺 | 27篇 |
机械仪表 | 16篇 |
建筑科学 | 119篇 |
矿业工程 | 7篇 |
能源动力 | 26篇 |
轻工业 | 157篇 |
水利工程 | 15篇 |
石油天然气 | 1篇 |
无线电 | 67篇 |
一般工业技术 | 282篇 |
冶金工业 | 407篇 |
自动化技术 | 289篇 |
出版年
2023年 | 19篇 |
2022年 | 13篇 |
2021年 | 23篇 |
2020年 | 25篇 |
2019年 | 37篇 |
2018年 | 51篇 |
2017年 | 55篇 |
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篇 |
排序方式: 共有1687条查询结果,搜索用时 15 毫秒
41.
Kjell Ivar Øvergård Cato Alexander Bjørkli Bjarte Knappen Røed Thomas Hoff 《Cognition, Technology & Work》2010,12(3):163-179
This article investigates the relationship between the control situation framework, as presented by Bjørkli et al. (Cogn Technol Work 9:67–80, 2007), and observed operator action and communication in high-speed craft operation in the Norwegian Royal Navy. The reported data include two series of events during sailing in the Norwegian archipelago where uncertainty of ship position, challenges of manoeuvring and navigation strategies are addressed. The results indicate that the navigators perform actions and communicate in accordance with the key features of the control situation framework, and thus adapt to the interrelation between control possibilities and control requirements. The navigators were guided by explicit knowledge of the functional characteristics of psychical and temporal dynamics, which were actualized in manoeuvring. It indicates that the control situation framework can be used to describe the models the operators use. 相似文献
42.
43.
Incremental Linear Discriminant Analysis Using Sufficient Spanning Sets and Its Applications 总被引:1,自引:0,他引:1
Tae-Kyun Kim Björn Stenger Josef Kittler Roberto Cipolla 《International Journal of Computer Vision》2011,91(2):216-232
This paper presents an incremental learning solution for Linear Discriminant Analysis (LDA) and its applications to object
recognition problems. We apply the sufficient spanning set approximation in three steps i.e. update for the total scatter matrix, between-class scatter matrix and the projected data
matrix, which leads an online solution which closely agrees with the batch solution in accuracy while significantly reducing
the computational complexity. The algorithm yields an efficient solution to incremental LDA even when the number of classes
as well as the set size is large. The incremental LDA method has been also shown useful for semi-supervised online learning.
Label propagation is done by integrating the incremental LDA into an EM framework. The method has been demonstrated in the
task of merging large datasets which were collected during MPEG standardization for face image retrieval, face authentication
using the BANCA dataset, and object categorisation using the Caltech101 dataset. 相似文献
44.
Øystein Vedaa Anette Harris Bjørn Bjorvatn Siri Waage Børge Sivertsen Philip Tucker 《Ergonomics》2016,59(1):1-14
A systematic literature search was carried out to investigate the relationship between quick returns (i.e. 11.0 hours or less between two consecutive shifts) and outcome measures of health, sleep, functional ability and work–life balance. A total of 22 studies published in 21 articles were included. Three types of quick returns were differentiated (from evening to morning/day, night to evening, morning/day to night shifts) where sleep duration and sleepiness appeared to be differently affected depending on which shifts the quick returns occurred between. There were some indications of detrimental effects of quick returns on proximate problems (e.g. sleep, sleepiness and fatigue), although the evidence of associations with more chronic outcome measures (physical and mental health and work–life balance) was inconclusive.
Practitioner Summary: Modern societies are dependent on people working shifts. This study systematically reviews literature on the consequences of quick returns (11.0 hours or less between two shifts). Quick returns have detrimental effects on acute health problems. However, the evidence regarding effects on chronic health is inconclusive. 相似文献
45.
ABSTRACTAutomated detection and recognition of faces have been implemented in a broad range of media environments. Following that development, what concerns us in this article is the analysis of emotions from facial expressions using computer-based systems, in relation to which we critically investigate the use of theories of basic emotions. We explore in depth the company Affectiva’s attempts to translate, represent and schematize human emotions, as they raise a variety of problems and issues of uncertainty. We analyse the uncertainties concerning the processing of the human face ‘as image’ due to issues concerning temporality and static images as well as polyphony and modulations of the spectrum of expressions. One of our key arguments concerns the temporal character of human emotions, and we address how algorithmically regulated protocols of discretization may be said to prompt specific patterns of emotional responses and expressions based on an ideal of eliminating uncertainty. Through discussions via art pieces by Lauren McCarthy and Kyle McDonald, we question what happens when the protocols of computer systems start to perform aspects of emotional labour for us, making judgments by predicting adequate emotional responses based on the use of the strict metrics criticized in the article. 相似文献
46.
47.
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. 相似文献
48.
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. 相似文献
49.
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). 相似文献
50.