A warning concerning the estimation of multinomial logistic models with correlated responses in SAS

Kuss and McLerran in a paper in this journal provide SAS code for the estimation of multinomial logistic models for correlated data. Their motivation derived from two papers that recommended to estimate such models using a Poisson likelihood, which is according to Kuss and McLerran "statistically correct but computationally inefficient". Kuss and McLerran propose several estimating methods. Some of these are based on the fact that the multinomial model is a multivariate binary model. Subsequently a procedure proposed by Wright is exploited to fit the models. In this paper we will show that the new computation methods, based on the approach by Wright, are statistically incorrect because they do not take into account that for multinomial data a multivariate link function is needed. An alternative estimation strategy is proposed using the clustered bootstrap.     

Verifying compiled file system code

This article presents a case study on retrospective verification of the Linux Virtual File System (VFS), which is aimed at checking violations of API usage rules and memory properties. Since VFS maintains dynamic data structures and is written in a mixture of C and inlined assembly, modern software model checkers cannot be applied. Our case study centres around our novel automated software verification tool, the SOCA Verifier, which symbolically executes and analyses compiled code. We describe how this verifier deals with complex features such as memory access, pointer aliasing and computed jumps in the VFS implementation, while reducing manual modelling to a minimum. Our results show that the SOCA Verifier is capable of analysing the complex Linux VFS implementation reliably and efficiently, thereby going beyond traditional testing tools and into niches that current software model checkers do not reach. This testifies to the SOCA Verifier’s suitability as an effective and efficient bug-finding tool during the development of operating system components.     

Fast wrapper feature subset selection in high-dimensional datasets by means of filter re-ranking

This paper deals with the problem of supervised wrapper-based feature subset selection in datasets with a very large number of attributes. Recently the literature has contained numerous references to the use of hybrid selection algorithms: based on a filter ranking, they perform an incremental wrapper selection over that ranking. Though working fine, these methods still have their problems: (1) depending on the complexity of the wrapper search method, the number of wrapper evaluations can still be too large; and (2) they rely on a univariate ranking that does not take into account interaction between the variables already included in the selected subset and the remaining ones.Here we propose a new approach whose main goal is to drastically reduce the number of wrapper evaluations while maintaining good performance (e.g. accuracy and size of the obtained subset). To do this we propose an algorithm that iteratively alternates between filter ranking construction and wrapper feature subset selection (FSS). Thus, the FSS only uses the first block of ranked attributes and the ranking method uses the current selected subset in order to build a new ranking where this knowledge is considered. The algorithm terminates when no new attribute is selected in the last call to the FSS algorithm. The main advantage of this approach is that only a few blocks of variables are analyzed, and so the number of wrapper evaluations decreases drastically.The proposed method is tested over eleven high-dimensional datasets (2400-46,000 variables) using different classifiers. The results show an impressive reduction in the number of wrapper evaluations without degrading the quality of the obtained subset.     

Modeling of the relative humidity via functional networks and control of the temperature via classic controls for a bird incubator

The control of the relative humidity and the temperature is important for the birds to be born. It is not easy to control the relative humidity, but it is possible to obtain the measure of the relative humidity as a consequence of the control of the temperature in a bird incubator. In this article, (1) the mathematical model for the control of temperature in the bird incubator is presented, (2) a functional network to approximate the relative humidity behavior in the bird incubator is proposed, (3) a control for the temperature in the bird incubator is proposed, the error of the proportional control applied to the mathematical model of the temperature of the bird incubator is assured to be uniformly stable, (4) the comparison results of four classic control laws for the control of the temperature considering the proposed mathematical model of the temperature and the functional network to approximate the relative humidity behavior in the bird incubator are presented.     

How to take into account general and contextual knowledge for interactive aiding design: Towards the coupling of CSP and CBR approaches

