Analysis of information exchange activities to actualize and validate situation awareness during shift changeovers in nuclear power plants

Shift work situations occur in almost all safety‐critical organizations, and the investigations of some catastrophes like Chernobyl, Exxon Valdez, and the Gol/Legacy mid‐air collision indicated that shift work information exchange played an important role during the evolution of the situation before the accidents. Inadequate communications during shift changeovers challenged operators' work in the moments that preceded these accidents, because they got inadequate information about the current situation. Our research focuses on the information exchange activities (verbal, written, and nonverbal) of nuclear power plant control operators during shift changeovers. Our aim is to investigate how verbal exchanges and other representations enable operator crews to share information regarding the events that occurred in the previous shift to achieve adequate situation awareness. Our findings indicated the importance and richness of the information exchange during the shift changeover process to update and validate individual and collective situation awareness, showing that information adequately shared enables the ad hoc configurations of regulation loops and a safer use of simplified strategies that can be understood and be validated by other operators, reducing the occurrence of cognitive overloads and contributing to the construction of a common cognitive ground that enhances system resilience. © 2010 Wiley Periodicals, Inc.     

Modeling of the condyle elements within a biomechanical knee model

The development of a computational multibody knee model able to capture some of the fundamental properties of the human knee articulation is presented. This desideratum is reached by including the kinetics of the real knee articulation. The research question is whether an accurate modeling of the condyle contact in the knee will lead to reproduction of the complex combination of flexion/extension, abduction/adduction, and tibial rotation observed in the real knee. The model is composed by two anatomic segments, the tibia and the femur, whose characteristics are functions of the geometric and anatomic properties of the real bones. The biomechanical model characterization is developed under the framework of multibody systems methodologies using Cartesian coordinates. The type of approach used in the proposed knee model is the joint surface contact conditions between ellipsoids, representing the two femoral condyles, and points, representing the tibial plateau and the menisci. These elements are closely fitted to the actual knee geometry. This task is undertaken by considering a parameter optimization process to replicate experimental data published in the literature, namely that by Lafortune and his coworkers in 1992. Then kinematic data in the form of flexion/extension patterns are imposed on the model corresponding to the stance phase of the human gait. From the results obtained, by performing several computational simulations, it can be observed that the knee model approximates the average secondary motion patterns observed in the literature. Because the literature reports considerable inter-individual differences in the secondary motion patterns, the knee model presented here is also used to check whether it is possible to reproduce the observed differences with reasonable variations of bone shape parameters. This task is accomplished by a parameter study, in which the main variables that define the geometry of condyles are taken into account. It was observed that the data reveal a difference in secondary kinematics of the knee in flexion versus extension. The likely explanation for this fact is the elastic component of the secondary motions created by the combination of joint forces and soft tissue deformations. The proposed knee model is, therefore, used to investigate whether this observed behavior can be explained by reasonable elastic deformations of the points representing the menisci in the model.     

Evaluating the influence of multiplexing schemes and buffer implementation on perceived VoIP conversation quality

This work presents a study of RTP multiplexing schemes, which are compared with the normal use of RTP, in terms of experienced quality. Bandwidth saving, latency and packet loss for different options are studied, and some tests of Voice over IP (VoIP) traffic are carried out in order to compare the quality obtained using different implementations of the router buffer. Voice quality is calculated using ITU R-factor, which is a widely accepted quality estimator. The tests show the bandwidth savings of multiplexing, and also the importance of packet size for certain buffers, as latency and packet loss may be affected. The customer’s experience improvement is measured, showing that the use of multiplexing can be interesting in some scenarios, like an enterprise with different offices connected via the Internet. The system is also tested using different numbers of samples per packet, and the distribution of the flows into different tunnels is found to be an important factor in order to achieve an optimal perceived quality for each kind of buffer. Grouping all the flows into a single tunnel will not always be the best solution, as the increase of the number of flows does not improve bandwidth efficiency indefinitely. If the buffer penalizes big packets, it will be better to group the flows into a number of tunnels. The router processing capacity has to be taken into account too, as the limit of packets per second it can manage must not be exceeded. The obtained results show that multiplexing is a good way to improve customer’s experience of VoIP in scenarios where many RTP flows share the same path.     

Confidence voting method ensemble applied to off-line signature verification

