Report on the activities of the working group on discrete mathematics

In the past decade there have been significant developments in computer technology and solution techniques for analysing business and industrial decision problems. In recent years good modelling systems have become available to ease the burden of model communication. Currently the single most important barrier to increased use of structured approaches to decision modelling is the acquisition of the necessary skills to initially develop models of complex decision systems. This paper examines the modelling process with reference to linear programming. Two related production planning problems are presented and their associated models developed. The relationship between the two problems is such that student modellers are forced to become involved in the important details of the problems and, by examining the nature of solution spaces in constrained optimisation, students are able to rapidly gain confidence and skills in modelling.     

On soft-fuzzy computing and modelling

In real-life problems both parameters and data used in mathematical modelling are vague. Pattern recognition, system modelling, diagnosis, image analysis, fault detection and others are fields where soft calculation with unprecise, fuzzy, objects plays an important role. In the presentation recent results in the theory of ordered fuzzy numbers and their normed algebra are shortly reviewed. Then possible applications in modelling dynamical systems and mechanics are presented. From the classical framework known algebraic and evolution equations describing such systems are transformed to their fuzzy versions. (© 2008 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim)     

Theoretical and empirical differentiations of phases in the modelling process

The reconstruction of pupils modelling processes can be found in many empirical studies within the literature on modelling. The empirical differentiations of the phases, which includes putting statements and actions of the pupils in the right phase, has not been reconstructed from a cognitive psychological point of view on a micro level thus far: In this article different modelling cycles are discussed with attention to distinctions in the various phases. The «modelling cycle under cognitive psychological aspects» is specifically emphasized in contrast to the other cycles. On the basis of the results of the COM²-project (Cognitive psychological analysis of modelling processes in mathematics lessons, Borromeo Ferri) the phases of the modelling processare described empirically. Some difficulties in the process of distinguishing the various phases are also pointed out.     

Modelling and solving environments for mathematical programming (MP): a status review and new directions

Languages and computing environments that support Mathematical Programming (MP) modelling continue to develop and evolve. In this paper: (i) We address declarative and procedural features of modelling languages. (ii) We assess developments which couple the modelling and the solving processes, typically column generation, the branch-and-price approach to Integer Programming (IP), and the sampling of scenarios within Stochastic Programming (SP). (iii) We consider how data modelling and symbolic modelling naturally come together and are used within the information value chain. (iv) Finally, we investigate the features of new tools, which support prototyping of optimisation based Decision Support (DS) applications.     

Facilitated modelling in strategy development: measuring the impact on communication,consensus and commitment

Facilitated modelling is used in supporting the resolution of strategic issues mainly because it is expected to improve communication between decision makers, foster consensus and create commitment. Researchers in both the strategy and facilitated modelling fields call for more systematic research on how strategy development works in practice and how outcomes are created. In this paper, three facilitated modelling cases on strategic issues are studied using both written questionnaires, developed in the strategy and decision support fields, and semi-structured interviews. Results of both measurement approaches are compared to determine (a) to what extent outcomes in participants’ own terms are similar to concepts in the questionnaire and (b) whether changes measured by both methods are similar. Interview results are used to assess (c) which elements of the intervention contribute to outcomes. Findings suggest that questionnaires offer clear benefits as standardized measurement of facilitated modelling outcomes.     

Relation between algebraic and geometric view on nurbs tensor product surfaces

NURBS (Non-Uniform Rational B-Splines) belong to special approximation curves and surfaces which are described by control points with weights and B-spline basis functions. They are often used in modern areas of computer graphics as free-form modelling, modelling of processes. In literature, NURBS surfaces are often called tensor product surfaces. In this article we try to explain the relationship between the classic algebraic point of view and the practical geometrical application on NURBS.     

On the application of mathematical models in maintenance

