全文获取类型
收费全文 | 7316篇 |
免费 | 492篇 |
国内免费 | 9篇 |
专业分类
电工技术 | 95篇 |
综合类 | 2篇 |
化学工业 | 2094篇 |
金属工艺 | 115篇 |
机械仪表 | 207篇 |
建筑科学 | 296篇 |
矿业工程 | 24篇 |
能源动力 | 276篇 |
轻工业 | 1141篇 |
水利工程 | 68篇 |
石油天然气 | 39篇 |
无线电 | 457篇 |
一般工业技术 | 1113篇 |
冶金工业 | 417篇 |
原子能技术 | 49篇 |
自动化技术 | 1424篇 |
出版年
2024年 | 24篇 |
2023年 | 102篇 |
2022年 | 281篇 |
2021年 | 324篇 |
2020年 | 223篇 |
2019年 | 242篇 |
2018年 | 292篇 |
2017年 | 315篇 |
2016年 | 294篇 |
2015年 | 249篇 |
2014年 | 339篇 |
2013年 | 613篇 |
2012年 | 483篇 |
2011年 | 582篇 |
2010年 | 405篇 |
2009年 | 440篇 |
2008年 | 372篇 |
2007年 | 344篇 |
2006年 | 293篇 |
2005年 | 211篇 |
2004年 | 167篇 |
2003年 | 179篇 |
2002年 | 151篇 |
2001年 | 85篇 |
2000年 | 93篇 |
1999年 | 79篇 |
1998年 | 101篇 |
1997年 | 79篇 |
1996年 | 70篇 |
1995年 | 54篇 |
1994年 | 38篇 |
1993年 | 34篇 |
1992年 | 17篇 |
1991年 | 22篇 |
1990年 | 16篇 |
1989年 | 22篇 |
1988年 | 15篇 |
1987年 | 12篇 |
1986年 | 11篇 |
1985年 | 16篇 |
1984年 | 10篇 |
1983年 | 10篇 |
1982年 | 15篇 |
1981年 | 8篇 |
1980年 | 10篇 |
1979年 | 10篇 |
1978年 | 21篇 |
1976年 | 12篇 |
1975年 | 5篇 |
1973年 | 5篇 |
排序方式: 共有7817条查询结果,搜索用时 0 毫秒
51.
52.
Carlos Rodríguez Daniel Schleicher Florian Daniel Fabio Casati Frank Leymann Sebastian Wagner 《Service Oriented Computing and Applications》2013,7(4):275-292
Facilitating compliance management, that is, assisting a company’s management in conforming to laws, regulations, standards, contracts, and policies, is a hot but non-trivial task. The service-oriented architecture (SOA) has evolved traditional, manual business practices into modern, service-based IT practices that ease part of the problem: the systematic definition and execution of business processes. This, in turn, facilitates the online monitoring of system behaviors and the enforcement of allowed behaviors—all ingredients that can be used to assist compliance management on the fly during process execution. In this paper, instead of focusing on monitoring and runtime enforcement of rules or constraints, we strive for an alternative approach to compliance management in SOAs that aims at assessing and improving compliance. We propose two ingredients: (i) a model and tool to design compliant service-based processes and to instrument them in order to generate evidence of how they are executed and (ii) a reporting and analysis suite to create awareness of a company’s compliance state and to enable understanding why and where compliance violations have occurred. Together, these ingredients result in an approach that is close to how the real stakeholders—compliance experts and auditors—actually assess the state of compliance in practice and that is less intrusive than enforcing compliance. 相似文献
53.
Carlos Gañán Jose L. Muñoz Oscar Esparza Jorge Mata-Díaz Juan Hernández-Serrano Juanjo Alins 《Journal of Network and Computer Applications》2013,36(5):1337-1351
Vehicular Ad Hoc Networks (VANETs) require mechanisms to authenticate messages, identify valid vehicles, and remove misbehaving vehicles. A public key infrastructure (PKI) can be used to provide these functionalities using digital certificates. However, if a vehicle is no longer trusted, its certificates have to be revoked and this status information has to be made available to other vehicles as soon as possible. In this paper, we propose a collaborative certificate status checking mechanism called COACH to efficiently distribute certificate revocation information in VANETs. In COACH, we embed a hash tree in each standard Certificate Revocation List (CRL). This dual structure is called extended-CRL. A node possessing an extended-CRL can respond to certificate status requests without having to send the complete CRL. Instead, the node can send a short response (less than 1 kB) that fits in a single UDP message. Obviously, the substructures included in the short responses are authenticated. This means that any node possessing an extended-CRL can produce short responses that can be authenticated (including Road Side Units or intermediate vehicles). We also propose an extension to the COACH mechanism called EvCOACH that is more efficient than COACH in scenarios with relatively low revocation rates per CRL validity period. To build EvCOACH, we embed an additional hash chain in the extended-CRL. Finally, by conducting a detailed performance evaluation, COACH and EvCOACH are proved to be reliable, efficient, and scalable. 相似文献
54.
Carlos Ansótegui Miquel Bofill Miquel Palahí Josep Suy Mateu Villaret 《Constraints》2013,18(2):236-268
We introduce WSimply, a new framework for modelling and solving Weighted Constraint Satisfaction Problems (WCSP) using Satisfiability Modulo Theories (SMT) technology. In contrast to other well-known approaches designed for extensional representation of goods or no-goods, and with few declarative facilities, our approach aims to follow an intensional and declarative syntax style. In addition, our language has built-in support for some meta-constraints, such as priority and homogeneity, which allows the user to easily specify rich requirements on the desired solutions, such as preferences and fairness. We propose two alternative strategies for solving these WCSP instances using SMT. The first is the reformulation into Weighted SMT (WSMT) and the application of satisfiability test based algorithms from recent contributions in the Weighted Maximum Satisfiability field. The second one is the reformulation into an operation research-like style which involves an optimisation variable or objective function and the application of optimisation SMT solvers. We present experimental results of two well-known problems: the Nurse Rostering Problem (NRP) and a variant of the Balanced Academic Curriculum Problem (BACP), and provide some insights into the impact of the addition of meta-constraints on the quality of the solutions and the solving time. 相似文献
55.
Stephen J. Walsh Amy L. McCleary Carlos F. Mena Yang Shao Julie P. Tuttle Augusto Gonzlez Rachel Atkinson 《Remote sensing of environment》2008,112(5):291-1941
In the Galapagos Islands of Ecuador, one of the greatest threats to the terrestrial ecosystem is the increasing number and areal extent of invasive species. Increased human presence on the islands has hastened the introduction of plant and animal species that threaten the native and endemic flora and fauna. Considerable research on invasive species in the Galapagos Islands has been conducted by the Charles Darwin Foundation. We complement that work through a spatially- and spectrally-explicit satellite assessment of an important invasive plant species (Psidium guajava — guava) on Isabela Island that integrates diverse remote sensing systems, data types, spatial and spectral resolutions, and analytical and image processing approaches. QuickBird and Hyperion satellite data are processed to characterize the areal extent and spatial structure of guava through the following approaches: (1) QuickBird data are classified through a traditional pixel-based approach (i.e., an unsupervised classification approach using the ISODATA algorithm), as well as an Object-Based Image Analysis (OBIA) approach; (2) multiple approaches for spectral “unmixing” of the Hyperion hyper-spectral data are assessed to construct spectral end-members from QuickBird data using linear and non-linear mixture modeling approaches; and (3) landscape pattern metrics are calculated and compared for the pixel-based, object-based, and spectral unmixing approaches. The spectral–spatial characteristics of guava are interpreted relative to management strategies for the control of guava and the restoration of natural ecosystems in the Galapagos National Park. 相似文献
56.
Jan Rosell Carlos Vázquez Alexander Pérez Pedro Iñiguez 《Journal of Intelligent and Robotic Systems》2008,53(3):223-245
Haptic devices allow a user to feel either reaction forces from virtual interactions or reaction forces reflected from a remote
site during a bilateral teleoperation task. Also, guiding forces can be exerted to train the user in the performance of a
virtual task or to assist him/her to safely teleoperate a robot. The generation of guiding forces relies on the existence
of a motion plan that provides the direction to be followed to reach the goal from any free configuration of the configuration
space (-space). This paper proposes a method to obtain such a plan that interleaves a sampling-based exploration of -space with an efficient computation of harmonic functions. A deterministic sampling sequence (with a bias based on harmonic
function values) is used to obtain a hierarchical cell decomposition model of -space. A harmonic function is iteratively computed over the partially known model using a novel approach. The harmonic function
is the navigation function used as motion plan. The approach has been implemented in a planner (called the Kautham planner) that, given an initial and a goal configuration, provides: (a) a channel of cells connecting the cell that contains
the initial configuration with the cell that contains the goal configuration; (b) two harmonic functions over the whole -space, one that guides motions towards the channel and another that guides motions within the channel towards the goal; and
(c) a path computed over a roadmap built with the free samples of the channel. The harmonic functions and the solution path
are then used to generate the guiding forces for the haptic device. The planning approach is illustrated with examples on
2D and 3D workspaces.
This work was partially supported by the CICYT projects DPI2005-00112 and DPI2007-63665. 相似文献
57.
Everaldo Carlos Luiz Henrique Capparelli Paulo Srgio de Paula Alan Graham 《Sensors and actuators. B, Chemical》2008,130(2):723-729
A new simple method (“line patterning technique”) using only standard office equipment is described whereby clearly defined, electrically conducting patterns of graphite can be deposited on polymer (plastic) or paper substrates. The properties of the conductive patterns have been characterized by electrical conductivity and SEM measurements. Sensors were constructed by using interdigitated patterns of graphite deposited on plastic and paper, and coated with a thin film of conducting electronic polymer, e.g. polyaniline emeraldine salt. 相似文献
58.
Virpi Oksman Ville Ollikainen Elina Noppari Carlos Herrero Antti Tammela 《Multimedia Systems》2008,14(2):105-114
Recently, mobile TV has been launched in several countries. While mobile TV integrates television contents into mobile phones,
the most personal of communication devices, it becomes interesting to know how this feature will be used throughout the day
and in varying contexts of everyday life. This paper presents empirical results on the use of mobile TV with different delivery
mechanisms and both quantitative and qualitative results on how end-users prefer to use mobile TV contents in different situations.
The data is based on ongoing empirical research in Finland in 2006 and 2007. The mobile TV services under study included both
news and entertainment contents, and were tested in 3G, DVB-H and Wi-Fi networks using different delivery paradigms: broadcast,
on-demand and download. To explore the use of different delivery methods and content consumption, we have developed a mobile
TV service protoype, called Podracing. The analysis shows that users appreciated up-to-date information and information-rich
media forms and contents especially for mobile news delivery. There was high demand for only the latest news on mobiles. The
real-time property was considered important. Most of the users looked at the headlines or followed the news several times
a day – much more often than the traditional TV and news prime times would allow. 相似文献
59.
Vanegas Carlos A. Aliaga Daniel G. Bene Bed ich Waddell Paul 《IEEE transactions on visualization and computer graphics》2009,15(3):424-435
Urban simulation models and their visualization are used to help regional planning agencies evaluate alternative transportation investments, land use regulations, and environmental protection policies. Typical urban simulations provide spatially distributed data about number of inhabitants, land prices, traffic, and other variables. In this article, we build on a synergy of urban simulation, urban visualization, and computer graphics to automatically infer an urban layout for any time step of the simulation sequence. In addition to standard visualization tools, our method gathers data of the original street network, parcels, and aerial imagery and uses the available simulation results to infer changes to the original urban layout and produce a new and plausible layout for the simulation results. In contrast with previous work, our approach automatically updates the layout based on changes in the simulation data and thus can scale to a large simulation over many years. The method in this article offers a substantial step forward in building integrated visualization and behavioral simulation systems for use in community visioning, planning, and policy analysis. We demonstrate our method on several real cases using a 200 GB database for a 16,300 km2 area surrounding Seattle, Washington. 相似文献
60.
Carlos T. Calafate P. Manzoni Juan-Carlos Cano M.P. Malumbres 《Computer Networks》2009,53(14):2586-2600
Mobile ad hoc networks (MANETs) show very significant difference with respect to other computer networks due to the presence of extremely large packet loss bursts. The development of protocols for mobile ad hoc networks, especially multimedia protocols, require extensive evaluation either through simulation or real-life tests. Such testing consumes a great amount of resources both in terms of time and trace file sizes. Therefore, finding efficient means of reducing the amount of data that is stored and processed is quite important to accelerate the evaluation of different audio/video streaming applications. If, moreover, we are able to model the loss pattern experienced, we can further accelerate the evaluation process.In this work we propose two models based on hidden Markov chains that are able to grasp both packet arrivals and packet loss patterns in MANETs. A simpler two-state model is proposed to model losses when proactive routing protocols are used, while a more complex three-state model is proposed for reactive routing protocols. We also introduce a new set for packet loss pattern measurements that can be of interest for the evaluation of audio/video streaming applications.Experimental results show that the proposed models can adequately reproduce extremely long packet loss patterns, typical of MANET environments, with a high degree of accuracy. Overall, we find that the proposed models are able to significantly reduce both the simulation time and the trace file sizes required. 相似文献