检索结果-内蒙古大学图书馆

RATIONALE FOR AN ADA SOFTWARE engineering ENVIRONMENT FOR NAVY MISSION CRITICAL APPLICATIONS

NAVAL ENGINEERS JOURNAL 1984年第4期96卷 133-145页

作者： PAIGE, KK CONVERSE, RA USN LCdr. Kathleen K. Paige USN:graduated with a BA from the University of New Hampshire in 1970. She received her commission from Officer Candidate School in April 1971 and performed her first tour of duty with VFP-63 NAS Miramar. LCdr. Paige then received her MS from the Naval Post Graduate School in June 1976 and returned to San Diego to serve as Head Support Software Division at the Fleet Combat Direction System Support Activity. In May 1981 she reported to NA VSEA (PMS-408) where she served initially as Chairman of the NAVMAT Software Engineering Environment Working Group. She has been assigned as Deputy AN/UYK-43 Acquisition Manager since October 1981. LCdr. Paige was designated a fully qualified Engineering Duty Officer in December 1983. Robert A. Converse:is presently the Acquisition Manager for the Ada Language System/Navy (ALS/N) for the Naval Sea Systems Command Tactical Embedded Computer Resources Project. As such he is responsible for the definition and development of the ALS/N to be provided as a Navy standard computer programming system for Navy mission critical applications. Mr. Converse received a Bachelor of Science degree in Physics from Wheaton College Wheaton II. He spent fourteen years with the Naval Underwater Systems Center Newport Rhode Island during which time he designed and developed the Fortran compiler for the Navy Standard AN/UYK-7 computer. Also during that period he received a Master of Science degree in Computer Science from the University of Rhode Island. His thesis for that degree was entitled “Optimization Techniques for the NUSC Fortran Cross-Compiler”. Mr. Converse started his involvement with the Ada program in 1975 with the initial “Strawman” requirements review. Subsequently he was named as the Navy Ada Distinguished Reviewer and was intimately involved in the selection and refinement of the Ada language as it evolved to become ANSI/MIL-STD-1815A.

The U.S. Navy introduced the use of digital computers in mission critical applications over a quarter of a century ago. Today, virtually every system in the current and planned Navy inventory makes extensive use of computer technology. computers embedded in mission critical Navy systems are integral to our strategic and tactical defense capabilities. Thus, the military power of the U.S. Navy is inextricably tied to the use of programmable digital computers. The computer program is the essential element that embodies the system “intelligence”. In addition, it provides the flexibility to respond to changing threats and requirements. However, this very flexibility and capability poses a host of difficulties hindering full realization of the advantages. This paper describes the lessons learned about computer program development over the past twenty five years and discusses a software engineering process that addresses these lessons. It then describes how Ada and its related Ada programming Support and Run-Time Environments foster this software engineering process to improve computer program productivity and achieve greater system reliability and adaptibility. Finally, the paper discusses how the use of Ada and its environments can enhance the interoperability and transferability of computer programs among Navy projects and significantly reduce overall life cycle costs for Navy mission critical computer programs.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Data-driven Nucleus Subclassification on Colon H&E using Style-transferred Digital Pathology

arXiv

引用

arXiv 2024年

