全文获取类型
收费全文 | 2523篇 |
免费 | 114篇 |
国内免费 | 2篇 |
专业分类
电工技术 | 42篇 |
综合类 | 7篇 |
化学工业 | 664篇 |
金属工艺 | 61篇 |
机械仪表 | 45篇 |
建筑科学 | 181篇 |
矿业工程 | 7篇 |
能源动力 | 64篇 |
轻工业 | 265篇 |
水利工程 | 6篇 |
石油天然气 | 1篇 |
武器工业 | 1篇 |
无线电 | 171篇 |
一般工业技术 | 415篇 |
冶金工业 | 297篇 |
原子能技术 | 15篇 |
自动化技术 | 397篇 |
出版年
2023年 | 30篇 |
2022年 | 33篇 |
2021年 | 80篇 |
2020年 | 42篇 |
2019年 | 42篇 |
2018年 | 69篇 |
2017年 | 54篇 |
2016年 | 78篇 |
2015年 | 69篇 |
2014年 | 106篇 |
2013年 | 139篇 |
2012年 | 119篇 |
2011年 | 152篇 |
2010年 | 94篇 |
2009年 | 111篇 |
2008年 | 95篇 |
2007年 | 106篇 |
2006年 | 87篇 |
2005年 | 72篇 |
2004年 | 55篇 |
2003年 | 40篇 |
2002年 | 49篇 |
2001年 | 48篇 |
2000年 | 22篇 |
1999年 | 38篇 |
1998年 | 75篇 |
1997年 | 50篇 |
1996年 | 37篇 |
1995年 | 39篇 |
1994年 | 25篇 |
1993年 | 39篇 |
1992年 | 27篇 |
1991年 | 17篇 |
1990年 | 19篇 |
1989年 | 16篇 |
1988年 | 18篇 |
1987年 | 20篇 |
1986年 | 19篇 |
1985年 | 17篇 |
1984年 | 18篇 |
1983年 | 19篇 |
1981年 | 14篇 |
1980年 | 24篇 |
1979年 | 15篇 |
1978年 | 13篇 |
1977年 | 11篇 |
1976年 | 23篇 |
1975年 | 18篇 |
1974年 | 17篇 |
1972年 | 13篇 |
排序方式: 共有2639条查询结果,搜索用时 15 毫秒
11.
Heiko Koziolek Bastian Schlich Steffen Becker Michael Hauck 《Empirical Software Engineering》2013,18(4):746-790
During software system evolution, software architects intuitively trade off the different architecture alternatives for their extra-functional properties, such as performance, maintainability, reliability, security, and usability. Researchers have proposed numerous model-driven prediction methods based on queuing networks or Petri nets, which claim to be more cost-effective and less error-prone than current practice. Practitioners are reluctant to apply these methods because of the unknown prediction accuracy and work effort. We have applied a novel model-driven prediction method called Q-ImPrESS on a large-scale process control system from ABB consisting of several million lines of code. This paper reports on the achieved performance prediction accuracy and reliability prediction sensitivity analyses as well as the effort in person hours for achieving these results. 相似文献
12.
PD Dr. Bernd Heinrich Dipl.-Inf. Marc-Andre Bewernik Dr. Matthias Henneberger Dipl.-Kfm. Alexander Krammer M. Sc. Dipl.-Inf. Florian Lautenbacher 《WIRTSCHAFTSINFORMATIK》2008,50(6):445-460
Currently process modeling is mostly done manually. Therefore, the initial design of process models as well as changes to process models which are frequently necessary to react to new market developments or new regulations are time-consuming tasks. In this paper we introduce SEMPA, an approach for the partly automatic planning of process models. Using ontologies to semantically describe actions – as envisioned in Semantic Business Process Management –, a process model for a specified problem setting can be created automatically. In comparison to existing planning algorithms our approach creates process models including control structures and is able to cope with complex and numerical input and output parameters of actions. The prototypical implementation as well as an example taken from the financial services domain illustrate the practical benefit of our approach. 相似文献
13.
Marco Bakera Tiziana Margaria Clemens D. Renner Bernhard Steffen 《Innovations in Systems and Software Engineering》2009,5(3):211-228
We show on a case study from an autonomous aerospace context how to apply a game-based model-checking approach as a powerful
technique for the verification, diagnosis, and adaptation of system behaviors based on temporal properties. This work is part
of our contribution within the SHADOWS project, where we provide a number of enabling technologies for model-driven self-healing.
We propose here to use GEAR, a game-based model checker, as a user-friendly tool that can offer automatic proofs of critical
properties of such systems. Although it is a model checker for the full modal μ-calculus, it also supports derived, more user-oriented logics. With GEAR, designers and engineers can interactively investigate
automatically generated winning strategies for the games, by this way exploring the connection between the property, the system,
and the proof.
This work has been partially supported by the European Union Specific Targeted Research Project SHADOWS (IST-2006-35157), exploring a Self-Healing Approach to Designing cOmplex softWare Systems. The project’s web page is at .
This article is an extended version of Renner et al. [18] presented at ISoLA 2007, Poitiers, December 2007. 相似文献
14.
The smart car seat: personalized monitoring of vital signs in automotive applications 总被引:1,自引:1,他引:0
Marian Walter Benjamin Eilebrecht Tobias Wartzek Steffen Leonhardt 《Personal and Ubiquitous Computing》2011,15(7):707-715
Embedded wireless sensors are important components of mobile distributed computing networks, and one of the target applications
areas is health care. The preservation of mobility for senior citizens is one of the key issues in maintaining an independent
lifestyle. Thus health technologies inside a car can contribute both to safety issues (supervision of driver fitness) as well
as healthcare issues by monitoring vitals signs imperceptibly. In this paper, three embedded measurement techniques for non-contact
monitoring of vital signals have been investigated. Specifically, capacitive electrocardiogram (cECG) monitoring, mechanical
movement analysis (ballistocardiogram, BCG) using piezo-foils and inductive impedance monitoring were examined regarding their
potential for integration into car seats. All three sensing techniques omit the need for electroconductive contact to the
human body, but require defined mechanical boundary conditions (stable distances or, in the case of BCG, frictional connection).
The physical principles of operation, the specific boundary conditions regarding automotive integration and the results during
wireless operation in a running car are presented. All three sensors were equipped with local intelligence by incorporating
a microcontroller. To eliminate the need for additional cabling, a wireless Bluetooth communication module was added and used
to transmit data to a measurement PC. Finally, preliminary results obtained during test drives on German city roads and highways
are discussed. 相似文献
15.
Patrick Schalberger Marcus Herrmann Steffen Hoehla Norbert Fruehauf 《Journal of the Society for Information Display》2011,19(7):496-502
Abstract— In the past, a five‐mask LTPS CMOS process requiring only one single ion‐doping step was used. Based on that process, all necessary components for the realization of a fully integrated AMOLED display using a 3T1C current‐feedback pixel circuit has recently been developed. The integrated data driver is based on a newly developed LTPS operational amplifier, which does not require any compensation for Vth or mobility variations. Only one operational amplifier per column is used to perform digital‐to‐analog conversion as well as current control. In order to achieve high‐precision analog behavior, the operational amplifier is embedded in a switched capacitor network. In addition to circuit verification by simulation and analytic analysis, a 1‐in. fully integrated AMOLED demonstrator was successfully built. To the best of the authors' knowledge, this is the first implementation of a fully integrated AMOLED display with current feedback. 相似文献
16.
Higher‐order finite element methods have emerged as an important discretization scheme for simulation. They are increasingly used in contemporary numerical solvers, generating a new class of data that must be analyzed by scientists and engineers. Currently available visualization tools for this type of data are either batch oriented or limited to certain cell types and polynomial degrees. Other approaches approximate higher‐order data by resampling resulting in trade‐offs in interactivity and quality. To overcome these limitations, we have developed a distributed visualization system which allows for interactive exploration of non‐conforming unstructured grids, resulting from space‐time discontinuous Galerkin simulations, in which each cell has its own higher‐order polynomial solution. Our system employs GPU‐based raycasting for direct volume rendering of complex grids which feature non‐convex, curvilinear cells with varying polynomial degree. Frequency‐based adaptive sampling accounts for the high variations along rays. For distribution across a GPU cluster, the initial object‐space partitioning is determined by cell characteristics like the polynomial degree and is adapted at runtime by a load balancing mechanism. The performance and utility of our system is evaluated for different aeroacoustic simulations involving the propagation of shock fronts. 相似文献
17.
It is an open problem in the area of effective (algorithmic) randomness whether Kolmogorov-Loveland randomness coincides with Martin-Löf randomness. Joe Miller and André Nies suggested some variations of Kolmogorov-Loveland randomness to approach this problem and to provide a partial solution. We show that their proposed notion of injective randomness is still weaker than Martin-Löf randomness. Since in this proof some of the ideas we use are clearer, we also show the weaker theorem that permutation randomness is weaker than Martin-Löf randomness. 相似文献
18.
Giorgos Sfikas Christophoros Nikou Nikolaos Galatsanos Christian Heinrich 《Journal of Mathematical Imaging and Vision》2010,36(2):91-110
Spatially varying mixture models are characterized by the dependence of their mixing proportions on location (contextual mixing proportions) and they have been widely used in image segmentation. In this work, Gauss-Markov random field (MRF) priors are employed
along with spatially varying mixture models to ensure the preservation of region boundaries in image segmentation. To preserve
region boundaries, two distinct models for a line process involved in the MRF prior are proposed. The first model considers
edge preservation by imposing a Bernoulli prior on the normally distributed local differences of the contextual mixing proportions. It is a discrete line process model whose parameters are computed by variational inference. The second model imposes Gamma
prior on the Student’s-t distributed local differences of the contextual mixing proportions. It is a continuous line process whose parameters are also automatically estimated by the Expectation-Maximization (EM) algorithm.
The proposed models are numerically evaluated and two important issues in image segmentation by mixture models are also investigated
and discussed: the constraints to be imposed on the contextual mixing proportions to be probability vectors and the MRF optimization
strategy in the frameworks of the standard and variational EM algorithm. 相似文献
19.
20.
Generating feature spaces for linear algorithms with regularized sparse kernel slow feature analysis
Wendelin B?hmer Steffen Grünew?lder Hannes Nickisch Klaus Obermayer 《Machine Learning》2012,89(1-2):67-86
Without non-linear basis functions many problems can not be solved by linear algorithms. This article proposes a method to automatically construct such basis functions with slow feature analysis (SFA). Non-linear optimization of this unsupervised learning method generates an orthogonal basis on the unknown latent space for a given time series. In contrast to methods like PCA, SFA is thus well suited for techniques that make direct use of the latent space. Real-world time series can be complex, and current SFA algorithms are either not powerful enough or tend to over-fit. We make use of the kernel trick in combination with sparsification to develop a kernelized SFA algorithm which provides a powerful function class for large data sets. Sparsity is achieved by a novel matching pursuit approach that can be applied to other tasks as well. For small data sets, however, the kernel SFA approach leads to over-fitting and numerical instabilities. To enforce a stable solution, we introduce regularization to the SFA objective. We hypothesize that our algorithm generates a feature space that resembles a Fourier basis in the unknown space of latent variables underlying a given real-world time series. We evaluate this hypothesis at the example of a vowel classification task in comparison to sparse kernel PCA. Our results show excellent classification accuracy and demonstrate the superiority of kernel SFA over kernel PCA in encoding latent variables. 相似文献