首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   582416篇
  免费   57573篇
  国内免费   30301篇
电工技术   96404篇
技术理论   55篇
综合类   56417篇
化学工业   56367篇
金属工艺   21834篇
机械仪表   37051篇
建筑科学   55352篇
矿业工程   25388篇
能源动力   23154篇
轻工业   28826篇
水利工程   21036篇
石油天然气   20350篇
武器工业   7509篇
无线电   57170篇
一般工业技术   37407篇
冶金工业   22059篇
原子能技术   6466篇
自动化技术   97445篇
  2024年   2088篇
  2023年   6933篇
  2022年   15210篇
  2021年   18744篇
  2020年   17035篇
  2019年   13248篇
  2018年   12628篇
  2017年   17087篇
  2016年   21163篇
  2015年   23788篇
  2014年   39747篇
  2013年   34791篇
  2012年   43217篇
  2011年   45636篇
  2010年   34086篇
  2009年   34363篇
  2008年   33134篇
  2007年   41411篇
  2006年   37662篇
  2005年   32892篇
  2004年   26743篇
  2003年   23525篇
  2002年   18421篇
  2001年   15240篇
  2000年   12745篇
  1999年   9894篇
  1998年   7186篇
  1997年   5981篇
  1996年   5162篇
  1995年   4292篇
  1994年   3611篇
  1993年   2542篇
  1992年   2071篇
  1991年   1496篇
  1990年   1276篇
  1989年   1094篇
  1988年   720篇
  1987年   484篇
  1986年   361篇
  1985年   395篇
  1984年   358篇
  1983年   291篇
  1982年   223篇
  1981年   184篇
  1980年   192篇
  1979年   118篇
  1978年   78篇
  1977年   66篇
  1962年   76篇
  1959年   76篇
排序方式: 共有10000条查询结果,搜索用时 15 毫秒
151.
We investigate the problem of efficient wireless power transfer in wireless sensor networks. In our approach, special mobile entities (called the Mobile Chargers) traverse the network and wirelessly replenish the energy of sensor nodes. In contrast to most current approaches, we envision methods that are distributed and use limited network information. We propose four new protocols for efficient charging, addressing key issues which we identify, most notably (i) what are good coordination procedures for the Mobile Chargers and (ii) what are good trajectories for the Mobile Chargers. Two of our protocols (DC, DCLK) perform distributed, limited network knowledge coordination and charging, while two others (CC, CCGK) perform centralized, global network knowledge coordination and charging. As detailed simulations demonstrate, one of our distributed protocols outperforms a known state of the art method, while its performance gets quite close to the performance of the powerful centralized global knowledge method.  相似文献   
152.
The next-generation systems are expected to be largely cyber–physical systems (CPSs) that autonomously control physical processes, through sensors and actuators typically in real-time feedback and cooperative control loops distributed among physical and cyber environments. The rapid technological advancements enhance the smartness of these CPSs, pushing their boundaries of performance and efficiency by embedding new information and communication technologies. However, to what extent CPSs should be smarter so that they do not compromise safety and security of safety critical systems? is an open research question. Towards this goal, the purpose of this study is to establish a grounded theory to analyse what makes these systems smart? and eventually, how to find a balance between smartness and safety risks? In this precinct, this article aims to develop a conceptual framework, define the dimensions and derive the characteristics that make CPSs smart. The proposed approach combines an automated informetric and systematic analysis of literature pertinent to the topic of smartness across anthropology, science, engineering and technology. The analysis of a case study building and the discussions presented herein support the connection between the existing understanding of CPSs and smartness offered by the building design approach in urban environment.  相似文献   
153.
ABSTRACT

This paper focuses on controllability and observability of multi-agent systems with heterogeneous and switching topologies, where the first- and the second-order information interaction topologies are different and switching. First, based on the controllable state set, a controllability criterion is obtained in terms of the controllability matrix corresponding to the switching sequence. Next, by virtue of the subspace sequence, two necessary and sufficient algebraic conditions are established for controllability in terms of the system matrices corresponding to all the possible topologies. Furthermore, controllability is considered from the graphic perspective. It is proved that the system is controllable if the union graph of all the possible topologies is controllable. With respect to observability, two sufficient and necessary conditions are derived by taking advantage of the system matrices and the corresponding invariant subspace, respectively. Finally, some simulation examples are worked out to illustrate the theoretical results.  相似文献   
154.
金鑫城  孙浩睿 《发电技术》2020,41(2):137-205
泛在电力物联网是物联网在电力领域的具体体现,建设泛在电力物联网是推进"三型两网"建设的关键环节,也是实现能源转型的必要手段。阐述了泛在电力物联网的定义,从供电公司角度出发,根据北京经济技术开发区实际情况,讨论了依托地区特点的泛在电力物联网实施策略和实际应用场景,分析了可能遇到的问题。得出结论:随着泛在电力物联网的深入建设,供电公司能够为电力客户提供多元化服务,提高客户满意度;地市供电公司能够依托泛在电力物联网开展更多电力相关业务;泛在电力物联网的安全性、实用性、有效性是发展面临的首要问题。  相似文献   
155.
针对铜冶炼工艺的特点,从门架式堆取料机对前后工序衔接、结构、原理出发,介绍了其在熔炼炉系统和吹炼炉系统中的应用情况。经过试生产期的生产实践证明,门架式堆取料机具有场地利用率高、取料量大,自动化程度高和安全环保等优点。  相似文献   
156.
ABSTRACT