作者： Remedios, Lucas W. Bao, Shunxing Remedios, Samuel W. Lee, Ho Hin Cai, Leon Y. Li, Thomas Deng, Ruining Newlin, Nancy R. Saunders, Adam M. Cui, Can Li, Jia Liu, Qi Lau, Ken S. Roland, Joseph T. Washington, Mary K. Coburn, Lori A. Wilson, Keith T. Huo, Yuankai Landman, Bennett A. Vanderbilt University Department of Computer Science Nashville United States Vanderbilt University Department of Electrical and Computer Engineering Nashville United States Johns Hopkins University Department of Computer Science Baltimore United States National Institutes of Health Department of Radiology and Imaging Sciences Bethesda United States Vanderbilt University Department of Biomedical Engineering Nashville United States Vanderbilt University Medical Center Department of Biostatistics Nashville United States Vanderbilt University Medical Center Center for Quantitative Sciences Nashville United States Vanderbilt University Medical Center Epithelial Biology Center Nashville United States Vanderbilt University School of Medicine Department of Cell and Developmental Biology Nashville United States Vanderbilt University Medical Center Division of Gastroenterology Hepatology and Nutrition Department of Medicine Nashville United States Vanderbilt University Medical Center Vanderbilt Center for Mucosal Inflammation and Cancer Nashville United States Vanderbilt University School of Medicine Program in Cancer Biology Nashville United States Veterans Affairs Tennessee Valley Healthcare System NashvilleTN United States Vanderbilt University Medical Center Department of Pathology Microbiology and Immunology NashvilleTN United States

Purpose: Cells are building blocks for human physiology;consequently, understanding the way cells communicate, co-locate, and interrelate is essential to furthering our understanding of how the body functions in both health and disease. Hematoxylin and eosin (H&E) is the standard stain used in histological analysis of tissues. Microscope slides of H&E-stained tissues are widely available in both clinical and research settings. While H&E is ubiquitous and reveals tissue microanatomy, the classification and tracking of cell subtypes often requires expert knowledge and the use of specialized stains, such as immunofluorescence staining. To reduce both the manual annotation burden and reliance on specialized staining technologies, artificial intelligence has been proposed for the automatic classification of cell types on H&E slides. For example, the recent Colon Nucleus Identification and Classification (CoNIC) Challenge focused on labeling 6 cell types on imaging of H&E stains from the human colon. However, this is a very small fraction of the number of potential cell subtypes within the intestines. Specifically, the CoNIC Challenge was unable to classify epithelial subtypes (progenitor, enteroendocrine, goblet), lymphocyte subtypes (B, helper T, cytotoxic T), and connective subtypes (fibroblasts). To approach this problem, we propose to use inter-modality learning to label previously un-labelable cell types on H&E. Approach: We take advantage of the cell classification information inherent in whole slide images (WSIs) of multiplexed immunofluorescence (MxIF) histology to create cell level annotations for 14 subclasses. We performed style transfer on the same MxIF tissues to synthesize realistic virtual H&E which we paired with the MxIF-derived cell subclassification labels. We evaluated the efficacy of using a supervised learning scheme where the input was realistic-quality virtual H&E and the labels were MxIF-derived cell subclasses. We assessed our model on a testing

关键词： Tissue

来源：评论

学校读者我要写书评

暂无评论

Nucleus subtype classification using inter-modality learning

arXiv

引用

arXiv 2024年

作者： Remedios, Lucas W. Bao, Shunxing Remedios, Samuel W. Lee, Ho Hin Cai, Leon Y. Li, Thomas Deng, Ruining Cui, Can Li, Jia Liu, Qi Lau, Ken S. Roland, Joseph T. Washington, Mary K. Coburn, Lori A. Wilson, Keith T. Huo, Yuankai Landman, Bennett A. Vanderbilt University Department of Computer Science Nashville United States Vanderbilt University Department of Electrical and Computer Engineering Nashville United States Johns Hopkins University Department of Computer Science Baltimore United States National Institutes of Health Department of Radiology and Imaging Sciences Bethesda United States Vanderbilt University Department of Biomedical Engineering Nashville United States Vanderbilt University Medical Center Department of Biostatistics Nashville United States Vanderbilt University Medical Center Center for Quantitative Sciences Nashville United States Vanderbilt University Medical Center Epithelial Biology Center Nashville United States Vanderbilt University School of Medicine Department of Cell and Developmental Biology Nashville United States Vanderbilt University Medical Center Division of Gastroenterology Hepatology and Nutrition Department of Medicine Nashville United States Vanderbilt University Medical Center Vanderbilt Center for Mucosal Inflammation and Cancer Nashville United States Vanderbilt University School of Medicine Program in Cancer Biology Nashville United States Veterans Affairs Tennessee Valley Healthcare System NashvilleTN United States Vanderbilt University Medical Center Department of Pathology Microbiology and Immunology NashvilleTN United States

