全文获取类型
收费全文 | 4412篇 |
免费 | 117篇 |
国内免费 | 279篇 |
专业分类
系统科学 | 615篇 |
丛书文集 | 138篇 |
教育与普及 | 38篇 |
理论与方法论 | 63篇 |
现状及发展 | 19篇 |
综合类 | 3933篇 |
自然研究 | 2篇 |
出版年
2024年 | 5篇 |
2023年 | 13篇 |
2022年 | 32篇 |
2021年 | 20篇 |
2020年 | 26篇 |
2019年 | 18篇 |
2018年 | 22篇 |
2017年 | 31篇 |
2016年 | 42篇 |
2015年 | 70篇 |
2014年 | 111篇 |
2013年 | 123篇 |
2012年 | 196篇 |
2011年 | 225篇 |
2010年 | 195篇 |
2009年 | 220篇 |
2008年 | 249篇 |
2007年 | 424篇 |
2006年 | 341篇 |
2005年 | 357篇 |
2004年 | 306篇 |
2003年 | 291篇 |
2002年 | 250篇 |
2001年 | 230篇 |
2000年 | 170篇 |
1999年 | 144篇 |
1998年 | 117篇 |
1997年 | 104篇 |
1996年 | 91篇 |
1995年 | 72篇 |
1994年 | 76篇 |
1993年 | 45篇 |
1992年 | 47篇 |
1991年 | 42篇 |
1990年 | 34篇 |
1989年 | 33篇 |
1988年 | 17篇 |
1987年 | 11篇 |
1986年 | 8篇 |
排序方式: 共有4808条查询结果,搜索用时 62 毫秒
21.
介绍了EDA开发工具软件MAX PlusII的主要功能;VHDL语言在进行硬件电路描述时所具有的多层次描述系统硬件功能的能力,以及在程序编译时易出现的问题。 相似文献
22.
浅谈数字逻辑实验教学改革 总被引:2,自引:0,他引:2
结合实验教学实际 ,对传统数字逻辑实验教学体系进行了改革 ,提出了在新形势下确立数字逻辑实验教学目标、内容、组织形式、手段和评价的措施 . 相似文献
23.
本文在论述晶闸管大功率供电系统中欠支路运行产生原因的基础上,引出了欠支路保护的重要性;针对当前欠支路保护存在的问题,提出采用交流电流互感器检测欠支路信号这一简单可靠而又准确的方法,分析该检测方法的基本原理,并设计了完整的欠支路保护电路。通过在株州冶炼厂一年来的运行试用,证明了该电路具有调整方便,检测准确,保护可靠等特点。 相似文献
24.
1 .INTRODUCTIONDuetotheireconomicsignificanceandclosenesstopersons,productionsystemsmustbemodeledbeforetheirimplementationanduse,thus,amethodwhichspecifies ,analyzesandsynthesizestheproductionsys tems—discreteeventsystems (DES)hasbeenestab lishedanddevelopedstepbystepinrecentyears.DESmethodspecifiestheplantbasedonitsdiscretecharacters,however,intherealworld ,therearefewplantsthatcanbemodeledbypurelydiscretemathe maticalmodelbecausetherearealwayssomecontinu ousparametersforstudyinnearlya… 相似文献
25.
基于时间Petri网的密码协议分析 总被引:4,自引:2,他引:2
形式化分析方法由于其精炼、简洁和无二义性逐步成为分析密码协议的一条可靠和准确的途径,但是密码协议的形式化分析研究目前还不够深入.在文中首先对四类常见的密码协议形式化分析方法作了一些比较,阐述了各自的特点,然后用时间Petri网来表示和分析密码协议.该方法不但能够反映协议的静态和动态的特性,而且能够对密码协议进行时间、空间上的性能评估.作为实例,对Aziz-Diffie无线协议作了详细的形式分析和性能评估,验证了已知的、存在的漏洞,并且给出了该协议的改进方案. 相似文献
26.
用Moore-Smith收敛给出了一个拓扑空间分别是T0,T1,正则,正规空间的充要条件. 相似文献
27.
基于随机Petri网的客户/服务器模型及其分析 总被引:1,自引:0,他引:1
提出了一种基于随机Petri网的客户 服务器模型 ,模拟了客户 服务器系统的基本工作原理 ,在此基础上 ,利用随机Petri网的时间特性对该模型进行了定量分析 . 相似文献
28.
29.
选用比较适合描述系统组织结构和动态行为的Petri网络模型对主路优先通行的无信号交叉口运行过程建立HSPN模型.在此基础上,结合间隙接受理论,对无控制交叉口进行平均延误分析探索,为交叉口仿真控制软件的研发奠定了算法基础。 相似文献
30.
论证可分为形式论证(人工语言论证)与非形式论证(自然语言论证)。前者是形式逻辑的研究对象,后者是非形式逻辑的研究对象。我们从几个代表性逻辑学定义出发,分析了非形式逻辑产生的背景,讨论了形式逻辑与非形式逻辑的区别,并从非形式逻辑角度探讨了自然语言论证评价的标准。 相似文献