The Internet of Things is considered as the third wave of information industry which follows the computer, internet and mobile communication. It has attracted the increasing and extensive attention because of the wide...
详细信息
Commercial bank comprehensive competitiveness plays a very significant role in the development of our national economy. This paper employs a comprehensive evaluation method based on AHP by combining six specific comme...
详细信息
Two types of diagnosability of stochastic discrete-event systems (DESs) were introduced by Thorsley et al. in 2005, where a necessary and sufficient condition for Strong Stochastic Diagnosability (referred as A-diagno...
详细信息
This paper investigates under which conditions transitions can be removed from an automaton while preserving important synthesis properties. The work is part of a framework for compositional synthesis of least restric...
详细信息
In this paper, we study the performance of an extension of the shifting bottleneck heuristic (SBH) for complex manufacturing systems that makes in addition to machine-related decisions also material handling-related d...
详细信息
作者：
Bilyk, A.Mönch, L.University of Hagen
Department of Mathematics and Computer Science Enterprise-wide Software Systems Universitätstraße 1 58097 Hagen Germany
The shifting bottleneck heuristic (SBH) for complex job shops decomposes the overall scheduling problem into a series of scheduling problems related to machine groups. These smaller, more tractable, scheduling problem...
详细信息
Grass modeling has been a high attention problem in computer graphics field for recent years. This paper builds the multidimensional parameters geometrical model of blade firstly, and then makes the random translation...
详细信息
Mobile phones and mobile applications have now become an integral part of our everyday life. Mobile application testing plays a pivotal role in making the mobile applications more reliable and defect free. Existing te...
详细信息
Currently, many modelling methods for software process are semiformal. It is difficult to analyze semantics and verify correctness for a key system. Coloured Petri Net (CPN) based on mathematics is an executable model...
详细信息
For improving the retrieval performance of large-scale component repositories, a novel approach of components retrieval, Automatic Tags Extraction(ATE) retrieval, is proposed in this paper. In this method, component t...
详细信息
暂无评论