The modeling of emergent swarm intelligence constitutes a major challenge and it has been tacked in number different ways. However, existing approaches fail to capture the nature they are either too abstract for practical application or not generic enough describe various types emergence phenomena. In this paper, contradiction-centric model is proposed, which individuals determine their behavio...

Validating a model of a computer system means determining that the structure of the model is plausible and that the values of the response variables from the model agree (l~ithin some tolerance) IV"i th the values of the same variables obtained from the system. In this paper, four models of a single system are described. as are the attempts to validate each of them. Each model is described in t...

The growing size, complexity and reliability requirements of technical information systems call for extensive validation early in the design process. Such validations include type checking, prototyping, safeness checking and constraint checking. These validations can be performed thanks to the presence of underlying formal methods, which can be efficiently encapsulated within easy-to-use design...

This paper is concerned with the statistical model development issues, necessary for rapid estimation of the rotor sizing for single main rotor helicopters at the preliminary design stage. However, Central Composite Design (CCD) method, simulation-based data collection, linear regression analysis, mathematical modelsdevelopmentand validations through the analysis of variance (ANOVA) were perfor...