全文获取类型
收费全文 | 3475篇 |
免费 | 267篇 |
国内免费 | 3篇 |
专业分类
电工技术 | 47篇 |
综合类 | 3篇 |
化学工业 | 1140篇 |
金属工艺 | 44篇 |
机械仪表 | 78篇 |
建筑科学 | 125篇 |
矿业工程 | 3篇 |
能源动力 | 118篇 |
轻工业 | 399篇 |
水利工程 | 18篇 |
无线电 | 320篇 |
一般工业技术 | 644篇 |
冶金工业 | 107篇 |
原子能技术 | 43篇 |
自动化技术 | 656篇 |
出版年
2024年 | 8篇 |
2023年 | 44篇 |
2022年 | 243篇 |
2021年 | 267篇 |
2020年 | 112篇 |
2019年 | 103篇 |
2018年 | 128篇 |
2017年 | 127篇 |
2016年 | 160篇 |
2015年 | 142篇 |
2014年 | 149篇 |
2013年 | 235篇 |
2012年 | 220篇 |
2011年 | 273篇 |
2010年 | 195篇 |
2009年 | 195篇 |
2008年 | 168篇 |
2007年 | 144篇 |
2006年 | 140篇 |
2005年 | 100篇 |
2004年 | 88篇 |
2003年 | 70篇 |
2002年 | 53篇 |
2001年 | 38篇 |
2000年 | 29篇 |
1999年 | 37篇 |
1998年 | 37篇 |
1997年 | 32篇 |
1996年 | 30篇 |
1995年 | 13篇 |
1994年 | 25篇 |
1993年 | 11篇 |
1992年 | 10篇 |
1991年 | 5篇 |
1989年 | 8篇 |
1988年 | 2篇 |
1987年 | 2篇 |
1986年 | 6篇 |
1985年 | 12篇 |
1984年 | 8篇 |
1983年 | 17篇 |
1982年 | 8篇 |
1981年 | 9篇 |
1980年 | 12篇 |
1979年 | 7篇 |
1978年 | 3篇 |
1977年 | 9篇 |
1976年 | 3篇 |
1975年 | 2篇 |
1973年 | 2篇 |
排序方式: 共有3745条查询结果,搜索用时 15 毫秒
111.
Francesco Basile Pasquale Chiacchio Domenico Del Grosso 《Control Engineering Practice》2012,20(12):1426-1437
Nowadays the low cost of wireless communications allows the real time monitoring of the state of manual-pick warehouse systems making possible the real time control of these systems. At this aim, an approach based on a two-level model is presented in this paper. At the lower level, Petri nets are used to build online a model representing the active missions state and to detect conflicts among resources. At the upper level, logical expressions are used to add constraints for a single mission or item. The model is proved to be effective for online monitoring, scheduling and rescheduling of warehouse activities. 相似文献
112.
A hybrid model for real time simulation of urban traffic 总被引:1,自引:0,他引:1
In this paper a hybrid model is presented to predict the behavior of traffic in urban area. Intersections and on/off-ramps are modeled by Colored Timed Petri Nets while road links are modeled by a stochastic discrete time model. It is assumed that vehicle routings at each intersection are stochastic. A Particle Filter algorithm based on the hybrid model is developed to estimate the system state. The validation of the model by using real data is discussed. The limited computational effort required makes the model suitable to be used in simulation-based control schemes for urban traffic. 相似文献
113.
This paper presents a multi-application traffic generator (MTG), aimed at the generation of packets over a LAN. The generated traffic simulates the one produced by a number of both isochronous and anisochronous applications, thus allowing the measurement of a number of parameters relevant to the communication network. From a test point of view, data generated by the MTG system is equivalent to data generated by real applications spread over a LAN. The MTG system is presented, its implementation is described, some figures relevant to the MTG performance are shown, and the statistical analysis which can be performed on the recorded data is briefly introduced. The user manual of the MTG system is referenced in (Celandroni, Ferro, and Potorti 1995). 相似文献
114.
The paper describes the region between a Maxwellian plasma source and a floating surface by a 1D-3 V fully kinetic, electrostatic particle simulation. The electric field is self-consistently computed from the Poisson equation. The secondary electron emission is modelled by considering an expression for the secondary emission coefficient dependent on the primary electron energy and surface materials and a realistic secondary electron distribution function is introduced at the collector surface. The model is able to simulate the space-charge-limited conditions as well as the positively charged wall cases. 相似文献
115.
Steptoe Andrew; Perkins-Porras Linda; Rink Elisabeth; Hilton Sean; Cappuccio Francesco P. 《Canadian Metallurgical Quarterly》2004,23(6):574
This study assessed psychological and social factors predicting 12-month changes in fruit and vegetable consumption achieved by 271 men and women from a low-income population randomized to brief behavioral and nutrition education counseling. Greater increases in fruit and vegetable intake were achieved in the behavioral than in the nutrition education condition (1.49 vs. 0.87 portions per day, p=.021). Increases were predicted by baseline social support for dietary change but not by baseline psychological measures. However, short-term (8-week) changes in dietary self-efficacy, encouragement, anticipated regret, perceived benefits, and knowledge of recommended intake predicted 12-month changes in fruit and vegetable consumption independently of gender, age, ethnicity, income, and baseline intake. These factors accounted for 51% of the superiority of behavioral counseling over nutrition education. (PsycINFO Database Record (c) 2010 APA, all rights reserved) 相似文献
116.
Francesco Calvetti Claudio di Prisco Roberto Nova 《Canadian Metallurgical Quarterly》2004,130(12):1292-1299
Cases of pipeline damage caused by landslides are common in coastal or mountainous regions, where a continuous monitoring/repair activity is planned in order to maintain their serviceability. The analysis of the soil–structure interaction phenomenon can be invoked to improve the planning and design of buried pipelines, to guide monitoring, and to reduce the risk of damage or failure. Two different approaches are considered in this paper: small scale laboratory tests and numerical simulations using the distinct element method (DEM). The experimental setup consists of a box filled with sand and water. Several experiments were performed, in which the diameter and the depth of the tube varied. The numerical simulations are divided in two separate series: in the first, the numerical model is calibrated and its reliability in reproducing the experimental tests is checked; in the second series, the direction of the relative displacement between the tube and the surrounding “numerical soil” varies over the range ±90° with respect to the horizontal. In the latter, both vertical and horizontal components of the drag force are measured and the corresponding interaction diagrams are constructed. The DEM simulations provide useful information about the shape of the failure mechanisms and the force transfer within the soil. 相似文献
117.
We propose an alternative approach to generate languages by means of P systems: building up an appropriate representation
for a string by means of a corresponding membrane structure and then generating the string by visiting the membrane structure
according to a well-specified strategy. To this aim, we consider P systems with active membranes, allowing membrane creation
or division or duplication and dissolution, where the output of a computation may be obtained either by visiting the tree
associated with the membrane structure, or by following the traces of a specific object, called traveller, or sending out
the objects. For each of these approaches, we provide characterizations of recursively enumerable languages based on P systems
that use different sets of operations for modifying the membrane structure.
Francesco Bernardini: He started his Ph.D. at the University of Sheffield in December 2002 after having previously got a master degree in Computer
Science from the University of Pisa in Italy. His research is dedicated to the study of theoretical aspects of membrane computing
(P systems) and discrete models of biological systems based on P systems.
Marian Gheorghe, Ph.D.: His main research interests are in computational models and their applications to software modelling and testing, formal
specifications of agent based systems, software engineering. He was investigating computational power of various generative
devices (regular, context-free, fully initial; grammar systems; L-systems and variants). He is currently interested in natural
computing (membrane calculus) and biological modelling. 相似文献
118.
A method is presented for checking secure information flow in Java bytecode, assuming a multilevel security policy that assigns security levels to the objects. The method exploits the type‐level abstract interpretation of standard bytecode verification to detect illegal information flows. We define an algorithm transforming the original code into another code in such a way that a typing error detected by the Verifier on the transformed code corresponds to a possible illicit information flow in the original code. We present a prototype tool that implements the method and we show an example of application. Copyright © 2004 John Wiley & Sons, Ltd. 相似文献
119.
Focused ion beam (FIB) techniques are among the most important tools for the nanostructuring of surfaces. We used the FIB/SEM (scanning electron microscope) for milling and imaging of digestive gland cells. The aim of our study was to document the interactions of FIB with the surface of the biological sample during FIB investigation, to identify the classes of artifacts, and to test procedures that could induce the quality of FIB milled sections by reducing the artifacts. The digestive gland cells were prepared for conventional SEM. During FIB/SEM operation we induced and enhanced artifacts. The results show that FIB operation on biological tissue affected the area of the sample where ion beam was rastering. We describe the FIB-induced surface major artifacts as a melting-like effect, sweating-like effect, morphological deformations, and gallium (Ga(+)) implantation. The FIB induced surface artifacts caused by incident Ga(+) ions were reduced by the application of a protective platinum strip on the surface exposed to the beam and by a suitable selection of operation protocol. We recommend the same sample preparation methods, FIB protocol for milling and imaging to be used also for other biological samples. 相似文献
120.
Francesco Palmieri Ugo Fiore Aniello Castiglione Alfredo De Santis 《Applied Soft Computing》2013,13(1):615-627
In the last years, the interest in methods and techniques for circumventing the security of the available digital video broadcasting systems is continuously increasing. Digital TV providers are struggling to restrict access to their video contents only to authorized users, by deploying more and more sophisticated conditional access systems. At the state-of-the-art, the most significant menace is the card-sharing activity which exploits a known weakness allowing an authorized subscriber to provide access to digital contents to a potentially large group of unauthorized ones connected over a communication network. This is usually realized by using ad hoc customized devices. Detecting the presence of these illegal systems on a network, by recognizing their related traffic is an issue of primary importance. Unfortunately, to avoid the identification of such traffic, payload obfuscation strategies based on encryption are often used, hindering packet inspection techniques.This paper presents a strategy for the detection of card-sharing traffic, empowered by machine-learning-driven traffic classification techniques and based on the natural capability of wavelet analysis to decompose a traffic time series into several component series associated with particular time and frequency scales and hence allowing its observation at different frequency component levels and with different resolutions. These ideas have been used for the proof-of-concept implementation of an SVM-based binary classification scheme that relies only on time regularities of the traffic and not on the packet contents and hence is immune to payload obfuscation techniques. 相似文献