Dr Ines Arana i.arana@rgu.ac.uk
Academic Strategic Lead
Dr Ines Arana i.arana@rgu.ac.uk
Academic Strategic Lead
Dr Hatem Ahriz h.ahriz@rgu.ac.uk
Principal Lecturer
Steve Culley
Editor
One of the initial stages in the manufacturing of an article is the production of a design which satisfies a set of user requirements. Much of the design work carried out in manufacturing companies can be classified as redesign, i.e. producing a new variant of a known product family which satisfies a slightly different specification. This type of redesign application is particularly well suited to computer support since: (i) the knowledge used is well-understood; (ii) solutions are highly reusable. Redesign support systems often involve the creation of a model, which is then used by the advisory system. These models rely on constraints to express a substantial amount of design knowledge, e.g. design laws, principles, company restrictions, international standards and customer requirements. Although a lot of effort has been devoted to the verification of rule-based knowledge [1], little effort appears to have been spent on constraint verification. This paper presents a methodology to verify constraints in a redesign model and argues that verification can be seen as a Constraint Satisfaction Problem (CSP).
ARANA, I. and AHRIZ, H. 2001. Verification of redesign models: a CSP approach. In Culley, S. (ed.) Proceedings of the 13th International conference on engineering design (ICED'01), 21-23 August 2001, Glasgow, UK. Zurich: Professional Engineering Publishing, pages 283-290.
Conference Name | 13th International conference on engineering design (ICED'01) |
---|---|
Conference Location | Glasgow, UK |
Start Date | Aug 21, 2001 |
End Date | Aug 23, 2001 |
Acceptance Date | Aug 21, 2001 |
Publication Date | Aug 21, 2001 |
Deposit Date | Sep 21, 2016 |
Publicly Available Date | Sep 21, 2016 |
Publisher | Professional Engineering Publishing |
Pages | 283-290 |
ISBN | 1860583547 |
Keywords | Design representations; Product modelling; Constraint based design; Knowledge representation |
Public URL | http://hdl.handle.net/10059/1812 |
ARANA 2001 Verification of redesign models
(771 Kb)
PDF
Publisher Licence URL
https://creativecommons.org/licenses/by-nc-nd/4.0/
Real-time relative permeability prediction using deep learning.
(2018)
Journal Article
Multi-HDCS: solving DisCSPs with complex local problems cooperatively.
(2010)
Conference Proceeding
About OpenAIR@RGU
Administrator e-mail: publications@rgu.ac.uk
This application uses the following open-source libraries:
Apache License Version 2.0 (http://www.apache.org/licenses/)
Apache License Version 2.0 (http://www.apache.org/licenses/)
SIL OFL 1.1 (http://scripts.sil.org/OFL)
MIT License (http://opensource.org/licenses/mit-license.html)
CC BY 3.0 ( http://creativecommons.org/licenses/by/3.0/)
Advanced Search