Understanding the way cells communicate, co-locate, and interrelate is essential to understanding human physiology. Hematoxylin and eosin (H&E) staining is ubiquitously available both for clinical studies and research. The Colon Nucleus Identification and Classification (CoNIC) Challenge has recently innovated on robust artificial intelligence labeling of six cell types on H&E stains of the colon. However, this is a very small fraction of the number of potential cell classification types. Specifically, the CoNIC Challenge is unable to classify epithelial subtypes (progenitor, endocrine, goblet), lymphocyte subtypes (B, helper T, cytotoxic T), or connective subtypes (fibroblasts, stromal). In this paper, we propose to use inter-modality learning to label previously un-labelable cell types on virtual H&E. We leveraged multiplexed immunofluorescence (MxIF) histology imaging to identify 14 subclasses of cell types. We performed style transfer to synthesize virtual H&E from MxIF and transferred the higher density labels from MxIF to these virtual H&E images. We then evaluated the efficacy of learning in this approach. We identified helper T and progenitor nuclei with positive predictive values of 0.34 ± 0.15 (prevalence 0.03 ± 0.01) and 0.47 ± 0.1 (prevalence 0.07 ± 0.02) respectively on virtual H&E. This approach represents a promising step towards automating annotation in digital pathology. © 2024, CC BY.

关键词： Cell culture

来源：评论

学校读者我要写书评

暂无评论

THE ROLE OF PERFORMANCE ANALYSIS IN THE LIFE-CYCLE OF A WEAPONS system

引用

NAVAL ENGINEERS JOURNAL 1987年第3期99卷 239-248页

作者： BAILEY, JL The authoris an operations research analyst in the Systems Engineering Branch Aegis Ship Combat Systems Division at the Naval Surface Weapons Center (NSWC). Dr. Bailey received a B. S. degree in mathematics from the Massachusetts Institute of Technology in 1964 a Ph.D. in mathematics from the University of Tennessee in 1968 and an M. S. in computer science from the Virginia Polytechnic Institute and State University in 1975. He was an assistant professor of mathematics at the University of Tennessee during the 1968-69 academic year then came to NSWC/Dahlgren in September 1969. He worked as an operations research analyst in mine warfare from 1969 to 1978 specializing in minefield planning. He headed the group which developed the minefield planning module of the Mine Warfare Trainer which was delivered to the Fleet and Mine Warfare Training Center in 1978-79. Dr. Bailey served as science advisor to the commander Mine Warfare Command in 1978-79 under the sponsorship of the Navy Science Assistance Program. In 1979-80 he led the development of military value assessment methodology for a ship survivability improvement program. In 1980 he moved to the Aegis Ship Combat Systems Division becoming leader of the Systems Performance Assessment Group in 1981. Dr. Bailey leads a group of analysts who do assessment of the predicted performance of the Aegis combat system and the effects of proposed changes to the system. Dr. Bailey has also served collateral duty as systems analysis manager for the Technical Division of the Aegis Project Office (PMS-400) in the Naval Sea Systems Command since 1981.

Performance analysis is the process of determining the predicted performance of a weapons system. It is generally used to examine predicted performance of systems in a variety of configurations and operational situations; it is accomplished through a variety of techniques, from the computation of straightforward algebraic functions to complex computer simulations. Performance analysis is necessary throughout the life-cycle of weapons systems. It is used to help determine original requirements, for conceptual and detailed design, and to support operational planning and determine upgrade requirements. The development, maintenance, and consistent application of a set of system specific performance analysis methods have enhanced the development of many weapons systems. This paper is in the form of a tutorial on the application of performance analysis techniques, using the development of the Aegis weapons system as a source of examples, and stressing the value of performance analysis methods which have been designed specifically for the Aegis system.

