Human performance in adverse environments

Human performance testing of astronaut capabilities during prolonged space fligh

Strategies for Improving Visual Inspection Performance

This paper summarizes recent results obtained in inspection studies including several studies performed by the authors. Both static and dynamic visual inspection tasks are included. Based on these results, a proposed new integrated design procedure for inspection tasks that will approach the optimal design has been formulated. The review of recent research results includes the following primary variables: the speed of the item passing the inspector, the spacing of items, the percentage of defective items, the illumination level, the contrast between the item being inspected and the background, and the effectiveness of individual versus group inspection. The authors have used their research results in combination with the results in the literature to formulate new integrated procedures for designing inspection stations and job procedures. The authors have also analyzed the effects of inspector performance on the overall quality control plans already in use in industry. The economic effects of changes in inspector performance which result from redesign of the inspection task are then demonstrated as a part of the overall design procedure.Yeshttps://us.sagepub.com/en-us/nam/manuscript-submission-guideline

Verification of Item Usage Rules in Product Configuration

In the development of complex products product configuration systems are often used to support the development process. Item Usage Rules (IURs) are conditions for including specific items in products bills of materials based on a high-level product description. Large number of items and significant complexity of IURs make it difficult to maintain and analyze IURs manually. In this paper we present an automated approach for verifying IURs, which guarantees the presence of exactly one item from a predefined set in each product, as well as that an IUR can be reformulated without changing the set of products for which the item was included

Reasoning mechanism for cardinal direction relations

In the classical Projection-based Model for cardinal directions [6], a two-dimensional Euclidean space relative to an arbitrary single-piece region, a, is partitioned into the following nine tiles: North-West, NW(a); North, N(a); North-East, NE(a); West, W(a); Neutral Zone, O(a);East, E(a); South-West, SW(a); South, S(a); and South-East,SE(a). In our Horizontal and Vertical Constraints Model [9], [10] these cardinal directions are decomposed into sets corresponding to horizontal and vertical constraints. Composition is computed for these sets instead of the typical individual cardinal directions. In this paper, we define several whole and part direction relations followed by showing how to compose such relations using a formula introduced in our previous paper [10]. In order to develop a more versatile reasoning system for direction relations, we shall integrate mereology, topology, cardinal directions and include their negations as well. © 2010 Springer-Verlag

Algebraic Properties of Qualitative Spatio-Temporal Calculi

Qualitative spatial and temporal reasoning is based on so-called qualitative calculi. Algebraic properties of these calculi have several implications on reasoning algorithms. But what exactly is a qualitative calculus? And to which extent do the qualitative calculi proposed meet these demands? The literature provides various answers to the first question but only few facts about the second. In this paper we identify the minimal requirements to binary spatio-temporal calculi and we discuss the relevance of the according axioms for representation and reasoning. We also analyze existing qualitative calculi and provide a classification involving different notions of a relation algebra.Comment: COSIT 2013 paper including supplementary materia

Community perspectives on the COVID-19 response, Zimbabwe.

OBJECTIVE: To investigate community and health-care workers' perspectives on the coronavirus disease 2019 (COVID-19) pandemic and on early pandemic responses during the first 2 weeks of national lockdown in Zimbabwe. METHODS: Rapid qualitative research was carried out between March and April 2020 via phone interviews with one representative from each of four community-based organizations and 16 health-care workers involved in a trial of community-based services for young people. In addition, information on COVID-19 was collected from social media platforms, news outlets and government announcements. Data were analysed thematically. FINDINGS: Four themes emerged: (i) individuals were overloaded with information but lacked trusted sources, which resulted in widespread fear and unanswered questions; (ii) communities had limited ability to comply with prevention measures, such as social distancing, because access to long-term food supplies and water at home was limited and because income had to be earned daily; (iii) health-care workers perceived themselves to be vulnerable and undervalued because of a shortage of personal protective equipment and inadequate pay; and (iv) other health conditions were sidelined because resources were redirected, with potentially wide-reaching implications. CONCLUSION: It is important that prevention measures against COVID-19 are appropriate for the local context. In Zimbabwe, communities require support with basic needs and access to reliable information to enable them to follow prevention measures. In addition, health-care workers urgently need personal protective equipment and adequate salaries. Essential health-care services and medications for conditions other than COVID-19 must also continue to be provided to help reduce excess mortality and morbidity

On the speed of constraint propagation and the time complexity of arc consistency testing

Establishing arc consistency on two relational structures is one of the most popular heuristics for the constraint satisfaction problem. We aim at determining the time complexity of arc consistency testing. The input structures $G$ and $H$ can be supposed to be connected colored graphs, as the general problem reduces to this particular case. We first observe the upper bound $O(e(G)v(H)+v(G)e(H))$, which implies the bound $O(e(G)e(H))$ in terms of the number of edges and the bound $O((v(G)+v(H))^3)$ in terms of the number of vertices. We then show that both bounds are tight up to a constant factor as long as an arc consistency algorithm is based on constraint propagation (like any algorithm currently known). Our argument for the lower bounds is based on examples of slow constraint propagation. We measure the speed of constraint propagation observed on a pair $G,H$ by the size of a proof, in a natural combinatorial proof system, that Spoiler wins the existential 2-pebble game on $G,H$. The proof size is bounded from below by the game length $D(G,H)$, and a crucial ingredient of our analysis is the existence of $G,H$ with $D(G,H)=\Omega(v(G)v(H))$. We find one such example among old benchmark instances for the arc consistency problem and also suggest a new, different construction.Comment: 19 pages, 5 figure

Using Variable-Rate Alerting to Counter Boredom in Human Supervisory Control

A low task load, long duration experiment was conducted to evaluate the impact of cyclical attention switching strategies on operator performance in supervisory domains. The impetus for such a study stems from the lack of prior work to improve human-system performance in low task load supervisory domains through the use of design interventions. In this study, a design intervention in the form of auditory alerts is introduced and the effects of the alerts are examined. The test bed consists of a video game-like simulation environment, which allows a single operator the ability to supervise multiple unmanned vehicles. Each participant in the study completed two different four hour sessions, with and without the alerts. The results suggest that the alerts can be useful for operators who are distracted for a considerable amount of time, but that the alerts may not be appropriate for operators who are able to sustain directed attention for prolonged periods.United States. Office of Naval Researc

q-Breathers in Discrete Nonlinear Schroedinger arrays with weak disorder

Nonlinearity and disorder are key players in vibrational lattice dynamics, responsible for localization and delocalization phenomena. $q$-Breathers -- periodic orbits in nonlinear lattices, exponentially localized in the reciprocal linear mode space -- is a fundamental class of nonlinear oscillatory modes, currently found in disorder-free systems. In this paper we generalize the concept of $q$-breathers to the case of weak disorder, taking the Discrete Nonlinear Schr\"{o}dinger chain as an example. We show that $q$-breathers retain exponential localization near the central mode, provided that disorder is sufficiently small. We analyze statistical properties of the instability threshold and uncover its sensitive dependence on a particular realization. Remarkably, the threshold can be intentionally increased or decreased by specifically arranged inhomogeneities. This effect allows us to formulate an approach to controlling the energy flow between the modes. The relevance to other model arrays and experiments with miniature mechanical lattices, light and matter waves propagation in optical potentials is discussed.Comment: 5 pages, 3 figure