全文获取类型
收费全文 | 7108篇 |
免费 | 175篇 |
国内免费 | 244篇 |
专业分类
系统科学 | 354篇 |
丛书文集 | 215篇 |
教育与普及 | 66篇 |
理论与方法论 | 29篇 |
现状及发展 | 33篇 |
综合类 | 6830篇 |
出版年
2024年 | 6篇 |
2023年 | 21篇 |
2022年 | 39篇 |
2021年 | 57篇 |
2020年 | 60篇 |
2019年 | 43篇 |
2018年 | 44篇 |
2017年 | 53篇 |
2016年 | 59篇 |
2015年 | 126篇 |
2014年 | 274篇 |
2013年 | 222篇 |
2012年 | 338篇 |
2011年 | 379篇 |
2010年 | 312篇 |
2009年 | 319篇 |
2008年 | 378篇 |
2007年 | 590篇 |
2006年 | 496篇 |
2005年 | 505篇 |
2004年 | 480篇 |
2003年 | 432篇 |
2002年 | 395篇 |
2001年 | 332篇 |
2000年 | 254篇 |
1999年 | 200篇 |
1998年 | 164篇 |
1997年 | 147篇 |
1996年 | 113篇 |
1995年 | 126篇 |
1994年 | 108篇 |
1993年 | 100篇 |
1992年 | 74篇 |
1991年 | 71篇 |
1990年 | 50篇 |
1989年 | 57篇 |
1988年 | 46篇 |
1987年 | 30篇 |
1986年 | 21篇 |
1985年 | 4篇 |
1984年 | 1篇 |
1981年 | 1篇 |
排序方式: 共有7527条查询结果,搜索用时 343 毫秒
201.
详细介绍了TMS320C6000 DSP的开发过程和代码优化技术,通过对DSP代码进行优化。提高了指令的并行执行度和代码执行效率,充分利用了系统资源,对实际的系统开发起到了指导作用。 相似文献
202.
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. 相似文献
203.
204.
陈仲 《达县师范高等专科学校学报》2006,16(3):5-9
"社会更加和谐"是党的十六大作为全面建设小康社会的奋斗目标提出的.党的十六届四中全会又把不断提高构建社会主义和谐社会的能力作为加强党的执政能力建设的一个主要任务.和谐社会概念的内涵和外延都相当丰富,主要是指人们之间的相处和谐,其特征为民主法治、公平正义、诚信友爱、充满活力、安定有序、人与自然和谐相处六个方面.法治是一个多义的概念,作为工具性价值,是建设社会主义和谐社会的基石. 相似文献
205.
从软件失效的不可避免性出发,提出了软件可靠性工程的概念。介绍了软件可靠性分析的方法、保证软件可靠性的工程方法和两种常用的可靠性设计技术。 相似文献
206.
207.
廖川荣 《萍乡高等专科学校学报》2006,(3):70-73
本文根据某炼油厂炼油的实际生产流程,建立了一个石油产品设计的优化模型,并利用LINGO数学软件计算出该模型的一个最优解,该模型对炼油企业合理地选购原油、优化工艺流程、优化产品设计方案,充分利用企业可用资源,降低生产成本、提高产品质量、获取更好的经济效益具有一定的理论指导意义。 相似文献
208.
设计了一种基于图形LCD显示模块的智能仪表人机界面的软件自动生成系统.从智能仪表和液晶显示器的发展趋势和需求入手,通过对现有智能仪表的界面分析,完成了PC机上组态式人机界面编辑平台的设计和开发,并且解决了代码的自动生成与转换问题.其目的是为各种智能仪表人机界面软件的设计与开发提供一种自动生成工具,缩短仪表产品的开发周期. 相似文献
209.
给出一种使用公用电话网进行远程控制雷达机房附属设施的系统。该系统采用普通双音多频电话机上的按键,作为控制命令按键,通过MT8870双音调多频接收机作电话双音多频解码核心,实现对雷达机房附属设施远程控制功能。 相似文献
210.
软件演化过程的度量数据采集策略研究 总被引:1,自引:0,他引:1
度量数据的采集是度量软件过程的重要环节,讨论了度量数据的采集过程中遇到的问题,以及有效数据采集应遵循的原则,并针对软件演化过程的特点及不同的应用提出了2种数据采集的策略. 相似文献