关键词： MILITARY EQUIPMENT

来源：评论

学校读者我要写书评

暂无评论

Developing a prototype concurrent design tool for composite topside structures

引用

NAVAL ENGINEERS JOURNAL 1997年第3期109卷 279-290页

作者： Dirlik, S Hambric, S Azarm, S Marquardt, M Hellman, A Bartlett, S Castelli, V Steve Dirlik:began his career at the Naval Surface Warfare Center Carderock Division in 1981 as an aerospace engineer co-op student. He completed his bachelor of science degree in aeropace and ocean engineering from Virginia Polytechnic Institute and State University in 1985 and his master of science degree in aerospace engineering from the University of Maryland in 1990. Mr. Dirlik recently completed a master of science program in applied physics at The Johns Hopins University and currently works in the Radar Cross Section and Target Physics Branch of the Signatures Directorate at the Naval Surface Warfare Center Corderoke Division. He has worked on Navy low observable programs since 1990. Stephen Hambric:is a research associate at the Applied Research Laboratory at The Pennsylvania State University. He received his B. S. and M.S. degree in mechanical engineering from Virginia Polytechnic Institute and State University and his D. Sc. in mechnical engineering from the George Washington University. He has worked on several computer aided multidiscikplinary design and optimization projects over the years including an automated propeller design system and a structural acoustic optimization capability. Dr. Shpour Azarm:is currently working as an associate professor with the Design and Manufacturing Group of the Department of Mechanical Engineering at the University of maryland at College Park. Dr Azarm's expertise is in the areas of optimization-based designed and concurrent design and optimization of multidisciplinary systems. He was a consultant at Black & Decker Corporation (summer 1996) and worked as a Navy senior summer faculty fellow (summer 1995) and a NASA summer faculty fellow (summer 1994). He was a visiting scientist at NASA Langley Research Center for Multidisciplinary Analysis and Applied Structural Optimzatiom at the University of Siegen in Germany (spring 1992) and the Design Institute of the Technical University of Denmark (summer 1990). Dr Azarm was an associate technical editor of the ASME Jour

A prototype concurrent engineering tool has been developed for the preliminary design of composite topside structures for modern navy warships. This tool, named GELS for the Concurrent engineering of Layered Structures, provides designers with an immediate assessment of the impacts of their decisions on several disciplines which are important to the performance of a modern naval topside structure, including electromagnetic interference effects (EMI), radar cross section (RCS), structural integrity, cost, and weight. Preliminary analysis modules in each of these disciplines are integrated to operate from a common set of design variables and a common materials database. Performance in each discipline and an overall fitness function for the concept are then evaluated. A graphical user interface (GUI) is used to define requirements and to display the results from the technical analysis modules. Optimization techniques, including feasible sequential quadratic programming (FSQP) and exhaustive search are used to modify the design variables to satisfy all requirements simultaneously. The development of this tool, the technical modules, and their integration are discussed noting the decisions and compromises required to develop and integrate the modules into a prototype conceptual design tool.

关键词： Warships

来源：评论

学校读者我要写书评

暂无评论

Human systems integration and advanced technology in engineering department workload and manpower reduction

引用

NAVAL ENGINEERS JOURNAL 2003年第1期115卷 57-65页

