An upper bound for the distance between a zero and a critical point of a solution of a second order linear differential equation

This paper presents an upper bound for the distance between a zero and a critical point of a solution of the second order linear differential equation (p(x)y^′)^′+q(x)y(x)=0, with p(x),q(x)>0. It also compares it with previous results.     

Robot task plan representation by Petri nets: modelling, identification, analysis and execution

In this paper we introduce a framework to represent robot task plans based on Petri nets. Our approach enables modelling a robot task, analysing its qualitative and quantitative properties and using the Petri net representation for actual plan execution. The overall model is obtained from the composition of simple models, leading to a modular approach. Analysis is applied to a closed loop between the robot controller and the environment Petri net models. We focus here on the quantitative properties, captured by stochastic Petri net models. Furthermore, we introduce a method to identify the environment and action layer parameters of the stochastic Petri net models from real data, improving the significance of the model. The framework building blocks and a single-robot task model are detailed. Results of a case study with simulated soccer robots show the ability of the framework to provide a systematic modelling tool, and of determining, through well-known analysis methods for stochastic Petri nets, relevant properties of the task plan applied to a particular environment.     

An agent-based genetic algorithm for hybrid flowshops with sequence dependent setup times to minimise makespan

This paper deals with a variant of flowshop scheduling, namely, the hybrid or flexible flowshop with sequence dependent setup times. This type of flowshop is frequently used in the batch production industry and helps reduce the gap between research and operational use. This scheduling problem is NP-hard and solutions for large problems are based on non-exact methods. An improved genetic algorithm (GA) based on software agent design to minimise the makespan is presented. The paper proposes using an inherent characteristic of software agents to create a new perspective in GA design. To verify the developed metaheuristic, computational experiments are conducted on a well-known benchmark problem dataset. The experimental results show that the proposed metaheuristic outperforms some of the well-known methods and the state-of-art algorithms on the same benchmark problem dataset.     

Standardized code quality benchmarking for improving software maintainability

We provide an overview of the approach developed by the Software Improvement Group for code analysis and quality consulting focused on software maintainability. The approach uses a standardized measurement model based on the ISO/IEC 9126 definition of maintainability and source code metrics. Procedural standardization in evaluation projects further enhances the comparability of results. Individual assessments are stored in a repository that allows any system at hand to be compared to the industry-wide state of the art in code quality and maintainability. When a minimum level of software maintainability is reached, the certification body of TüV Informationstechnik GmbH issues a Trusted Product Maintainability certificate for the software product.     

Non‐linear analysis of shells with arbitrary evolving cracks using XFEM

A new formulation and numerical procedures are developed for the analysis of arbitrary crack propagation in shells using the extended finite element method. The method is valid for completely non‐linear problems. Through‐the‐thickness cracks in sandwich shells are considered. An exact shell kinematics is presented, and a new enrichment of the rotation field is proposed which satisfies the director inextensibility condition. To avoid locking, an enhanced strain formulation is proposed for the 4‐node cracked shell element. A finite strain plane stress constitutive model based on the logarithmic corotational rate is employed. A cohesive zone model is introduced which embodies the special characteristics of the shell kinematics. Stress intensity factors are calculated for selected problems and crack propagation problems are solved. Copyright © 2004 John Wiley & Sons, Ltd.     

Quantitative analysis of pore patterns on rat prostate nuclei using spatial statistics methods

Spatial statistics methods have been used to analyse the nuclear pore pattern in rat ventral prostate nuclei isolated from adult animals. The observed results show that: (1) pores on prostate nuclear membranes are not randomly distributed; (2) the data sets obtained from different micrographs are consistent with the same statistical model thus suggesting the existence of a typical pore distribution.     

Retrofit of RC hollow piers with CFRP sheets

Hollow bridge piers, particularly those built before the seventies, often have insufficient shear capacity due to inadequate transverse reinforcement details. Therefore, special attention must be given to this very important aspect when reinforced concrete (RC) piers with hollow sections are analysed and retrofitted. This paper covers the experimental analysis of retrofit solutions using CFRP sheets along the piers’ entire height to prevent shear failure. Experimental cyclic tests were carried out to evaluate the shear retrofit strategy efficiency on a set of RC piers with square hollow sections. This work also covers the study of design procedures for CFRP shear retrofitting and the evaluation of the associated ductility capacity improvement. The various transverse reinforcement detailing scenarios were assessed to determine their shear-failure prevention efficiency. The corresponding cyclic response behavior was also evaluated. The most relevant experimental information is presented in the paper, such as the evolution of the outer damage pattern. Finally, shear retrofit solutions, with a 40% increase over the maximum flexural force, show that this strategy is adequate to allow satisfactory ductility behavior.     

An application framework for developing collaborative handheld decision-making tools

This paper describes an application framework supporting collaborative handheld decision-making (CHDM). The main characteristics of the framework are: (1) extensive usage of visual elements and gestures; and (2) independence from specific decision-making methods, processes and tasks. The research departed from the analysis and systematisation of several CHDM scenarios, highlighting repeatable behaviour across multiple decision-making contexts. From these scenarios, we distilled a coherent set of common functional requirements organised in three main categories: process, macro- and micro-functionality. The proposed framework has been validated at length through the development of several CHDM tools. Six different tools are described in the paper. The main contribution of this work is a common foundation for developing CHDM tools.