全文获取类型
收费全文 | 11228篇 |
免费 | 310篇 |
国内免费 | 733篇 |
专业分类
系统科学 | 509篇 |
丛书文集 | 628篇 |
教育与普及 | 198篇 |
理论与方法论 | 56篇 |
现状及发展 | 44篇 |
综合类 | 10836篇 |
出版年
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年 | 620篇 |
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 毫秒
941.
Petri网是一种对并发系统进行描述和建模的重要数学工具,可达图是Petri网模型的主要分析方法。为了解决由于系统参数化造成的Petri模型可达图难以构造并且无法进行模型性质检验的问题,在分析现有参数化可达图方法的基础上,利用参数化标识提出一种新的Petri网模型完全参数化可达图构造方法。同时给出了这种可达图的有关特性及其证明,并举例说明了如何利用这种参数化可达图对系统进行模型性质检测。 相似文献
942.
943.
用km,n表示完全二部图,用k4,n\e1,e2表示完全二部图k4,n去掉两条边e1、e2。本文确定了K4,n\e1,e2的交叉数为z(4,n)-22n+2。K4,n\e1,e2。 相似文献
944.
设G=G1(×)G2是G1和G2的强乘积,算出了图Pn(×)Pn,θ(l,n)及DB(d,2)的Wicner数及平均距离. 相似文献
945.
数据结构主要研究数据之间的逻辑关系、数据的存储方法以及对数据的各种操作.最小生成树是图这种数据结构的一种重要应用,实现算法与数据结构关系密切,本文以邻接矩阵作为图的存储结构,详细讨论了Prim算法在计算机上的实现方法,并对该算法作了必要的分析. 相似文献
946.
947.
基于固定型故障模型的传统电压测试技术是一种应用最广、最为重要的测试技术,且已经应用多年。但是随着集成电路日新月异地发展,电压测试技术越来越不能完全满足高性能IC,特别是高性能数字CMOSIC发展的需求。为了提高故障覆盖率和降低测试成本,本文探讨了一些方法的可行性。 相似文献
948.
徐正华 《漳州师范学院学报》2008,21(3)
对于给定的图,称是蕴含可图的,如果有一个实现包含作为子图.本文给出了蕴含可图序列的一个充要条件,还给出了最大度为4的可图序列的一个充要条件. 相似文献
949.
950.
讨论了部数为3和4的几乎正则多部竞赛图的Hamilton性质,证明了如下结论:(1)几乎正则非平衡4部竞赛图T,如果r≥8(其中r=max{|Vi‖i=1,2,3,4}),并且T有一个圈因子,则T是Hamilton的;(2)几乎正则平衡3部竞赛图T,如果r≥10,r≠11(其中r=max{|Vi‖i=1,2,3}),并且T有一个圈因子,则T是Hamilton的;(3)几乎正则非平衡3部竞赛图T,如果r≥18,r≠19,并且T有一个圈因子,则T是Hamilton的. 相似文献