全文获取类型
收费全文 | 5326篇 |
免费 | 149篇 |
国内免费 | 187篇 |
专业分类
系统科学 | 371篇 |
丛书文集 | 150篇 |
教育与普及 | 27篇 |
理论与方法论 | 8篇 |
现状及发展 | 26篇 |
综合类 | 5080篇 |
出版年
2024年 | 5篇 |
2023年 | 18篇 |
2022年 | 36篇 |
2021年 | 45篇 |
2020年 | 73篇 |
2019年 | 45篇 |
2018年 | 47篇 |
2017年 | 45篇 |
2016年 | 44篇 |
2015年 | 102篇 |
2014年 | 238篇 |
2013年 | 184篇 |
2012年 | 273篇 |
2011年 | 299篇 |
2010年 | 228篇 |
2009年 | 263篇 |
2008年 | 265篇 |
2007年 | 456篇 |
2006年 | 399篇 |
2005年 | 367篇 |
2004年 | 358篇 |
2003年 | 310篇 |
2002年 | 299篇 |
2001年 | 245篇 |
2000年 | 168篇 |
1999年 | 142篇 |
1998年 | 121篇 |
1997年 | 96篇 |
1996年 | 85篇 |
1995年 | 85篇 |
1994年 | 62篇 |
1993年 | 53篇 |
1992年 | 46篇 |
1991年 | 50篇 |
1990年 | 27篇 |
1989年 | 39篇 |
1988年 | 15篇 |
1987年 | 12篇 |
1986年 | 14篇 |
1985年 | 1篇 |
1984年 | 1篇 |
1955年 | 1篇 |
排序方式: 共有5662条查询结果,搜索用时 515 毫秒
131.
132.
用Origin软件的线性拟合和非线性曲线拟合功能处理实验数据 总被引:8,自引:0,他引:8
陈旭红 《江苏技术师范学院学报》2006,12(6):85-89
以物理化学实验中《燃烧热的测定》实验为例,说明Origin软件在计算机上对实验数据进行作图、线性拟合和非线性曲线拟合等处理而求得需要的实验参数,从而大大减少数据处理过程中产生的误差,而且方便快捷。 相似文献
133.
详细介绍了TMS320C6000 DSP的开发过程和代码优化技术,通过对DSP代码进行优化。提高了指令的并行执行度和代码执行效率,充分利用了系统资源,对实际的系统开发起到了指导作用。 相似文献
134.
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. 相似文献
135.
136.
仿真系统VV&A是针对仿真系统全生命周期可信性评估而实施的一项重要活动,是仿真系统研究与开发中的关键技术和难题之一。本文围绕仿真系统VV&A中的关键问题展开研究,包括仿真系统VV&A概念体系、VV&A过程模型及VV&A标准/规范技术框架等,为复杂仿真系统VV&A标准研究提供对策与参考。 相似文献
137.
从软件失效的不可避免性出发,提出了软件可靠性工程的概念。介绍了软件可靠性分析的方法、保证软件可靠性的工程方法和两种常用的可靠性设计技术。 相似文献
138.
139.
彭颖 《贵州工业大学学报(自然科学版)》2006,35(2):54-56
用VF6.0编程实现贵州省各院校成教毕业生数据与该批毕业生考取成高当年的录取数据的碰撞核对,以筛选出与录取信息不符或在录取表中没有录取记录的毕业生数据。 相似文献
140.
廖川荣 《萍乡高等专科学校学报》2006,(3):70-73
本文根据某炼油厂炼油的实际生产流程,建立了一个石油产品设计的优化模型,并利用LINGO数学软件计算出该模型的一个最优解,该模型对炼油企业合理地选购原油、优化工艺流程、优化产品设计方案,充分利用企业可用资源,降低生产成本、提高产品质量、获取更好的经济效益具有一定的理论指导意义。 相似文献