Legged locomotion is used by most of the animals and human beings on the earth. Legged locomotion is preferred over the wheeled locomotion as it can be used for both flat and rough terrains. In this paper, an attempt has been made for the dynamic modelling and simulation of four legged jumping robots with compliant legs. Sagittal plane and bounding gait has been used. For energy saving passive ...

This paper examines how current research treats software architecture design, places it in the context of information systems development (ISD), and brings forward arguments about the nature of the architecture design and its effects on the selection and usage of systems development methods. It is noted that the architecture guides ISD group’s perceptions on the object system and offers pattern...

Michael Jackson’s Problem Frames are a highly promising approach to early life-cycle software engineering. Their focus moves the engineer back to the problem to be solved rather than forward to the software and solving a poorly defined problem. By applying the Problem Frames approach, the software engineer can understand the problem context and how it is to be affected by the proposed software,...

(2013) Dynamic causal modelling of effective connectiv-ity during perspective taking in a communicative task. Abstract: Previous studies have shown that taking into account another person's perspective to guide decisions is more difficult when their perspective is incongruent from one's own compared to when it is congruent. Here we used dynamic causal modelling (DCM) for functional magnetic res...

Michael Jackson’s Problem Frames are a highly promising approach to early life-cycle software engineering. Their focus moves the engineer back to the problem to be solved rather than forward to the software and solving a poorly defined problem. By applying the Problem Frames approach, the software engineer can understand the problem context and how it is to be affected by the proposed software,...

Tool interoperability as a mean to achieve integration is among the main goals of the international Grand Challenge initiative. In the context of the Verifiable file system mini-challenge put forward by Rajeev Joshi and Gerard Holzmann, this paper focuses on the integration of different formal methods and tools in modelling and verifying an abstract file system inspired by the Intel © Flash Fil...

This paper investigates the modelling of risk due to market and funding liquidity by capturing the joint dynamics of the Treasury-Eurodollar spread, VIX and a metric derived from S&P 500 time series. We put forward a two-regime mean-reverting model in explaining the behaviour of the liquidity levels in the financial markets. Expectationmaximisation algorithm in conjunction with multivariate fil...

This paper presents math-based torque converter modelling and simulation in both forward flow mode and reverse flow mode operations. Since, a torque converter plays an important role in transferring power from an engine shaft to the transmission shaft and vice versa and affects the fuel consumption and vehicle longitudinal dynamics, simulating the dynamic behaviour of this component in differen...

Feed forward network for modelling of discrete multimedia traffic source has been proposed. ANN is trained to classify each time slot into its transmission status & state. Training data are obtained using MMBP source model. It is highly recommended for slowly changing video scenes. Index Term: ATM, CAC, ANN, Source Utilisation.

The paper introduces a construction algorithm for sparse kernel modelling using the leave-one-out test score also known as the PRESS (Predicted REsidual Sums of Squares) statistic. An efficient subset model selection procedure is developed in the orthogonal forward regression framework by incrementally maximizing the model generalization capability to construct sparse models with good generaliz...