The goal of this paper is to show how it is possible to support design decisions with two different tools relying on two kinds of knowledge: case-based reasoning operating with contextual knowledge embodied in past cases and constraint filtering that operates with general knowledge formalized using constraints. Our goals are, firstly to make an overview of existing works that analyses the various ways to associate these two kinds of aiding tools essentially in a sequential way. Secondly, we propose an approach that allows us to use them simultaneously in order to assist design decisions with these two kinds of knowledge. The paper is organized as follows. In the first section, we define the goal of the paper and recall the background of case-based reasoning and constraint filtering. In the second section, the industrial problem which led us to consider these two kinds of knowledge is presented. In the third section, an overview of the various possibilities of using these two aiding decision tools in a sequential way is drawn up. In the fourth section, we propose an approach that allows us to use both aiding decision tools in a simultaneous and iterative way according to the availability of knowledge. An example dealing with helicopter maintenance illustrates our proposals.     

Integration of virtual and real environments for engineering service-oriented manufacturing systems

Engineering frameworks are currently required to support the easy, low-cost, modular and integrated development of manufacturing systems addressing the emergent requirements of re-configurability, responsiveness and robustness. This paper discusses the integration of 2D/3D digital software tools with Petri net based service-oriented frameworks to allow the design, configuration, analysis, validation, simulation, monitoring and control of manufacturing systems in a virtual environment and its posterior smooth migration into the real ??physical?? environment. An experimental case study was implemented to validate the proposed concepts, using the Continuum platform to design, compose, analyze, validate and simulate the Petri nets based service-oriented manufacturing control system, and the Delmia Automation^TM software suite to support the rapid prototyping and the easy simulation of the designed control solution. The experimental results prove several aspects of the proposed approach, notably the smooth migration between the design and the operation phases, one of the main objectives of the work.     

Office task effects on comfort and body dynamics in five dynamic office chairs

In the present study, we investigated the effect of office tasks on posture and movements in field settings, and the comfort rating for chair characteristics and correlation with type of task. The tasks studied were: computer work, telephoning, desk work and conversation. Postures, movements, chair part inclinations and comfort rating data were collected from 12 subjects. Computer work showed the lowest physical activity, together with upright trunk and head position and low backrest inclination. Conversation shows the highest activity of head legs and low back together with the highest cervical spine extension. In contrast, desk work provoked the most cervical spine flexion and showed the second lowest activity. The telephoning tasks showed medium activity and the highest kyphosis. Conversation showed the highest backrest inclination. Positive comfort relations were found for computer work and a "swing system" chair, for telephoning and an active longitudinal seat rotation, and for desk work and a chair with a three-dimensionally moveable seat.     

Acoustic evaluation and adjustment of an open-plan office through architectural design and noise control

Arranging office space into a single open room offers advantages in terms of easy exchange of information and interaction among coworkers, but reduces privacy and acoustic comfort. Thus, the purpose of this work was to evaluate the acoustic quality of a real open-plan office and to propose changes in the room to improve the acoustic conditioning of this office. The computational model of the office under study was calibrated based on RT and STI measurements. Predictions were made of the RT and STI, which generated the radius of distraction r(D), and the rate of spatial decay of sound pressure levels per distance doubling DL(2) in the real conditions of the office and after modifications of the room. The insertion of dividers between work stations and an increase in the ceiling's sound absorption improved the acoustic conditions in the office under study.     

Numerical simulation of the N-dimensional sine-Gordon equation via operational matrices

In this paper, we develop a numerical method for the N-dimensional sine-Gordon equation using differentiation matrices, in the theoretical frame of matrix differential equations.Our method avoids calculating exponential matrices, is very intuitive and easy to express, and can be implemented without toil in any number of spatial dimensions. Although there is currently a vast literature on the numerical treatment of the one-dimensional sine-Gordon equation, the references for the two-dimensional case are much sparser, and virtually nonexistent for higher dimensions.We apply it to a battery of two-dimensional problems taken from the literature, showing that it largely outperforms the previously existing algorithms; while for three-dimensional problems, the results seem very promising.