全文获取类型
收费全文 | 4720篇 |
免费 | 123篇 |
国内免费 | 153篇 |
专业分类
系统科学 | 291篇 |
丛书文集 | 133篇 |
教育与普及 | 23篇 |
理论与方法论 | 4篇 |
现状及发展 | 23篇 |
综合类 | 4522篇 |
出版年
2024年 | 4篇 |
2023年 | 10篇 |
2022年 | 23篇 |
2021年 | 34篇 |
2020年 | 49篇 |
2019年 | 26篇 |
2018年 | 33篇 |
2017年 | 33篇 |
2016年 | 33篇 |
2015年 | 86篇 |
2014年 | 205篇 |
2013年 | 154篇 |
2012年 | 237篇 |
2011年 | 273篇 |
2010年 | 203篇 |
2009年 | 228篇 |
2008年 | 240篇 |
2007年 | 413篇 |
2006年 | 337篇 |
2005年 | 341篇 |
2004年 | 321篇 |
2003年 | 286篇 |
2002年 | 271篇 |
2001年 | 221篇 |
2000年 | 158篇 |
1999年 | 126篇 |
1998年 | 112篇 |
1997年 | 89篇 |
1996年 | 72篇 |
1995年 | 80篇 |
1994年 | 62篇 |
1993年 | 50篇 |
1992年 | 43篇 |
1991年 | 47篇 |
1990年 | 21篇 |
1989年 | 37篇 |
1988年 | 13篇 |
1987年 | 11篇 |
1986年 | 13篇 |
1985年 | 1篇 |
排序方式: 共有4996条查询结果,搜索用时 15 毫秒
91.
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. 相似文献
92.
93.
廖川荣 《萍乡高等专科学校学报》2006,(3):70-73
本文根据某炼油厂炼油的实际生产流程,建立了一个石油产品设计的优化模型,并利用LINGO数学软件计算出该模型的一个最优解,该模型对炼油企业合理地选购原油、优化工艺流程、优化产品设计方案,充分利用企业可用资源,降低生产成本、提高产品质量、获取更好的经济效益具有一定的理论指导意义。 相似文献
94.
邹祥福 《五邑大学学报(自然科学版)》2004,18(3):47-51
通过实例讲解如何巧用SAS/OR软件求解多解整数线性规划问题的多个解,弥补了用SAS/OR软件仅能得出多解整数线性规划一个解的缺点,使SAS/OR软件有了更广阔的应用. 相似文献
95.
软件可靠性模型预测结果的优劣,取决于基本假设与实际开发过程的吻合程度.在Kaput-Grap可靠性增长模型的基础上,通过与实际情形更接近的基本假设,研究一种新的软件可靠性模型. 相似文献
96.
在组建软件系统时,无论选择业务外包或内包的组建方式,都必须重视软件开发能力及过程评估,以确保软件产品的质量和项目的成功.探讨和研究了SEICMM和ISO/IECTR15504等国际通用的评估标准以及评估实施方法. 相似文献
97.
Multisim在三相交流电路实验仿真中的应用 总被引:3,自引:0,他引:3
将EDA仿真软件Multisim应用于三相交流电路实验的仿真方法为:建立三相交流电路,按要求设置电路所需的参数,调用软件所提供的测试仪表进行仿真,根据仿真观测到的现象或数据进行三相交流电路特性的分析。本文运用Multisim对几个电路实例进行了仿真,三相电路的特性分析一目了然,有很好的现实效果。 相似文献
98.
快速成型电子商务网站的总体设计 总被引:1,自引:0,他引:1
快速成型网站是争取用户定单和对社会开放培训而建设的重要窗口 .针对快速成型网站建设的功能和特点 ,基于J2EE体系在总体上对商务系统的表示层、商业逻辑层和数据库层进行了分析、设计和实现 相似文献
99.
模型预测控制(MPC)系统仿真软件开发与实现 总被引:1,自引:1,他引:1
介绍了基于PC机平台的模型预测控制(MPC)系统仿真软件的开发与实现过程。该软件包含MAC、IMAC、DMC、DDMC和GPC五种预测控制算法,可以用不同的方法实现对预测控制系统的综合性仿真,包括扰动对系统性能的影响以及控制器参数调整的作用等。利用该软件可对模型预测控制系统的作用机理做进一步仿真分析,并有助于定性分析各种算法中设计参数对系统性能的影响以及不同算法之间的区别。 相似文献
100.
Windows Installer是微软推出的软件安装、发布及管理方式,使用它可以进行包括软件的发布、安装、修改、升级、移除在内的全程管理,较好地解决了原有软件发布方式中存在的问题.本文描述了Windows Installer的特点、结构、运行过程以及实现途径,最后说明了使用它进行软件发布的基本步骤. 相似文献