Styling design is becoming a crucial mark for the success of consumer goods on the global market. Computer Aided Styling (CAS) and Computer Aided Aesthetic Design (CAAD), but also manual work on physical models are the methods for creating optimal aesthetic shapes. The BriteEuRam project FIORES covering 12 partners including automotive companies, styling companies, system suppliers, and researc...

Nowadays, the constraint solvers play a fundamental role in many graphical applications, including geometrical and mechanical CAD systems, layouts, user interface, and animation. These applications use constraints to conveniently describe relations between objects. Constraints are automatically maintained and satisfied by a constraints solver. So, numerical and tedious tasks are left to the sol...

The current version of STEP standard cannot exchange the parametric information of CAD models. Only pure boundary representations that cannot be parametrically edited are transferrable. There are two approaches for the exchange of design intents such as parameters, features, and constraints. The first is an explicit approach based on constraints between pre-defined parameters and features. The ...

Cylindrical Algebraic Decompositions (CADs) have been studied since their creation as a tool for working with semi-algebraic sets and eliminating quantifiers of the reals. In this paper we are concerned with Cylindrical Algebraic Sub-Decompositions (sub-CADs), defined as subsets of CADs sufficient to describe the solutions for given formulae. We discuss several ways to construct sub-CADs, both ...

Discrete hardware design involves at a certain stage the logic design of three types of components: functional components (combinational logic networks), operational components (registers), and control components (automata) [1]. Control automata design has been developed in considerable detail, while formal (and thus computer-aided) register design still involves difficulties, despite its appar...

non-destructive ultrasonic testing is one of the methods utilized to evaluate quality of agricultural produce. transducers used in this method are made for basically industrial applications. since ultrasonic attenuation of waves in agricultural produce is very high, industrial transducers cannot be used in agriculture and needs to be modified. this is done with horns that concentrate energy on ...

This paper describes how the practical sessions of the Digital Systems Laboratory within the Computer Science Degree have been adapted to allow a visually impaired student to take part in the practical sessions. Regular students use a computer--aided design tool (OrCAD) for digital design in their practical assignments. This work shows how the use of special instrumentation allows visually impa...