全文获取类型
收费全文 | 3573篇 |
免费 | 212篇 |
国内免费 | 3篇 |
专业分类
电工技术 | 54篇 |
综合类 | 2篇 |
化学工业 | 596篇 |
金属工艺 | 71篇 |
机械仪表 | 43篇 |
建筑科学 | 232篇 |
矿业工程 | 27篇 |
能源动力 | 88篇 |
轻工业 | 439篇 |
水利工程 | 26篇 |
石油天然气 | 17篇 |
无线电 | 309篇 |
一般工业技术 | 577篇 |
冶金工业 | 435篇 |
原子能技术 | 30篇 |
自动化技术 | 842篇 |
出版年
2023年 | 33篇 |
2022年 | 31篇 |
2021年 | 103篇 |
2020年 | 73篇 |
2019年 | 104篇 |
2018年 | 132篇 |
2017年 | 118篇 |
2016年 | 152篇 |
2015年 | 113篇 |
2014年 | 153篇 |
2013年 | 245篇 |
2012年 | 209篇 |
2011年 | 239篇 |
2010年 | 178篇 |
2009年 | 175篇 |
2008年 | 205篇 |
2007年 | 181篇 |
2006年 | 156篇 |
2005年 | 127篇 |
2004年 | 122篇 |
2003年 | 89篇 |
2002年 | 114篇 |
2001年 | 44篇 |
2000年 | 47篇 |
1999年 | 44篇 |
1998年 | 73篇 |
1997年 | 56篇 |
1996年 | 51篇 |
1995年 | 34篇 |
1994年 | 38篇 |
1993年 | 33篇 |
1992年 | 30篇 |
1991年 | 24篇 |
1990年 | 24篇 |
1989年 | 25篇 |
1988年 | 9篇 |
1987年 | 19篇 |
1986年 | 18篇 |
1985年 | 20篇 |
1984年 | 29篇 |
1983年 | 14篇 |
1982年 | 13篇 |
1981年 | 11篇 |
1980年 | 15篇 |
1979年 | 12篇 |
1977年 | 7篇 |
1976年 | 10篇 |
1975年 | 8篇 |
1974年 | 6篇 |
1973年 | 6篇 |
排序方式: 共有3788条查询结果,搜索用时 52 毫秒
111.
Keerthy Kusumam Tomáš Krajník Simon Pearson Tom Duckett Grzegorz Cielniak 《野外机器人技术杂志》2017,34(8):1505-1518
This paper describes a 3D vision system for robotic harvesting of broccoli using low‐cost RGB‐D sensors, which was developed and evaluated using sensory data collected under real‐world field conditions in both the UK and Spain. The presented method addresses the tasks of detecting mature broccoli heads in the field and providing their 3D locations relative to the vehicle. The paper evaluates different 3D features, machine learning, and temporal filtering methods for detection of broccoli heads. Our experiments show that a combination of Viewpoint Feature Histograms, Support Vector Machine classifier, and a temporal filter to track the detected heads results in a system that detects broccoli heads with high precision. We also show that the temporal filtering can be used to generate a 3D map of the broccoli head positions in the field. Additionally, we present methods for automatically estimating the size of the broccoli heads, to determine when a head is ready for harvest. All of the methods were evaluated using ground‐truth data from both the UK and Spain, which we also make available to the research community for subsequent algorithm development and result comparison. Cross‐validation of the system trained on the UK dataset on the Spanish dataset, and vice versa, indicated good generalization capabilities of the system, confirming the strong potential of low‐cost 3D imaging for commercial broccoli harvesting. 相似文献
112.
One of the main current applications of intelligent systems is recommender systems (RS). RS can help users to find relevant items in huge information spaces in a personalized way. Several techniques have been investigated for the development of RS. One of them is evolutionary computational (EC) techniques, which is an emerging trend with various application areas. The increasing interest in using EC for web personalization, information retrieval and RS fostered the publication of survey papers on the subject. However, these surveys have analyzed only a small number of publications, around ten. This study provides a comprehensive review of more than 65 research publications focusing on five aspects we consider relevant for such: the recommendation technique used, the datasets and the evaluation methods adopted in their experimental parts, the baselines employed in the experimental comparison of proposed approaches and the reproducibility of the reported experiments. At the end of this review, we discuss negative and positive aspects of these papers, as well as point out opportunities, challenges and possible future research directions. To the best of our knowledge, this review is the most comprehensive review of various approaches using EC in RS. Thus, we believe this review will be a relevant material for researchers interested in EC and RS. 相似文献
113.
Angel Rivas Casado Rafael Martinez‐Tomás Antonio Fernández‐Caballero 《Expert Systems》2011,28(5):488-501
This work presents a multi‐agent system for knowledge‐based high‐level event composition, which interprets activities, behaviour and situations semantically in a scenario with multi‐sensory monitoring. A perception agent (plurisensory agent and visual agent)‐based structure is presented. The agents process the sensor information and identify (agent decision system) significant changes in the monitored signals, which they send as simple events to the composition agent that searches for and identifies pre‐defined patterns as higher‐level semantic composed events. The structure has a methodology and a set of tools that facilitate its development and application to different fields without having to start from scratch. This creates an environment to develop knowledge‐based systems generally for event composition. The application task of our work is surveillance, and event composition/inference examples are shown which characterize an alarming situation in the scene and resolve identification and tracking problems of people in the scenario being monitored. 相似文献
114.
In this paper, we present an integration framework for heterogeneous motion generators. The objective is to outline issues that are currently easily solved in professional post-processing systems used in film and game production but which cannot be transposed as is to real-time systems with autonomous agents. We summarise our approach for articulated agent-modelling and their animation by combining heterogeneous motion generators, such as real-time motion capturing, key-framing, inverse kinematics, procedural walking. We propose an agent/action-oriented framework. Activity properties such as action simultaneity and motion blending, spatial coherence, motion-flow update schemes, agent attachments, and location corrections, are the main topics handled by our generic animation framework. Numerous examples throughout the paper illustrate our approach and outline encountered problems and solutions or open research directions. 相似文献
115.
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. 相似文献
116.
The Web is currently evolving from an information space of linked documents, to a Web of linked, machine-readable data. Perhaps counter-intuitively, this shift to publishing data for machine consumption raises many challenges for human-computer interaction. In this article I will discuss some of the implications of this trend for how we interact with the Web of data and consider how familiar tools such as the Web browser may need to develop. 相似文献
117.
What can happen if we combine the best ideas from the Social Web and Semantic Web? The Social Web is an ecosystem of participation, where value is created by the aggregation of many individual user contributions. The Semantic Web is an ecosystem of data, where value is created by the integration of structured data from many sources. What applications can best synthesize the strengths of these two approaches, to create a new level of value that is both rich with human participation and powered by well-structured information? This paper proposes a class of applications called collective knowledge systems, which unlock the “collective intelligence” of the Social Web with knowledge representation and reasoning techniques of the Semantic Web. 相似文献
118.
Robust Classification for Imprecise Environments 总被引:9,自引:0,他引:9
In real-world environments it usually is difficult to specify target operating conditions precisely, for example, target misclassification costs. This uncertainty makes building robust classification systems problematic. We show that it is possible to build a hybrid classifier that will perform at least as well as the best available classifier for any target conditions. In some cases, the performance of the hybrid actually can surpass that of the best known classifier. This robust performance extends across a wide variety of comparison frameworks, including the optimization of metrics such as accuracy, expected cost, lift, precision, recall, and workforce utilization. The hybrid also is efficient to build, to store, and to update. The hybrid is based on a method for the comparison of classifier performance that is robust to imprecise class distributions and misclassification costs. The ROC convex hull (ROCCH) method combines techniques from ROC analysis, decision analysis and computational geometry, and adapts them to the particulars of analyzing learned classifiers. The method is efficient and incremental, minimizes the management of classifier performance data, and allows for clear visual comparisons and sensitivity analyses. Finally, we point to empirical evidence that a robust hybrid classifier indeed is needed for many real-world problems. 相似文献
119.
Attempts to carry out the hydroformylation of allyldiethylamine homogeneously catalyzed by rhodium complexes led to unexpected formation of N,N,N,N-tetraethyl-1,4-diaminobutane and 4-(diethylamino)-1-butanole as final products. The role of the catalyst on the product formation and the reaction mechanism are briefly discussed. 相似文献
120.
Hoffren Anna-Marja; Saloheimo Markku; Thomas Pamela; Overington John P.; Johnson Mark S.; Knowles Jonathan K.C.; Blundell Tom L. 《Protein engineering, design & selection : PEDS》1993,6(2):177-182
A model of the lignin peroxidase LIII of Phlebia radiata wasconstructed on the basis of the structure of cytochrome c peroxidase(CCP). Because of the low percentage of amino acid identitybetween the CCP and the lignin peroxidase LIII of Phlebia radiata,alignment of the sequences was based on the generation of atemplate from a knowledge of the 3-D structure of CCP and consensussequences of lignin peroxidases. This approach gave an alignmentin which all the insertions in the lignin peroxidase were placedat loop regions of CCP, with a 21.1% identity for these twoproteins. The model was constructed using this alignment andthe computer program COMPOSER, which assembles the model asa series of rigid fragments derived from CCP and other proteins.Manual intervention was required for some of the longer loopregions. The -helices forming the structural framework, andespecially the haem environment of CCP, are conserved in theLIII model and the core is close packed without holes. A possiblesite of the substrate oxidation at the haem edge of LIII isdiscussed. 相似文献