全文获取类型
收费全文 | 38482篇 |
免费 | 3157篇 |
国内免费 | 3348篇 |
专业分类
电工技术 | 3175篇 |
技术理论 | 5篇 |
综合类 | 2510篇 |
化学工业 | 2494篇 |
金属工艺 | 302篇 |
机械仪表 | 1435篇 |
建筑科学 | 1331篇 |
矿业工程 | 188篇 |
能源动力 | 1358篇 |
轻工业 | 483篇 |
水利工程 | 273篇 |
石油天然气 | 232篇 |
武器工业 | 172篇 |
无线电 | 2801篇 |
一般工业技术 | 2998篇 |
冶金工业 | 958篇 |
原子能技术 | 151篇 |
自动化技术 | 24121篇 |
出版年
2024年 | 163篇 |
2023年 | 622篇 |
2022年 | 481篇 |
2021年 | 774篇 |
2020年 | 1046篇 |
2019年 | 1125篇 |
2018年 | 1050篇 |
2017年 | 1413篇 |
2016年 | 1536篇 |
2015年 | 1378篇 |
2014年 | 2320篇 |
2013年 | 3514篇 |
2012年 | 1866篇 |
2011年 | 2347篇 |
2010年 | 1713篇 |
2009年 | 2198篇 |
2008年 | 2203篇 |
2007年 | 2195篇 |
2006年 | 1895篇 |
2005年 | 1703篇 |
2004年 | 1435篇 |
2003年 | 1350篇 |
2002年 | 1238篇 |
2001年 | 990篇 |
2000年 | 981篇 |
1999年 | 894篇 |
1998年 | 797篇 |
1997年 | 710篇 |
1996年 | 646篇 |
1995年 | 558篇 |
1994年 | 503篇 |
1993年 | 482篇 |
1992年 | 369篇 |
1991年 | 357篇 |
1990年 | 279篇 |
1989年 | 217篇 |
1988年 | 187篇 |
1987年 | 167篇 |
1986年 | 137篇 |
1985年 | 180篇 |
1984年 | 187篇 |
1983年 | 167篇 |
1982年 | 147篇 |
1981年 | 96篇 |
1980年 | 71篇 |
1979年 | 85篇 |
1978年 | 61篇 |
1977年 | 67篇 |
1976年 | 19篇 |
1975年 | 13篇 |
排序方式: 共有10000条查询结果,搜索用时 15 毫秒
81.
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. 相似文献
82.
The problem of tracking a periodic trajectory of the well-known cart-pendulum system is solved. After a change of coordinates and a change of feedback, the equations of this system are nonlinear but feedforward. This property is extensively used to carry out for this system the design of uniformly asymptotically stabilizing time-varying state feedbacks by using the forwarding approach. 相似文献
83.
Ken Smith 《Color research and application》2007,32(4):249-255
This study describes a process of relating the perceptual analysis of the colors of the terrestrial atmosphere to currently available pigments used in artists' painting systems. This process sought to discover how the colors of the sky could be defined and simulated by these pigments. The author also describes how confusion over the bewildering choice of suitable pigments on offer in the market place can be clarified. © 2006 Wiley Periodicals, Inc. Col Res Appl, 32, 249–255, 2007 相似文献
84.
85.
建立了热采注汽系统热效率的计算模型。根据XX油田数据计算了2个注汽系统的热效率。提出了提高注汽系统热效率的三项措施:(1)降低锅炉的过剩空气系数;(2)按最大允许热损失设计地面输汽管线的保温层厚度;(3)使用视导热系数小的隔热油管,按箍增加隔热结构,防止热封隔器的泄漏等。 相似文献
86.
Maciej W. Rogoziski 《Systems & Control Letters》1989,12(5):449-453
An optimal predictor is developed for a singular random process generated by a known system driven by a white noise sequence. The properties of the predictor are compared with those of the optimal predictor for a nonsingular random process. 相似文献
87.
The development of renewable technologies in the last decade has been exceptional. In photovoltaic (PV) for example, efforts were not only limited to merely improving their efficiency but also to the reduction of the cost of cells and modules via volume production for commercial markets. There are many national schemes promoting the use of PV technology and regional targets for a share of renewable energy production. This paper attempts to relay to the reader a journey, based on experience, approaches for enhancing the prospect of utilising solar energy within the society we live in. The issue of expansion or enhancing the utilisation of solar energy can be undertaken by individuals, groups, institutions and governments. The aim of this paper is to provide some examples, which could serve as a framework in which action could be taken to promote solar technology. 相似文献
88.
Abstract. While a large body of research exists on the development and implementation of software, organizations are increasingly acquiring enterprise software packages [e.g. enterprise resource planning (ERP) systems] instead of custom developing their own software applications. To be competitive in the marketplace, software package development firms must manage the three-pronged trade-off between cost, quality and functionality. Surprisingly, prior research has made little attempt to investigate the characteristics of packaged software that influence management information system (MIS) managers' likelihood of recommending purchase. As a result, both the criteria by which MIS managers evaluate prospective packaged systems and the attributes that lead to commercially competitive ERP software products are poorly understood. This paper examines this understudied issue through a conjoint study. We focus on ERP systems, which are among the largest and most complex packaged systems that are purchased by organizations. In a conjoint study, 1008 evaluation decisions based on hypothetical ERP software package profiles were completed by managers in 126 organizations. The study represents the first empirical investigation of the relative importance that managers ascribe to various factors that are believed to be important in evaluating packaged software. The results provide important insights for both organizations that acquire such systems and those that develop them. The results show that functionality, reliability, cost, ease of use and ease of customization are judged to be important criteria, while ease of implementation and vendor reputation were not found to be significant. Functionality and reliability were found to be the most heavily weighted factors. We conclude the paper with a detailed discussion of the results and their implications for software acquisition and development practice. 相似文献
89.
90.
Martijn Hendriks Barend van den Nieuwelaar Frits Vaandrager 《International Journal on Software Tools for Technology Transfer (STTT)》2006,8(6):633-647
For a case-study of a wafer scanner from the semiconductor industry it is shown how model checking techniques can be used
to compute (1) a simple yet optimal deadlock avoidance policy, and (2) an infinite schedule that optimizes throughput. in
the absence of errors. Deadlock avoidance is studied based on a simple finite state model using Smv, and for throughput analysis a more detailed timed automaton model has been constructed and analyzed using the Uppaal tool. The Smv and Uppaal models are formally related through the notion of a stuttering bisimulation. The results were obtained within 2 weeks, which
confirms once more that model checking techniques may help to improve the design process of realistic, industrial systems.
Methodologically, the case study is interesting since two models were used to obtain results that could not have been obtained
using only a single model.
Supported by the European Community Project IST-2001-35304 (Ametist), http://ametist.cs.utwente.nl/. 相似文献