全文获取类型
收费全文 | 3428篇 |
免费 | 275篇 |
国内免费 | 3篇 |
专业分类
电工技术 | 48篇 |
综合类 | 3篇 |
化学工业 | 1069篇 |
金属工艺 | 44篇 |
机械仪表 | 78篇 |
建筑科学 | 125篇 |
矿业工程 | 3篇 |
能源动力 | 118篇 |
轻工业 | 414篇 |
水利工程 | 18篇 |
无线电 | 319篇 |
一般工业技术 | 653篇 |
冶金工业 | 117篇 |
原子能技术 | 43篇 |
自动化技术 | 654篇 |
出版年
2024年 | 5篇 |
2023年 | 35篇 |
2022年 | 165篇 |
2021年 | 267篇 |
2020年 | 112篇 |
2019年 | 104篇 |
2018年 | 130篇 |
2017年 | 130篇 |
2016年 | 162篇 |
2015年 | 144篇 |
2014年 | 150篇 |
2013年 | 237篇 |
2012年 | 220篇 |
2011年 | 280篇 |
2010年 | 198篇 |
2009年 | 195篇 |
2008年 | 172篇 |
2007年 | 146篇 |
2006年 | 143篇 |
2005年 | 103篇 |
2004年 | 90篇 |
2003年 | 71篇 |
2002年 | 54篇 |
2001年 | 39篇 |
2000年 | 29篇 |
1999年 | 37篇 |
1998年 | 40篇 |
1997年 | 34篇 |
1996年 | 31篇 |
1995年 | 14篇 |
1994年 | 25篇 |
1993年 | 14篇 |
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篇 |
排序方式: 共有3706条查询结果,搜索用时 31 毫秒
101.
Azzurra Ragone Tommaso Di Noia Eugenio Di Sciascio Francesco M. Donini 《Autonomous Agents and Multi-Agent Systems》2008,16(3):249-270
We present a novel logic-based framework to automate multi-issue bilateral negotiation in e-commerce settings. The approach
exploits logic as communication language among agents, and optimization techniques in order to find Pareto-efficient agreements.
We introduce , a propositional logic extended with concrete domains, which allows one to model relations among issues (both numerical and
non-numerical ones) via logical entailment, differently from well-known approaches that describe issues as uncorrelated. Through
it is possible to represent buyer’s request, seller’s supply and their respective preferences as formulas endowed with a
formal semantics, e.g., “if I spend more than 30000 € for a sedan then I want more than a two-years warranty and a GPS system included”. We mix logic and utility theory in order to express preferences in a qualitative and quantitative way. We illustrate the
theoretical framework, the logical language, the one-shot negotiation protocol we adopt, and show we are able to compute Pareto-efficient
outcomes, using a mediator to solve an optimization problem. We prove the computational adequacy of our method by studying
the complexity of the problem of finding Pareto-efficient solutions in our setting. 相似文献
102.
Félix Bou Francesco Paoli Antonio Ledda Hector Freytes 《Soft Computing - A Fusion of Foundations, Methodologies and Applications》2008,12(4):341-352
The present paper is a sequel to Paoli F, Ledda A, Giuntini R, Freytes H (On some properties of QMV algebras and QMV algebras, submitted). We provide two representation results for quasi-MV algebras in terms of MV algebras enriched with
additional structure; we investigate the lattices of subvarieties and subquasivarieties of quasi-MV algebras; we show that
quasi-MV algebras, as well as cartesian and flat quasi-MV algebras, have the amalgamation property. 相似文献
103.
Alessandro Lapadula Rosario Pugliese Francesco Tiezzi 《Electronic Notes in Theoretical Computer Science》2008,200(3):133
To provide formal foundations to current (web) services technologies, we put forward using COWS, a process calculus for specifying, combining and analysing services, as a uniform formalism for modelling all the relevant phases of the life cycle of service-oriented applications, such as publication, discovery, negotiation, deployment and execution. In this paper, we show that constraints and operations on them can be smoothly incorporated in COWS, and propose a disciplined way to model multisets of constraints and to manipulate them through appropriate interaction protocols. Therefore, we demonstrate that also QoS requirement specifications and SLA achievements, and the phases of dynamic service discovery and negotiation can be comfortably modelled in COWS. We illustrate our approach through a scenario for a service-based web hosting provider. 相似文献
104.
Aliaksei Kerhet Michele Magno Francesco Leonardi Andrea Boni Luca Benini 《Journal of Real-Time Image Processing》2007,2(4):331-342
In this paper we propose MicrelEye, a wireless video node for cooperative distributed video processing applications that involve
image classification. The node is equipped with a low-cost VGA CMOS image sensor, a reconfigurable processing engine (FPGA,
Microcontroller, SRAM) and a Bluetooth 100-m transceiver. It has a size of few cubic centimeters and its typical power consumption
is approximately ten times less than that of typical commercial DSP-based solutions. As regards classification, a highly optimized
hardware-oriented support vector machine-like (SVM-like) algorithm called ERSVM is proposed and implemented. We describe our
hardware and software architecture, its performance and power characteristics. The case study considered in this paper is
people detection. The obtained results suggest that the present technology allows for the design of simple intelligent video
nodes capable of performing classification tasks locally.
相似文献
Luca BeniniEmail: |
105.
106.
107.
Regional frequency analysis is a useful tool for accurate estimation of precipitation quantiles than at-site frequency analysis, especially in the case of regions with a short rainfall time series. The use of meteorological information, combined with rainfall data analysis, could improve the selection of homogeneous regions. Starting from 1958, 198 meteorological configurations, related to extreme events, have been identified throughout the national territory of Italy. The reanalyzed meteorological data of the 40 Year Re-analysis Archive (ERA-40) of the European Centre for Medium-Range Weather Forecast (ECMWF) have been analyzed to identify homogeneous regions with respect to the Convective Available Potential Energy (CAPE), the Q vector Divergence (QD) and the Vertically Integrated Moisture Flux (VIMF). The latter index appears to be the better candidate for finding regional homogeneity inside areas where high frequency values of CAPE or QD are present. The paper presents an application based on the delimitation of homogeneous regions using climatic indexes for the island of Sicily. By applying the proposed methodology, seven homogeneous areas over Sicily were found. The consistency of the final results has been validated by using a coupled approach based on the Valuation of Floods in Italy procedure (VAPI) and on the heterogeneity test of Hosking and Wallis (Water Resour Res 29:271–281, 1993, 1997). 相似文献
108.
This paper addresses a visibility-based pursuit-evasion problem in which a team of mobile robots with limited sensing and
communication capabilities must coordinate to detect any evaders in an unknown, multiply-connected planar environment. Our
distributed algorithm to guarantee evader detection is built around maintaining complete coverage of the frontier between
cleared and contaminated regions while expanding the cleared region. We detail a novel distributed method for storing and
updating this frontier without building a map of the environment or requiring global localization. We demonstrate the functionality
of the algorithm through simulations in realistic environments and through hardware experiments. We also compare Monte Carlo
results for our algorithm to the theoretical optimum area cleared as a function of the number of robots available. 相似文献
109.
Francesco Banterle Massimiliano Corsini Paolo Cignoni Roberto Scopigno 《Computer Graphics Forum》2012,31(1):19-32
In this work we present a new algorithm for accelerating the colour bilateral filter based on a subsampling strategy working in the spatial domain. The base idea is to use a suitable subset of samples of the entire kernel in order to obtain a good estimation of the exact filter values. The main advantages of the proposed approach are that it has an excellent trade‐off between visual quality and speed‐up, a very low memory overhead is required and it is straightforward to implement on the GPU allowing real‐time filtering. We show different applications of the proposed filter, in particular efficient cross‐bilateral filtering, real‐time edge‐aware image editing and fast video denoising. We compare our method against the state of the art in terms of image quality, time performance and memory usage. 相似文献
110.
Lorella Fatone Marco Giacinti Francesca Mariani Maria Cristina Recchioni Francesco Zirilli 《The Journal of supercomputing》2012,62(3):1480-1501
This paper shows two examples of how the analysis of option pricing problems can lead to computational methods efficiently implemented in parallel. These computational methods outperform ??general purpose?? methods (i.e., for example, Monte Carlo, finite differences methods). The GPU implementation of two numerical algorithms to price two specific derivatives (continuous barrier options and realized variance options) is presented. These algorithms are implemented in CUDA subroutines ready to run on Graphics Processing Units (GPUs) and their performance is studied. The realization of these subroutines is motivated by the extensive use of the derivatives considered in the financial markets to hedge or to take risk and by the interest of financial institutions in the use of state of the art hardware and software to speed up the decision process. The performance of these algorithms is measured using the (CPU/GPU) speed up factor, that is using the ratio between the (wall clock) times required to execute the code on a CPU and on a GPU. The choice of the reference CPU and GPU used to evaluate the speed up factors presented is stated. The outstanding performance of the algorithms developed is due to the mathematical properties of the pricing formulae used and to the ad hoc software implementation. In the case of realized variance options when the computation is done in single precision the comparisons between CPU and GPU execution times gives speed up factors of the order of a few hundreds. For barrier options, the corresponding speed up factors are of about fifteen, twenty. The CUDA subroutines to price barrier options and realized variance options can be downloaded from the website http://www.econ.univpm.it/recchioni/finance/w13. A?more general reference to the work in mathematical finance of some of the authors and of their coauthors is the website http://www.econ.univpm.it/recchioni/finance/. 相似文献