全文获取类型
收费全文 | 3796篇 |
免费 | 488篇 |
国内免费 | 447篇 |
专业分类
电工技术 | 206篇 |
综合类 | 417篇 |
化学工业 | 154篇 |
金属工艺 | 39篇 |
机械仪表 | 398篇 |
建筑科学 | 93篇 |
矿业工程 | 29篇 |
能源动力 | 15篇 |
轻工业 | 163篇 |
水利工程 | 20篇 |
石油天然气 | 15篇 |
武器工业 | 62篇 |
无线电 | 327篇 |
一般工业技术 | 214篇 |
冶金工业 | 27篇 |
原子能技术 | 7篇 |
自动化技术 | 2545篇 |
出版年
2024年 | 7篇 |
2023年 | 23篇 |
2022年 | 44篇 |
2021年 | 59篇 |
2020年 | 82篇 |
2019年 | 81篇 |
2018年 | 77篇 |
2017年 | 90篇 |
2016年 | 96篇 |
2015年 | 115篇 |
2014年 | 193篇 |
2013年 | 216篇 |
2012年 | 234篇 |
2011年 | 319篇 |
2010年 | 213篇 |
2009年 | 249篇 |
2008年 | 274篇 |
2007年 | 338篇 |
2006年 | 332篇 |
2005年 | 262篇 |
2004年 | 228篇 |
2003年 | 189篇 |
2002年 | 160篇 |
2001年 | 148篇 |
2000年 | 129篇 |
1999年 | 94篇 |
1998年 | 108篇 |
1997年 | 73篇 |
1996年 | 68篇 |
1995年 | 64篇 |
1994年 | 43篇 |
1993年 | 26篇 |
1992年 | 23篇 |
1991年 | 16篇 |
1990年 | 20篇 |
1989年 | 6篇 |
1988年 | 3篇 |
1987年 | 3篇 |
1985年 | 4篇 |
1984年 | 4篇 |
1983年 | 2篇 |
1981年 | 1篇 |
1980年 | 4篇 |
1979年 | 1篇 |
1977年 | 2篇 |
1975年 | 1篇 |
1973年 | 2篇 |
1961年 | 1篇 |
1957年 | 2篇 |
1956年 | 1篇 |
排序方式: 共有4731条查询结果,搜索用时 15 毫秒
101.
SELinux是嵌入到Linux内核中并得到推广应用的安全增强模块。由于其安全策略配置复杂且工作量较大,故而研究相关的安全策略辅助配置手段及SELinux安全策略的自动化分析方法与技术很有必要。本文基于有色Petri网建立了SELinux安全策略的自动化分析模型,给出了原型实现和测试结果。相关结果表明,有色Petri网分析方法和对应原型能较好地完成SELinux安全策略的有效性分析,并可实现带有中间过滤类型的信息流查询且更加方便简洁。 相似文献
102.
随机Petri网是一种系统设计和分析工具,它可以对系统进行定性分析和定量分析。为了有效利用随机Petri网进行性能的定量分析,根据随机Petri网模型转换为马尔可夫链的算法,总结并实现了它们之间的转换规则。该转换规则在变迁实施的过程中引入演变规则和合并规则,将随机Petri网模型转换为马尔可夫链。可以利用产生的马尔可夫链对随机Petri网模型的多项性能指标进行定量分析。实验结果表明,转换规则是正确、可行的。 相似文献
103.
This paper deals with the problem of forbidden states in safe Petri nets to obtain a maximally permissive controller. To prevent the system from entering the forbidden states, assigning some constraints to them is possible. The constraints can be enforced on the system using control places. When the number of forbidden states is large, a large number of constraints should be assigned to them. This results in a large number of control places being added to the model of the system, which causes a complicated model. Some methods have been proposed to reduce the number of constraints. Nevertheless, they do not always give the best results. In this paper, two ideas are offered to reduce the number of constraints, giving a more simplified controller. 相似文献
104.
本文以高等院校为联系纽带,将其置身于经济欠发达地区的大环境中,探讨信息网的作用、建立与运作,政府的政策引导,招商引资与高校学生的创业,职高学生的就业有机结合,通过"教研结合,校企合一"的办学模式以及开放教科研设备、开展各种培训等方式,将高校与各界各业联系起来,使之成为中心城市的联络、辐射中心,为贫困地区如何发挥高职院校的作用提供新思路。 相似文献
105.
106.
利用Petri网技术构建了无线自动售货机和传统自动售货机的物流配送模型,分别对这两种情况下的配送利用HPSIM仿真软件建模进行时效分析与比较。结果表明,利用无线网络的自动售货机的配送时效小于传统方式,提升了物流配送效率。 相似文献
107.
Petri网和统一建模语言UML是当前工作流建模领域两种非常流行、功能强大的建模工具。Petri网便于描述,可以动态地运行,但缺乏层次;UML可以完整、细致地刻画系统,但量化不够,缺乏有效、严密的分析工具与方法。本文整合两种建模方法的优点,提出一种集成U.P建模的方法,该方法能够有效地描述系统,实现系统的模块化和模型重用,还能够对系统进行严密的分析,通过对模型仿真,找出其缺,羔和不足。 相似文献
108.
针对模糊Petri网自学习能力差的缺点,在分析研究已有研究成果的基础上,指出了已有模糊Petri网分层算法的不足之处,并提出了一种具有普遍适用性的FPN分层算法。在该分层算法中,同一个库所的输出变迁被置于同一层次结构之中,在必要时可增加相应的虚库所和虚变迁,避免了同一层中变迁触发冲突问题的发生。该分层算法将神经网络理论引入模糊Petri网的研究中,实验验证了其正确性。 相似文献
109.
Petri网及ExSpect在任务可靠性仿真中的应用 总被引:1,自引:0,他引:1
任务可靠性的仿真方法有多种,这些方法由于系统的复杂性均存在某些方面的局限。本文首先介绍了任务可靠性的基本概念和一种新的用于任务可靠性仿真的方法-基本Petri网理论。并详细分析和比较了Petri网理论与其他仿真方法的优点和不足之处。随后介绍以Petri网理论为基础的仿真软件-ExSpect的发展、组成及其语言特点。最后,列举当前已成功应用的五个仿真实例来验证ExSpect仿真软件在任务可靠性仿真方面的适用性。 相似文献
110.