全文获取类型
收费全文 | 1382篇 |
免费 | 67篇 |
国内免费 | 2篇 |
专业分类
电工技术 | 41篇 |
化学工业 | 423篇 |
金属工艺 | 12篇 |
机械仪表 | 30篇 |
建筑科学 | 41篇 |
矿业工程 | 3篇 |
能源动力 | 74篇 |
轻工业 | 157篇 |
石油天然气 | 2篇 |
无线电 | 111篇 |
一般工业技术 | 296篇 |
冶金工业 | 35篇 |
原子能技术 | 10篇 |
自动化技术 | 216篇 |
出版年
2024年 | 2篇 |
2023年 | 13篇 |
2022年 | 64篇 |
2021年 | 86篇 |
2020年 | 37篇 |
2019年 | 36篇 |
2018年 | 48篇 |
2017年 | 27篇 |
2016年 | 49篇 |
2015年 | 47篇 |
2014年 | 53篇 |
2013年 | 111篇 |
2012年 | 92篇 |
2011年 | 106篇 |
2010年 | 95篇 |
2009年 | 63篇 |
2008年 | 72篇 |
2007年 | 53篇 |
2006年 | 57篇 |
2005年 | 43篇 |
2004年 | 43篇 |
2003年 | 32篇 |
2002年 | 35篇 |
2001年 | 15篇 |
2000年 | 20篇 |
1999年 | 15篇 |
1998年 | 23篇 |
1997年 | 14篇 |
1996年 | 13篇 |
1995年 | 15篇 |
1994年 | 9篇 |
1993年 | 10篇 |
1992年 | 8篇 |
1991年 | 7篇 |
1990年 | 3篇 |
1989年 | 4篇 |
1988年 | 2篇 |
1987年 | 3篇 |
1986年 | 3篇 |
1985年 | 2篇 |
1983年 | 2篇 |
1982年 | 4篇 |
1981年 | 2篇 |
1980年 | 2篇 |
1978年 | 2篇 |
1976年 | 1篇 |
1975年 | 1篇 |
1973年 | 1篇 |
1972年 | 3篇 |
1965年 | 1篇 |
排序方式: 共有1451条查询结果,搜索用时 15 毫秒
21.
The
4
He wetting transition on a Cs surface is for the first time studied by Path Integral Monte Carlo simulation. Numerical results for a system of 64
4
He atoms are qualitatively consistent with a wetting transition at a temperature T 2 K. 相似文献
22.
Massimo Merro 《Acta Informatica》2010,47(2):111-132
We apply powerful proof-techniques of concurrency theory to study the observational theory of Thielecke’s CPS-calculus, a distillation of the target language of Continuation-Passing Style transforms. We define a labelled transition system from which we derive a (weak) labelled bisimilarity that completely characterises Morris’ context-equivalence. We prove a context lemma showing that Morris’ context-equivalence coincides with a simpler context-equivalence closed under a smaller class of contexts.
Then we profit of the determinism of the CPS-calculus to give a simpler labelled characterisation of Morris’ equivalence,
in the style of Abramsky’s applicative bisimilarity. We enhance our bisimulation proof-methods with up to bisimilarity and up to context proof techniques. We use our bisimulation proof techniques to investigate a few algebraic properties on diverging terms that
cannot be proved using the original axiomatic semantics of the CPS-calculus. 相似文献
23.
Enabling energy-efficient and lossy-aware data compression in wireless sensor networks by multi-objective evolutionary optimization 总被引:1,自引:0,他引:1
Nodes of wireless sensor networks (WSNs) are typically powered by batteries with a limited capacity. Thus, energy is a primary constraint in the design and deployment of WSNs. Since radio communication is in general the main cause of power consumption, the different techniques proposed in the literature to improve energy efficiency have mainly focused on limiting transmission/reception of data, for instance, by adopting data compression and/or aggregation. The limited resources available in a sensor node demand, however, the development of specifically designed algorithms. To this aim, we propose an approach to perform lossy compression on single node based on a differential pulse code modulation scheme with quantization of the differences between consecutive samples. Since different combinations of the quantization process parameters determine different trade-offs between compression performance and information loss, we exploit a multi-objective evolutionary algorithm to generate a set of combinations of these parameters corresponding to different optimal trade-offs. The user can therefore choose the combination with the most suitable trade-off for the specific application. We tested our lossy compression approach on three datasets collected by real WSNs. We show that our approach can achieve significant compression ratios despite negligible reconstruction errors. Further, we discuss how our approach outperforms LTC, a lossy compression algorithm purposely designed to be embedded in sensor nodes, in terms of compression rate and complexity. 相似文献
24.
The JPEG algorithm is one of the most used tools for compressing images. The main factor affecting the performance of the JPEG compression is the quantization process, which exploits the values contained in two tables, called quantization tables. The compression ratio and the quality of the decoded images are determined by these values. Thus, the correct choice of the quantization tables is crucial to the performance of the JPEG algorithm. In this paper, a two-objective evolutionary algorithm is applied to generate a family of optimal quantization tables which produce different trade-offs between image compression and quality. Compression is measured in terms of difference in percentage between the sizes of the original and compressed images, whereas quality is computed as mean squared error between the reconstructed and the original images. We discuss the application of the proposed approach to well-known benchmark images and show how the quantization tables determined by our method improve the performance of the JPEG algorithm with respect to the default tables suggested in Annex K of the JPEG standard. 相似文献
25.
Davide Anghinolfi Roberto Montemanni Massimo Paolucci Luca Maria Gambardella 《Computers & Operations Research》2011
The sequential ordering problem is a version of the asymmetric travelling salesman problem where precedence constraints on vertices are imposed. A tour is feasible if these constraints are fulfilled, and the objective is to find a feasible solution with minimum cost. 相似文献
26.
Location‐aware computing is a form of context‐aware mobile computing that refers to the ability of providing users with services that depend on their position. Locating the user terminal, often called positioning, is essential in this form of computing. Towards this aim, several technologies exist, ranging from personal area networking, to indoor, outdoor, and up to geographic area systems. Developers of location‐aware software applications have to face with a number of design choices, that typically depend on the chosen technology. This work addresses the problem of easing the development of pull location‐aware applications, by allowing uniform access to multiple heterogeneous positioning systems. Towards this aim, the paper proposes an approach to structure location‐aware mobile computing systems in a way independent of positioning technologies. The approach consists in structuring the system into a layered architecture, that provides application developers with a standard Java Application Programming Interface (JSR‐179 API), and encapsulates location data management and technology‐specific positioning subsystems into lower layers with clear interfaces. In order to demonstrate the proposed approach we present the development of HyLocSys. It is an open hybrid software architecture designed to support indoor/outdoor applications, which allows the uniform (combined or separate) use of several positioning technologies. HyLocSys uses a hybrid data model, which allows the integration of different location information representations (using symbolic and geometric coordinates). Moreover, it allows support to handset‐ and infrastructure‐based positioning approaches while respecting the privacy of the user. The paper presents a prototypal implementation of HyLocSys for heterogeneous scenarios. It has been implemented and tested on several platforms and mobile devices. Copyright © 2009 John Wiley & Sons, Ltd. 相似文献
27.
Marco Aldinucci Sonia Campa Marco Danelutto Peter Kilpatrick Massimo Torquati 《International journal of parallel programming》2016,44(3):531-551
We introduce a new parallel pattern derived from a specific application domain and show how it turns out to have application beyond its domain of origin. The pool evolution pattern models the parallel evolution of a population subject to mutations and evolving in such a way that a given fitness function is optimized. The pattern has been demonstrated to be suitable for capturing and modeling the parallel patterns underpinning various evolutionary algorithms, as well as other parallel patterns typical of symbolic computation. In this paper we introduce the pattern, we discuss its implementation on modern multi/many core architectures and finally present experimental results obtained with FastFlow and Erlang implementations to assess its feasibility and scalability. 相似文献
28.
Massimo Mecella Barbara Pernici 《The VLDB Journal The International Journal on Very Large Data Bases》2001,10(1):2-15
Component-based approaches are becoming more and more popular to support Internet-based application development. Different
component modeling approaches, however, can be adopted, obtaining different abstraction levels (either conceptual or operational).
In this paper we present a component-based architecture for the design of e-applications, and discuss the concept of wrapper
components as building blocks for the development of e-services, where these services are based on legacy systems. We discuss
their characteristics and their applicability in Internet-based application development.
Received: 30 October 2000 / Accepted: 9 January 2001 Published online: 28 June 2001 相似文献
29.
The main goal of this paper is to show how relatively minor modifications of well-known algorithms (in particular, back propagation) can dramatically increase the performance of an artificial neural network (ANN) for time series prediction. We denote our proposed sets of modifications as the 'self-momentum', 'Freud' and 'Jung' rules. In our opinion, they provide an example of an alternative approach to the design of learning strategies for ANNs, one that focuses on basic mathematical conceptualization rather than on formalism and demonstration. The complexity of actual prediction problems makes it necessary to experiment with modelling possibilities whose inherent mathematical properties are often not well understood yet. The problem of time series prediction in stock markets is a case in point. It is well known that asset price dynamics in financial markets are difficult to trace, let alone to predict with an operationally interesting degree of accuracy. We therefore take financial prediction as a meaningful test bed for the validation of our techniques. We discuss in some detail both the theoretical underpinnings of the technique and our case study about financial prediction, finding encouraging evidence that supports the theoretical and operational viability of our new ANN specifications. Ours is clearly only a preliminary step. Further developments of ANN architectures with more and more sophisticated 'learning to learn' characteristics are now under study and test. 相似文献
30.
Multimodal support to group dynamics 总被引:1,自引:1,他引:0
Fabio Pianesi Massimo Zancanaro Elena Not Chiara Leonardi Vera Falcon Bruno Lepri 《Personal and Ubiquitous Computing》2008,12(3):181-195
The complexity of group dynamics occurring in small group interactions often hinders the performance of teams. The availability
of rich multimodal information about what is going on during the meeting makes it possible to explore the possibility of providing
support to dysfunctional teams from facilitation to training sessions addressing both the individuals and the group as a whole.
A necessary step in this direction is that of capturing and understanding group dynamics. In this paper, we discuss a particular
scenario, in which meeting participants receive multimedia feedback on their relational behaviour, as a first step towards
increasing self-awareness. We describe the background and the motivation for a coding scheme for annotating meeting recordings
partially inspired by the Bales’ Interaction Process Analysis. This coding scheme was aimed at identifying suitable observable
behavioural sequences. The study is complemented with an experimental investigation on the acceptability of such a service.
相似文献
Fabio Pianesi (Corresponding author)Email: |
Massimo ZancanaroEmail: |
Elena NotEmail: |
Chiara LeonardiEmail: |
Vera FalconEmail: |
Bruno LepriEmail: |