全文获取类型
收费全文 | 36652篇 |
免费 | 2296篇 |
国内免费 | 31篇 |
专业分类
电工技术 | 267篇 |
综合类 | 27篇 |
化学工业 | 7574篇 |
金属工艺 | 697篇 |
机械仪表 | 779篇 |
建筑科学 | 1057篇 |
矿业工程 | 75篇 |
能源动力 | 775篇 |
轻工业 | 5761篇 |
水利工程 | 335篇 |
石油天然气 | 129篇 |
武器工业 | 6篇 |
无线电 | 1423篇 |
一般工业技术 | 6224篇 |
冶金工业 | 8503篇 |
原子能技术 | 181篇 |
自动化技术 | 5166篇 |
出版年
2023年 | 312篇 |
2022年 | 398篇 |
2021年 | 883篇 |
2020年 | 730篇 |
2019年 | 810篇 |
2018年 | 1489篇 |
2017年 | 1447篇 |
2016年 | 1510篇 |
2015年 | 1149篇 |
2014年 | 1369篇 |
2013年 | 2861篇 |
2012年 | 2149篇 |
2011年 | 2014篇 |
2010年 | 1632篇 |
2009年 | 1495篇 |
2008年 | 1429篇 |
2007年 | 1336篇 |
2006年 | 940篇 |
2005年 | 788篇 |
2004年 | 720篇 |
2003年 | 657篇 |
2002年 | 622篇 |
2001年 | 449篇 |
2000年 | 425篇 |
1999年 | 475篇 |
1998年 | 2513篇 |
1997年 | 1712篇 |
1996年 | 1099篇 |
1995年 | 658篇 |
1994年 | 524篇 |
1993年 | 606篇 |
1992年 | 224篇 |
1991年 | 216篇 |
1990年 | 170篇 |
1989年 | 173篇 |
1988年 | 170篇 |
1987年 | 151篇 |
1986年 | 129篇 |
1985年 | 160篇 |
1984年 | 143篇 |
1983年 | 102篇 |
1982年 | 140篇 |
1981年 | 165篇 |
1980年 | 164篇 |
1979年 | 97篇 |
1978年 | 87篇 |
1977年 | 296篇 |
1976年 | 655篇 |
1975年 | 66篇 |
1973年 | 77篇 |
排序方式: 共有10000条查询结果,搜索用时 609 毫秒
991.
Francisco García‐Sánchez Luís Álvarez Sabucedo Rodrigo Martínez‐Béjar Luís Anido Rifón Rafael Valencia‐García Juan Miguel Gómez 《Expert Systems》2011,28(5):416-436
The increasing volume of eGovernment‐related services is demanding new approaches for service integration and interoperability in this domain. Semantic web (SW) technologies and applications can leverage the potential of eGovernment service integration and discovery, thus tackling the problems of semantic heterogeneity characterizing eGovernment information sources and the different levels of interoperability. eGovernment services will therefore be semantically described in the foreseeable future. In an environment with semantically annotated services, software agents are essential as the entities responsible for exploiting the semantic content in order to automate some tasks, and so enhance the user's experience. In this paper, we present a framework that provides a seamless integration of semantic web services and intelligent agents technologies by making use of ontologies to facilitate their interoperation. The proposed framework can assist in the development of powerful and flexible distributed systems in complex, dynamic, heterogeneous, unpredictable and open environments. Our approach is backed up by a proof‐of‐concept implementation, where the breakthrough of integrating disparate eGovernment services has been tested. 相似文献
992.
Parallel communicating grammar systems with regular control (RPCGS, for short) are introduced, which are obtained from returning regular parallel communicating grammar systems by restricting the derivations that are executed in parallel by the various components through a regular control language. For the class of languages that are generated by RPCGSs with constant communication complexity we derive a characterisation in terms of a restricted type of freely rewriting restarting automaton. From this characterisation we obtain that these languages are semi-linear, and that for RPCGSs with constant communication complexity, the centralised variant has the same generative power as the non-centralised variant. 相似文献
993.
994.
Varsta Markus Heikkonen Jukka Lampinen Jouko Millán José Del R. 《Neural Processing Letters》2001,13(3):237-251
This paper compares two Self-Organizing Map (SOM) based models for temporal sequence processing (TSP) both analytically and experimentally. These models, Temporal Kohonen Map (TKM) and Recurrent Self-Organizing Map (RSOM), incorporate leaky integrator memory to preserve the temporal context of the input signals. The learning and the convergence properties of the TKM and RSOM are studied and we show analytically that the RSOM is a significant improvement over the TKM, because the RSOM allows simple derivation of a consistent learning rule. The results of the analysis are demonstrated with experiments. 相似文献
995.
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. 相似文献
996.
Juan Francisco Gómez-Lopera José Martínez-Aroza Aureliano M. Robles-Pérez Ramón Román-Roldán 《Journal of Mathematical Imaging and Vision》2000,13(1):35-56
This work constitutes a theoretical study of the edge-detection method by means of the Jensen-Shannon divergence, as proposed by the authors. The overall aim is to establish formally the suitability of the procedure of edge detection in digital images, as a step prior to segmentation. In specific, an analysis is made not only of the properties of the divergence used, but also of the method's sensitivity to the spatial variation, as well as the detection-error risk associated with the operating conditions due to the randomness of the spatial configuration of the pixels. Although the paper deals with the procedure based on the Jensen-Shannon divergence, some problems are also related to other methods based on local detection with a sliding window, and part of the study is focused to noisy and textured images. 相似文献
997.
Termeer M Oliván Bescós J Breeuwer M Vilanova A Gerritsen F Gröller ME Nagel E 《IEEE transactions on visualization and computer graphics》2008,14(6):1595-1602
Visually assessing the effect of the coronary artery anatomy on the perfusion of the heart muscle in patients with coronary artery disease remains a challenging task. We explore the feasibility of visualizing this effect on perfusion using a numerical approach. We perform a computational simulation of the way blood is perfused throughout the myocardium purely based on information from a three-dimensional anatomical tomographic scan. The results are subsequently visualized using both three-dimensional visualizations and bull's eye plots, partially inspired by approaches currently common in medical practice. Our approach results in a comprehensive visualization of the coronary anatomy that compares well to visualizations commonly used for other scanning technologies. We demonstrate techniques giving detailed insight in blood supply, coronary territories and feeding coronary arteries of a selected region. We demonstrate the advantages of our approach through visualizations that show information which commonly cannot be directly observed in scanning data, such as a separate visualization of the supply from each coronary artery. We thus show that the results of a computational simulation can be effectively visualized and facilitate visually correlating these results to for example perfusion data. 相似文献
998.
Koop D Scheidegger CE Callahan SP Freire J Silva CT 《IEEE transactions on visualization and computer graphics》2008,14(6):1691-1698
Building visualization and analysis pipelines is a large hurdle in the adoption of visualization and workflow systems by domain scientists. In this paper, we propose techniques to help users construct pipelines by consensus--automatically suggesting completions based on a database of previously created pipelines. In particular, we compute correspondences between existing pipeline subgraphs from the database, and use these to predict sets of likely pipeline additions to a given partial pipeline. By presenting these predictions in a carefully designed interface, users can create visualizations and other data products more efficiently because they can augment their normal work patterns with the suggested completions. We present an implementation of our technique in a publicly-available, open-source scientific workflow system and demonstrate efficiency gains in real-world situations. 相似文献
999.
The vehicle routing problem with deliveries and pickups is a challenging extension to the vehicle routing problem that lately
attracted growing attention in the literature. This paper investigates the relationship between two versions of this problem,
called “mixed” and “simultaneous”. In particular, we wish to know whether a solution algorithm designed for the simultaneous
case can solve the mixed case. To this end, we implement a metaheuristic based on reactive tabu search. The results suggest
that this approach can yield good results. 相似文献
1000.
Rónán Kennedy 《Information & Communications Technology Law》2008,17(2):95-106
The new industry of Massively Multi-Player Online Role-Playing Games (MMORPGs) brings together two sets of fictions: the interactive stories of shared computer games and the legal devices of intellectual property. In these virtual worlds, scarcity need not exist, but players tend to prefer the competition it creates. This leads to the development of property rights within the game world and players trading real money for virtual objects, ‘land’ and characters. This new phenomenon brings with it familiar legal problems such as theft, fraud and ownership disputes. Game creators also challenge the right of the players to claim ownership outside the game world. The volume and value of the items traded make real money trading an important area of current interest for intellectual property lawyers. Something is being traded, but does it fit neatly into existing conceptions of property rights and who owns it? Analysing the novel problems that result from various theoretical perspectives (utilitarianism, labour-desert theory and personality theory) leads to the conclusion that with time, we will see the development of property rights for players in online games. This connects with a growing understanding that the traditional conception of copyright law dealing with creative work generated by the solitary author is becoming less appropriate in the new creative spaces that information and communications technology brings, where individuals are both consumer and producer. In virtual worlds, new forms of intellectual property, and perhaps even new rights, are taking shape. 相似文献