全文获取类型
收费全文 | 7079篇 |
免费 | 112篇 |
国内免费 | 276篇 |
专业分类
系统科学 | 690篇 |
丛书文集 | 307篇 |
教育与普及 | 142篇 |
理论与方法论 | 54篇 |
现状及发展 | 50篇 |
综合类 | 6224篇 |
出版年
2024年 | 24篇 |
2023年 | 77篇 |
2022年 | 82篇 |
2021年 | 101篇 |
2020年 | 114篇 |
2019年 | 87篇 |
2018年 | 50篇 |
2017年 | 58篇 |
2016年 | 94篇 |
2015年 | 175篇 |
2014年 | 470篇 |
2013年 | 371篇 |
2012年 | 499篇 |
2011年 | 557篇 |
2010年 | 532篇 |
2009年 | 499篇 |
2008年 | 494篇 |
2007年 | 550篇 |
2006年 | 320篇 |
2005年 | 319篇 |
2004年 | 278篇 |
2003年 | 244篇 |
2002年 | 203篇 |
2001年 | 220篇 |
2000年 | 189篇 |
1999年 | 161篇 |
1998年 | 125篇 |
1997年 | 133篇 |
1996年 | 87篇 |
1995年 | 59篇 |
1994年 | 64篇 |
1993年 | 42篇 |
1992年 | 29篇 |
1991年 | 40篇 |
1990年 | 41篇 |
1989年 | 38篇 |
1988年 | 27篇 |
1987年 | 7篇 |
1986年 | 3篇 |
1985年 | 2篇 |
1958年 | 1篇 |
1944年 | 1篇 |
排序方式: 共有7467条查询结果,搜索用时 0 毫秒
932.
933.
引进Petri网概念刻划图标(Icon)的动态行为和相互作用并给出一个可视化编程系统.通过例子说明本系统在编程阶段和程序运行阶段所采用的可视化技术 相似文献
934.
微机局部网管理软件是一种管理软件,它建立在微机局部网络上,因而有许多不同于一般管理软件的特点。本文介绍了我们在实际工作中遇到的几个问题和我们的具体做法。文中谈到的规范化设计实质上就是在局部网条件下,系统设计的规范化问题。我们认为这些问题也正是开发微机局部网管理软件时所应遵循的原则。 相似文献
935.
Petri网是一种描述及分析并发行为的工具,在安全协议的形式化分析中得到了广泛的应用,但目前还没有人使用Petri网来分析不可否认协议.本文以一般安全协议的Petri网分析方法为基础,提出了使用Petri网分析不可否认协议的建模及分析方法,该方法可以描述并分析一些其它形式化方法无法描述的协议性质.使用该方法分析J. Zhou和D. Gollmann的公平不可否认协议发现了它议的一个许多其它形式化方法不能发现的已知缺陷. 相似文献
936.
Petri网是一种图形的和数学的建模工具,适合于许多系统的建模.为了提高Petri网建模能力引入运行步概念,并在连续Petri网的基础上提出一种新型混合Petri网——步混合Petri网,分析该网特点及其运行规则,并用该网分别对数字型PID控制器和模拟型PID控制器进行建模. 相似文献
937.
本文从传输技术方面对光纤直连、纯宽带传输网、SOH/ATM/IP混合传输网、WDM城域网、MSTP城域网5种城域网传输网实现方案进行了详细的说明和比较. 相似文献
938.
939.
940.
基于线性时态逻辑的Petri网模型检测 总被引:6,自引:1,他引:5
Petri网是一种重要的数学工具,它能有效地对并发系统进行描述和建模.线性时态逻辑LTL则是描述和验证并发系统特性的一种重要的形式化工具,它能方便准确地描述并发系统的重要性质,如安全性和活性.文章深入描述了线性时态逻辑、Bu chi自动机、Petri网和同步积之间的内在联系,并探讨了基于线性时态逻辑的Petri网模型检测策略.与其它方法比较,这种模型检测的策略结合了线性时态逻辑和Petri网模型的不同优点,增强了Petri网的模型分析和验证能力.最后,通过对一个并发系统形式化的模型检测分析,验证了相应的结论. 相似文献