This workshop was dedicated to research towards better support for unanticipated software evolution (USE) in development tools, programming languages, component models and related runtime *** report gives an overview ...
详细信息
This paper presents the design and evaluation of a manufacturing route planner for flexible manufacturing systems. The aim of the planner is to find the optimal manufacturing routes for jobs using well-designed cost f...
详细信息
This paper presents the design and evaluation of a manufacturing route planner for flexible manufacturing systems. The aim of the planner is to find the optimal manufacturing routes for jobs using well-designed cost functions. This route planner, which is based on heuristic [A*] strategy, has been designed to work under dynamic arrival pattern environment. The proposed algorithm consists of two level;the cell level, which controls the jobs flow between cells, and the machine level which controls the jobs flow between the machines inside the cells selected at first level. The solutions of the route planner are contained in a dynamic knowledge base that passes information to the sequencing and monitoring stage. The suggested model has also the capability to detect and response with suitable alternation for the damaged elements in the manufacturing system. To improve the performance of the planner, the design is organized into distributed programming media using the concurrent features of the modula-2 programming language. Finally, two case studies are considered to illustrate the functionality of the proposed algorithm.
Propositional satisfiability (SAT) is a fundamental problem of immense practical importance. While SAT is NP-complete when clauses can contain 3 literals or more, the problem can be solved in linear time when the give...
详细信息
ISBN:
(纸本)0909925828
Propositional satisfiability (SAT) is a fundamental problem of immense practical importance. While SAT is NP-complete when clauses can contain 3 literals or more, the problem can be solved in linear time when the given formula contains only binary clauses (2SAT). Many complete search algorithms for SAT solving have taken advantage of 2SAT information that occurs in the statement of the problem in order to simplify the solving process, only one that we are aware of uses 2SAT information that arises in the process of the search, as clauses are simplified. There are a number of possibilities for making use of 2SAT information to improve the SAT solving process: maintaining 2SAT satisfiability during search, detecting unit consequences of the 2SAT clauses, and Krom subsumption using 2SAT clauses. In this paper we investigate the tradeoffs of increasing complex 2SAT handling versus the search space reduction and execution time. We give experimental results illustrating that the SAT solver resulting from the best tradeoff is competitive with state of the art Davis-Putnam methods, on hard problems involving a substantial 2SAT component.
Applications of the Hough Transform (HT) have been limited to small-size images for a long time. For large-size images, peak detection and line verification become much more time-consuming. Many HT-based line detectio...
详细信息
Recognizing graphic objects from binary images is an important task in many real-life applications. Generally, there are two ways to do the graphics recognition: onestep methods and two-step methods. The former recogn...
详细信息
Recognizing graphic objects from binary images is an important task in many real-life applications. Generally, there are two ways to do the graphics recognition: one-step methods and two-step methods. The former recog...
详细信息
Two of the fundamental issues in message passing between mobile agents are tracking the migration of the target agent and delivering messages to it. In order to provide reliable message delivery, protocols are needed ...
详细信息
In this paper, we present a guided interaction approach for architectural design in a table-type VR environment (virtual table). By making it easier to communicate between two or more people in a virtual space, the vi...
详细信息
Interface ecology is an emerging metadisciplinary approach, in which the creation of rich interactive experiences spans n disciplines - such as computer graphics, mathematics, gaming, visual art, performance, and cult...
详细信息
ISBN:
(纸本)1581135254
Interface ecology is an emerging metadisciplinary approach, in which the creation of rich interactive experiences spans n disciplines - such as computer graphics, mathematics, gaming, visual art, performance, and cultural theory. Interfaces extend beyond interactive artifacts, activities, and social spaces, forming intricate ecosystems. Interfaces are the catalytic border zones where systems of representation meet, mix, and recombine. Through this recombination, interface ecosystems generate fundamental innovations of form, experience, knowledge, and technology. This panel brings together a diverse range of practitioners who work from concept to experience not in terms of a particular discipline, métier, or medium but with a practice that interconnects multiple systems, forming a whole.
A previously unknown form of compromising emanations has been discovered. LED status indicators on data communication equipment, under certain conditions, are shown to carry a modulated optical signal that is signific...
详细信息
暂无评论