全文获取类型
收费全文 | 7569篇 |
免费 | 52篇 |
国内免费 | 74篇 |
专业分类
系统科学 | 127篇 |
丛书文集 | 478篇 |
教育与普及 | 166篇 |
理论与方法论 | 67篇 |
现状及发展 | 12篇 |
综合类 | 6845篇 |
出版年
2024年 | 18篇 |
2023年 | 59篇 |
2022年 | 57篇 |
2021年 | 80篇 |
2020年 | 56篇 |
2019年 | 51篇 |
2018年 | 26篇 |
2017年 | 47篇 |
2016年 | 64篇 |
2015年 | 196篇 |
2014年 | 551篇 |
2013年 | 504篇 |
2012年 | 635篇 |
2011年 | 685篇 |
2010年 | 592篇 |
2009年 | 601篇 |
2008年 | 618篇 |
2007年 | 616篇 |
2006年 | 396篇 |
2005年 | 324篇 |
2004年 | 238篇 |
2003年 | 238篇 |
2002年 | 180篇 |
2001年 | 175篇 |
2000年 | 154篇 |
1999年 | 90篇 |
1998年 | 76篇 |
1997年 | 75篇 |
1996年 | 70篇 |
1995年 | 43篇 |
1994年 | 38篇 |
1993年 | 26篇 |
1992年 | 25篇 |
1991年 | 29篇 |
1990年 | 20篇 |
1989年 | 17篇 |
1988年 | 12篇 |
1987年 | 7篇 |
1986年 | 2篇 |
1985年 | 1篇 |
1981年 | 2篇 |
1980年 | 1篇 |
排序方式: 共有7695条查询结果,搜索用时 15 毫秒
91.
《东北大学学报(自然科学版)》2006,27(8):F0002-F0002,F0003
流程工业综合自动化重点实验室依托于国家“211工程”首批重点建设学科——东北大学信息科学与工程学院控制科学与工程学科,在基础理论研究、应用技术开发、承担重大攻关项目等方面具有雄厚基础和丰富经验. 相似文献
92.
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. 相似文献
93.
94.
高校内部审计是学校内部履行综合经济监督、评价和控制高校经济活动,并为高校经济活动提供服务的职能管理部门,但目前在认识方面、定位方面、人员配备方面还存在着诸多问题.今后应从提高审计人员的综合素质、加强高校内部审计的独立性、加强校内审计部门与社会审计部门的业务联系等方面采取相应的对策. 相似文献
95.
孙红兵 《科技情报开发与经济》2006,16(5):148-149
分析了效益审计与财务收支审计的关系,阐明了行政事业单位效益审计的内容与重点,并提出了有效地开展行政事业单位效益审计办法和途径。 相似文献
96.
97.
98.
99.
超声无损检测机械手的设计与实现 总被引:2,自引:0,他引:2
为了解决由平面、弧面、球面等组成的零部件的超声无损检测问题,提高检测的自动化程度和可靠性,提出了基于机械手的超声无损检测系统。借助于超声检测技术、机器人技术、数字控制技术、计算机技术等,研制了一种用于超声无损检测的机械手。该机械手由机械系统、控制系统、伺服系统、检测系统等组成,通过PC机控制,能够实现自动控制并实时获取坐标信息,有利于缺陷的定位、定量和定性分析,其结构简单,性能价格比高,不仅能够用于超声无损检测,而且也可以用于其他场合,具有广泛的适应性。 相似文献
100.
配电网馈线自动化的模式比较及故障判定 总被引:1,自引:0,他引:1
通过对目前存在的几种配电网馈线自动化故障恢复模式的分析比较,指出基于FTU的配电管理系统是非常先进的一种解决方案。在此基础上提出了故障判定的一种方法,亦即首先建立网络状态矩阵D,然后根据故障情况建立故障判定矩阵Dp,最后.依据故障判定矩阵判断出故障区间。并通过一个实例提出了一种故障恢复的方案。 相似文献