How a cockpit calculates its speeds and why errors while doing this are so hard to detect

Recent incidents have shown that the production of take-off speeds is an activity vulnerable to miscalculations with a potential for disastrous outcomes. The aim of this paper is to analyze the calculation of the take-off speeds in a modern airline cockpit as a distributed cognitive activity in order to identify possible vulnerabilities in this process. We took the cockpit as the joint cognitive system under analysis and conducted an ethnographic study based on documental analysis, flight observations, interviews, and the analysis of 22 events involving failures related to the calculation of take-off speeds. The main argument is that the cognitive systems engineering perspective, with less focus on the human contribution than it is common in investigations, levels people and artifacts in the system as equal contributors to its eventual performance. Our analysis identified four assertions regarding vulnerabilities in the process of take-off speeds calculation: (1) representations at the level of the cockpit are always partial and incomplete; (2) some interactions require interpretation rather than institution; (3) interactions of agents do not follow a canonical process of coordination; (4) the control of the prevention of failures is accurate but inadequate. These vulnerabilities are a matter of interactions among cognitive systems in the cockpit, rather than vulnerabilities of individual agents, such as humans or artifacts.     

A λ-unifiability test for set theory

We present a semi-decision algorithm for the unifiability of two set-theoretic formulas modulo -reduction. The algorithm is based on the approach developed by G. Huet for type theory, but requires additional measures because formulas in set theory are not all normalizable. We present the algorithm in an Ada-like pseudocode, and then prove two theorems that show the completeness and correctness of the procedure. We conclude by showing that -unification is not a complete quantifier substitution method for set theory-unlile first-order unification and first-order logic. In this respect set theory is similar to type theory (higher-order logic).This material is based upon work supported by the National Science Foundation under award number ISI-8560438. Any opinions, findings, and conclusions or recommendations expressed in this publication are those of the author and do not necessarily reflect the views of the National Science Foundation.     

Crystalloids vs. colloids in fluid resuscitation: a systematic review

OBJECTIVE: To systematically review the effects of isotonic crystalloids compared with colloids in fluid resuscitation. DATA SOURCES: Computerized bibliographic search of published research and citation review of relevant articles. STUDY SELECTION: All randomized clinical trials of adult patients requiring fluid resuscitation comparing isotonic crystalloids vs. colloids were included. Pulmonary edema, mortality, and length of stay were evaluated. Independent review of 105 articles identified 17 relevant primary studies of 814 patients. Weighted c about article inclusion was high (0.76). DATA EXTRACTION: Data on population, interventions, outcomes, and methodologic quality of the studies were obtained by duplicate independent review with differences resolved by consensus. Weighted ic on the validity assessment was moderate (0.54). DATA SYNTHESIS: No difference was observed overall between crystalloid and colloid resuscitation with respect to mortality and pulmonary edema; however, the power of the aggregated data was insufficient to detect small but potentially clinically important differences. Subgroup analysis suggested a statistically significant difference in mortality in trauma in favor of crystalloid resuscitation (relative risk 0.39, 95% confidence intervals: 0.17 to 0.89). Several methodologic issues are noteworthy regarding the primary studies, including lack of blinding (except in three studies). The type, dose, and duration of fluid administration and outcomes measured were different across these trials. CONCLUSIONS: Overall, there is no apparent difference in pulmonary edema, mortality, or length of stay between isotonic crystalloid and colloid resuscitation. Crystalloid resuscitation is associated with a lower mortality in trauma patients. Methodologic limitations preclude any evidence-based clinical recommendations. Larger well-designed randomized trials are needed to achieve sufficient power to detect potentially small differences in treatment effects if they truly exist.     

A Fast MAP Algorithm for High-Resolution Image Reconstruction with Multisensors

In many applications, it is required to reconstruct a high-resolution image from multiple, undersampled and shifted noisy images. Using the regularization techniques such as the classical Tikhonov regularization and maximum a posteriori (MAP) procedure, a high-resolution image reconstruction algorithm is developed. Because of the blurring process, the boundary values of the low-resolution image are not completely determined by the original image inside the scene. This paper addresses how to use (i) the Neumann boundary condition on the image, i.e., we assume that the scene immediately outside is a reflection of the original scene at the boundary, and (ii) the preconditioned conjugate gradient method with cosine transform preconditioners to solve linear systems arising from the high-resolution image reconstruction with multisensors. The usefulness of the algorithm is demonstrated through simulated examples.     

Developing a methodology for using case mix information

With the advent of DRG reimbursement for Medicare patients, hospitals have had to use their case mix data more effectively. This paper describes a method use to develop summary case mix reports using a spreadsheet program. With this approach, the hospital administration could interact more during the development of the summary reports. Once the summary reports are stabilized, they can be put into production on the Hospital's main frame computer.     

Derivation of HLA-A11/Kb transgenic mice: functional CTL repertoire and recognition of human A11-restricted CTL epitopes

Transgenic mice expressing chimeric human (alpha1 and alpha2 HLA-A11 domains) and murine (alpha3, transmembrane, and cytoplasmic H-2Kb domains) class I molecules were derived. These mice were used as a model system to study the immunogenicity of human CTL epitopes and also to examine the aspects of Ag processing differences of mice vs man. Immunization of these mice with seven known HLA-A11-restricted CTL epitopes emulsified in IFA resulted in vigorous specific CTL responses. A larger panel of 45 A11-binding peptides was used to examine the relationship between immunogenicity in the HLA-A11/Kb transgenic mice and HLA-A11 binding capacity. Twenty-one of 28 (75%) peptides with high binding affinities (50% inhibitory concentration (IC50), 2-50 nM) and 7 of 13 (54%) intermediate binding peptides (IC50, 50-500 nM range) were immunogenic. In parallel, 19 of these peptides were used for in vitro primary immunizations of PBMC derived from HLA-A11 healthy human donors. It was found that 8 of 8 peptides that were able to elicit CTL in primary human in vitro cultures were also immunogenic in HLA-A11/Kb mice. Finally, HLA-A11/Kb transgenic mice were found to generate an A11/Kb restricted CTL response following immunization with influenza virus A/PR/8/34, suggesting that, at least to some extent, A11 epitopes are generated by transgenic mice as a result of natural in vivo processing and presentation.     

Preconditioned conjugate gradient methods for solving electromagnetic problems

It is shown that appropriately chosen preconditioners can significantly improve the convergence rate of the conjugate gradient (CG) algorithm as applied to electromagnetic problems. Preconditioners are constructed for the problems of scattering from frequency selective surfaces and scattering from infinite cylinders.     

Kinetics of interaction of HIV fusion protein (gp41) with lipid membranes studied by real-time AFM imaging

One of the most important steps in the process of viral infection is a fusion between cell membrane and virus, which is mediated by the viral envelope glycoprotein. The study of activity of the glycoprotein in the post-fusion state is important for understanding the progression of infection. Here we present a first real-time kinetic study of the activity of gp41 (the viral envelope glycoprotein of human immunodeficiency virus—HIV) and its two mutants in the post-fusion state with nanometer resolution by atomic force microscopy (AFM). Tracking the changes in the phosphatidylcholine (PC) and phosphatidylcholine–phosphatidylserine (PC:PS) membrane integrity over one hour by a set of AFM images revealed differences in the interaction of the three types of protein with zwitterionic and negatively charged membranes. A quantitative analysis of the slow kinetics of hole formation in the negatively charged lipid bilayer is presented. Specifically, analysis of the rate of roughness change for the three types of proteins suggests that they exhibit different types of kinetic behavior.