全文获取类型
收费全文 | 3530篇 |
免费 | 82篇 |
国内免费 | 224篇 |
专业分类
系统科学 | 266篇 |
丛书文集 | 186篇 |
教育与普及 | 46篇 |
理论与方法论 | 14篇 |
现状及发展 | 16篇 |
综合类 | 3308篇 |
出版年
2024年 | 7篇 |
2023年 | 49篇 |
2022年 | 50篇 |
2021年 | 83篇 |
2020年 | 49篇 |
2019年 | 46篇 |
2018年 | 28篇 |
2017年 | 50篇 |
2016年 | 59篇 |
2015年 | 71篇 |
2014年 | 128篇 |
2013年 | 151篇 |
2012年 | 157篇 |
2011年 | 176篇 |
2010年 | 169篇 |
2009年 | 196篇 |
2008年 | 225篇 |
2007年 | 217篇 |
2006年 | 135篇 |
2005年 | 170篇 |
2004年 | 160篇 |
2003年 | 152篇 |
2002年 | 159篇 |
2001年 | 140篇 |
2000年 | 121篇 |
1999年 | 109篇 |
1998年 | 115篇 |
1997年 | 88篇 |
1996年 | 110篇 |
1995年 | 102篇 |
1994年 | 69篇 |
1993年 | 64篇 |
1992年 | 58篇 |
1991年 | 42篇 |
1990年 | 28篇 |
1989年 | 36篇 |
1988年 | 23篇 |
1987年 | 17篇 |
1986年 | 14篇 |
1985年 | 2篇 |
1983年 | 3篇 |
1981年 | 3篇 |
1980年 | 3篇 |
1978年 | 1篇 |
1965年 | 1篇 |
排序方式: 共有3836条查询结果,搜索用时 0 毫秒
51.
52.
本文给出了“多媒体网络答卷与评价系统”的设计思想及技术实现,其中重点介绍了该系统中所采用的主要技术及系统结构 相似文献
53.
劳兰Xun 《汕头大学学报(自然科学版)》1997,12(1):9-14
本文提出在GMDH中利用“新息贡献”准则选择关键变量(包括初始变量和中间变量)、自动构成最优部分多项式,并且给出了递推算法以避免重复运算,从而优化了模型结构,提高了精度,简化了建模过程。最后用仿真例子验证了新方法的有效性。 相似文献
54.
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. 相似文献
55.
Bayes网络常用于多变量间的因果推断,但当存在未观测的隐变量和选择变量时,这种图模型往往无法正确描述观测变量间的因果关系。作者利用在观测变量上构造的最大祖先图模型刻画观测变量间的独立性关系和因果结构,并提出了具体的实现算法,从而可由观测数据来推断这类不完全观测下的部分因果关系。 相似文献
56.
多变量模糊控制系统的前馈解耦 总被引:10,自引:0,他引:10
为实现多变量模糊控制系统的动态解耦,基于前馈解耦思想和神经网络理论,提出了一种多变量模糊控制系统解耦的新方法——模糊前馈解耦法,模糊控制器和解耦部分独立设计,解耦由两层神经网络实现,节点少,其活化函数采用分段线性函数.利用简化的学习算法,根据系统输出误差,在线调整网络权值,从而实现动态解耦而无需辨识被控对象的模型,该方法结构简单且计算量小,适于实时多变量过程控制,仿真证明了该方法的有效性。 相似文献
57.
李永康 《西南民族学院学报(自然科学版)》2004,30(5):602-606
在确定平衡体系状态的独立自变量基础上,讨论了在不同情况下,如何选择独立自变量,以及在选择独主自变量时,强度变量与容量变量的关系。 相似文献
58.
用MathCAD辅助解析几何教学 总被引:1,自引:0,他引:1
MathCAD是功能强大的专业的数学软件 ,具有数值计算、符号演算、数据可视化和程序编制等功能 .将MathCAD较强的图形动画功能应用于解析几何教学 ,使教学直观生动形象 .同时给出了实例的程序编写和动画实现过程 ,在解析几何教学中有一定的应用价值 相似文献
59.
系统地模拟了SP定宽机同步机构和侧压机构的运动规律,采用Powell优化理论,以模块最大有效行程为目标函数,以主曲柄初始角度和偏心距为变量进行优化分析,得到一组最优解。该结论为现场控制定宽机主曲柄的初始位置提供了理论依据。 相似文献
60.