In the field of design and analysis of manufacturing systems, models are sometimes built with the help of analytical methods. However, the verification of these models is often addressed by simulation. To check the performance of a manufacturing system, formal methods of design are needed. In this work, the selected modelling and verification tool is a high level Petri net. Based on properties ...

In this paper modelling and queuing analysis of variable-bit-rate (VBR) MPEG coded video sources in B-ISDN networks based on ATM are studied. Modelling is performed by examining a low pass version of the aggregate MPEG sequence, capable of capturing the video activity. A discrete state continuous time Markov chain is then proposed to approximate the aggregate MPEG traffic. The previous model is...

The motivation for modelling the effects of climate change on viticulture and wine quality using both qualitative and quantitative data within an integrated analytical framework is described. The major constraints and solutions evident when taking such an approach are outlined. WEBSOM is a novel self-organising map (SOM) method for extracting relevant domain-dependent characteristics from web b...

Time geography had led geographers to analyse and model activity-travel patterns since the 1970s. The notion that activity-travel patterns are highly constrained has been frequently used in analytical studies and models of space-time behaviour. The popularity of this field of research lost most of its momentum in geography in the 1990s, but is now the dominant approach among civil engineers in ...

An analytical model that can describe the load-slip response of cold-formed steel-to-timber connections, based on three components: timber embedment, screw bending and axial pull-through, is presented. The takes into consideration inclination damage to caused during drilling process. was validated against available push-out test results, where it shown accurately ultimate load, slip at two modu...

The water electrolysis appears as a sustainable solution for hydrogen production. proton exchange membrane electrolyzers (PEM-E) play an increasingly important role in the development of technology. Fast analysis PEM-E efficiency using mathematical approach is effective tool improvement these devices. This work presents closed-form single cell modelling. considers charge and mass transport bala...