全文获取类型
收费全文 | 56884篇 |
免费 | 2250篇 |
国内免费 | 4597篇 |
专业分类
系统科学 | 7119篇 |
丛书文集 | 2115篇 |
教育与普及 | 704篇 |
理论与方法论 | 225篇 |
现状及发展 | 462篇 |
综合类 | 53106篇 |
出版年
2024年 | 509篇 |
2023年 | 1622篇 |
2022年 | 1725篇 |
2021年 | 1920篇 |
2020年 | 1488篇 |
2019年 | 1382篇 |
2018年 | 795篇 |
2017年 | 1123篇 |
2016年 | 1192篇 |
2015年 | 1730篇 |
2014年 | 2744篇 |
2013年 | 2601篇 |
2012年 | 2984篇 |
2011年 | 3215篇 |
2010年 | 3269篇 |
2009年 | 3961篇 |
2008年 | 4259篇 |
2007年 | 3793篇 |
2006年 | 3166篇 |
2005年 | 2722篇 |
2004年 | 2331篇 |
2003年 | 2103篇 |
2002年 | 1999篇 |
2001年 | 1798篇 |
2000年 | 1479篇 |
1999年 | 1255篇 |
1998年 | 1122篇 |
1997年 | 912篇 |
1996年 | 822篇 |
1995年 | 717篇 |
1994年 | 606篇 |
1993年 | 466篇 |
1992年 | 414篇 |
1991年 | 392篇 |
1990年 | 339篇 |
1989年 | 289篇 |
1988年 | 228篇 |
1987年 | 127篇 |
1986年 | 64篇 |
1985年 | 27篇 |
1984年 | 6篇 |
1983年 | 8篇 |
1981年 | 15篇 |
1980年 | 5篇 |
1978年 | 1篇 |
1965年 | 1篇 |
1957年 | 3篇 |
1947年 | 1篇 |
1940年 | 1篇 |
排序方式: 共有10000条查询结果,搜索用时 171 毫秒
961.
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. 相似文献
962.
963.
964.
965.
利用改进的GLA算法快速检测球场区域 总被引:2,自引:0,他引:2
球场区域检测作为球和球员检测的预处理,是体育视频语义分析和球场三维重建的关键步骤。该算法首先引入了一种分裂和合并机制对GLA进行了改进。然后,利用改进的GLA将每帧的图像象素值进行量化分类,找到主色。最后,结合找到的主色,融合多个非连通的主色区域,利用球场区域为凸多边形的性质,采用Sklansky算法确定球场区域的边界。文中所示算法全部采用基于缩略图的计算方式,实验结果证明该算法具有很高的准确性,并且计算非常快,可以满足球场区域检测的要求。 相似文献
966.
柔性和重构能力是现代制造系统的核心性能需求。以某汽车变速器装配生产线为研究背景,应用多Agent制造机理实现装配线的柔性和重构问题。在基于产品族功能分解原理与重构线柔性结构设计基础上,构建了基于多Agent制造案机理的系统体系结构及结合系统柔性与重构特征的Agent协商与合作机制。研究了面向多Agent系统通讯过程实现的本体建模方法并构建了重构装配线本体模型,实现了基于本体的系统通讯过程。最后在Zeus环境中实现了多Agent系统平台。 相似文献
967.
968.
969.
970.
介绍了一种基于大特征矢量的幂迭代(MPI)算法,利用幂迭代(MPI)算法对均匀线阵的方向图进行仿真.通过仿真结果可以看出,采用该算法的均匀线阵方向图在信号位置可以形成自适应峰值,提高了均匀线阵的分辨力. 相似文献