全文获取类型
收费全文 | 11230篇 |
免费 | 310篇 |
国内免费 | 733篇 |
专业分类
系统科学 | 509篇 |
丛书文集 | 628篇 |
教育与普及 | 198篇 |
理论与方法论 | 56篇 |
现状及发展 | 44篇 |
综合类 | 10838篇 |
出版年
2024年 | 63篇 |
2023年 | 207篇 |
2022年 | 229篇 |
2021年 | 241篇 |
2020年 | 190篇 |
2019年 | 142篇 |
2018年 | 105篇 |
2017年 | 136篇 |
2016年 | 158篇 |
2015年 | 264篇 |
2014年 | 530篇 |
2013年 | 486篇 |
2012年 | 561篇 |
2011年 | 622篇 |
2010年 | 588篇 |
2009年 | 629篇 |
2008年 | 714篇 |
2007年 | 690篇 |
2006年 | 562篇 |
2005年 | 470篇 |
2004年 | 405篇 |
2003年 | 418篇 |
2002年 | 410篇 |
2001年 | 349篇 |
2000年 | 366篇 |
1999年 | 328篇 |
1998年 | 290篇 |
1997年 | 299篇 |
1996年 | 296篇 |
1995年 | 229篇 |
1994年 | 246篇 |
1993年 | 180篇 |
1992年 | 176篇 |
1991年 | 209篇 |
1990年 | 156篇 |
1989年 | 147篇 |
1988年 | 77篇 |
1987年 | 57篇 |
1986年 | 28篇 |
1985年 | 8篇 |
1984年 | 3篇 |
1983年 | 1篇 |
1982年 | 3篇 |
1981年 | 3篇 |
1978年 | 1篇 |
1958年 | 1篇 |
排序方式: 共有10000条查询结果,搜索用时 0 毫秒
961.
吴纯杰 《南开大学学报(自然科学版)》2007,40(2):37-45
讨论了七种标准差估什方法对Shewhart X^-控制图的影响,通过对运行长度的分布角度对这七种参数估计做了比较研究,模拟结果显示三种中位数估计方法较其余四种有较好的稳健性。 相似文献
962.
UML活动图被认为是最合适的软件过程描述语言,研究UML活动图的模型检验方法是很有必要的。提出一种基于自动机理论的UML活动图的模型检验方法。该方法给出UML活动图的形式语义,通过计算RTC-STEP,得到LTS,并将LTS映射到Büchi自动机,用LTL表示系统性质,并将LTL公式转换为相应的Büchi自动机,用基于自动机理论的模型检验方法检验UML活动图。 相似文献
963.
Petri网是一种对并发系统进行描述和建模的重要数学工具,可达图是Petri网模型的主要分析方法。为了解决由于系统参数化造成的Petri模型可达图难以构造并且无法进行模型性质检验的问题,在分析现有参数化可达图方法的基础上,利用参数化标识提出一种新的Petri网模型完全参数化可达图构造方法。同时给出了这种可达图的有关特性及其证明,并举例说明了如何利用这种参数化可达图对系统进行模型性质检测。 相似文献
964.
965.
用km,n表示完全二部图,用k4,n\e1,e2表示完全二部图k4,n去掉两条边e1、e2。本文确定了K4,n\e1,e2的交叉数为z(4,n)-22n+2。K4,n\e1,e2。 相似文献
966.
设G=G1(×)G2是G1和G2的强乘积,算出了图Pn(×)Pn,θ(l,n)及DB(d,2)的Wicner数及平均距离. 相似文献
967.
数据结构主要研究数据之间的逻辑关系、数据的存储方法以及对数据的各种操作.最小生成树是图这种数据结构的一种重要应用,实现算法与数据结构关系密切,本文以邻接矩阵作为图的存储结构,详细讨论了Prim算法在计算机上的实现方法,并对该算法作了必要的分析. 相似文献
968.
969.
基于固定型故障模型的传统电压测试技术是一种应用最广、最为重要的测试技术,且已经应用多年。但是随着集成电路日新月异地发展,电压测试技术越来越不能完全满足高性能IC,特别是高性能数字CMOSIC发展的需求。为了提高故障覆盖率和降低测试成本,本文探讨了一些方法的可行性。 相似文献
970.
徐正华 《漳州师范学院学报》2008,21(3)
对于给定的图,称是蕴含可图的,如果有一个实现包含作为子图.本文给出了蕴含可图序列的一个充要条件,还给出了最大度为4的可图序列的一个充要条件. 相似文献