全文获取类型
收费全文 | 3800篇 |
免费 | 489篇 |
国内免费 | 445篇 |
专业分类
电工技术 | 206篇 |
综合类 | 417篇 |
化学工业 | 157篇 |
金属工艺 | 39篇 |
机械仪表 | 398篇 |
建筑科学 | 93篇 |
矿业工程 | 29篇 |
能源动力 | 15篇 |
轻工业 | 163篇 |
水利工程 | 20篇 |
石油天然气 | 15篇 |
武器工业 | 62篇 |
无线电 | 327篇 |
一般工业技术 | 214篇 |
冶金工业 | 27篇 |
原子能技术 | 7篇 |
自动化技术 | 2545篇 |
出版年
2024年 | 7篇 |
2023年 | 23篇 |
2022年 | 47篇 |
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篇 |
排序方式: 共有4734条查询结果,搜索用时 31 毫秒
121.
122.
123.
随着移动互联网的迅猛发展,移动应用的数量呈现井喷式的爆发,对其性能、故障和短板进行实时、有效的监测与分析是保证系统正常运行的关键。统一建模语言(Unified Modeling Language,UML)作为一种功能较强的面向对象的图形建模工具,可以对移动应用监测平台进行建模分析,但在其过程描述中缺乏严格的语义。Petri网作为一种离散事件动态系统的建模和分析方法,提供了在逻辑时序下研究系统特性和性能的有效手段,并具有图形方法的直观性和逻辑方法的概括性。通过将基于UML消息顺序图和Petri网的建模方法应用到移动应用监测平台的分析过程中,针对用户下发的监测任务构建系统的消息顺序图和Petri网模型,利用消息顺序图对平台各对象之间在时间顺序上的交互关系进行了验证,并利用Petri网化简规则和状态方程对该模型进行了结构上的正确性验证和可达性分析。 相似文献
124.
将AOE 网转换成有色时延Petri网模型,在模型转换过程中同时计算出各位置所对应的事件的最早开始时间,给出了模拟AOE 网的有色时延Petri网模型的带标记的并发可达标识图的构建算法;利用并发可达标识图中的标记序列直接得到关键路径并计算出完成所有活动所需的最短时间。实例与仿真实验结果表明,当AOE网中平均存在3个以上的并发活动时,所提方法执行效率优于传统的求解关键路径的算法,并发活动越多,所提算法效率越高。 相似文献
125.
模拟是Peri网进行系统分析的常用方法之一。由于时间Petri网采用时间区间来描述变迁实施的时间范围,因此变迁的实施时间点在区间内是不确定的。提出了时间Petri网的随机模拟方法。该方法在变迁开始使能时,根据某种随机分布确定实施区间内的实施时间点;然后基于模拟仿真的实验数据,运用统计分析方法及算法,构造时间Petri网状态类树,计算变迁实施区间及实施概率,为时间Petri网的系统模拟提供了一种新的探索途径。 相似文献
126.
127.
Sadok Rezig Zied Achour Mohamed-Ali Kammoun 《International journal of systems science》2016,47(14):3425-3435
This paper addresses the synthesis of Petri net (PN) controller for the forbidden state transition problem with a new utilisation of the theory of regions. Moreover, as any method of control synthesis based on a reachability graph, the theory of regions suffers from the combinatorial explosion problem. The proposed work minimises the number of equations in the linear system of theory of regions and therefore one can reduce the computation time. In this paper, two different approaches are proposed to select minimal cuts in the reachability graph in order to synthesise a PN controller. Thanks to a switch from one cut to another, one can activate and deactivate the corresponding?PNcontroller. An application is implemented in a flexible manufacturing system to illustrate the present method. Finally, comparison with previous works with experimental results in obtaining a maximally permissive controller is presented. 相似文献
128.
Traditional region-based liveness-enforcing supervisors focus on (1) maximal permissiveness of not losing legal states, (2) structural simplicity of minimal number of monitors, and (3) fast computation. Lately, a number of similar approaches can achieve minimal configuration using efficient linear programming. However, it is unclear as to the relationship between the minimal configuration and the net structure. It is important to explore the structures involved for the fewest monitors required. Once the lower bound is achieved, further iteration to merge (or reduce the number of) monitors is not necessary. The minimal strongly connected resource subnet (i.e., all places are resources) that contains the set of resource places in a basic siphon is an elementary circuit. Earlier, we showed that the number of monitors required for liveness-enforcing and maximal permissiveness equals that of basic siphons for a subclass of Petri nets modelling manufacturing, called α systems. This paper extends this to systems more powerful than the α one so that the number of monitors in a minimal configuration remains to be lower bounded by that of basic siphons. This paper develops the theory behind and shows examples. 相似文献
129.
基于直觉模糊Petri网的加权直觉模糊推理 总被引:1,自引:0,他引:1
利用直觉模糊集合较好地表现不确定信息的能力和Petri网的并行处理能力,构建了直觉模糊Petri网模型。给出了输入权值、变迁阈值等多种约束条件下的直觉模糊推理算法。该算法将直觉模糊推理过程转化为矩阵的运算过程可充分利用直觉模糊Petri网的并行推理能力,有效地避免同一变迁不必要地重复激发从而节省推理时间。实例分析表明所给出的直觉模糊推理算法较已有算法更加合理并且高效。 相似文献
130.
时间Petri网是描述和验证实时系统最常用的形式模型之一。建立基于时间 Petri网的典型柔性制造系统模型,利用状态类分析方法,定量计算所有可行调度及其执行时间,进而获得最优调度,为复杂柔性制造系统的建模与调度提供有效的模型支持。 相似文献