全文获取类型
收费全文 | 53459篇 |
免费 | 5200篇 |
国内免费 | 4945篇 |
专业分类
电工技术 | 4857篇 |
技术理论 | 5篇 |
综合类 | 5123篇 |
化学工业 | 3267篇 |
金属工艺 | 474篇 |
机械仪表 | 2453篇 |
建筑科学 | 3082篇 |
矿业工程 | 384篇 |
能源动力 | 1735篇 |
轻工业 | 609篇 |
水利工程 | 715篇 |
石油天然气 | 503篇 |
武器工业 | 400篇 |
无线电 | 5197篇 |
一般工业技术 | 5446篇 |
冶金工业 | 1081篇 |
原子能技术 | 249篇 |
自动化技术 | 28024篇 |
出版年
2024年 | 240篇 |
2023年 | 810篇 |
2022年 | 748篇 |
2021年 | 1075篇 |
2020年 | 1520篇 |
2019年 | 1571篇 |
2018年 | 1475篇 |
2017年 | 1959篇 |
2016年 | 2157篇 |
2015年 | 1953篇 |
2014年 | 3067篇 |
2013年 | 4598篇 |
2012年 | 2996篇 |
2011年 | 3440篇 |
2010年 | 2540篇 |
2009年 | 3120篇 |
2008年 | 3165篇 |
2007年 | 3358篇 |
2006年 | 2893篇 |
2005年 | 2612篇 |
2004年 | 2166篇 |
2003年 | 1967篇 |
2002年 | 1761篇 |
2001年 | 1492篇 |
2000年 | 1458篇 |
1999年 | 1261篇 |
1998年 | 1093篇 |
1997年 | 1005篇 |
1996年 | 862篇 |
1995年 | 749篇 |
1994年 | 656篇 |
1993年 | 586篇 |
1992年 | 478篇 |
1991年 | 436篇 |
1990年 | 339篇 |
1989年 | 262篇 |
1988年 | 215篇 |
1987年 | 176篇 |
1986年 | 151篇 |
1985年 | 185篇 |
1984年 | 193篇 |
1983年 | 172篇 |
1982年 | 151篇 |
1981年 | 100篇 |
1980年 | 77篇 |
1979年 | 90篇 |
1978年 | 67篇 |
1977年 | 68篇 |
1976年 | 20篇 |
1975年 | 13篇 |
排序方式: 共有10000条查询结果,搜索用时 15 毫秒
91.
主要讨论离散事件动态系统的建模问题。由KInan和PVaraiya提出的有限递归进程(FRP)是描述并发离散事件动态系统的有力工具,但在其FRP中,没有定义对数据变量的操作和条件转移算子。本文扩展FRP包括这两方面内容。最后举例说明扩展FRP的描述能力。 相似文献
92.
A novel hierarchical intelligent controller configuration is proposed using an artificial neural network as a control-mode classifier in the supervisory level and a set of pre-designed controllers in the lower level. Controller outputs are modified nonlinearly by the classifying signals in a structure resembling one artificial neuron with adaptively changed weights. The lower-level local controllers are implemented using neural networks. An illustrative example of this approach is based on the transient stabilization of a single-machine infinite-bus system studied in Flexible AC Transmission Systems (FACTS) research. 相似文献
93.
94.
用于X光激光实验的反射式线聚焦光学系统的设计和分析 总被引:1,自引:1,他引:0
基于三维光线追迹的象差计算,对卢瑟福实验室用离轴球面反射线聚焦系统作了分析。然后,首次提出了用于X光激光实验的两类新的反射式线聚焦构型,即反射式光楔列阵和光锥列阵系统,并作了计算。最后,对所得结果作了比较和讨论。 相似文献
95.
Helena Szczerbicka 《Performance Evaluation》1992,14(3-4):217-226
In this paper the performability analysis of fault-tolerant computer systems using a hierarchical decomposition technique is presented. A special class of queueing network (QN) models, the so-called BCMP [4], and generalized stochastic Petri nets (GSPN) [1] which are often used to separately model performance and reliability respectively, have been combined in order to preserve the best modelling features of both.
A conceptual model is decomposed into GSPN and BCMP submodels, which are solved in isolation. Then, the remaining GSPN portion of the model is aggregated with flow-equivalents of BCMP models, in order to compute performability measures. The substitutes of BCMP models are presented by means of simple GSPN constructs, thereby preserving the 1st and 2nd moments of the throughput. A simple example of a data communication system where failed transmissions are corrected, is presented. 相似文献
96.
Anton A. Kiss Costin S. Bildea Alexandre C. Dimian Piet D. Iedema 《Chemical engineering science》2002,57(4):535-546
This article continues earlier work (Comput. Chem. Eng. 24 (2000) 209) concerning the design and control of isothermal reactor-separator-recycle systems. The multiplicity behaviour of six reaction systems of increasing complexity, from one-reactant, first-order reaction to chain-growth polymerisation, is investigated. Below a critical value of the plant Damkohler number, Da<Dacr, the only steady state involves infinite flow rates. Feasible steady states become possible if the critical value is exceeded, Da>Dacr. For one-reaction systems, one stable steady state is born at a transcritical bifurcation. For consecutive-reaction systems, including polymerisation, a fold bifurcation can lead to two feasible steady states. Moreover, the transcritical bifurcation is destroyed when two reactants are involved. If the gel-effect is included, a maximum of four steady states are possible. When multiple steady states exist, the achievable conversion is constrained by the instability of the low-conversion branch. This has practical importance for polymerisation systems when the radicals’ quasi-steady state assumption is not valid or the gel effect is significant. 相似文献
97.
Mike Schofield 《Quality and Reliability Engineering International》1992,8(6):549-555
Because of the growing demand for increasingly complex computer-based systems there is now an urgent need to provide tools to assist during the design of such systems. Formal specifications and formal methods provide such assistance but their widespread adoption has been hindered by the so-called ‘math fear’ and the perception that the tools are too difficult, too time consuming and too costly to use in a commercial environment. The aim of this article is to dispel the mystery surrounding the topic and to explain what formal methods are, how and why they are used, the benefits that accrue and why the technology should be accepted on a broader front. The application of formal methods to the design of computer-based systems will be discussed without resorting to jargon or mathematics. The discussion will concentrate more on the software content of systems but the arguments apply equally well to hardware. Some of the available tools will also be introduced. 相似文献
98.
周海光 《红外与毫米波学报》2002,21(Z1):112-114
对布满液晶微粒的聚合物(PDLC)进行了简并四波混频及光学双稳态的研究,并在文中对相关的PDLC中的分子重取向和热效应的非线性光学效应进行了讨论. 相似文献
99.
Marcus T. Schmitz Bashir M. Al-Hashimi Petru Eles 《Design Automation for Embedded Systems》2002,6(4):401-424
In this paper, we introduce the LOPOCOS (Low Power Co-synthesis) system, a prototype CAD tool for system level co-design. LOPOCOS targets the design of energy-efficient embedded systems implemented as heterogeneous distributed architectures. In particular, it is designed to solve the specific problems involved in architectures that include dynamic voltage scalable (DVS) processors. The aim of this paper is to demonstrate how LOPOCOS can support the system designer in identifying energy-efficient hardware/software implementations for the desired embedded systems. Hence, highlighting the necessary optimization steps during design space exploration for DVS enable architectures. The optimization steps carried out in LOPOCOS involve component allocation and task/communication mapping as well as scheduling and dynamic voltage scaling. LOPOCOS has the following key features, which contribute to this energy efficiency. During the voltage scaling valuable power profile information of task execution is taken into account, hence, the accuracy of the energy estimation is improved. A combined optimization for scheduling and communication mapping based on genetic algorithm, optimizes simultaneously execution order and communication mapping towards the utilization of the DVS processors and timing behaviour. Furthermore, a separation of task and communication mapping allows a more effective implementation of both task and communication mapping optimizationsteps. Extensive experiments are conducted to demonstrate the efficiency of LOPOCOS. We report up to 38% higher energy reductions compared to previous co-synthesis techniques for DVS systems. The investigations include a real-life example of an optical flow detection algorithm. 相似文献
100.
自发参量下转换光场的实验研究进展综述 总被引:1,自引:0,他引:1
自发参量下转换(spontaneous parametric down-conversion,SPDC)光场是基于单色泵浦光子流和量子真空噪声对非线性晶体的综合作用而产生的,它固有的量子起源决定了在非经典光场研究中的重要地位和作用.对SPDC光场的相干特性和它在绝对测量光电探测器量子效率中的应用进行了深入而细致的研究和探讨. 相似文献