作者： Lively, KA Seman, AJ Kirkpatrick, M KENNETH A. LIVELY graduated from the University of Colorado with a BS in applied mathematics and an MS in mathematics in 1976 and from the Massachusetts Institute of Technology with an MS in electrical engineering and the degree ocean engineer in naval architecture and marine engineering in 1984. He retired from the U.S. Navy in 1989 after 23 years of service. Assignments included electrical officer on the USS Constellation (CV 64) project engineer for the DDG 51 machinery control system (NAVSEA) and DDG 51 Technical Director (NAVSEA). He was vice president of the PDI Division of Bird-Johnson Company from July 1989 to November 1998 where he managed various gas turbine and machinery controls related development projects. He joined Anteon Corporation's Systems Engineering Group as senior controls engineer in December 1998 where he provided technical support to the integrated power systems program (NAVSEA PMS 510) and managed the Office of Naval Research Afloat Laboratory. DR. MARK KIRKPATRICK is currently an independent consultant in human factors and work-load/manning analysis and modeling. He holds a Ph.D. degree in experimental psychology from The Ohio State University and has 34 years of experience in applied human factors. From 1982 through 2000 Dr. Kirkpatrick served as the senior vice president of Carlow International. Prior to joining Carlow in 1982 Dr. Kirkpatrick served as a member of the technical staff at North American Rockwell's Missiles Division and as a project director and vice president for Essex Corporation. His areas of expertise include workload simulation task analysis operator-in-the-loop simulation human performance experimentation statistical analysis and human factors T&E. He has directed and/or participated in human factors projects for the U.S. Navy U.S. Army NASA Department of Transportation the U.S. Nuclear Regulatory Commission and private industry. ANTHONY J. SEMAN III is the technical manager for the reduced ship's crew by virtual presence (RSVP) advanced technology d

Aboard current ships, such as the DDG 51, engineering control and damage control activities are manpower intensive. It is anticipated that, for future combatants, the workload demand arising from operation of systems under conditions of normal steaming and during casualty response will need to be markedly reduced via automated monitoring, autonomous control, and other technology initiatives. Current DDG 51 class ships can be considered as a manpower baseline and under Condition III typical engineering control involves seven to eight watchstanders at manned stations in the Central Control Station, the engine rooms and other machinery spaces. In contrast to this manning level, initiatives such as DD 21 and the integrated engineering plant (IEP) envision a partnership between the operator and the automation system, with more and more of the operator's functions being shifted to the automation system as manning levels decrease. This paper describes some human systems integration studies of workload demand reduction and, consequently, manning reduction that can be achieved due to application of several advanced technology concepts. Advanced system concept studies in relation to workload demand are described and reviewed including. Piecemeal applications of diverse automation and remote control technology concepts to selected high driver tasks in current DDG 51 activities. Development of the reduced ship's crew by virtual presence system that will provide automated monitoring and display to operators of machinery health, compartment conditions, and personnel health. The IEP envisions the machinery control system as a provider of resources that are used by various consumers around the ship. Resource needs and consumer priorities are at all times dependent upon the ship's current mission and the availability of equipment pawnbrokers.

关键词： Naval warfare

来源：评论

学校读者我要写书评

暂无评论

Self-Awareness for Autonomous systems

引用

PROCEEDINGS OF THE IEEE 2020年第7期108卷 971-975页

作者： Dutt, Nikil Regazzoni, Carlo S. Rinner, Bernhard Yao, Xin Nikil Dutt (Fellow IEEE) received the Ph.D. degree from the University of Illinois at Urbana–Champaign Champaign IL USA in 1989.""He is currently a Distinguished Professor of computer science (CS) cognitive sciences and electrical engineering and computer sciences (EECS) with the University of California at Irvine Irvine CA USA. He is a coauthor of seven books. His research interests include embedded systems electronic design automation (EDA) computer architecture distributed systems healthcare Internet of Things (IoT) and brain-inspired architectures and computing.""Dr. Dutt is a Fellow of ACM. He was a recipient of the IFIP Silver Core Award. He has received numerous best paper awards. He serves as the Steering Committee Chair of the IEEE/ACM Embedded Systems Week (ESWEEK). He is also on the steering organizing and program committees of several premier EDA and embedded system design conferences and workshops. He has served on the Editorial Boards for the IEEE Transactions on Very Large Scale Integration (VLSI) Systems and the ACM Transactions on Embedded Computing Systems and also previously served as the Editor-in-Chief (EiC) for the ACM Transactions on Design Automation of Electronic Systems. He served on the Advisory Boards of the IEEE Embedded Systems Letters the ACM Special Interest Group on Embedded Systems the ACM Special Interest Group on Design Automationt and the ACM Transactions on Embedded Computing Systems. Carlo S. Regazzoni (Senior Member IEEE) received the M.S. and Ph.D. degrees in electronic and telecommunications engineering from the University of Genoa Genoa Italy in 1987 and 1992 respectively.""He is currently a Full Professor of cognitive telecommunications systems with the Department of Electrical Electronics and Telecommunication Engineering and Naval Architecture (DITEN) University of Genoa and a Co-Ordinator of the Joint Doctorate on Interactive and Cognitive Environments (JDICE) international Ph.D. course started initially as EU Erasmus Mundus Project and

