The effects of incorporating local mechanical behaviour into a structural analysis of a cast ductile iron component are investigated. A recently presented simulation strategy, the closed chain of simulations for cast components, is applied to incorporate local behaviour predicted by a casting process simulation into a Finite Element Method (FEM) structural analysis, and the effects of the strat...

We study the spectral distribution of the threshold network model. The results contain an explicit description and its asymptotic behaviour.

Subtyping relations for object-oriented formalisms describe relationships between superand subclasses which satisfy the substitutability requirement imposed on types and their subtypes. For active objects with an associated behaviour description subtyping relations also have to guarantee substitutability with respect to the dynamic behaviour of classes. In this paper, we give subtyping patterns...

This paper introduces a formal model for the description of interactive systems based on the interactor model of [15, 17]. Similarly to that model, it is intended to be used constructively for building specifications of interfaces as compositions of interactors. Changes are brought about to two aspects of the model: firstly, a modularised representation of control information is achieved which ...

In this article, an approach to modelling of componentbased systems and formal description of their behaviour is proposed. It is based on a novel component model defined by a metamodel in a logical view and by description in the π-calculus in a process view. The model addresses dynamic aspects of software architectures including component mobility. Furthermore, a method of behavioural modelling...

Logic-based representations of multi-agent systems have been extensively studied. In this work, we focus on the action language BC to formalize global views of MAS domains. Methodologically, we start representing the behaviour of each agent by an action description from a single agent perspective. Then, it goes through two stages that guide the modeler in composing the global view by first desi...

The simulation of rubber-like material behaviour by means of the finite element method has been described in this study. Proper material models were selected for the numerical description of static hyper-elasticity. The combinations of a continuum damage mechanics concept and a pseudo-elastic concept with Gao’s elastic law were used to simulate the ideal Mullins effect. Furthermore, a specific ...

Models of consumer behaviour based purely upon empirical relationships in data can perform well in the short-term, but often degrade rapidly with changing circumstances. Superior longer term performance can sometimes be attained by developing models for the deeper processes underlying the consumer behaviour. In this paper, we develop a random-effects point-process model for ATM (Automated Telle...