全文获取类型
收费全文 | 6314篇 |
免费 | 836篇 |
国内免费 | 23篇 |
专业分类
电工技术 | 58篇 |
综合类 | 117篇 |
化学工业 | 1780篇 |
金属工艺 | 96篇 |
机械仪表 | 114篇 |
建筑科学 | 254篇 |
矿业工程 | 16篇 |
能源动力 | 751篇 |
轻工业 | 658篇 |
水利工程 | 42篇 |
石油天然气 | 16篇 |
无线电 | 631篇 |
一般工业技术 | 1053篇 |
冶金工业 | 711篇 |
原子能技术 | 56篇 |
自动化技术 | 820篇 |
出版年
2022年 | 55篇 |
2021年 | 65篇 |
2020年 | 73篇 |
2019年 | 113篇 |
2018年 | 135篇 |
2017年 | 147篇 |
2016年 | 184篇 |
2015年 | 238篇 |
2014年 | 253篇 |
2013年 | 398篇 |
2012年 | 270篇 |
2011年 | 337篇 |
2010年 | 486篇 |
2009年 | 421篇 |
2008年 | 577篇 |
2007年 | 239篇 |
2006年 | 247篇 |
2005年 | 196篇 |
2004年 | 198篇 |
2003年 | 182篇 |
2002年 | 190篇 |
2001年 | 121篇 |
2000年 | 133篇 |
1999年 | 105篇 |
1998年 | 121篇 |
1997年 | 91篇 |
1996年 | 103篇 |
1995年 | 85篇 |
1994年 | 96篇 |
1993年 | 81篇 |
1992年 | 72篇 |
1991年 | 51篇 |
1990年 | 71篇 |
1989年 | 71篇 |
1988年 | 49篇 |
1987年 | 50篇 |
1986年 | 47篇 |
1985年 | 72篇 |
1984年 | 61篇 |
1983年 | 63篇 |
1982年 | 52篇 |
1981年 | 49篇 |
1980年 | 49篇 |
1979年 | 59篇 |
1978年 | 31篇 |
1977年 | 45篇 |
1976年 | 40篇 |
1975年 | 41篇 |
1974年 | 31篇 |
1973年 | 27篇 |
排序方式: 共有7173条查询结果,搜索用时 15 毫秒
101.
102.
We present a novel approach to the automated marking of student programming assignments. Our technique quantifies the structural similarity between unmarked student submissions and marked solutions, and is the basis by which we assign marks. This is accomplished through an efficient novel graph similarity measure (AssignSim). Our experiments show good correlation of assigned marks with that of a human marker. 相似文献
103.
Deduction modulo is a way to combine computation and deduction in proofs, by applying the inference rules of a deductive system (e.g. natural deduction or sequent calculus) modulo some congruence that we assume here to be presented by a set of rewrite rules. Using deduction modulo is equivalent to proving in a theory corresponding to the rewrite rules, and leads to proofs that are often shorter and more readable. However, cuts may be not admissible anymore.We define a new system, the unfolding sequent calculus, and prove its equivalence with the sequent calculus modulo, especially w.r.t. cut-free proofs. It permits to show that it is even undecidable to know if cuts can be eliminated in the sequent calculus modulo a given rewrite system.Then, to recover the cut admissibility, we propose a procedure to complete the rewrite system such that the sequent calculus modulo the resulting system admits cuts. This is done by generalizing the Knuth–Bendix completion in a non-trivial way, using the framework of abstract canonical systems.These results enlighten the entanglement between computation and deduction, and the power of abstract completion procedures. They also provide an effective way to obtain systems admitting cuts, therefore extending the applicability of deduction modulo in automated theorem proving. 相似文献
104.
Jean‐Paul M. Arnaout Marwan Maatouk 《International Transactions in Operational Research》2010,17(5):595-605
The agriculture sector still lacks the tools and models to enhance the utilization of different resources. This paper addresses the vineyard harvesting problem in developing countries, with the objective of optimizing the wine quality and minimizing the operational costs. Heuristics were introduced to better assign the harvesting days to the different grape blocks that exist in the vineyard's field. The quality of the grapes was a key target as it can transform production from a pinnacle wine to a bulk one. We solved several numerical examples for verification and demonstrative purposes and found that our proposed approach finds solutions that significantly reduce the harvesting costs in the vineyard and considerably outperform Branch and Bound algorithm especially for large problems. 相似文献
105.
Paul Schmieder Beryl Plimmer Jean Vanderdonckt 《Journal of Visual Languages and Computing》2010,21(2):98-108
Diagrams are often used to model complex systems: in many cases several different types of diagrams are used to model different aspects of the system. These diagrams, perhaps from multiple stakeholders of different specialties, must be combined to achieve a full abstract representation of the system. Many CAD tools offer multi-diagram integration; however, sketch-based diagramming tools are yet to tackle this difficult integration problem. We extend the diagram sketching tool InkKit to combine software engineering sketches of different types. Our extensions support software design processes by providing a sketch-based approach that allows the iterative creation of multiple outputs interacting with one another from the inter-linked models. We demonstrate that InkKit can generate a functional system consisting of a user interface with processes to submit and retrieve data from a database from sketched user interfaces designs and sketched entity relationship diagrams. 相似文献
106.
107.
108.
Advances in e-learning technologies parallels a general increase in sophistication by computer users. The use of just one theory or model, such as the technology acceptance model, is no longer sufficient to study the intended use of e-learning systems. Rather, a combination of theories must be integrated in order to fully capture the complexity of e-learners, who are both system users and learners. The current research presents an integrated theoretical framework to study users’ acceptance of streaming media for e-learning. Three streams of research provide the basis for this integrated framework: the technology acceptance model, flow theory and media richness theory. Students enrolled in an online section of an information systems course used one of three different combinations of text, streamed audio and streamed video. Regression analysis was used to test the hypotheses in this field experiment. Perceived ease of use was a predictor of perceived usefulness; both the perceived usefulness and the attitude of the user were predictors of intention to use. Richer content-presentation types were positively correlated with higher concentration levels but showed mixed results when correlated with perceived usefulness. Results from this study have practical implications for those interested in integrating streaming media into e-learning. 相似文献
109.
Frédéric Jean Author Vitae Alexandra Branzan Albu Author Vitae 《Pattern recognition》2009,42(11):2936-2949
This paper proposes an approach to compute view-normalized body part trajectories of pedestrians walking on potentially non-linear paths. The proposed approach finds applications in gait modeling, gait biometrics, and in medical gait analysis. Our approach uses the 2D trajectories of both feet and the head extracted from the tracked silhouettes. On that basis, it computes the apparent walking (sagittal) planes for each detected gait half-cycle. A homography transformation is then computed for each walking plane to make it appear as if walking was observed from a fronto-parallel view. Finally, each homography is applied to head and feet trajectories over each corresponding gait half-cycle. View normalization makes head and feet trajectories appear as if seen from a fronto-parallel viewpoint, which is assumed to be optimal for gait modeling purposes. The proposed approach is fully automatic as it requires neither manual initialization nor camera calibration. An extensive experimental evaluation of the proposed approach confirms the validity of the normalization process. 相似文献
110.
Airflow in a slot-ventilated enclosure partially filled with porous boxes: Part I - Measurements and simulations in the clear region 总被引:1,自引:0,他引:1
A reduced-scale model and CFD predictions were used to investigate experimentally and numerically the airflow patterns within a ceiling slot-ventilated enclosure partially loaded with vented boxes filled by spherical objects. The experiments were carried out using laser Doppler velocimetry. Airflows around and inside porous boxes were predicted taking into account their aerodynamic interactions. This work is divided into two parts. This paper presents part I and concerns the air velocity characteristics within the jet above the boxes, while Part II deals with the air velocity characteristics inside the boxes. The results highlight the confinement effect due to the enclosure and the influence of load porosity on jet penetration, its development and hence the heterogeneity of ventilation within the enclosure. The numerical predictions obtained with the computational fluid dynamics Fluent package using the RSM turbulence model show reasonable agreement with experimental data. Predicted velocity profiles were generally within an error of 3-30% of the measured velocities. 相似文献