Autonomous systems are able to make decisions and potentially take actions without direct human intervention, which requires some knowledge about the system and its environment as well as goal-oriented reasoning. In computer systems, one can derive such behavior from the concept of a rational agent with autonomy (“control over its own actions”), reactivity (“react to events from the environment”), proactivity (“act on its own initiative”), and sociality (“interact with other agents”) as fundamental properties \n[1]\n. Autonomous systems will undoubtedly pervade into our everyday lives, and we will find them in a variety of domains and applications including robotics, transportation, health care, communications, and entertainment to name a few. \nThe articles in this month’s special issue cover concepts and fundamentals, architectures and techniques, and applications and case studies in the exciting area of self-awareness in autonomous systems.

关键词： Special issues and sections Autonomous systems Self-aware Robot sensing systems Computational modeling

来源：评论

学校读者我要写书评

暂无评论

Claimed detection of PH3 in the clouds of Venus is consistent with mesospheric SO2

arXiv

引用

arXiv 2021年

作者： Lincowski, Andrew P. Meadows, Victoria S. Crisp, David Akins, Alex B. Schwieterman, Edward W. Arney, Giada N. Wong, Michael L. Steffes, Paul G. Parenteau, M. Niki Domagal-Goldman, Shawn Department of Astronomy and Astrobiology Program University of Washington Box 351580 SeattleWA98195 United States NASA Nexus for Exoplanet System Science Virtual Planetary Laboratory Team University of Washington Box 351580 SeattleWA98195 United States Jet Propulsion Laboratory California Institute of Technology Earth and Space Sciences Division PasadenaCA91011 United States Jet Propulsion Laboratory California Institute of Technology Instruments Division PasadenaCA91011 United States Department of Earth and Planetary Sciences University of California RiversideCA92521 United States Blue Marble Space Institute of Science SeattleWA United States NASA/Goddard Space Flight Center GreenbeltMD20771 United States School of Electrical and Computer Engineering Georgia Institute of Technology AtlantaGA30332-0250 United States MS 239-4 Space Science Division NASA Ames Research Center Moffett FieldCA United States

The observation of a 266.94 GHz feature in the Venus spectrum has been attributed to PH3 in the Venus clouds, suggesting unexpected geological, chemical or even biological processes. Since both PH3 and SO2 are spectrally active near 266.94 GHz, the contribution to this line from SO2 must be determined before it can be attributed, in whole or part, to PH3. An undetected SO2 reference line, interpreted as an unexpectedly low SO2 abundance, suggested that the 266.94 GHz feature could be attributed primarily to PH3. However, the low SO2 and the inference that PH3 was in the cloud deck posed an apparent contradiction. Here we use a radiative transfer model to analyze the PH3 discovery, and explore the detectability of different vertical distributions of PH3 and SO2. We find that the 266.94 GHz line does not originate in the clouds, but above 80 km in the Venus mesosphere. This level of line formation is inconsistent with chemical modeling that assumes generation of PH3 in the Venus clouds. Given the extremely short chemical lifetime of PH3 in the Venus mesosphere, an implausibly high source flux would be needed to maintain the observed value of 20±10 ppb. We find that typical Venus SO2 vertical distributions and abundances fit the JCMT 266.94 GHz feature, and the resulting SO2 reference line at 267.54 GHz would have remained undetectable in the ALMA data due to line dilution. We conclude that nominal mesospheric SO2 is a more plausible explanation for the JCMT and ALMA data than PH3 © 2021, CC BY.