In this paper, we review some algebraic control system. Precisely, linear and bilinear systems on Euclidean spaces and invariant and linear systems on Lie groups. The fourth classes of systems have a common issue: to any class, there exists an associated subgroup. From this object, we survey the controllability property. Especially, from those coming from our contribution to the theory.  相似文献   
157.
为测试倾斜摄影测量技术路线,并通过实际项目的应用,解决传统古建筑建模过程中存在的时间成本高、难以还原复杂场景等问题。按照倾斜摄影技术的技术路线,进行朱氏宗祠建筑测绘试验,并通过基于altizure软件建立三维模型来展现倾斜摄影测量技术流程。验证无人机倾斜摄影应用于古建筑三维建模的可行性和可操作性。  相似文献   
158.
郭建  丁继政  朱晓冉 《软件学报》2020,31(5):1353-1373
"如何构造高可信的软件系统"已成为学术界和工业界的研究热点.操作系统内核作为软件系统的基础组件,它的安全可靠是构造高可信软件系统的重要环节.为了确保操作系统内核的安全可靠,将形式化方法引入到操作系统内核验证中,提出了一个自动化验证操作系统内核的框架.该验证框架包括:(1)分别对C语言程序和混合语言程序(C语言和汇编语言)进行验证;(2)在混合语言程序验证中,为汇编程序建立抽象模型,并将C语言程序和抽象模型粘合形成基于C语言验证工具可接收的验证模型;(3)从规范中提取性质,基于该自动验证工具,对性质完成自动验证;(4)该框架不限于特定的硬件架构.成功地运用该验证框架对两种不同硬件平台的嵌入式实时操作系统内核μC/OS-II进行了验证.结果显示:利用该框架在对两个不同的硬件平台上内核验证时,框架的可重复利用率很高,高达到88%,虽然其抽象模型需要根据不同的硬件平台进行重构.在对基于这两种平台的操作系统内核验证中,分别发现了10~12处缺陷.其中,在ARM平台上两处与硬件相关的问题被发现.实验表明,该方法对不同硬件平台的同一个操作系统分析验证具有一定的通用性.  相似文献   
159.
This publication contains the thermodynamic results received by the drop calorimetry method. The experiments were conducted for four different cross sections, at the temperature of 1080 K. The investigated alloys were as follows: (Ga0.75Li0.25)1-xGex, (Ge0.50Li0.50)1-xGax, (Ga0.50Li0.50)1-xGex, (Ga0.25Li0.75)1-xGex. The mixing enthalpy changes measured for all four cross sections of the Ga-Ge-Li system are characterized by negative deviations from the ideal solutions. The Muggianu model with the ternary interaction parameters was applied to elaborate the experimental data of the mixing enthalpy change with the use of the optimized thermodynamic parameters of the binary systems available in the literature.  相似文献   
160.
The Vehicle Routing Problem with Simultaneous Pickup and Delivery (VRPSPD) is an extension to the classical Vehicle Routing Problem (VRP), where customers may both receive and send goods simultaneously. The Vehicle Routing Problem with Mixed Pickup and Delivery (VRPMPD) differs from the VRPSPD in that the customers may have either pickup or delivery demand. However, the solution approaches proposed for the VRPSPD can be directly applied to the VRPMPD. In this study, an adaptive local search solution approach is developed for both the VRPSPD and the VRPMPD, which hybridizes a Simulated Annealing inspired algorithm with Variable Neighborhood Descent. The algorithm uses an adaptive threshold function that makes the algorithm self-tuning. The proposed approach is tested on well-known VRPSPD and VRPMPD benchmark instances derived from the literature. The computational results indicate that the proposed algorithm is effective in solving the problems in reasonable computation time.  相似文献   
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号