全文获取类型
收费全文 | 1897篇 |
免费 | 103篇 |
专业分类
电工技术 | 25篇 |
综合类 | 23篇 |
化学工业 | 568篇 |
金属工艺 | 56篇 |
机械仪表 | 35篇 |
建筑科学 | 140篇 |
矿业工程 | 5篇 |
能源动力 | 46篇 |
轻工业 | 247篇 |
水利工程 | 8篇 |
石油天然气 | 2篇 |
无线电 | 101篇 |
一般工业技术 | 345篇 |
冶金工业 | 137篇 |
原子能技术 | 19篇 |
自动化技术 | 243篇 |
出版年
2023年 | 22篇 |
2022年 | 41篇 |
2021年 | 72篇 |
2020年 | 31篇 |
2019年 | 44篇 |
2018年 | 52篇 |
2017年 | 35篇 |
2016年 | 58篇 |
2015年 | 63篇 |
2014年 | 76篇 |
2013年 | 77篇 |
2012年 | 108篇 |
2011年 | 124篇 |
2010年 | 106篇 |
2009年 | 81篇 |
2008年 | 81篇 |
2007年 | 74篇 |
2006年 | 67篇 |
2005年 | 60篇 |
2004年 | 49篇 |
2003年 | 27篇 |
2002年 | 47篇 |
2001年 | 34篇 |
2000年 | 30篇 |
1999年 | 29篇 |
1998年 | 36篇 |
1997年 | 35篇 |
1996年 | 20篇 |
1995年 | 28篇 |
1994年 | 19篇 |
1993年 | 15篇 |
1992年 | 20篇 |
1991年 | 14篇 |
1990年 | 16篇 |
1989年 | 16篇 |
1988年 | 9篇 |
1987年 | 11篇 |
1985年 | 11篇 |
1984年 | 17篇 |
1982年 | 9篇 |
1981年 | 12篇 |
1980年 | 11篇 |
1979年 | 9篇 |
1978年 | 22篇 |
1977年 | 13篇 |
1976年 | 11篇 |
1975年 | 9篇 |
1974年 | 21篇 |
1969年 | 12篇 |
1968年 | 10篇 |
排序方式: 共有2000条查询结果,搜索用时 15 毫秒
41.
Predicate abstraction is a major abstraction technique for the verification of software. Data is abstracted by means of Boolean
variables, which keep track of predicates over the data. In many cases, predicate abstraction suffers from the need for at
least one predicate for each iteration of a loop construct in the program. We propose to extract looping counterexamples from the abstract model, and to parametrise the simulation instance in the number of loop iterations. We present a novel
technique that speeds up the detection of long counterexamples as well as the verification of programs with loops. 相似文献
42.
43.
Kyriakos Anastasakis Behzad Bordbar Geri Georg Indrakshi Ray 《Software and Systems Modeling》2010,9(1):69-86
The Unified Modeling Language (UML) is the de facto language used in the industry for software specifications. Once an application
has been specified, Model Driven Architecture (MDA) techniques can be applied to generate code from such specifications. Since
implementing a system based on a faulty design requires additional cost and effort, it is important to analyse the UML models
at earlier stages of the software development lifecycle. This paper focuses on utilizing MDA techniques to deal with the analysis
of UML models and identify design faults within a specification. Specifically, we show how UML models can be automatically
transformed into Alloy which, in turn, can be automatically analysed by the Alloy Analyzer. The proposed approach relies on
MDA techniques to transform UML models to Alloy. This paper reports on the challenges of the model transformation from UML
class diagrams and OCL to Alloy. Those issues are caused by fundamental differences in the design philosophy of UML and Alloy.
To facilitate better the representation of Alloy concepts in the UML, the paper draws on the lessons learnt and presents a
UML profile for Alloy. 相似文献
44.
Achim Küpper Moritz Diehl Johannes P. Schlöder Hans Georg Bock Sebastian Engell 《Journal of Process Control》2009,19(5):785-802
In this paper, a moving horizon state and parameter estimation scheme for chromatographic simulated moving bed SMB processes is proposed. The simultaneous state and parameter estimation is based on a high-order nonlinear SMB model which incorporates rigorous models of the chromatographic columns and the discrete shiftings of the inlet and outlet ports. The estimation is performed using sparse measurement information: the concentrations of the components are only measured at the two outlet ports (which are periodically switched from one column to the next) and at one fixed location between two columns. The goal is to reconstruct the full state of the system, i.e. the concentration profiles along all columns, and to identify critical model parameters reliably such that the estimated model can be used in the context of online optimizing control. The state estimation scheme is based upon a deterministic model within the prediction horizon, state noise is only present in the state and the parameters prior to and at the beginning of the horizon. By solving the optimization problem with a multiple-shooting method and applying a real-time iteration scheme, the computation times are such that the scheme can be applied online. Numerical simulations of a validated model for a separation problem with nonlinear isotherms of the Langmuir type demonstrate the efficiency of the algorithm. 相似文献
45.
Hadwiger M Laura F Rezk-Salama C Höllt T Geier G Pabel T 《IEEE transactions on visualization and computer graphics》2008,14(6):1507-1514
This paper presents a novel method for interactive exploration of industrial CT volumes such as cast metal parts, with the goal of interactively detecting, classifying, and quantifying features using a visualization-driven approach. The standard approach for defect detection builds on region growing, which requires manually tuning parameters such as target ranges for density and size, variance, as well as the specification of seed points. If the results are not satisfactory, region growing must be performed again with different parameters. In contrast, our method allows interactive exploration of the parameter space, completely separated from region growing in an unattended pre-processing stage. The pre-computed feature volume tracks a feature size curve for each voxel over time, which is identified with the main region growing parameter such as variance. A novel 3D transfer function domain over (density, feature size, time) allows for interactive exploration of feature classes. Features and feature size curves can also be explored individually, which helps with transfer function specification and allows coloring individual features and disabling features resulting from CT artifacts. Based on the classification obtained through exploration, the classified features can be quantified immediately. 相似文献
46.
The study of the computational power of randomized computations is one of the central tasks of complexity theory. The main goal of this paper is the comparison of the power of Las Vegas computation and deterministic respectively nondeterministic computation. We investigate the power of Las Vegas computation for the complexity measures of one-way communication, ordered binary decision diagrams, and finite automata.(i) For the one-way communication complexity of two-party protocols we show that Las Vegas communication can save at most one half of the deterministic one-way communication complexity. We also present a language for which this gap is tight.(ii) The result (i) is applied to show an at most polynomial gap between determinism and Las Vegas for ordered binary decision diagrams.(iii) For the size (i.e., the number of states) of finite automata we show that the size of Las Vegas finite automata recognizing a language L is at least the square root of the size of the minimal deterministic finite automaton recognizing L. Using a specific language we verify the optimality of this lower bound. 相似文献
47.
The Entity-Relationship (ER) model is a fundamental tool for database design, recently extended and employed in knowledge representation and reasoning due to its expressiveness and comprehensibility. We address the problem of answering conjunctive queries under constraints representing schemata expressed in an extended version of the Entity-Relationship model. This extended model, called ER+, comprises is-a constraints among entities and relationships, plus functional and mandatory participation constraints. In particular, it allows for arbitrary permutations of the roles in is-a among relationships. A key notion that ensures high tractability in ER+ schemata is separability, i.e., the absence of interaction between the functional participation constraints and the other constructs of ER+. We provide a precise syntactic characterization of separable ER+ schemata by means of a necessary and sufficient condition. We present a complete complexity analysis of the conjunctive query answering problem under separable ER+ schemata, and also under several sublanguages of ER+. We show that the addition of so-called negative constraints does not increase the complexity of query answering. With such constraints, our model properly generalizes the most widely adopted tractable ontology languages, including those in the DL-Lite family. 相似文献
48.
Together with the development of information systems research, there has also been increased interest in non-linear relationships between focal constructs. This article presents six Partial Least Squares-based approaches for estimating formative constructs’ quadratic effects. In addition, these approaches’ performance is tested by means of a complex Monte Carlo experiment. The experiment reveals significant and substantial differences between the approaches. In general, the performance of the hybrid approach as suggested by Wold (1982) is most convincing in terms of point estimate accuracy, statistical power, and prediction accuracy. The two-stage approach suggested by Chin et al (1996) showed almost the same performance; differences between it and the hybrid approach – although statistically significant – were unsubstantial. Based on these results, the article provides guidelines for the analysis of non-linear effects by means of variance-based structural equation modelling. 相似文献
49.
50.
Owing to the upcoming applications in the field of service robotics mobile robots are currently receiving increasing attention in industry and the scientific community. Applications in the area of service robotics demand a high degree of system autonomy, which robots without learning capabilities will not be able to meet. Learning is required in the context of action models and appropriate perception procedures. In both areas flexible adaptivity is difficult to achieve especially when high bandwidth sensors (e.g. video cameras) - which are needed in the envisioned unstructured worlds - are used. This paper proposes a new methodology for image-based navigation using a self-organized visual representation of the environment. Self-organization leads to internal representations, which can be used by the robot, but are not transparent to the user. It is shown how this conceptual gap can be bridged. 相似文献