全文获取类型
收费全文 | 18821篇 |
免费 | 827篇 |
国内免费 | 1377篇 |
专业分类
系统科学 | 1175篇 |
丛书文集 | 680篇 |
教育与普及 | 106篇 |
理论与方法论 | 85篇 |
现状及发展 | 97篇 |
综合类 | 18882篇 |
出版年
2024年 | 55篇 |
2023年 | 153篇 |
2022年 | 341篇 |
2021年 | 396篇 |
2020年 | 377篇 |
2019年 | 268篇 |
2018年 | 285篇 |
2017年 | 342篇 |
2016年 | 403篇 |
2015年 | 726篇 |
2014年 | 998篇 |
2013年 | 1096篇 |
2012年 | 1311篇 |
2011年 | 1436篇 |
2010年 | 1343篇 |
2009年 | 1481篇 |
2008年 | 1595篇 |
2007年 | 1697篇 |
2006年 | 1519篇 |
2005年 | 1237篇 |
2004年 | 970篇 |
2003年 | 702篇 |
2002年 | 712篇 |
2001年 | 641篇 |
2000年 | 595篇 |
1999年 | 219篇 |
1998年 | 28篇 |
1997年 | 5篇 |
1996年 | 12篇 |
1995年 | 4篇 |
1994年 | 8篇 |
1993年 | 11篇 |
1992年 | 7篇 |
1991年 | 7篇 |
1990年 | 5篇 |
1989年 | 5篇 |
1988年 | 6篇 |
1987年 | 11篇 |
1986年 | 1篇 |
1985年 | 1篇 |
1984年 | 2篇 |
1983年 | 2篇 |
1981年 | 3篇 |
1980年 | 2篇 |
1955年 | 7篇 |
排序方式: 共有10000条查询结果,搜索用时 0 毫秒
111.
112.
113.
基于线性时态逻辑的Petri网模型检测 总被引:5,自引:1,他引:5
Petri网是一种重要的数学工具,它能有效地对并发系统进行描述和建模.线性时态逻辑LTL则是描述和验证并发系统特性的一种重要的形式化工具,它能方便准确地描述并发系统的重要性质,如安全性和活性.文章深入描述了线性时态逻辑、Bu chi自动机、Petri网和同步积之间的内在联系,并探讨了基于线性时态逻辑的Petri网模型检测策略.与其它方法比较,这种模型检测的策略结合了线性时态逻辑和Petri网模型的不同优点,增强了Petri网的模型分析和验证能力.最后,通过对一个并发系统形式化的模型检测分析,验证了相应的结论. 相似文献
114.
115.
116.
117.
118.
强Rasmusen智猪公理系统的最可能局势 总被引:2,自引:0,他引:2
基于Rasmusen原始智猪博弈模型,由引进大小猪的跑速、吃速、投食量和槽板距等指标和即喷公理、弱和平公理、强成本公理、强跑速公理和吃速公理,建立了所谓强Rasmusen智猪公理系统。给出最优局势分布公式,得到当成本和槽板距充分小时,最可能两猪都踏;当成本足够大时,最可能大猪独踏的结论。作为应用,引进一种所谓Rasmusen技术创新模型,举例说明了计算这种模型中各局势的概率和如何控制此概率的问题。 相似文献
119.
120.
针对武器装备体系的多学科特征以及优化求解困难的问题,在“基于决策的设计”研究框架下,提出了一种基于博弈理论的多学科协同决策方法。该方法在结合多属性效用理论和响应面建模方法建立武器装备体系多学科优化模型的基础上,分别引入经典博弈协议和行为博弈协议描述学科设计团队之间的交互作用,实现耦合决策模板的优化求解。以超地平线登陆作战装备体系的设计优化为例,证明了所提方法的可行性和有效性。 相似文献