全文获取类型
收费全文 | 2625篇 |
免费 | 120篇 |
国内免费 | 7篇 |
专业分类
电工技术 | 27篇 |
化学工业 | 424篇 |
金属工艺 | 38篇 |
机械仪表 | 26篇 |
建筑科学 | 74篇 |
矿业工程 | 12篇 |
能源动力 | 33篇 |
轻工业 | 753篇 |
水利工程 | 18篇 |
石油天然气 | 2篇 |
无线电 | 183篇 |
一般工业技术 | 470篇 |
冶金工业 | 294篇 |
原子能技术 | 6篇 |
自动化技术 | 392篇 |
出版年
2023年 | 21篇 |
2022年 | 16篇 |
2021年 | 47篇 |
2020年 | 32篇 |
2019年 | 31篇 |
2018年 | 56篇 |
2017年 | 61篇 |
2016年 | 101篇 |
2015年 | 71篇 |
2014年 | 90篇 |
2013年 | 155篇 |
2012年 | 138篇 |
2011年 | 122篇 |
2010年 | 120篇 |
2009年 | 110篇 |
2008年 | 136篇 |
2007年 | 107篇 |
2006年 | 91篇 |
2005年 | 64篇 |
2004年 | 60篇 |
2003年 | 46篇 |
2002年 | 60篇 |
2001年 | 28篇 |
2000年 | 28篇 |
1999年 | 32篇 |
1998年 | 96篇 |
1997年 | 54篇 |
1996年 | 54篇 |
1995年 | 18篇 |
1994年 | 16篇 |
1993年 | 21篇 |
1992年 | 13篇 |
1976年 | 19篇 |
1937年 | 11篇 |
1936年 | 29篇 |
1935年 | 32篇 |
1934年 | 21篇 |
1933年 | 21篇 |
1932年 | 16篇 |
1931年 | 25篇 |
1930年 | 24篇 |
1929年 | 20篇 |
1928年 | 46篇 |
1927年 | 36篇 |
1926年 | 14篇 |
1925年 | 23篇 |
1915年 | 16篇 |
1913年 | 49篇 |
1912年 | 28篇 |
1907年 | 13篇 |
排序方式: 共有2752条查询结果,搜索用时 15 毫秒
51.
Road‐Centered Map‐Aided Localization for Driverless Cars Using Single‐Frequency GNSS Receivers 下载免费PDF全文
Zui Tao Philippe Bonnifait Vincent Frémont Javier Ibanez‐Guzman Stéphane Bonnet 《野外机器人技术杂志》2017,34(5):1010-1033
Accurate localization with high availability is a key requirement for autonomous vehicles. It remains a major challenge when using automotive sensors such as single‐frequency Global Navigation Satellite System (GNSS) receivers, a lane detection camera, and proprioceptive sensors. This paper describes a method that enables the estimation of stand‐alone single‐frequency GNSS errors by integrating the measurements from a forward‐looking camera matched with lane markings stored in a digital map. It includes a parameter identification method for a shaping model, which is evaluated using experimental data. An algebraic observability study is then conducted to prove that the proposed state vector is fully observable in a road‐oriented frame. This observability property is the basis to develop a road‐centered Extended Kalman filter (EKF) that can maintain the observability of every component of the state vector on any road, whatever its orientation. To accomplish this, the filter needs to handle road changes, which it does using bijective transformations. The filter was implemented and tested intensely on an experimental vehicle for driverless valet parking services. Field results have shown that the performance of the estimation process is better than solutions based on EKF implemented in a fixed working frame. The proposed filter guarantees that the drift along the road direction remains bounded. This is very important when the vehicle navigates autonomously. Furthermore, the road‐centered modeling improves the accuracy, consistency, and robustness of the localization solver. 相似文献
52.
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. 相似文献
53.
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: |
54.
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. 相似文献
55.
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. 相似文献
56.
We consider the edit distance with moves on the class of words and the class of ordered trees. We first exhibit a simple tester
for the class of regular languages on words and generalize it to the class of ranked and unranked regular trees. We also show
that this distance problem is
-complete on ordered trees.
A preliminary version of this paper appeared in Proceedings of 31st International Colloquium on Automata, Languages and Programming, volume 3142 of Lecture Notes in Computer Science, pages 932–944, Springer, 2005. Work supported by ACI Sécurité Informatique: VERA of the French Ministry of research. 相似文献
57.
Schr?der HF Tambosi JL Sena RF Moreira RF José HJ Pinnekamp J 《Water science and technology》2012,65(5):833-839
Pharmaceutical compounds such as non-steroidal anti-inflammatory drugs (NSAIDs) and antibiotics have been detected in sewage treatment plant (STP) effluents, surface and ground water and even in drinking water all over the world, and therefore have developed as compounds of concern. Membrane bioreactor (MBR) treatment has gained significant popularity as an advanced wastewater treatment technology and might be effective for an advanced removal of these pollutants. This paper evaluates the treatment of wastewater containing three NSAIDs (acetaminophen, ketoprofen and naproxen) and three antibiotics (roxithromycin, sulfamethoxazole and trimethoprim) performed in two MBRs with sludge retention times (SRTs) of 15 (MBR-15) and 30 (MBR-30) days over a period of four weeks. It was observed that NSAIDs were removed with higher efficiencies than the antibiotics for both MBRs, and the MBR-30 presented higher removal efficiencies for all the compounds than obtained by MBR-15. Removal rates ranged from 55% (sulfamethoxazole) up to 100% (acetaminophen, ketoprofen). Besides mineralisation biological transformation products of ketoprofen and naproxen produced by wastewater biocoenosis were identified in both MBR permeates using liquid chromatography coupled with mass spectrometry (LC-MS). The results indicated the importance of investigating the environmental fate of pharmaceuticals and their transformation products reaching the environment. 相似文献
58.
The hitting time of a classical random walk (Markov chain) is the time required to detect the presence of—or equivalently, to find—a marked state. The hitting time of a quantum walk is subtler to define; in particular, it is unknown whether the detection and finding problems have the same time complexity. In this paper we define new Monte Carlo type classical and quantum hitting times, and we prove several relationships among these and the already existing Las Vegas type definitions. In particular, we show that for some marked state the two types of hitting time are of the same order in both the classical and the quantum case. Then, we present new quantum algorithms for the detection and finding problems. The complexities of both algorithms are related to the new, potentially smaller, quantum hitting times. The detection algorithm is based on phase estimation and is particularly simple. The finding algorithm combines a similar phase estimation based procedure with ideas of Tulsi from his recent theorem (Tulsi A.: Phys. Rev. A 78:012310 2008) for the 2D grid. Extending his result, we show that we can find a unique marked element with constant probability and with the same complexity as detection for a large class of quantum walks—the quantum analogue of state-transitive reversible ergodic Markov chains. Further, we prove that for any reversible ergodic Markov chain P, the quantum hitting time of the quantum analogue of P has the same order as the square root of the classical hitting time of P. We also investigate the (im)possibility of achieving a gap greater than quadratic using an alternative quantum walk. In doing so, we define a notion of reversibility for a broad class of quantum walks and show how to derive from any such quantum walk a classical analogue. For the special case of quantum walks built on reflections, we show that the hitting time of the classical analogue is exactly the square of the quantum walk. 相似文献
59.
Christophe Prieur Frédéric Mazenc 《Mathematics of Control, Signals, and Systems (MCSS)》2012,24(1-2):111-134
A family of time-varying hyperbolic systems of balance laws is considered. The partial differential equations of this family can be stabilized by selecting suitable boundary conditions. For the stabilized systems, the classical technique of construction of Lyapunov functions provides a function which is a weak Lyapunov function in some cases, but is not in others. We transform this function through a strictification approach to obtain a time-varying strict Lyapunov function. It allows us to establish asymptotic stability in the general case and a robustness property with respect to additive disturbances of input-to-state stability (ISS) type. Two examples illustrate the results. 相似文献
60.
The review of literature in sociology and distributed artificial intelligence reveals that the occurrence of conflict is a remarkable precursor to the disruption of multi-agent systems. The study of this concept could be applied to human factors concerns, as man-system conflict appears to provoke perseveration behavior and to degrade attentional abilities with a trend to excessive focus. Once entangled in such conflicts, the human operator will do anything to succeed in his current goal even if it jeopardizes the mission. In order to confirm these findings, an experimental setup, composed of a real unmanned ground vehicle, a ground station is developed. A scenario involving an authority conflict between the participants and the robot is proposed. Analysis of the effects of the conflict on the participants' cognition and arousal is assessed through heart-rate measurement (reflecting stress level) and eye-tracking techniques (index of attentional focus). Our results clearly show that the occurrence of the conflict leads to perseveration behavior and can induce higher heart rate as well as excessive attentional focus. These results are discussed in terms of task commitment issues and increased arousal. Moreover, our results suggest that individual differences may predict susceptibility to perseveration behavior. 相似文献