Formalising responsibility modelling for automatic analysis

Modelling the structure of social-technical systems as a basis for informing software system design is a difficult compromise. Formal methods struggle to capture the scale and complexity of the heterogeneous organisations that use technical systems. Conversely, informal approaches lack the rigour needed to inform the software design and construction process or enable automated analysis. We revisit the concept of responsibility modelling, which models social technical systems as a collection of actors who discharge their responsibilities, whilst using and producing resources in the process. Responsibility modelling is formalised as a structured approach for socio-technical system requirements specification and modelling, with well-defined semantics and support for automated structure and validity analysis. The effectiveness of the approach is demonstrated by two case studies of software engineering methodologies

Tree Memory Networks for Modelling Long-term Temporal Dependencies

In the domain of sequence modelling, Recurrent Neural Networks (RNN) have been capable of achieving impressive results in a variety of application areas including visual question answering, part-of-speech tagging and machine translation. However this success in modelling short term dependencies has not successfully transitioned to application areas such as trajectory prediction, which require capturing both short term and long term relationships. In this paper, we propose a Tree Memory Network (TMN) for modelling long term and short term relationships in sequence-to-sequence mapping problems. The proposed network architecture is composed of an input module, controller and a memory module. In contrast to related literature, which models the memory as a sequence of historical states, we model the memory as a recursive tree structure. This structure more effectively captures temporal dependencies across both short term and long term sequences using its hierarchical structure. We demonstrate the effectiveness and flexibility of the proposed TMN in two practical problems, aircraft trajectory modelling and pedestrian trajectory modelling in a surveillance setting, and in both cases we outperform the current state-of-the-art. Furthermore, we perform an in depth analysis on the evolution of the memory module content over time and provide visual evidence on how the proposed TMN is able to map both long term and short term relationships efficiently via a hierarchical structure

Modelling of a Flexible Manoeuvring System Using ANFIS Techniques

The increased utilization of flexible structure systems, such as flexible manipulators and flexible aircraft in various applications, has been motivated by the requirements of industrial automation in recent years. Robust optimal control of flexible structures with active feedback techniques requires accurate models of the base structure, and knowledge of uncertainties of these models. Such information may not be easy to acquire for certain systems. An adaptive Neuro-Fuzzy inference Systems (ANFIS) use the learning ability of neural networks to adjust the membership function parameters in a fuzzy inference system. Hence, modelling using ANFIS is preferred in such applications. This paper discusses modelling of a nonlinear flexible system namely a twin rotor multi-input multi-output system using ANFIS techniques. Pitch and yaw motions are modelled and tested by model validation techniques. The obtained results indicate that ANFIS modelling is powerful to facilitate modelling of complex systems associated with nonlinearity and uncertainty

Customer population modelling with residence time structure

In many service industries, companies offer a variety of customer packages, with differing levels of service and associated charges. For example, in the case of cable companies, customers may choose to subscribe to different bundles of channels and may also buy phone and internet services. From time to time, customers will upgrade to a more expensive package, or possibly downgrade or discontinue their contract altogether. Numbercraft asked the Study Group to consider models for how the number of customers on each type of contract will change over time. Such models could be used to forecast companies' future income and also to ensure that marketing campaigns have maximum impact

A flexible geometric model for leaf shape descriptions with high accuracy

Accurate assessment of canopy structure is crucial in studying plant-environment interactions. The advancement of functional-structural plant models (FSPM), which incorporate the 3D structure of individual plants, increases the need for a method for accurate mathematical descriptions of leaf shape. A model was developed as an improvement of an existing leaf shape algorithm to describe a large variety of leaf shapes. Modelling accuracy was evaluated using a spatial segmentation method and shape differences were assessed using principal component analysis (PCA) on the optimised parameters. Furthermore, a method is presented to calculate the mean shape of a dataset, intended for obtaining a representative shape for modelling purposes. The presented model is able to accurately capture a large range of single, entire leaf shapes. PCA illustrated the interpretability of the parameter values and allowed evaluation of shape differences. The model parameters allow straightforward digital reconstruction of leaf shapes for modelling purposes such as FSPMs

Modelling Rod-like Flexible Biological Tissues for Medical Training

This paper outlines a framework for the modelling of slender rod-like biological tissue structures in both global and local scales. Volumetric discretization of a rod-like structure is expensive in computation and therefore is not ideal for applications where real-time performance is essential. In our approach, the Cosserat rod model is introduced to capture the global shape changes, which models the structure as a one-dimensional entity, while the local deformation is handled separately. In this way a good balance in accuracy and efficiency is achieved. These advantages make our method appropriate for the modelling of soft tissues for medical training applications

Modelling the Developing Mind: From Structure to Change

This paper presents a theory of cognitive change. The theory assumes that the fundamental causes of cognitive change reside in the architecture of mind. Thus, the architecture of mind as specified by the theory is described first. It is assumed that the mind is a three-level universe involving (1) a processing system that constrains processing potentials, (2) a set of specialized capacity systems that guide understanding of different reality and knowledge domains, and (3) a hypecognitive system that monitors and controls the functioning of all other systems. The paper then specifies the types of change that may occur in cognitive development (changes within the levels of mind, changes in the relations between structures across levels, changes in the efficiency of a structure) and a series of general (e.g., metarepresentation) and more specific mechanisms (e.g., bridging, interweaving, and fusion) that bring the changes about. It is argued that different types of change require different mechanisms. Finally, a general model of the nature of cognitive development is offered. The relations between the theory proposed in the paper and other theories and research in cognitive development and cognitive neuroscience is discussed throughout the paper