In this paper, a new approximation to off-line signature verification is proposed based on two-class classifiers using an expert decisions ensemble. Different methods to extract sets of local and a global features from the target sample are detailed. Also a normalization by confidence voting method is used in order to decrease the final equal error rate (EER). Each set of features is processed by a single expert, and on the other approach proposed, the decisions of the individual classifiers are combined using weighted votes. Experimental results are given using a subcorpus of the large MCYT signature database for random and skilled forgeries. The results show that the weighted combination outperforms the individual classifiers significantly. The best EER obtained were 6.3 % in the case of skilled forgeries and 2.31 % in the case of random forgeries.     

Missing data imputation for fuzzy rule-based classification systems

Fuzzy rule-based classification systems (FRBCSs) are known due to their ability to treat with low quality data and obtain good results in these scenarios. However, their application in problems with missing data are uncommon while in real-life data, information is frequently incomplete in data mining, caused by the presence of missing values in attributes. Several schemes have been studied to overcome the drawbacks produced by missing values in data mining tasks; one of the most well known is based on preprocessing, formerly known as imputation. In this work, we focus on FRBCSs considering 14 different approaches to missing attribute values treatment that are presented and analyzed. The analysis involves three different methods, in which we distinguish between Mamdani and TSK models. From the obtained results, the convenience of using imputation methods for FRBCSs with missing values is stated. The analysis suggests that each type behaves differently while the use of determined missing values imputation methods could improve the accuracy obtained for these methods. Thus, the use of particular imputation methods conditioned to the type of FRBCSs is required.     

Model-based testing of software and systems: recent advances and challenges

Model-based testing is focused on testing techniques which rely on the use of models. The diversity of systems and software to be tested implies the need for research on a variety of models and methods for test automation. We briefly review this research area and introduce several papers selected from the 22nd International Conference on Testing Software and Systems (ICTSS).     

Deciding bisimilarity is<Emphasis Type="Italic">P</Emphasis>-complete

In finite labelled transition systems the problems of deciding strong bisimilarity, observation equivalence and observation congruence areP-complete under many—oneNC-reducibility. As a consequence, algorithms for automated analysis of finite state systems based on bisimulation seem to be inherently sequential in the following sense: the design of anNC algorithm to solve any of these problems will require an algorithmic breakthrough, which is exceedingly hard to achieve.     

Chronically Elevated Exogenous Glucose Elicits Antipodal Effects on the Proteome Signature of Differentiating Human iPSC-Derived Pancreatic Progenitors

The past decade revealed that cell identity changes, such as dedifferentiation or transdifferentiation, accompany the insulin-producing β-cell decay in most diabetes conditions. Mapping and controlling the mechanisms governing these processes is, thus, extremely valuable for managing the disease progression. Extracellular glucose is known to influence cell identity by impacting the redox balance. Here, we use global proteomics and pathway analysis to map the response of differentiating human pancreatic progenitors to chronically increased in vitro glucose levels. We show that exogenous high glucose levels impact different protein subsets in a concentration-dependent manner. In contrast, regardless of concentration, glucose elicits an antipodal effect on the proteome landscape, inducing both beneficial and detrimental changes in regard to achieving the desired islet cell fingerprint. Furthermore, we identified that only a subgroup of these effects and pathways are regulated by changes in redox balance. Our study highlights a complex effect of exogenous glucose on differentiating pancreas progenitors characterized by a distinct proteome signature.     

Ethylene-propylene copolymers by a supported Ziegler-Natta catalyst based on TiCl4/MgCl2

Ethylene-propylene copolymers have been prepared by using Ziegler-Natta catalysts based on TiCl₄, MgCl₂, PCl₃ and (n-Bu)₃PO₄. The catalysts TiCl₄/MgCl₂/PCl₃ and TiCl₄/MgCl₂/(n-Bu)₃PO₄ were prepared by reacting TiCl₄ with pretreated MgCl₂. The support was prepared by ball milling of MgCl₂ with varied amounts of PCl₃ or (n-Bu)₃PO₄. The addition of PCl₃ has remarkably increased the MgCl₂ surface area in comparison with (n-Bu)₃PO₄. The effects of PCl₃ and (n-Bu)₃PO₄ on ethylene homopolymerization, ethylene-propylene copolymerization and on copolymer properties were evaluated. The catalyst system containing PCl₃ permitted to synthesize propylene-ethylene copolymers with up to 75% (w/w) of propylene and provided control of copolymer crystallinity. The reduction of the copolymer molecular weight distribution suggested that PCl₃ acted as an internal donor, poisoning some active catalytic sites. Received: 2 April 1997/Revised: 6 June 1997/Accepted: 18 June 1997