π-Resolution in Design Space Exploration
نویسندگان
چکیده
In studying the phenomenon of design we use models to envision mechanisms by which computers might support design. In one such model we understand design as guided movement through a space of possibilities. Design space explorers embody this model as mixed-initiative environments in which designers engage in exploration via human computer interaction. Constraint resolution provides a formal framework for interaction in design space explorers. Rather than directly providing solutions to design problems, constraint resolution provides a mechanism for organizing construction. Therefore, we are less interested in the set of solutions to a constraint problem than the process by which intermediate steps are generated. π-resolution is one such mechanism applicable to design space explorers. It describes the solution, by recursive enumeration, of feature structure type constraints. During π-resolution, satisfiers are constructed by the application of type constraints drawn from an inheritance hierarchy. This constructive process provides a strong model for design space exploration. The constraint solver does not do the work of the designer, but rather design efforts are situated in, and organized by, constraint resolution. Therefore, the efficiency of the recursive enumeration in finding solutions is not an issue, since non-determinism in the search is resolved by the human user as design space exploration.
منابع مشابه
Navigating Subsumption-based Design Spaces
Design space explorers are information-rich environments conceived for providing effective support for electronic design processes. A subsumption-based design space structures the partial designs in the environment by a relation of information specificity. It provides formal exploration operators for predictive, goal-directed movement in the underlying space of designs and an interaction model ...
متن کاملParticipatory Design; A New Approach to Regenerate the Public Space
The following study aims to present an innovative approach for Design. Participatory Design is the model of direct involvement of different social groups in the design from functional tools to environments, social institutions and businesses. Diverse collection of practices has been developed to support this direct involvement by Participatory Design. People are invited to participate during di...
متن کاملMetaheuristics to Design Satellite Constellation
At the beginning of the space conquest the space-systems were composed of unique satellite. With the growth of the needs and the explosion of the technologies, the space-systems became more and more complex. Now they are composed of many satellites working together : we talk about constellation. The aim of the constellation design, is to optimize the satellite positions in order to obtain the b...
متن کاملSimpress: a Simulator Generation Environment for System-on-chip Exploration
of the Thesis SIMPRESS: A Simulator Generation Environment for System-on-Chip Exploration by Asheesh Khare Master of Science in Information and Computer Science University of California, Irvine, 1999 Professor Nikil D. Dutt, Chair Designing Systems-On-Chip (SOC) involves designing embedded applications using customizable embedded processor cores, novel on-chip/o -chip memory hierarchies and hig...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2005