๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

A concurrent engineering constraint-based system

โœ Scribed by Hassan S. Abdalla


Publisher
Elsevier Science
Year
1998
Tongue
English
Weight
777 KB
Volume
35
Category
Article
ISSN
0360-8352

No coin nor oath required. For personal study only.

โœฆ Synopsis


This research article demonstrates the use of constraint networks for modelling the knowledge which is necessary for concurrent product and process design. A knowledge-based constraint network system has been developed to maintain design consistency and to support the selection of appropriate manufacturing processes according to pre-defined constraints. A number of constraints related to existing manufacturing facilities and expertise are formulated and modelled using the roles of the knowledge-based toolkit. These constraints are implemented to identify the appropriate machining processes and to show the feasibility of a product's design as it progresses and before making the final prototype. The combination of design and manufacturing constraints enables designers to examine whether the designed part can be manufactured with the available manufacturing facilities.


๐Ÿ“œ SIMILAR VOLUMES


IMDS: A knowledge-based system to suppor
โœ Guisseppi A. Forgionne ๐Ÿ“‚ Article ๐Ÿ“… 1993 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 693 KB

The Intelligent Manufacturing Decision Support System (IMDS) is a knowledge-based system that captures, stores, and retrieves engineering issues.for designated Westinghouse Electric Corporation products. IMDS is utilized in a very user:friendly manner that makes the computer processing virtually inv

SAT-based planning in complex domains: C
โœ Claudio Castellini; Enrico Giunchiglia; Armando Tacchella ๐Ÿ“‚ Article ๐Ÿ“… 2003 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 460 KB

Planning as satisfiability is a very efficient technique for classical planning, i.e., for planning domains in which both the effects of actions and the initial state are completely specified. In this paper we present C-SAT, a SAT-based procedure capable of dealing with planning domains having incom