关键词： Radiative transfer

来源：评论

学校读者我要写书评

暂无评论

Observation of the dual quantum spin Hall insulator by density-tuned correlations in a van der Waals monolayer

arXiv

引用

arXiv 2024年

作者： Tang, Jian Ding, Thomas Siyuan Chen, Hongyu Gao, Anyuan Qian, Tiema Huang, Zumeng Sun, Zhe Han, Xin Strasser, Alex Li, Jiangxu Geiwitz, Michael Shehabeldin, Mohamed Belosevich, Vsevolod Wang, Zihan Wang, Yiping Watanabe, Kenji Taniguchi, Takashi Bell, David C. Wang, Ziqiang Fu, Liang Zhang, Yang Qian, Xiaofeng Burch, Kenneth S. Shi, Youguo Ni, Ni Chang, Guoqing Xu, Su-Yang Ma, Qiong Department of Physics Boston College Chestnut HillMA United States Division of Physics and Applied Physics School of Physical and Mathematical Sciences Nanyang Technological University Singapore Singapore Department of Chemistry and Chemical Biology Harvard University CambridgeMA United States Department of Physics and Astronomy and California NanoSystems Institute University of California Los Angeles Los AngelesCA United States Beijing National Laboratory for Condensed Matter Physics Institute of Physics Chinese Academy of Sciences Beijing China Department of Materials Science and Engineering Texas A&M University College StationTX United States Department of Physics and Astronomy University of Tennessee KnoxvilleTN United States Min H. Kao Department of Electrical Engineering and Computer Science University of Tennessee KnoxvilleTN United States Research Center for Electronic and Optical Materials National Institute for Materials Science Tsukuba Japan Research Center for Materials Nanoarchitectonics National Institute for Materials Science Tsukuba Japan Harvard John A. Paulson School of Engineering and Applied Sciences The Center for Nanoscale system Harvard University CambridgeMA United States Department of Physics Massachusetts Institute of Technology CambridgeMA United States CIFAR Azrieli Global Scholars program CIFAR Toronto Canada

The convergence of topology and correlations represents a highly coveted realm in the pursuit of novel quantum states of matter [1, 2]. Introducing electron correlations to a quantum spin Hall (QSH) insulator can lead to the emergence of a fractional topological insulator and other exotic time-reversal-symmetric topological order [3- 10], not possible in quantum Hall and Chern insulator systems. However, the QSH insulator with quantized edge conductance remains rare, let alone that with significant correlations. In this work, we report a novel dual QSH insulator within the intrinsic monolayer crystal of TaIrTe4, arising from the interplay of its single-particle topology and density-tuned electron correlations. At charge neutrality, monolayer TaIrTe4 demonstrates the QSH insulator that aligns with single-particle band structure calculations, manifesting enhanced nonlocal transport and quantized helical edge conductance. Interestingly, upon introducing electrons from charge neutrality, TaIrTe4 only shows metallic behavior in a small range of charge densities but quickly goes into a new insulating state, entirely unexpected based on TaIrTe4's single-particle band structure. This insulating state could arise from a strong electronic instability near the van Hove singularities (VHS), likely leading to a charge density wave (CDW). Remarkably, within this correlated insulating gap, we observe a resurgence of the QSH state, marked by the revival of nonlocal transport and quantized helical edge conduction. Our observation of helical edge conduction in a CDW gap could bridge spin physics and charge orders. The discovery of a dual QSH insulator introduces a new method for creating topological flat minibands via CDW superlattices, which offer a promising platform for exploring time-reversal-symmetric fractional phases and electromagnetism [3-5, 11, 12]. Copyright © 2024, The Authors. All rights reserved.

