Rule-based systems have been used to produce fast, flexible simulation models for semiconductor manufacturing lines. This paper describes such a rule-based simulator for a semiconductor manufacturing line, and the lan...
详细信息
Rule-based systems have been used to produce fast, flexible simulation models for semiconductor manufacturing lines. This paper describes such a rule-based simulator for a semiconductor manufacturing line, and the language in which it is written. The simulator is written in a rule-based declarative style that uses a single-rule ''template'' to move thousands of product lots through various process steps;the rule is customized as needed with data for each step, route, lot, tool, manpower skill, etc. Since line or product changes require only reading new data from a database, without reprogramming, this provides a modeling environment that is simple, flexible, and maintainable. The model is implemented in ECLPS (Enhanced Common Usp Production System), also known as a knowledge-based or expert systems language. It handles very large models (thousands of data elements, or more) well and is very fast. Subsequent changes improved the speed several orders of magnitude over that of an older version of the model, primarily through use of a preprocessor to eliminate duplicate and redundant data, and by enforcing data typing to take advantage of special techniques for very fast processing of extremely large matches (hashed indices). ECLPS also provides a built-in simulated time clock and other constructs to simplify simulation applications. The model runs dally at the IBM semiconductor manufacturing plant in Yasu, Japan, where it has been in use for many years, currently on three different semiconductor manufacturing lines.
Fail-safety is a system attribute which ensures that a program either completes its execution satisfying its post-conditions in the normal manner or signals its failure to do so to its operating environment. Such an a...
详细信息
Fail-safety is a system attribute which ensures that a program either completes its execution satisfying its post-conditions in the normal manner or signals its failure to do so to its operating environment. Such an attribute is desirable of any system as it ensures the correctness of results which are produced. A very few modern sequential programming languages offer program fail-safety through the judicious use of a well designed exception handling mechanism. In this paper the exception handling techniques used in those sequential systems are developed to provide the guidelines for fail-safe concurrent system design. (C) 1997 Elsevier Science Ltd.
While software protection mechanisms, such as DRM and online services, hinder the unrestrained duplication of games and applications, these mechanisms fail at protecting individual software components from reuse by in...
详细信息
The rapid evolution of distributed and personal systems in recent years has not diminished the importance of centralized computing. Today, systems at all levels need to operate in networked configurations to allow use...
The rapid evolution of distributed and personal systems in recent years has not diminished the importance of centralized computing. Today, systems at all levels need to operate in networked configurations to allow users and applications to access and manipulate data from anywhere with full integrity and optimal performance. Virtual Machine/Enterprise systems Architecture(TM) (VM/ESA(TM)) satisifies this requirement as a single VM product that has been designed for both centralized and distributed computing. This essay describes how VM/ESA builds on IBM's reputation for virtual machine performance, function, and flexibility to form an ideal solution base for the 1990s.
By finding invariant embeddings of a partially ordered set X into the semigroups it is shown that the semigroup of order ideals of X , where the semigroup operation is set union, and the semigroup and semiring of orde...
By finding invariant embeddings of a partially ordered set X into the semigroups it is shown that the semigroup of order ideals of X , where the semigroup operation is set union, and the semigroup and semiring of order preserving maps from X into the positive cone D + of a partially ordered integral domain D , all characterize X to within poset isomorphism. The automorphism group of the semigroup of order ideals is isomorphic to the automorphism group of X . The same holds for the semiring of order preserving maps from X into the non-negative integers, and this semiring is the closed linear span of its idempotents.
Search is essential for constraint programming. Search engines typically combine several features like state restoration for back-tracking, best solution search, parallelism, or visualization. In current implementatio...
详细信息
Today's big data challenge presses for a breakthrough in programming models. A simple programming model capable of both high productivity and high performance is desired. This paper proposes a simple solution to r...
详细信息
ISBN:
(纸本)9781450333580
Today's big data challenge presses for a breakthrough in programming models. A simple programming model capable of both high productivity and high performance is desired. This paper proposes a simple solution to realize a set of restricted yet fundamental productivity features in C-family languages, without sacrificing their efficiency. This is achieved by leveraging a productivity language runtime and compiler analyses. Programmers write a program in the familiar C/C++/ObjectiveC style, without even knowing it is a mix of productivity and efficiency code. The program evolves as both a rapid prototype and efficiency code.
Significant progress has been made in the effort to separate programmers from the management of data storage. By comparison, the window of a workstation is still managed and controlled in great detail by the typical p...
Significant progress has been made in the effort to separate programmers from the management of data storage. By comparison, the window of a workstation is still managed and controlled in great detail by the typical programmer. In AD/Cycle™ user interface services defined a set of services that assist in the management of the displays on the workstation. These services also help increase the productivity of the tool builder by enforcing Common User Access rules and guidelines, and raise the level of consistency of user displays of the tools in AD/Cycle.
Proximity is a key to scalable and meaningful interactions in distributed systems, both natural and artificial, and in particular in pervasive computing environments. However, proximity as such is a vague notion that ...
详细信息
暂无评论