This paper may be seen as an appeal to maintenance modellers to work with maintenance engineers and managers on real problems. Such collaboration is essential if maintenance modelling is to be accepted within the engineering community. It is also particularly important in the design and building of maintenance management information systems if such systems are to be used to manage and operate maintenance policy in the new millennium. In this context, developing areas of maintenance modelling are discussed, namely: inspection maintenance; condition based maintenance; maintenance for multi-component systems; and maintenance management information systems. Some new models relating to capital replacement are also considered. Thus, we are concerned with the mathematical modelling of maintenance rather than with management processes relating to maintenance. Discussion of maintenance management information systems is included because of their importance in providing data for mathematical modelling and in implementing model-based maintenance policy.     

Proposal for an Invariant Nonlinear Eddy Viscosity Model based on a Consistent 4D Turbulence Modelling Approach

The aim of this new approach is to demonstrate that modelling on a 3D spatial manifold is not equivalent to modelling on a true 4D space-time manifold within Newtonian physics. In the framework of turbulence modelling it will be shown that by geometrically reformulating the averaged Navier-Stokes equations on a 4D non-Riemannian manifold without changing the physical content of the theory, additional modelling restrictions will naturally emerge which are absent in the usual Euclidean (3 + 1)D formulation. By proposing a non-linear eddy viscosity model within the k − ϵ family for high turbulent Reynolds numbers the new invariant modelling approach will demonstrate its clear superiority over current (3 + 1)D modelling techniques. (© 2009 Wiley-VCH Verlag GmbH & Co. KGaA, Weinheim)     

FEM modelling of the time-harmonic dynamical stress field problem for a pre-stressed plate-strip resting on a rigid foundation

In this paper, the FEM modelling of the time-harmonic dynamical stress field problem for the pre-stressed plate-strip with finite length resting on a rigid foundation is developed. The mathematical formulation of the considered problem is made by the use of the equations and relations of the Three-dimensional Linearized Theory of Elastic Waves in Initially Stressed Bodies. The proposed modelling is tested on the concrete problems as an example. The numerical results testing the validity of the developed FEM modelling are presented. Moreover, the numerical results attained for the various values of the problem parameters are also presented.     

Modelling and analysis of multistage stochastic programming problems: A software environment

In many decision problems, time and uncertainty play important roles and stochastic programming models are well suited for capturing both these aspects. In this paper we focus our attention on the difficulties which arise in developing multi-period stochastic models and we outline those challenging aspects where the use of classical modelling techniques for deterministic problems prove to be inadequate. In particular, we discuss the development of a modelling and analysis environment which combines multidimensional databases (MDDB), declarative modelling languages and procedural languages. Our aim is to develop a versatile tool which generates multi-period stochastic models and supports the modeller in browsing of data and solutions across different time stages and among different scenarios.     

Minimizing total earliness and tardiness on re-entrant batch processing machine with time windows

The time window (TW) generalizes the concept of due date. The semiconductor wafer fabrication system is currently one of the most complex production processes, which has typical re-entrant batch processing machine (RBPM). RBPM is a bottleneck. This paper addresses a scheduling of RBPM with job-dependent TWs. According to a general modelling, an improved and new job-family-oriented modelling of the decomposition method that is based on the slack mixed integer linear programming is proposed. First, the complicated scheduling problem of RBPM is divided into sub-problems, which are executed circularly. Then, each one consists of updating, sequencing and dispatching. The objective is to minimize the total earliness and tardiness for job-dependent TWs. In order to evaluate the proposed modelling, the experiments are implemented on the real-time scheduling simulation platform and optimization toolkit ILOG CPLEX. The results show that the improved modelling obtains better solutions in less computation time.     

Modelling of Technical Systems: Application to Hydrodynamic Torque Converters and Couplings

First a short survey of modelling of technical systems is presented. The different methods of modelling are applied to hydrodynamic torque converters and couplings. The results of linear modelling around an operating point, of nonlinear modelling for larger operating areas and of hybrid modelling using simplified physical laws are illustrated. Simulations for large excitations show the validity of the models. The advantages and disadvantages of the different methods are discussed.     

Hybrid systems: Modelling and analysis using emergent dynamics

