全文获取类型
收费全文 | 5416篇 |
免费 | 352篇 |
国内免费 | 2篇 |
专业分类
电工技术 | 36篇 |
综合类 | 3篇 |
化学工业 | 1012篇 |
金属工艺 | 59篇 |
机械仪表 | 79篇 |
建筑科学 | 156篇 |
矿业工程 | 6篇 |
能源动力 | 107篇 |
轻工业 | 1165篇 |
水利工程 | 75篇 |
石油天然气 | 24篇 |
无线电 | 244篇 |
一般工业技术 | 781篇 |
冶金工业 | 1247篇 |
原子能技术 | 13篇 |
自动化技术 | 763篇 |
出版年
2024年 | 14篇 |
2023年 | 56篇 |
2022年 | 53篇 |
2021年 | 114篇 |
2020年 | 113篇 |
2019年 | 135篇 |
2018年 | 214篇 |
2017年 | 210篇 |
2016年 | 197篇 |
2015年 | 174篇 |
2014年 | 232篇 |
2013年 | 428篇 |
2012年 | 361篇 |
2011年 | 341篇 |
2010年 | 265篇 |
2009年 | 224篇 |
2008年 | 251篇 |
2007年 | 230篇 |
2006年 | 164篇 |
2005年 | 120篇 |
2004年 | 105篇 |
2003年 | 98篇 |
2002年 | 85篇 |
2001年 | 80篇 |
2000年 | 50篇 |
1999年 | 70篇 |
1998年 | 508篇 |
1997年 | 276篇 |
1996年 | 182篇 |
1995年 | 89篇 |
1994年 | 74篇 |
1993年 | 73篇 |
1992年 | 24篇 |
1991年 | 14篇 |
1990年 | 9篇 |
1989年 | 11篇 |
1988年 | 12篇 |
1987年 | 17篇 |
1986年 | 12篇 |
1985年 | 12篇 |
1984年 | 7篇 |
1983年 | 5篇 |
1982年 | 3篇 |
1981年 | 9篇 |
1980年 | 7篇 |
1979年 | 2篇 |
1978年 | 7篇 |
1977年 | 12篇 |
1976年 | 17篇 |
1973年 | 2篇 |
排序方式: 共有5770条查询结果,搜索用时 15 毫秒
71.
Carlos?Alberto?Martínez-Angeles Haicheng?Wu Inês?DutraEmail author Vítor?Santos?Costa Jorge?Buenabad-Chávez 《International journal of parallel programming》2016,44(3):663-685
Relational learning algorithms mine complex databases for interesting patterns. Usually, the search space of patterns grows very quickly with the increase in data size, making it impractical to solve important problems. In this work we present the design of a relational learning system, that takes advantage of graphics processing units (GPUs) to perform the most time consuming function of the learner, rule coverage. To evaluate performance, we use four applications: a widely used relational learning benchmark for predicting carcinogenesis in rodents, an application in chemo-informatics, an application in opinion mining, and an application in mining health record data. We compare results using a single and multiple CPUs in a multicore host and using the GPU version. Results show that the GPU version of the learner is up to eight times faster than the best CPU version. 相似文献
72.
The intrinsic laminarity of microfluidic devices impedes the mixing of multiple fluids over short temporal or spatial scales. Despite the existence of several mixers capable of stirring and stretching the flows to promote mixing, most approaches sacrifice temporal or spatial control, portability, or flexibility in terms of operating flow rates. Here, we report a novel method for rapid micromixing based on the generation of cavitation bubbles. By using a portable battery-powered electric circuit, we induce a localized electric spark between two tip electrodes perpendicular to the flow channel that results in several cavitation events. As a result, a vigorous stirring mechanism is induced. We investigate the spatiotemporal dynamics of the spark-generated cavitation bubbles and quantify the created flow disturbance. We demonstrate rapid (in the millisecond timescale) and efficient micromixing (up to 98%) within a length scale of only 200 µm and over a flow rate ranging from 5 to 40 µL/min. 相似文献
73.
Eric Pedrol Javier Martínez Magdalena Aguiló Manuel Garcia-Algar Moritz Nazarenus Luca Guerrini Eduardo Garcia-Rico Francesc Díaz Jaume Massons 《Microfluidics and nanofluidics》2017,21(12):181
This paper presents an optofluidic device for cell discrimination with two independent interrogation regions. Pumping light is coupled to the device, and cell fluorescence is extracted from the two interrogation zones by using optical fibers embedded in the optofluidic chip. To test the reliability of this device, AU-565 cells—expressing EpCAM and HER2 receptors—and RAMOS cells were mixed in a controlled manner, confined inside a hydrodynamic focused flow in the microfluidic chip and detected individually so that they could be discriminated as positive (signal reception from fluorescently labeled antibodies from the AU-565 cells) or negative events (RAMOS cells). A correlation analysis of the two signals reduces the influence of noise on the overall data. 相似文献
74.
Mariano Zelke 《Information Processing Letters》2011,111(3):145-150
We show that the exact computation of a minimum or a maximum cut of a given graph G is out of reach for any one-pass streaming algorithm, that is, for any algorithm that runs over the input stream of G's edges only once and has a working memory of o(n2) bits. This holds even if randomization is allowed. 相似文献
75.
Juan M. Marín Pérez Jorge Bernal Bernabé Jose M. Alcaraz Calero Felix J. Garcia Clemente Gregorio Martínez Pérez Antonio F. Gómez Skarmeta 《Future Generation Computer Systems》2011,27(1):40-55
There are a few issues that still need to be covered regarding security in the Grid area. One of them is authorization where there exist good solutions to define, manage and enforce authorization policies in Grid scenarios. However, these solutions usually do not provide Grid administrators with semantic-aware components closer to the particular Grid domain and easing different administration tasks such as conflict detection or resolution. This paper defines a proposal based on Semantic Web to define, manage and enforce security policies in a Grid scenario. These policies are defined by means of semantic-aware rules which help the administrator to create higher-level definitions with more expressiveness. These rules also permit performing added-value tasks such as conflict detection and resolution, which can be of interest in medium and large scale scenarios where different administrators define the authorization rules that should be followed before accessing a resource in the Grid. The proposed solution has been also tested providing some reasonable response times in the authorization decision process. 相似文献
76.
Francisco Jes��s Mart��n-Mateos Jos�� Luis Ruiz-Reina Jos�� Antonio Alonso Mar��a Jos�� Hidalgo 《Journal of Automated Reasoning》2011,47(3):229-250
Higman??s lemma is an important result in infinitary combinatorics, which has been formalized in several theorem provers. In this paper we present a formalization and proof of Higman??s Lemma in the ACL2 theorem prover. Our formalization is based on a proof by Murthy and Russell, where the key termination argument is justified by the multiset relation induced by a well-founded relation. To our knowledge, this is the first mechanization of this proof. 相似文献
77.
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. 相似文献
78.
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. 相似文献
79.
Fernández-Miyakawa ME Dorr R Fernández LE Uzal FA Ibarra C 《Computer methods and programs in biomedicine》2007,85(2):95-100
This paper describes the development of a simple system for measurement of net water movement through biological membrane barriers. The system is based on the detection of a water meniscus inside a polyethylene tube, which reflects the water movement inside one hemichamber of a modified Ussing chamber containing a membrane barrier. The detection device consists of a commercial computer-controlled flat bed scanner and specifically developed software. This system allows one to perform a relatively high number of individual experiments per physical unit. It is a flexible and affordable device, which allows comparatively more information per unit to be obtained than previously described methods. 相似文献
80.
Guidelines for the incremental identification of aspects in requirements specifications 总被引:1,自引:0,他引:1
Jorge García-Duque Martín López-Nores José J. Pazos-Arias Ana Fernández-Vilas Rebeca P. Díaz-Redondo Alberto Gil-Solla Manuel Ramos-Cabrer Yolanda Blanco-Fernández 《Requirements Engineering》2006,11(4):239-263
The desired principle of separation of concerns in software development can be jeopardized by the so-called crosscutting concerns, which tend to be scattered over (and tangled with) the functionality of the modular units of a system. The correct identification of such concerns (and their encapsulation into separate artifacts) is thereby considered a way to improve software understanding and evolution. Pursuing a proper management of concerns from the requirements engineering stage can greatly benefit the entire software life-cycle. In this paper, we propose conceptual guidelines on how to perform the identification of crosscutting concerns in the process of building requirements specifications. We argue that the identification must be carried out in an incremental way, to encapsulate apart the crosscutting concerns even if they have not emerged completely yet.
相似文献
Yolanda Blanco-FernándezEmail: |