关键词： Charge density waves

来源：评论

学校读者我要写书评

暂无评论

THE QUANTIFICATION OF INTEROPERABILITY

引用

NAVAL ENGINEERS JOURNAL 1989年第3期101卷 251-256页

作者： MENSH, DR KITE, RS DARBY, PH Dennis Roy Mensh:is currently the task leader Interoperability Project with the MITRE Corporation in McLean Va. He received his B.S. and M.S. degrees in applied physics from Loyola College in Baltimore Md. and the American University in Washington D. C. He also has completed his course work towards his Ph.D. degree in computer science specializing in the fields of systems analysis and computer simulation. He has been employed by the Naval Surface Warfare Center White Oak Laboratory Silver Spring Md. for 20 years in the areas of weapon system analysis and the development of weapon systems simulations. Since 1978 he has been involved in the development of tools and methodologies that can be applied to the solution of shipboard combat system/battle force system architecture and engineering problems. Mr. Mensh is a member of ASNE MORS IEEE U.S. Naval Institute MAA and the Sigma Xi Research Society. Robert S. Kite:is a systems engineer with the Naval Warfare Systems Engineering Department of the MITRE Corporation in McLean Va. Mr. Kite received his B.S. degree in electronic engineering from The Johns Hopkins University in Baltimore Md. Mr. Kite retired from the Federal Communications Commission in 1979 and served a project manager of the J-12 Frequency Management Support Project for the Illinois Institute of Technology Research Institute in Annapolis Md. before joining MITRE. Mr. Kite is presently a member of ASNE the Military Operations Research Society and an associate member of Sigma Xi. Paul H. Darby:has worked in the field of interoperability both in the development of interoperability concepts and systems since joining the Department of the Navy in 1967. He was the Navy's program manager for the WestPacNorth TACS/ TADS and IFFN systems. He is currently head of the Interoperability Branch Warfare Systems Engineering Office Space and Naval Warfare Systems Command. He holds a B.S. from the U.S. Naval Academy.

JCS Pub 1 defines interoperability as “The ability of systems, units or forces to provide services to and accept services from other systems, units or forces and to use the services so exchanged to enable them to operate effectively together.” With JCS Pub 1 as a foundation, interoperability of systems, units or forces can be factored into a set of components that can quantify interoperability. These components are: media, languages, standards, requirements, environment, procedures, and human factors. The concept described in this paper uses these components as an analysis tool to enable specific detailed analyses of the interoperability of BFC3 systems, units, or forces for the purpose of uncovering and resolving interoperability issues and problems in the U.S. Navy, Joint, and Allied arenas. Also, as a management tool, the components can help determine potential interoperability characteristics of future U.S. Navy BFC3 systems for compliance with battle force systems architectures. The approach selected for the quantification of interoperability was the development of a set of measures of performance (MOPs) and measures of effectiveness (MOEs). The MOPs/MOEs were integrated with a candidate set of components, which were used to partition the totality of interoperability into measurable entities. The methodology described employs basic truth table theory in conjunction with logic equations to evaluate the interoperability components in terms of MOPs that were aggregated to MOEs. It is believed that this concept, although elementary and based on fundamental principles, represents an operationally significant approach rather than a theoretical approach to the quantification of interoperability. The vehicle used as a means to measure the MOPs and MOEs was the Research Evaluation and systems Analysis (RESA) computer modeling and simulation capability at the Naval Ocean systems Center (NOSC), San Diego, Calif. Data for the measurements were collected during a Tactical I

关键词： Military engineering

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：