5,943 research outputs found
Survey of Human Models for Verification of Human-Machine Systems
We survey the landscape of human operator modeling ranging from the early
cognitive models developed in artificial intelligence to more recent formal
task models developed for model-checking of human machine interactions. We
review human performance modeling and human factors studies in the context of
aviation, and models of how the pilot interacts with automation in the cockpit.
The purpose of the survey is to assess the applicability of available
state-of-the-art models of the human operators for the design, verification and
validation of future safety-critical aviation systems that exhibit higher-level
of autonomy, but still require human operators in the loop. These systems
include the single-pilot aircraft and NextGen air traffic management. We
discuss the gaps in existing models and propose future research to address
them
Recommended from our members
Diffusion MR Tractography of the Heart
Histological studies have shown that the myocardium consists of an array of crossing helical fiber tracts. Changes in myocardial fiber architecture occur in ischemic heart disease and heart failure, and can be imaged non-destructively with diffusion-encoded MR. Several diffusion-encoding schemes have been developed, ranging from scalar measurements of mean diffusivity to a 6-dimensional imaging technique known as diffusion spectrum imaging or DSI. The properties of DSI make it particularly suited to the generation of 3-dimensional tractograms of myofiber architecture. In this article we review the physical basis of diffusion-tractography in the myocardium and the attributes of the available techniques, placing particular emphasis on DSI. The application of DSI in ischemic heart disease is reviewed, and the requisites for widespread clinical translation of diffusion MR tractography in the heart are discussed
Bulk Properties of the Oxygen Reduction Catalyst SrCo_(0.9)Nb_(0.1)O_(3-δ)
The perovskite SrCo_(0.9)Nb_(0.1)O_(3−δ) (SCN) has excellent electrochemical activity toward oxygen reduction, and it is also valuable as a possible model material for other state-of-the-art perovskite catalysts based on strontium and cobalt, such as Ba_(0.5)Sr_(0.5)Co_(0.8)Fe_(0.2)O_(3−δ) (BSCF). Here we report thermogravimetric, conductivity, and diffraction measurements from SCN. We find that the thermodynamic stability limits of SCN are slightly more favorable than those reported for BSCF, although both materials exhibit a slow oxidative partial decomposition under likely operating conditions. In SCN, this decomposition is thermodynamically preferred when the average formal oxidation state of cobalt is greater than ∼3.0+, but due to sluggish kinetics, metastable SCN with higher cobalt valence can be observed. The oxygen stoichiometry 3−δ varies from 2.45 to 2.70 under the conditions studied, 500–1000 °C and 10^(–4)–1 bar O_2, which encompass both stable and metastable behavior. The electronic conductivity is p-type and thermally activated, with a value at 600 °C in air of 250 S cm^(–1), comparable to that of La_(0.8)Sr_(0.2)MnO_(3−δ). The polaron migration enthalpy decreases linearly from 0.30 to 0.05 eV as 3−δ increases from 2.52 to 2.64. Thermal and chemical expansivities are also reported
Spectral characterization and unmixing of intrinsic contrast in intact normal and diseased gastric tissues using hyperspectral two-photon microscopy
Background: Living tissues contain a range of intrinsic fluorophores and sources of second harmonic generation which provide contrast that can be exploited for fresh tissue imaging. Microscopic imaging of fresh tissue samples can circumvent the cost and time associated with conventional histology. Further, intrinsic contrast can provide rich information about a tissue\u27s composition, structure and function, and opens the potential for in-vivo imaging without the need for contrast agents. Methodology/Principal Findings: In this study, we used hyperspectral two-photon microscopy to explore the characteristics of both normal and diseased gastrointestinal (GI) tissues, relying only on their endogenous fluorescence and second harmonic generation to provide contrast. We obtained hyperspectral data at subcellular resolution by acquiring images over a range of two-photon excitation wavelengths, and found excitation spectral signatures of specific tissue types based on our ability to clearly visualize morphology. We present the two-photon excitation spectral properties of four major tissue types that are present throughout the GI tract: epithelium, lamina propria, collagen, and lymphatic tissue. Using these four excitation signatures as basis spectra, linear unmixing strategies were applied to hyperspectral data sets of both normal and neoplastic tissue acquired in the colon and small intestine. Our results show that hyperspectral unmixing with excitation spectra allows segmentation, showing promise for blind identification of tissue types within a field of view, analogous to specific staining in conventional histology. The intrinsic spectral signatures of these tissue types provide information relating to their biochemical composition. Conclusions/Significance: These results suggest hyperspectral two-photon microscopy could provide an alternative to conventional histology either for in-situ imaging, or intraoperative \u27instant histology\u27 of fresh tissue biopsies. © 2011 Grosberg et al
Detection of Mutated K- ras DNA in Urine, Plasma, and Serum of Patients with Colorectal Carcinoma or Adenomatous Polyps
Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/72277/1/annals.1448.027.pd
Spectral Characterization and Unmixing of Intrinsic Contrast in Intact Normal and Diseased Gastric Tissues Using Hyperspectral Two-Photon Microscopy
Living tissues contain a range of intrinsic fluorophores and sources of second harmonic generation which provide contrast that can be exploited for fresh tissue imaging. Microscopic imaging of fresh tissue samples can circumvent the cost and time associated with conventional histology. Further, intrinsic contrast can provide rich information about a tissue's composition, structure and function, and opens the potential for in-vivo imaging without the need for contrast agents.In this study, we used hyperspectral two-photon microscopy to explore the characteristics of both normal and diseased gastrointestinal (GI) tissues, relying only on their endogenous fluorescence and second harmonic generation to provide contrast. We obtained hyperspectral data at subcellular resolution by acquiring images over a range of two-photon excitation wavelengths, and found excitation spectral signatures of specific tissue types based on our ability to clearly visualize morphology. We present the two-photon excitation spectral properties of four major tissue types that are present throughout the GI tract: epithelium, lamina propria, collagen, and lymphatic tissue. Using these four excitation signatures as basis spectra, linear unmixing strategies were applied to hyperspectral data sets of both normal and neoplastic tissue acquired in the colon and small intestine. Our results show that hyperspectral unmixing with excitation spectra allows segmentation, showing promise for blind identification of tissue types within a field of view, analogous to specific staining in conventional histology. The intrinsic spectral signatures of these tissue types provide information relating to their biochemical composition.These results suggest hyperspectral two-photon microscopy could provide an alternative to conventional histology either for in-situ imaging, or intraoperative 'instant histology' of fresh tissue biopsies
- …