Component-based design is a different way of constructing systems which offers numerous benefits, in particular, decreasing the complexity of system design. However, deploying components into a system is a challenging and error-prone task. Model checking is one of the reliable methods that automatically and systematically analyse the correctness of a given system. Its brute-force check of the s...

In order to reduce both the weight of vehicles and the damage of occupants in a crash event simultaneously, it is necessary to perform a multi-objective optimization of the automotive energy absorbing components. In this paper, axial impact crushing behavior of the aluminum foam-filled thin-walled tubes are studied by the finite element method using commercial software ABAQUS. Comparison of the...

The period of vibration is a fundamental parameter in the force-based design of structures as this parameter defines the spectral acceleration and thus the base shear force to which the building should be designed. This paper takes a critical look at the way in which seismic design codes around the world have allowed the designer to estimate the period of vibration for use in both linear static...

This paper presents ACKTUS, a modeling tool for developing knowledge-based systems for the health domain, and an evaluation study of the system. The main purpose of the evaluation was to investigate whether the functionality and interaction design of ACKTUS was sufficiently intuitive for the domain experts to contribute with knowledge and to model the interaction design of the three end users’ ...

Conceptual Design is a preliminary stage of system design. It involves feasibility study, system specification, decision making and primary design. As system design projects become large, a muitidisciplinary approach is necessary to accomplish the task. An important activity of the cooperative conceptual design is concept negotiation. In this recursive process, design members evaluate and integ...