A Formal Model of Computer-Aided Visual Design

2011 ◽  
pp. 97-113
Author(s):  
Ewa Grabska ◽  
Grażyna Ślusarczyk
Keyword(s):  
Formal Model ◽  
Visual Design ◽  
Computer Aided

A Formal Model for Parameterized Solids in a Visual Design Language

2000 ◽  
Vol 11 (6) ◽  
pp. 687-710 ◽  
Author(s):  
PHILIP T. COX ◽  
TREVOR J. SMEDLEY
Keyword(s):  
Formal Model ◽  
Visual Design ◽  
Design Language

Modeling of neural-network security tools for computer-aided systems: A formal model of adaptation and operation. I

2008 ◽  
Vol 69 (9) ◽  
pp. 1603-1614 ◽  
Author(s):  
G. F. Nesteruk ◽  
L. G. Nesteruk ◽  
F. G. Nesteruk
Keyword(s):  
Neural Network ◽  
Network Security ◽  
Formal Model ◽  
Computer Aided

Application of Advertising Based on Computer Aided Visual Design

2014 ◽  
Vol 889-890 ◽  
pp. 125-129
Author(s):  
Wei Xiao
Keyword(s):  
Computer Technology ◽  
Computer Aided Design ◽  
Paper Analysis ◽  
Visual Design ◽  
Visual Effects ◽  
Wide Range ◽  
Computer Aided ◽  
Visual Impact ◽  
Technical Features ◽  
Aided Design

The 3D computer technology has a wide range of applications currently, with various engineering fields. All 3D visual effects can bring us visual impact, the use of 3D computer technology produced by advertising more easily accepted by the audience, this paper discuss the 3D computer-aided design advertising and its application. The paper analysis 3D advertising purposes and applications range scale, the application of technical features and style.

scholarly journals DESIGN BY MATERIAL: FROM MATERIAL TO FORM THROUGH CAD MODELLING

2021 ◽  
Vol 1 ◽  
pp. 963-972
Author(s):  
Egon Ostrosi ◽  
Jean-Bernard Bluntzer ◽  
Hugues Baume ◽  
Josip Stjepandić
Keyword(s):  
Design Process ◽  
Computer Aided Design ◽  
Formal Model ◽  
Knowledge Gap ◽  
Systematic Method ◽  
Computer Aided ◽  
Cad Modelling ◽  
The Subject ◽  
Design Perspective ◽  
Aided Design

AbstractFor Aristotelian scholars, matter is identified as the subject of change, while form is the boundary of matter. Design is a process of bringing about change. From a design perspective, material is what an entity is made from; form is what makes a thing what it is. Based on the principle, “form is the boundary of matter”, this paper proposes a Design by Material method, thereby addressing the knowledge gap of a systematic method for designing according to material. This method is predicated on the material specification as the first input in the design process. A formal model is built in which the material acts as a trigger and driver for the design process. The method is implemented by integrating computer-aided design (CAD) modelling and its design form. A design application is explained to demonstrate the relevance of the Design by Material method.

scholarly journals Development of formal models of computer aided formative assessment to help learning the dynamics of rotation

2017 ◽  
Vol 5 (2) ◽  
Author(s):  
Baden Bagus
Keyword(s):  
Formative Assessment ◽  
Quantitative Data ◽  
Qualitative Data ◽  
Formal Model ◽  
Rotational Dynamics ◽  
Formal Models ◽  
Multiple Choice Questions ◽  
Computer Aided ◽  
Quality Of Products ◽  
Development And Validation

The research objective is to produce a product that is a model of computer aided formal formative assessment on the rotational dynamics of matter, as well as measure the feasibility of a formal model of computer-aided formative assessment through the validation test. This study uses research design and development. The instrument used in the form of a questionnaire for the assessment validator and test the quality of products by users in limited testing. Validation activities include the validation of product development and validation of multiple choice questions as components of the product. Validation carried out by two lecturers and two teachers. Limited trial conducted on 10 students of class XI SMAN 1 Lawang. Type of research data includes quantitative data such as ratings and feedback validator students based on Likert scale, as well as qualitative data in the form of comments and suggestions provided by the validator. The results of the quantitative data analysis showed that the resulting product included in either category so that it does not require a significant revision. Based on qualitative data, the product has been revised based on the comments and suggestions validator. Products produced already is feasible but still requires further research and development, and trials are repeated so that more can be used in the rotational dynamics of learning materials.Key word: formative assessment, formative assessment formal models of computer aided

Application of the formal model for describing processes of adaptive information security in computer-aided systems

2009 ◽  
Vol 70 (3) ◽  
pp. 491-501 ◽  
Author(s):  
F. G. Nesteruk ◽  
L. G. Nesteruk ◽  
G. F. Nesteruk
Keyword(s):  
Information Security ◽  
Formal Model ◽  
Computer Aided
Sign in / Sign up

Export Citation Format

Share Document