全文获取类型
收费全文 | 6086篇 |
免费 | 58篇 |
国内免费 | 61篇 |
专业分类
系统科学 | 115篇 |
丛书文集 | 450篇 |
教育与普及 | 145篇 |
理论与方法论 | 65篇 |
现状及发展 | 12篇 |
研究方法 | 1篇 |
综合类 | 5417篇 |
出版年
2024年 | 15篇 |
2023年 | 47篇 |
2022年 | 46篇 |
2021年 | 53篇 |
2020年 | 44篇 |
2019年 | 47篇 |
2018年 | 26篇 |
2017年 | 39篇 |
2016年 | 64篇 |
2015年 | 176篇 |
2014年 | 510篇 |
2013年 | 478篇 |
2012年 | 587篇 |
2011年 | 608篇 |
2010年 | 465篇 |
2009年 | 475篇 |
2008年 | 425篇 |
2007年 | 362篇 |
2006年 | 234篇 |
2005年 | 194篇 |
2004年 | 172篇 |
2003年 | 181篇 |
2002年 | 150篇 |
2001年 | 151篇 |
2000年 | 127篇 |
1999年 | 85篇 |
1998年 | 73篇 |
1997年 | 75篇 |
1996年 | 66篇 |
1995年 | 45篇 |
1994年 | 38篇 |
1993年 | 28篇 |
1992年 | 25篇 |
1991年 | 28篇 |
1990年 | 20篇 |
1989年 | 21篇 |
1988年 | 12篇 |
1987年 | 8篇 |
1986年 | 2篇 |
1985年 | 1篇 |
1981年 | 1篇 |
1980年 | 1篇 |
排序方式: 共有6205条查询结果,搜索用时 12 毫秒
61.
20世纪90年代以来,自动化技术在发达国家的工程机械领域得到了广泛的应用。在单机技术不断发展的同时,以信息传送、集中调度为目的的机群施工管理系统也得到了初步的应用。最具代表性的是,全球最大的工程机械制造商卡特匹勒公司的采矿铲土运输技术系统。目前,我国也已经形成了较为完善的工程机械系列。在整机方面,多家公司推出了自己的智能化工程机械产品,如:微电脑控制的多功能摊铺机、智能化装载机、遥控型振动压路机等。这些产品的部分性能指标达到了国际先进水平,但我国在成套机群远程通讯、控制与管理系统技术等方面尚属空白。 相似文献
62.
63.
64.
随着计算机与通信技术的高速发展。我们设计了一种运用GSM(全球移动通信系统)网络短消息进行通信的通用监控模块,可广泛应用在防盗、远程监控、农田信息采集设备的维护及现代农业田间管理自动化生产线的监控等。传统的监控系统通常是以计算机为中心的监测控制与调度自动化系统, 相似文献
65.
电子设计自动化(EDA)代表了当今电子设计技术的最新发展方向。随着计算机技术和EDA软件在电路设计领域中的应用,传统的印刷电路板(PCB)设计方法已经发生变化,EDA技术已成为现代电子系统设计和电子产品研制开发的有效工具,成为电子工程师应具备的基本能力。 相似文献
66.
《东北大学学报(自然科学版)》2006,27(8):F0002-F0002,F0003
流程工业综合自动化重点实验室依托于国家“211工程”首批重点建设学科——东北大学信息科学与工程学院控制科学与工程学科,在基础理论研究、应用技术开发、承担重大攻关项目等方面具有雄厚基础和丰富经验. 相似文献
67.
Deepak KAPUR 《系统科学与复杂性》2006,19(3):307-330
A method using quantifier-elimination is proposed for automatically generating programinvariants/inductive assertions.Given a program,inductive assertions,hypothesized as parameterizedformulas in a theory,are associated with program locations.Parameters in inductive assertions arediscovered by generating constraints on parameters by ensuring that an inductive assertion is indeedpreserved by all execution paths leading to the associated location of the program.The method can beused to discover loop invariants-properties of variables that remain invariant at the entry of a loop.Theparameterized formula can be successively refined by considering execution paths one by one;heuristicscan be developed for determining the order in which the paths are considered.Initialization of programvariables as well as the precondition and postcondition,if available,can also be used to further refinethe hypothesized invariant.The method does not depend on the availability of the precondition andpostcondition of a program.Constraints on parameters generated in this way are solved for possiblevalues of parameters.If no solution is possible,this means that an invariant of the hypothesizedform is not likely to exist for the loop under the assumptions/approximations made to generate theassociated verification condition.Otherwise,if the parametric constraints are solvable,then undercertain conditions on methods for generating these constraints,the strongest possible invariant of thehypothesized form can be generated from most general solutions of the parametric constraints.Theapproach is illustrated using the logical languages of conjunction of polynomial equations as well asPresburger arithmetic for expressing assertions. 相似文献
68.
69.
70.
低压电容器用于补偿工频电力系统感性负载的无功功率,以提高功率因数,改善电压质量,降低线路损耗,提高系统输送功率,具有有功损耗小、价格低廉、安装简单、运行维修方便等优点,因此,在电力系统中应用极为广泛。 相似文献