全文获取类型
收费全文 | 916篇 |
免费 | 45篇 |
国内免费 | 1篇 |
专业分类
电工技术 | 9篇 |
化学工业 | 275篇 |
金属工艺 | 20篇 |
机械仪表 | 15篇 |
建筑科学 | 30篇 |
矿业工程 | 1篇 |
能源动力 | 21篇 |
轻工业 | 98篇 |
水利工程 | 11篇 |
石油天然气 | 8篇 |
无线电 | 95篇 |
一般工业技术 | 146篇 |
冶金工业 | 44篇 |
原子能技术 | 12篇 |
自动化技术 | 177篇 |
出版年
2024年 | 2篇 |
2023年 | 12篇 |
2022年 | 21篇 |
2021年 | 29篇 |
2020年 | 17篇 |
2019年 | 18篇 |
2018年 | 28篇 |
2017年 | 26篇 |
2016年 | 35篇 |
2015年 | 26篇 |
2014年 | 30篇 |
2013年 | 68篇 |
2012年 | 51篇 |
2011年 | 74篇 |
2010年 | 52篇 |
2009年 | 53篇 |
2008年 | 59篇 |
2007年 | 43篇 |
2006年 | 47篇 |
2005年 | 37篇 |
2004年 | 28篇 |
2003年 | 19篇 |
2002年 | 29篇 |
2001年 | 15篇 |
2000年 | 17篇 |
1999年 | 6篇 |
1998年 | 16篇 |
1997年 | 14篇 |
1996年 | 11篇 |
1995年 | 8篇 |
1994年 | 13篇 |
1993年 | 8篇 |
1992年 | 8篇 |
1991年 | 4篇 |
1990年 | 6篇 |
1989年 | 5篇 |
1988年 | 7篇 |
1987年 | 2篇 |
1986年 | 2篇 |
1985年 | 3篇 |
1984年 | 1篇 |
1983年 | 3篇 |
1982年 | 1篇 |
1981年 | 4篇 |
1976年 | 1篇 |
1973年 | 2篇 |
1958年 | 1篇 |
排序方式: 共有962条查询结果,搜索用时 15 毫秒
61.
62.
Fromageau J Brusseau E Vray D Gimenez G Delachartre P 《IEEE transactions on ultrasonics, ferroelectrics, and frequency control》2003,50(10):1318-1324
The present study characterizes the mechanical properties of polyvinyl alcohol (PVA) cryogel in order to show its utility for intravascular elastography. PVA cryogel becomes harder with an increasing number of freeze-thaw cycles, and Young's modulus and Poisson's ratio are measured for seven samples. Mechanical tests were performed on cylindrical samples with a pressure column and on a hollow cylinder with the calculation of an intravascular elastogram. An image of the Young's modulus was obtained from the elastogram using cylinder geometry properties. Results show the mechanical similitude of PVA cryogel with the biological tissues present in arteries. A good agreement between Young's modulus obtained from pressure column and from elastogram was also observed. 相似文献
63.
There has been a long-lasting misunderstanding in the literature of artificial intelligence and uncertainty modeling, regarding the role of fuzzy set theory and many-valued logics. The recurring question is that of the mathematical and pragmatic meaningfulness of a compositional calculus and the validity of the excluded middle law. This confusion pervades the early developments of probabilistic logic, despite early warnings of some philosophers of probability. This paper tries to clarify this situation. It emphasizes three main points. First, it suggests that the root of the controversies lies in the unfortunate confusion between degrees of belief and what logicians call degrees of truth. The latter are usually compositional, while the former cannot be so. This claim is first illustrated by laying bare the non-compositional belief representation embedded in the standard propositional calculus. It turns out to be an all-or-nothing version of possibility theory. This framework is then extended to discuss the case of fuzzy logic versus graded possibility theory. Next, it is demonstrated that any belief representation where compositionality is taken for granted is bound to at worst collapse to a Boolean truth assignment and at best to a poorly expressive tool. Lastly, some claims pertaining to an alleged compositionality of possibility theory are refuted, thus clarifying a pervasive confusion between possibility theory axioms and fuzzy set basic connectives. 相似文献
64.
65.
Globally Optimal Estimates for Geometric Reconstruction Problems 总被引:2,自引:2,他引:2
We introduce a framework for computing statistically optimal estimates of geometric reconstruction problems. While traditional
algorithms often suffer from either local minima or non-optimality—or a combination of both—we pursue the goal of achieving
global solutions of the statistically optimal cost-function.
Our approach is based on a hierarchy of convex relaxations to solve non-convex optimization problems with polynomials. These
convex relaxations generate a monotone sequence of lower bounds and we show how one can detect whether the global optimum
is attained at a given relaxation. The technique is applied to a number of classical vision problems: triangulation, camera
pose, homography estimation and last, but not least, epipolar geometry estimation. Experimental validation on both synthetic
and real data is provided. In practice, only a few relaxations are needed for attaining the global optimum. 相似文献
66.
Timothy?WangEmail author Romain?Jobredeaux Marc?Pantel Pierre-Loic?Garoche Eric?Feron Didier?Henrion 《Optimization and Engineering》2016,17(4):781-812
The efficiency of modern optimization methods, coupled with increasing computational resources, has led to the possibility of real-time optimization algorithms acting in safety-critical roles. There is a considerable body of mathematical proofs on on-line optimization algorithms which can be leveraged to assist in the development and verification of their implementation. In this paper, we demonstrate how theoretical proofs of real-time optimization algorithms can be used to describe functional properties at the level of the code, thereby making it accessible for the formal methods community. The running example used in this paper is a generic semi-definite programming solver. Semi-definite programs can encode a wide variety of optimization problems and can be solved in polynomial time at a given accuracy. We describe a top-down approach that transforms a high-level analysis of the algorithm into useful code annotations. We formulate some general remarks on how such a task can be incorporated into a convex programming autocoder. We then take a first step towards the automatic verification of the optimization program by identifying key issues to be addressed in future work. 相似文献
67.
The objective of fault-tolerant control (FTC) is to minimise the effect of faults on system performance (stability, trajectory tracking, etc.). However, the majority of the existing FTC methods continue to force the system to follow the pre-fault trajectories without considering the reduction in available control resources caused by actuator faults. Forcing the system to follow the same trajectories as before fault occurrence may result in actuator saturation and system's instability. Thus, pre-fault objectives should be redefined in function of the remaining resources to avoid potential saturation. The main contribution of this paper is a flatness-based trajectory planning/re-planning method that can be combined with any active FTC approach. The work considers the case of over-actuated systems where a new idea is proposed to evaluate the severity of faults occurred. In addition, the trajectory planning/re-planning approach is formulated as an optimisation problem based on the analysis of attainable efforts domain in fault-free and fault cases. The proposed approach is applied to two satellite systems in rendezvous mission. 相似文献
68.
Milan Anderle Sergej Čelikovský Didier Henrion Jiří Zikmund 《International journal of control》2013,86(8):1641-1652
This article aims to further improve previously developed design for Acrobot walking based on partial exact feedback linearisation of order 3. Namely, such an exact system transformation leads to an almost linear system where error dynamics along trajectory to be tracked is a 4-dimensional linear time-varying system having three time-varying entries only, the remaining entries being either zero or one. In such a way, exponentially stable tracking can be obtained by quadratically stabilising a linear system with polytopic uncertainty. The current improvement is based on applying linear matrix inequalities (LMI) methods to solve this problem numerically. This careful analysis significantly improves previously known approaches. Numerical simulations of Acrobot walking based on the above-mentioned LMI design are demonstrated as well. 相似文献
69.
Convex inner approximations of nonconvex semialgebraic sets applied to fixed-order controller design
We describe an elementary algorithm to build convex inner approximations of nonconvex sets. Both input and output sets are basic semialgebraic sets given as lists of defining multivariate polynomials. Even though no optimality guarantees can be given (e.g. in terms of volume maximisation for bounded sets), the algorithm is designed to preserve convex boundaries as much as possible, while removing regions with concave boundaries. In particular, the algorithm leaves invariant a given convex set. The algorithm is based on Gloptipoly 3, a public-domain Matlab package solving nonconvex polynomial optimisation problems with the help of convex semidefinite programming (optimisation over linear matrix inequalities, or LMIs). We illustrate how the algorithm can be used to design fixed-order controllers for linear systems, following a polynomial approach. 相似文献
70.
The image and van der Waals contributions to the metal/oxide work of adhesion are compared through the extent to which they follow the known prevalent trends, i.e. the increase in work of adhesion (a) with narrowing oxide band gap and (b) with increasing conduction electron density of the metal. The van der Waals interaction is shown to follow both trends, while the image term is suggested to be significant only for dense metals in contact with very ionic oxides. The relative contribution of these long-range interactions to the overall metal/oxide work of adhesion is found to be maximized for systems involving metals with low electronic densities and oxides with wide band gaps. At variance, high metallic electronic densities and narrow oxide gaps likely favour short-range interactions arising from charge transfer. 相似文献