The reconfiguration process, i.e. the layout adjustment, of a reconfigurable material handling system (RMHS) plays an important role in the planning of a reconfigurable manufacturing system (RMS). This paper gives a n...
详细信息
The reconfiguration process, i.e. the layout adjustment, of a reconfigurable material handling system (RMHS) plays an important role in the planning of a reconfigurable manufacturing system (RMS). This paper gives a new definition of RMHS, and presents a novel method based on graph theory and logic calculus for configuration modelling of a robot-based RMHS. The method is developed with full consideration of the reconfigurablility of robot and the system respectively at machine-level and system-level. To tackle the reconfiguration problem of a RMHS, an indirect method including two stages is developed. Firstly according to the material handling task, the optional configurations can be deducted by adopting first-order logic calculus. Secondly the discrete dynamic programming with a novel stage partition strategy is investigated to select appropriate configurations for the completion of the reconfiguration process of the RMHS. Numerical study demonstrates that the robot-based RMHS of practical sizes can be effectively and rapidly reconfigured to accommodate transportation changes.
While the past research discussed several advantages of multiprocessor-system-on-a-chip (MPSOC) architectures from both area utilization and design verification perspectives over complex single core based systems, com...
详细信息
ISBN:
(纸本)1595930582
While the past research discussed several advantages of multiprocessor-system-on-a-chip (MPSOC) architectures from both area utilization and design verification perspectives over complex single core based systems, compilation issues for these architectures have relatively received less attention. programming MPSOCs can be challenging as several potentially conflicting issues such as data locality, parallelism and load balance across processors should be considered simultaneously. Most of the compilation techniques discussed in the literature for parallel architectures (not necessarily for MPSOCs) are loop based, i.e., they consider each loop nest in isolation. However, one key problem associated with such loop based techniques is that they fail to capture the interactions between the different loop nests in the application. This paper takes a more global approach to the problem and proposes a compiler-driven data locality optimization strategy in the context of embedded MPSOCs. An important characteristic of the proposed approach is that, in deciding the workloads of the processors (i.e., in parallelizing the application) it considers all the loop nests in the application simultaneously. The authors' experimental evaluation with eight embedded applications showed that the global scheme brings significant power/performance benefits over the conventional loop based scheme.
Following the argumentation framework and semantics proposed by Dung, we are interested in the problem of deciding which set of acceptable arguments support the decision making in an agent-based platform called CARREL...
详细信息
Following the argumentation framework and semantics proposed by Dung, we are interested in the problem of deciding which set of acceptable arguments support the decision making in an agent-based platform called CARREL. It is an agent-agency which mediates organ transplants. We present two possible ways to infer the stable and preferred extensions of an argumentation framework, one in a declarative way using answer set programming (ASP) and the other one in a procedure way.
This paper presents the initial findings of an investigation into automated support for fusing textual information and non-text data from different sources within the military domain. Our aim is to develop a prototype...
详细信息
This paper presents the initial findings of an investigation into automated support for fusing textual information and non-text data from different sources within the military domain. Our aim is to develop a prototype fusion capability that can categorize, fuse and present intelligence information to military officers. To date, our focus has been on text information categorization using both existing text classification techniques (e.g. Weighted Feature Vector (WFV) classification) and machine learning algorithms based on inductive logic programming (ILP) and natural language processing techniques. The algorithms have been used to automatically assign documents to a pre-existing set of categories by correlating text within the documents to text relating to classifications/categories. Once text documents are categorized according to their content, then fusion can begin. The results of initial experiments indicate that the ILP approach performs at least as well as the WFV technique, and outperforms it in one set of experiments. Both techniques have the scope for further improvements which we outline in this paper.
In this work, we present current results of our research, the goal of which is to develop a decision support system (DSS) as an extension of a geographical information system (GIS) to model evacuation plans. We presen...
详细信息
In this work, we present current results of our research, the goal of which is to develop a decision support system (DSS) as an extension of a geographical information system (GIS) to model evacuation plans. We presents why an A-Prolog approach seems to be appropriated to explore in order to add the planning operation as an extension of a GIS. In order to achieve our objective, first we model the disaster scenario. The disaster scenario should be described as close as possible to the real problem. We define an action language, named ALEP, to model and give a solution to the evacuation plans. The syntax and semantics of ALEP are presented. Finally, we plan to test the expressiveness of the ALEP language, defining a DSS to model evacuation plans.
This paper reviews the development of application-specific multiprocessor systems for machine learning applications, and indicates how variants of such systems can be produced by design customisation. We first provide...
详细信息
This paper reviews the development of application-specific multiprocessor systems for machine learning applications, and indicates how variants of such systems can be produced by design customisation. We first provide an overview of Progol, a machine learning framework based on inductive logic programming. We then describe, for such frameworks, various uniprocessor architectures and their adoption in multiprocessor systems. We also present the experimental facilities and results for evaluating our approach, and a method for automating the compilation of such designs.
A design pattern provides a general solution for common and recurring problems. This paper describes a design pattern for an architecture design of active rule-based systems. The rule-based approach uses event-conditi...
详细信息
A design pattern provides a general solution for common and recurring problems. This paper describes a design pattern for an architecture design of active rule-based systems. The rule-based approach uses event-condition-action rules to specify and manage event-driven activities. The pattern described in this paper can form the basis to design system architecture using active rules and serve as a reference to customized development. The paper presents architectural components of a rule-based system by three categories: interfaces, static time components, and run time components to describe the participants of the pattern. It also illustrates how those components collaborate at static time and at run time. It further discusses the issues of implementing the pattern and provides suggestions and examples of implementation.
While aspect-oriented modeling has been recognized as a useful means of improving the modularity of software design, the de facto standard modeling language UML lacks first-class model elements representing aspects an...
详细信息
While aspect-oriented modeling has been recognized as a useful means of improving the modularity of software design, the de facto standard modeling language UML lacks first-class model elements representing aspects and does not provide genuine support for aspect-oriented modeling. We propose a simple extension of UML class diagrams which contains a very generic pointcut and advice language and facilitates to model with aspects. Using this approach, we achieve a better separation of concerns as well as more redundancy reduction in UML class diagrams and make them thus more readable and better maintainable.
A technique has been devised which, via consideration of the program nodes executed during fitness evaluation, allows a genetic programming system to determine many instances in which invocation of the fitness functio...
详细信息
A technique has been devised which, via consideration of the program nodes executed during fitness evaluation, allows a genetic programming system to determine many instances in which invocation of the fitness function can be avoided. The nature of Boolean logic problems renders them of particular interest as a focus of study for the application of this technique, and experimental evidence shows that significant speed-ups in execution time can be achieved when evolving solutions to these problems.
暂无评论