In this paper, we discuss modelling and analysis of hybrid systems with physical interaction dynamics. Such systems are typically considered complex and they are modelled using abstractions. Abstractions may, however, unintentionally exclude critical details, leading to partial or false results. Therefore, we study here use of a particle system in modelling and analysis. The novelty of the particle system is that it is designed to reveal interaction dynamics as emergent dynamics; thus, supporting analysis of complex and intricate interaction dynamics with acceptable modelling effort. As the main contribution, we formalize the particle system, and use it to model and analyze hybrid systems, both mechanical and biological, with nontrivial interaction dynamics.     

Decision development in facilitated modelling workshops

While the facilitated modelling literature recognises the importance of the group process within facilitated modelling workshops, published empirical research rarely examines their dynamic nature. In this paper, we address this gap in the literature in two ways. First, we propose to locate facilitated modelling workshops as the main focus of investigation, and adopt decision development as the analytical lens. Second, we provide guidance regarding how to implement a research strategy that is informed by such a focus. We start by mapping the different conceptualisations of decision development that seem embedded within the facilitated modelling tradition, and contrast them with theoretical models from the group communication field. Our analysis identifies a number of potentially useful areas for the study of facilitated modelling workshops from a decision development perspective, and articulates a number tentative research questions and testable propositions amenable to empirical research. Central to our proposal are research methods for the study of dynamic group processes. We thus discuss the steps required to extract group process data from facilitated modelling workshops that are usable and open to analysis. This includes a review of issues regarding research design, coding scheme development, data coding and choice of analytical techniques. Finally, we offer conclusions and briefly discuss some feasibility issues related to the implementation of our proposal.     

Comparing German and Taiwanese secondary school students’ knowledge in solving mathematical modelling tasks requiring their assumptions

Mathematization is critical in providing students with challenges for solving modelling tasks. Inadequate assumptions in a modelling task lead to an inadequate situational model, and to an inadequate mathematical model for the problem situation. However, the role of assumptions in solving modelling problems has been investigated only rarely. In this study, we intentionally designed two types of assumptions in two modelling tasks, namely, one task that requires non-numerical assumptions only and another that requires both non-numerical and numerical assumptions. Moreover, conceptual knowledge and procedural knowledge are also two factors influencing students’ modelling performance. However, current studies comparing modelling performance between Western and non-Western students do not consider the differences in students’ knowledge. This gap in research intrigued us and prompted us to investigate whether Taiwanese students can still perform better than German students if students’ mathematical knowledge in solving modelling tasks is differentiated. The results of our study showed that the Taiwanese students had significantly higher mathematical knowledge than did the German students with regard to either conceptual knowledge or procedural knowledge. However, if students of both countries were on the same level of mathematical knowledge, the German students were found to have higher modelling performance compared to the Taiwanese students in solving the same modelling tasks, whether such tasks required non-numerical assumptions only, or both non-numerical and numerical assumptions. This study provides evidence that making assumptions is a strength of German students compared to Taiwanese students. Our findings imply that Western mathematics education may be more effective in improving students’ ability to solve holistic modelling problems.     

A multivariate Markov chain model for categorical data sequences and its applications in demand predictions

Markov models are commonly used in modelling many practicalsystems such as telecommunication systems, manufacturing systemsand inventory systems. In this paper we propose a multivariateMarkov chain model for modelling multiple categorical data sequences.We develop efficient estimation methods for the model parameters.We then apply the model and method to demand predictions fora soft-drink company in Hong Kong.     

A comprehensive approach of planning and scheduling based on petri nets

The main results available on the use of black-and-white Petri nets for modelling, planning and scheduling manufacturing systems are presented. In the first part of the paper, the basics of Petri nets necessary to understand the subsequent presentation are introduced. Particular attention is paid to event graphs, a particular type of Petri nets used for modelling and evaluating ratio-driven systems. The second part of the paper is devoted to ratio-driven systems, their modelling and their scheduling. Job-shops, assembly systems, and KANBAN systems are used to illustrate this section. Finally, the general case is investigated of manufacturing systems subject to changing demands. An approach based on conflict-free Petri nets with input and output transitions is proposed for planning and scheduling this type of system.