PL
 |
EN
Preferencje help
Polish version English version Język
Widoczny [Schowaj] Abstrakt
Liczba wyników

Znaleziono wyników: 4

Liczba wyników na stronie
first rewind previous Strona / 1 next fast forward last
Wyniki wyszukiwania
help Sortuj według:

help Ogranicz wyniki do:
first rewind previous Strona / 1 next fast forward last
1
Content available remote Design Supported by Many-Sorted First-Order Logic Constraints with Aggregate Operators
Palacz W.
Machine Dynamics Research
|
2017
|
Vol. 41, No. 4
43--50
EN
This paper is concerned with automatic checking of design constraints. It continues the work presented in (Palacz, 2015) by proposing an enhanced version of the constraint specification language described in that paper. The language is based on many-sorted first-order logic formulas - the proposed extension adds five new operators which calculate aggregates of single values. This considerably increases the expressive power of the language and makes it applicable to a wider range of design tasks.
2
Content available remote Engineering Design Supported by Many-Sorted First-Order Logic-Based Reasoning
Palacz W., Grabska E., Ślusarczyk G., Gajek S.
Machine Dynamics Research
|
2015
|
Vol. 39, No. 4
133-144
EN
This paper presents a computer system supporting conceptual design. The knowledge about designs saved in hierarchical hypergraphs allows the system to check if the current state of designs fulfills predefined constraints. The constraints are stored in external files, in the form of logic formulas. Originally, first-order logic was used; this paper proposes replacing it with many-sorted first-order logic.
3
Content available remote Representing design odeas with hierarchical graph diagrams
Palacz W.
Machine Graphics and Vision
|
2003
|
Vol. 12, No. 1
55-60
EN
Graphs are often used as formal models for representing design ideas. Models based on hierarchical graphs are needed in order to conveniently represent the structures of real-life objects. This paper presents a proposal of a design system which used hierarchical graphs transformation rules to automative the process of generating graph diagrams.
4
Content available remote Hierarchical graphs in creative design
Grabska E., Palacz W., Szyngiera P.
Machine Graphics and Vision
|
2000
|
Vol. 9, No. 1/2
115-122
EN
This paper is concerned with computational aspects of creative design. We propose a new representation of artifacts' structures: hierarchical graphs. This type of graphs enables to define a gluing operation. The proposed operation is illustrated by an example of designing gardens.
first rewind previous Strona / 1 next fast forward last
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.