全文获取类型
收费全文 | 62篇 |
免费 | 7篇 |
国内免费 | 9篇 |
专业分类
电工技术 | 3篇 |
综合类 | 8篇 |
化学工业 | 2篇 |
金属工艺 | 1篇 |
机械仪表 | 6篇 |
武器工业 | 6篇 |
无线电 | 4篇 |
一般工业技术 | 2篇 |
原子能技术 | 1篇 |
自动化技术 | 45篇 |
出版年
2021年 | 1篇 |
2018年 | 1篇 |
2016年 | 5篇 |
2015年 | 2篇 |
2014年 | 2篇 |
2013年 | 3篇 |
2012年 | 2篇 |
2011年 | 8篇 |
2010年 | 3篇 |
2009年 | 6篇 |
2008年 | 5篇 |
2007年 | 5篇 |
2006年 | 8篇 |
2005年 | 8篇 |
2004年 | 4篇 |
2003年 | 5篇 |
2002年 | 1篇 |
2001年 | 2篇 |
2000年 | 1篇 |
1999年 | 1篇 |
1998年 | 1篇 |
1995年 | 1篇 |
1994年 | 1篇 |
1992年 | 1篇 |
1984年 | 1篇 |
排序方式: 共有78条查询结果,搜索用时 15 毫秒
1.
为提高新能源微电网电力供应的安全性和经济性,提出了一种基于Multi-Agent和Petri-net技术的协调控制策略。微电网是一个典型的混合系统,包括多种分布式发电和储能单元,它们具有不同行为特征和多种运行模态。考虑到这些分布式单元模态运行和逻辑切换的复杂性,构建了Multi-Agent系统(MAS),通过多Agent的交互作用来实现分布式协调控制策略。由于Petri-net模型是表述多模态运行系统的最有效工具之一,所以采用petr-net模型来描述各分布式单元的模态切换行为并以此设计其单元Agent模态切换控制策略。在此基础上,基于Multi-Agent系统框架在上层中心Agent中构建各分布式能源单元之间的模态协调切换控制策略,来实现整个微电网运行模态的有效切换。最后仿真验证了所提出的控制策略的有效性。 相似文献
2.
尽管已有广泛领域应用,但工作流系统在处理业务流程不确定的和动态的参数规格表时存在局限性。为此,本文提出基于扩展染色petri网的CPWF-net以及定义变迁行为和原子过程作为CPWF-net工作流模式结构的支持。这些工作流模式是从微观上进行处理,并可应用于动态不稳定的与时间和数据相关的环境中。本文通过CPWF-net执行程序检测工作流错误或异常执行状态,评估动态业务流程的整体执行时间,证实所提方法的有效性。 相似文献
3.
Modelling and analysis of complex and co-ordinated supply chains is a crucial task due to its inherent complexity and uncertainty. Therefore, the current research direction is to devise an efficient modelling technique that maps the dynamics of a real life supply chain and assists industrial practitioners in evaluating and comparing their network with other competing networks. Here an effective modelling technique, the hybrid Petri-net, is proposed to efficiently handle the dynamic behaviour of the supply chain. This modelling methodology embeds two enticing features, i.e. cost and batch sizes, in deterministic and stochastic Petri-net for the modelling and performance evaluation of supply chain networks. The model is subsequently used for risk management to investigate the issues of supply chain vulnerability and risk that has become a major research subject in recent years. In the test bed, a simple productive supply chain and an industrial supply chain are modelled with fundamental inventory replenishment policy. Subsequently, its performance is evaluated along with the identification and assessment of risk factors using analytical and simulation techniques respectively. Thus, this paper presents a complete package for industrial practitioners to model, evaluate performance and manage risky events in a supply chain. 相似文献
4.
In this work, the Petri-net modelling approach applied to the control system design of the Advanced Lead Fast Reactor European Demonstrator (ALFRED) is presented, paying particular attention to the startup procedure. The reactor startup is the operational transient in which all the systems of the plant are brought from the cold shutdown condition to the full power mode, close to load-frequency control. In this phase, the several control actions to be taken need to be properly coordinated. To this end, the operational sequence which constitutes the reactor startup procedure has been described by adopting the Petri-nets approach, i.e., a useful formalism for the modelling and the analysis of Discrete Event Systems. Thanks to this quantitative representation, it is possible to easily derive the corresponding control scheme. In addition, the Petri-nets approach has been also exploited for the two-level control system architecture, namely a master system coordinates the operation of the plant by sending suitable signals to the slave system, in which feedback controllers are implemented. As a major outcome of this work, the procedure for the reactor startup and the transition to the full power mode has been simulated in order to assess the control system performance. 相似文献
5.
6.
7.
针对目前面向服务计算(SCO)模式中组合Web服务验证缺乏对时间等非功能属性验证的实际,基于本体理论,设计并实现了一种基于时间约束Petri网的Web服务时间模型定义方法.该方法考虑服务流与以往工作流的区别,在服务模型OWL-S基础上建立时间本体(Time Ontology),全面地刻画了服务的基本时间约束.扩展已有的PetIi网本体,增强其描述能力,使其能够描述服务数据及时间信息,并定义了在OWL-S上定义的时间本体与Pe-tri网时间本体间的关系.根据模型检测理论,通过扩展OWL-API,将附加时间属性的OWL-S的服务描述本体转换为Petri网的标准格式PNML文件,建立起扩展时间属性的Web服务模型与形式化模型时间约束PetIi网(TCPN)间的映射关系.该方法很好地描述了服务时间约束,为后续的基于TCPN的服务时间形式化验证打下了坚定的基础. 相似文献
8.
This paper defines clearly and presents the fundamental properties of automated guided vehicle systems (AGVS) and their relationship to Petri nets. The objective is to develop an intelligent modelling tool to allow the design of robust AGVS models using some invariant Petri-net properties. The Petri-net properties of the system are presented in terms of safeness, boundedness, strict conservation, reachability and liveness. The robustness of the system at floor-level is embedded into the model by introducing system traffic collision-free, constant numbers of vehicles and traffic control signals, path reachability, and system traffic deadlock-free. Two different merge structures are presented to illustrate the effectiveness of the present approach. The result shows the strength of Petri-net theory in the modelling of complex AGVS. The AGVS models thus built are robust. 相似文献
9.
供需链设计优化问题由于其自身的复杂性而成为一个极具挑战性的研究课题。本文把Petri网与遗传算法结合起来,用于研究供需链设计优化,构建一个供需链原型测试系统,并对小汽车制造供需链系统进行了实例分析。 相似文献
10.
Suhua Hsieh Ying-Jer Shih 《The International Journal of Advanced Manufacturing Technology》1994,9(1):20-34
The purpose of this paper is to propose an easy and quick method for the development of an automated guided vehicle system (AGVS) model. It suggests that the AGVS model can be developed directly by the union of modulised floor-path nets without any modification. Several modulised floor-path nets for both uni- and bi-directional systems are established in this paper. To make sure that the complete model obtained by this method is robust, the modulised floor-path nets are required to possess several essential properties — safeness, boundedness, conservation, reachability and liveness. To keep these properties in the complete model after the union, three union rules and an union procedure are proposed. 相似文献