全文获取类型
收费全文 | 4400篇 |
免费 | 280篇 |
国内免费 | 33篇 |
专业分类
电工技术 | 62篇 |
综合类 | 17篇 |
化学工业 | 1296篇 |
金属工艺 | 97篇 |
机械仪表 | 91篇 |
建筑科学 | 147篇 |
矿业工程 | 17篇 |
能源动力 | 136篇 |
轻工业 | 583篇 |
水利工程 | 27篇 |
石油天然气 | 14篇 |
无线电 | 338篇 |
一般工业技术 | 753篇 |
冶金工业 | 227篇 |
原子能技术 | 20篇 |
自动化技术 | 888篇 |
出版年
2024年 | 10篇 |
2023年 | 44篇 |
2022年 | 161篇 |
2021年 | 250篇 |
2020年 | 116篇 |
2019年 | 110篇 |
2018年 | 193篇 |
2017年 | 206篇 |
2016年 | 245篇 |
2015年 | 171篇 |
2014年 | 247篇 |
2013年 | 340篇 |
2012年 | 280篇 |
2011年 | 245篇 |
2010年 | 228篇 |
2009年 | 220篇 |
2008年 | 232篇 |
2007年 | 200篇 |
2006年 | 165篇 |
2005年 | 126篇 |
2004年 | 121篇 |
2003年 | 95篇 |
2002年 | 88篇 |
2001年 | 55篇 |
2000年 | 37篇 |
1999年 | 48篇 |
1998年 | 51篇 |
1997年 | 52篇 |
1996年 | 33篇 |
1995年 | 32篇 |
1994年 | 25篇 |
1993年 | 20篇 |
1992年 | 14篇 |
1991年 | 18篇 |
1990年 | 17篇 |
1989年 | 13篇 |
1988年 | 8篇 |
1987年 | 14篇 |
1986年 | 14篇 |
1985年 | 15篇 |
1984年 | 14篇 |
1983年 | 15篇 |
1982年 | 15篇 |
1981年 | 20篇 |
1980年 | 20篇 |
1979年 | 14篇 |
1978年 | 10篇 |
1977年 | 9篇 |
1976年 | 8篇 |
1975年 | 7篇 |
排序方式: 共有4713条查询结果,搜索用时 15 毫秒
81.
In this study, an optimization of the airfoil of a sailplane is carried out by a recently developed multi-objective genetic algorithm based on microevolution, containing crowding, range adaptation, knowledge-based reinitialization and ε-dominance. Its efficiency was tested on a set of test problems. The results are encouraging, suggesting that very small populations can be used effectively to solve real-world multi-objective optimization problems in many cases of interest. 相似文献
82.
Fatih Çalışır Muhammet Baştan Özgür Ulusoy Uğur Güdükbay 《Multimedia Tools and Applications》2017,76(10):12433-12456
High user interaction capability of mobile devices can help improve the accuracy of mobile visual search systems. At query time, it is possible to capture multiple views of an object from different viewing angles and at different scales with the mobile device camera to obtain richer information about the object compared to a single view and hence return more accurate results. Motivated by this, we propose a new multi-view visual query model on multi-view object image databases for mobile visual search. Multi-view images of objects acquired by the mobile clients are processed and local features are sent to a server, which combines the query image representations with early/late fusion methods and returns the query results. We performed a comprehensive analysis of early and late fusion approaches using various similarity functions, on an existing single view and a new multi-view object image database. The experimental results show that multi-view search provides significantly better retrieval accuracy compared to traditional single view search. 相似文献
83.
Simultaneous automated design of structured QFT controller and prefilter using nonlinear programming 下载免费PDF全文
Harsh Purohit Alexandre Goldsztejn Christophe Jermann Laurent Granvilliers Frédéric Goualard P. S. V. Nataraj Bhagyesh Patil 《国际强度与非线性控制杂志
》2017,27(15):2529-2548
》2017,27(15):2529-2548
This paper describes a nonlinear programming‐based robust design methodology for controllers and prefilters of a predefined structure for the linear time‐invariant systems involved in the quantitative feedback theory. This controller and prefilter synthesis problem is formulated as a single optimization problem with a given performance optimization objective and constraints enforcing stability and various specifications usually enforced in the quantitative feedback theory. The focus is set on providing constraints expression that can be used in standard nonlinear programming solvers. The nonlinear solver then computes in a single‐step controller and prefilter design parameters that satisfy the prescribed constraints and maximizes the performance optimization objective. The effectiveness of the proposed approach is demonstrated through a variety of difficult design cases like resonant plants, open‐loop unstable plants, and plants with variation in the time delay. Copyright © 2016 John Wiley & Sons, Ltd. 相似文献
84.
Demanding the compatibility of semi-Lagrangian trajectory schemes with the fundamental Euler expansion formula leads to the Monge-Ampère (MA) nonlinear second-order partial differential equation. Given standard estimates of the departure points of flow trajectories, solving the associated MA problem provides a corrected solution satisfying a discrete Lagrangian form of the mass continuity equation to round-off error. The impact of the MA enhancement is discussed in two diverse limits of fluid dynamics applications: passive tracer advection in a steady cellular flow and in fully developed turbulence. Improvements of the overall accuracy of simulations depend on the problem and can be substantial. 相似文献
85.
In this paper, we discuss the importance of information systems in modeling interactive computations performed on (complex) granules and we propose a formal approach to interactive computations based on generalized information systems and rough sets which can be combined with other soft computing paradigms such as fuzzy sets or evolutionary computing, but also with machine learning and data mining techniques. Information systems are treated as dynamic granules used for representing the results of the interaction of attributes with the environment. Two kinds of attributes are distinguished, namely, the perception attributes, including sensory attributes, and the action attributes. Sensory attributes are the basic perception attributes, other perception attributes are constructed on the basis of the sensory ones. Actions are activated when their guards, being often complex and vague concepts, are satisfied to a satisfactory degree. The guards can be approximated on the basis of measurements performed by sensory attributes rather than defined exactly. Satisfiability degrees for guards are results of reasoning called the adaptive judgment. The approximations are induced using hierarchical modeling. We show that information systems can be used for modeling more advanced forms of interactions in hierarchical modeling. The role of hierarchical interactions is emphasized in the modeling of interactive computations. Some illustrative examples of interactions used in the ACT-R 6.0 system are reported. ACT-R 6.0 is based on a cognitive architecture and can be treated as an example of a highly interactive complex granule which can be involved in hierarchical interactions. For modeling of interactive computations, we propose much more general information systems than the studied dynamic information systems (see, e.g., Ciucci (2010) [8] and Pa?asiński and Pancerz (2010) [32]). For example, the dynamic information systems are making it possible to consider incremental changes in information systems. However, they do not contain the perception and action attributes necessary for modeling interactive computations, in particular for modeling intrastep interactions. 相似文献
86.
We present the first fully dynamic algorithm for computing the characteristic polynomial of a matrix. In the generic symmetric case, our algorithm supports rank-one updates in O(n2logn) randomized time and queries in constant time, whereas in the general case the algorithm works in O(n2klogn) randomized time, where k is the number of invariant factors of the matrix. The algorithm is based on the first dynamic algorithm for computing normal forms of a matrix such as the Frobenius normal form or the tridiagonal symmetric form. The algorithm can be extended to solve the matrix eigenproblem with relative error 2−b in additional O(nlog2nlogb) time. Furthermore, it can be used to dynamically maintain the singular value decomposition (SVD) of a generic matrix. Together with the algorithm, the hardness of the problem is studied. For the symmetric case, we present an Ω(n2) lower bound for rank-one updates and an Ω(n) lower bound for element updates. 相似文献
87.
Piotr Sankowski 《Theory of Computing Systems》2008,42(1):73-90
In this paper we consider the problem of finding perfect matchings in parallel. We present a RNC algorithm with almost optimal
work with respect to sequential algorithms, i.e., it uses O(n
ω
) processors, where ω is the matrix multiplication exponent. Our algorithm is based on an RNC algorithm for computing determinant of a degree one
polynomial matrix which is of independent interest.
Research supported by KBN grant 1P03A01830. 相似文献
88.
Frédéric Cuppens Nora Cuppens-Boulahia 《International Journal of Information Security》2008,7(4):285-305
As computer infrastructures become more complex, security models must provide means to handle more flexible and dynamic requirements.
In the Organization Based Access Control (OrBAC) model, it is possible to express such requirements using the notion of context.
In OrBAC, each security rule (permission, prohibition, obligation or dispensation) only applies in a given context. A context
is viewed as an extra condition that must be satisfied to activate a given security rule. In this paper, we present a taxonomy
of different types of context and investigate the data the information system must manage in order to deal with these different
contexts. We then explain how to model and evaluate them in the OrBAC model.
相似文献
Nora Cuppens-BoulahiaEmail: |
89.
Frédéric Mallet 《Innovations in Systems and Software Engineering》2008,4(3):309-314
The Object Management Group (OMG) unified modeling language (UML) profile for modeling and analysis of real-time and embedded
systems (MARTE) aims at using the general-purpose modeling language UML in the domain of real-time and embedded (RTE) systems.
To achieve this goal, it is absolutely required to introduce inside the mainly untimed UML an unambiguous time structure which
MARTE model elements can rely on to build precise models amenable to formal analysis. The MARTE Time model has defined such
a structure. We have also defined a non-normative concrete syntax called the clock constraint specification language (CCSL)
to demonstrate what can be done based on this structure. This paper gives a brief overview of this syntax and its formal semantics,
and shows how existing UML model elements can be used to apply this syntax in a graphical way and benefit from the semantics. 相似文献
90.
Cunin F Milhiet PE Anglin E Sailor MJ Espenel C Le Grimellec C Brunel D Devoisselle JM 《Ultramicroscopy》2007,107(10-11):1048-1052
Reconstituting artificial membranes for in vitro studies of cell barrier mechanisms and properties is of major interest in biology. Here, artificial membranes supported on porous silicon photonic crystal reflectors are prepared and investigated. The materials are of interest for label-free probing of supported membrane events such as protein binding, molecular recognition, and transport. The porous silicon substrates are prepared as multilayered films consisting of a periodically varying porosity, with pore dimensions of a few nanometers in size. Planar phospholipid bilayers are deposited on the topmost surface of the oxidized hydrophilic mesoporous silicon films. Atomic force microscopy provides evidence of continuous bilayer deposition at the surface, and optical measurements indicate that the lipids do not significantly infiltrate the porous region. The presence of the supported bilayer does not obstruct the optical spectrum from the porous silicon layer, suggesting that the composite structures can act as effective optical biosensors. 相似文献