全文获取类型
收费全文 | 2813篇 |
免费 | 223篇 |
国内免费 | 3篇 |
专业分类
电工技术 | 24篇 |
化学工业 | 688篇 |
金属工艺 | 65篇 |
机械仪表 | 115篇 |
建筑科学 | 62篇 |
矿业工程 | 2篇 |
能源动力 | 120篇 |
轻工业 | 481篇 |
水利工程 | 23篇 |
石油天然气 | 18篇 |
无线电 | 223篇 |
一般工业技术 | 538篇 |
冶金工业 | 176篇 |
原子能技术 | 11篇 |
自动化技术 | 493篇 |
出版年
2023年 | 28篇 |
2022年 | 87篇 |
2021年 | 134篇 |
2020年 | 96篇 |
2019年 | 102篇 |
2018年 | 114篇 |
2017年 | 106篇 |
2016年 | 141篇 |
2015年 | 120篇 |
2014年 | 151篇 |
2013年 | 242篇 |
2012年 | 223篇 |
2011年 | 254篇 |
2010年 | 172篇 |
2009年 | 141篇 |
2008年 | 145篇 |
2007年 | 138篇 |
2006年 | 109篇 |
2005年 | 72篇 |
2004年 | 67篇 |
2003年 | 45篇 |
2002年 | 65篇 |
2001年 | 34篇 |
2000年 | 18篇 |
1999年 | 22篇 |
1998年 | 42篇 |
1997年 | 32篇 |
1996年 | 29篇 |
1995年 | 20篇 |
1994年 | 10篇 |
1993年 | 12篇 |
1992年 | 6篇 |
1991年 | 3篇 |
1990年 | 4篇 |
1989年 | 4篇 |
1988年 | 6篇 |
1987年 | 3篇 |
1986年 | 7篇 |
1985年 | 6篇 |
1984年 | 4篇 |
1983年 | 2篇 |
1982年 | 3篇 |
1981年 | 3篇 |
1977年 | 5篇 |
1976年 | 4篇 |
1973年 | 1篇 |
1972年 | 1篇 |
1970年 | 1篇 |
1968年 | 1篇 |
1957年 | 1篇 |
排序方式: 共有3039条查询结果,搜索用时 171 毫秒
81.
Context
Input/output transition system (IOTS) models are commonly used when next input can arrive even before outputs are produced. The interaction between the tester and an implementation under test (IUT) is usually assumed to be synchronous. However, as the IUT can produce outputs at any moment, the tester should be prepared to accept all outputs from the IUT, or else be able to block (refuse) outputs of the implementation. Testing distributed, remote applications under the assumptions that communication is synchronous and actions can be blocked is unrealistic, since synchronous communication for such applications can only be achieved if special protocols are used. In this context, asynchronous tests can be more appropriate, reflecting the underlying test architecture which includes queues.Objective
In this paper, we investigate the problem of constructing test cases for given test purposes and specification input/output transition systems, when the communication between the tester and the implementation under test is assumed to be asynchronous, performed via multiple queues.Method
When issuing verdicts, asynchronous tests should take into account a distortion caused by the queues in the observed interactions. First, we investigate how the test purpose can be transformed to account for this distortion when there are a single input queue and a single output queue. Then, we consider a more general problem, when there may be multiple queues.Results
We propose an algorithm which constructs a sound test case, by transforming the test purpose prior to composing it with the specification without queues.Conclusion
The proposed algorithm mitigates the state explosion problem which usually occurs when queues are directly involved in the composition. Experimental results confirm the resulting state space reduction. 相似文献82.
Marina Z.O. Coluci Neusa M.C. Alexandre John Rosecrance 《International Journal of Industrial Ergonomics》2009,39(6):995-1001
Musculoskeletal disorders are an important cause of work disability and absenteeism. Specific job factors or tasks may increase the likelihood of developing work-related musculoskeletal disorders. The purpose of the present study was to translate and adapt a Job Factors Questionnaire for the Brazilian–Portuguese language and evaluate its psychometric properties. A cross-cultural adaptation was performed according to an internationally recommended methodology involving translation, synthesis, back-translation, revision by an expert committee, and pre-testing. The psychometric properties were evaluated by administering the questionnaire to 148 employees at two companies involved in the assembly and fabrication of metal products. The reliability of the questionnaire was assessed by measuring the temporal stability through a test–retest design. Construct validity was assessed using the known-groups technique and by comparing workers responses with findings from the Nordic Questionnaire. Reliability was determined to be satisfactory based on Intraclass Correlation Coefficients ranging from 0.54 to 0.73. Construct validity analysis demonstrated a significant difference (p ≤ 0.02) between production and office workers on answers to 10 questionnaire items, and a significant difference (p ≤ 0.01) on the scores of the adapted questionnaire between subjects that indicated presence or absence of musculoskeletal symptoms. The results indicated that the adapted version of the questionnaire had psychometric properties that were acceptable for use in occupational studies involving workers that speak Brazilian–Portuguese.
Relevance to industry
The present study provides results of a cross-cultural adaptation process and a psychometric properties analysis of an instrument that verifies workers' perception of job factors that may lead to work-related pain and discomfort. 相似文献83.
84.
85.
The recognition of digital shapes is a deeply studied problem. The arithmetical framework, initiated by Reveillès [Géométrie discrète, calcul en nombres entiers et algorithmique, Thèse d’Etat, 1991], provides a powerful theoretical basis, as well as many algorithms to deal with digital objects. The tangential cover, first presented in Feschet and Tougne [Optimal time computation of the tangent of a discrete curve: application to the curvature, in: G. Bertrand, M. Couprie, L. Perroton (Eds.), 8th Discrete Geometry for Computer Imagery, Lecture Notes in Computer Science, vol. 1568, Springer, Berlin, 1999, pp. 31-40] and Feschet [Canonical representations of discrete curves, Pattern Anal. Appl. 8(1-2) (2005) 84-94] is a useful tool for representing geometric digital primitives. It computes the set of all maximal segments of a digital curve and permits either to obtain minimal length polygonalization or asymptotic convergence of tangents estimations. Nevertheless, the arithmetical approach does not tolerate the introduction of irregularities, which are however inherent to the acquisition of digital shapes. The present paper is an extension of Faure and Feschet [Tangential cover for thick digital curves, in: D. Coeurjolly, I. Sivignon, L. Tougne, F. Dupont (Eds.), DGCI 2008, Lecture Notes in Computer Science, vol. 4992, Springer, Berlin, 2008, pp. 358-369], in which we propose a new definition for a class of the so-called “thick digital curves” that applies well to a large class of digital object boundaries. We then propose an extension of the tangential cover to thick digital curves and provide an algorithm with an O(nlogn) time complexity, where n denotes the number of points of specific subparts of the thick digital curve. In order to keep up with this low complexity, some critical points must be taken into account. We describe all required implementation details in this paper. 相似文献
86.
This paper presents the retrieval method L-APOM which aims at characterizing the microphysical and optical properties of aerosol plumes from hyperspectral images with high spatial resolution. The inversion process is divided into three steps: estimation of the ground reflectance below the plume, characterization of the standard atmosphere (gases and background aerosols) and estimation of the plume aerosols properties. As using spectral information only is not sufficient to insure uniqueness of solutions, original constraints are added by assuming slow spatial variations of particles properties within the plume. The whole inversion process is validated on a large set of simulated images and reveals to remain accurate even in the worst cases of noise: relative estimation errors of aerosol properties remain between 10% and 20% in most cases. L-APOM is applied on a real AVIRIS hyperspectral image of a biomass burning plume for which in situ measurements are available. Retrieved properties appear globally consistent with measurements. 相似文献
87.
The simulation of the wind action over the CAARC (Commonwealth Advisory Aeronautical Council) standard tall building model is performed in the present work. Aerodynamic and aeroelastic analyses are reproduced numerically in order to demonstrate the applicability of CFD techniques in the field of wind engineering. A major topic in this paper is referred to one of the first attempts to simulate the aeroelastic behavior of a tall building employing complex CFD techniques. Numerical results obtained in this work are compared with numerical and wind tunnel measurements and some important concluding remarks about the present simulation are also reported. 相似文献
88.
This paper presents an algorithm for choosing the order in which pseudo-intents are enumerated when computing the Duquenne–Guigues basis of a formal context. Sets are constructed through the use of a spanning tree to ensure they are all found once. The time and space complexities of the algorithm are empirically evaluated using, respectively, the number of logical closures and the number of sets in memory as measures. It is found that only the space complexity depends on the enumeration order. 相似文献
89.
Alexandre Boulgakov Thomas Gibson-Robinson A. W. Roscoe 《Formal Aspects of Computing》2016,28(3):381-407
We present and compare several algorithms for computing the maximal strong bisimulation, the maximal divergence-respecting delay bisimulation, and the maximal divergence-respecting weak bisimulation of a generalised labelled transition system. These bisimulation relations preserve CSP semantics, as well as the operational semantics of programs in other languages with operational semantics described by such GLTSs and relying only on observational equivalence. They can therefore be used to combat the space explosion problem faced in explicit model checking for such languages. We concentrate on algorithms which work efficiently when implemented rather than on ones which have low asymptotic growth. 相似文献
90.