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

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

来源：评论

学校读者我要写书评

暂无评论

Influence of human engineering on manning levels and human performance on ships

引用

NAVAL ENGINEERS JOURNAL 1997年第5期109卷 67-76页

作者： Anderson, DE Oberman, FR Malone, TB Baker, CC David E. Anderson:has a bachelor of science degree in environmental engineering from Florida Technological University and a master's degree in environmental engineering from the University of Central Florida. He is a graduate of the Naval Sea Systems Command's Engineer-In-Training (EIT) Program. Mr. Anderson was instrumental in introducing the collective protection system (CPS) in the U.S. Navy developing the initial forward-fit package for the USS Gunston Hall and the engineering change proposal (ECP) for the USS Wasp. In 1990 he joined the Human Systems Integration (HSI) Division (SEA 55W5) where he was task leader for auxiliary ships. He is currently the HSI manager for the future technology variant of the SeaLift ship and the future carrier. Association of Scientists and Engineers 33rdAnnual Technical Symposium 26 April 1996. Fred R. Oberman:has B.A. and M.A. degrees from the University of Chicago and Loyola University (experimental psychology) and an M.S. degree in industrial engineering and operations research from Virginia Polytechnic Institute (VPI). He has more than 30 years experience in HSI management planning research analysis design and testing in government and private sector positions. He is currently responsible for NavSea HSI generic research and tool development efforts. He is responsible for Human Engineering Specifications and Standards (Commercial Hypertext) and is the NavSea 03D7 representative on HSI in Performance Specifications and for integration of HSI within Integrated Logistic Support (ILS). He has served as DoD HSI SubTAG chair and member of the Simulation and Modeling Test and Evaluation Display and Control Systems Human Computer Interaction Specifications and Standards and Systems Design Sub Tags as a member of the Society of Naval Architects and Marine Engineers (SNAME) Systems Safety Panel and a member of NATO RSG 14 on man-machine analysis. Thomas B. Malone: CHFEP received a Ph.D. in experimental psychology from Fordham University in 1964. He is president of Carlow

The objectives of Human Engineering (HE) are generally viewed as increasing human performance, reducing human error, enhancing personnel and equipment safety, and reducing training and related personnel costs. There are other benefits that are thoroughly consistent with the direction of the Navy of the future, chief among these is reduction of required numbers of personnel to operate and maintain Navy ships. The Naval Research Advisory Committee (NRAC) report on Man-Machine Technology in the Navy estimated that one of the benefits from increased application of man-machine technology to Navy ship design is personnel reduction as well as improving system availability, effectiveness, and safety The objective of this paper is to discuss aspects of the human engineering design of ships and systems that affect manning requirements, and impact human-performance and safety The paper will also discuss how the application of human engineering leads to improved performance, and crew safety, and reduced workload, all of which influence manning levels. Finally, the paper presents a discussion of tools and case studies of good human engineering design practices which reduce manning.

关键词： Human engineering

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

Run-time consistency checking of algebraic specifications 4

Run-time consistency checking of algebraic specifications

引用

4th Symposium on Testing, analysis, and verification, TAV 1991

作者： Sankar, Sriram Program Analysis and Verification Group Computer Systems Laboratory Stanford University United States

ISBN: (纸本)089791449X

Run-time consistency checking is the process of ensuring that a program is running correctly with respect to its specification. This checking is performed while the program is running. Languages like Pascal and Ada provide run-time consistency checking with respect to a limited repertoire of specifications - for example, one can specify that the values of a variable have to lie within a certain range. Specification languages such as Anna and Larch extend this repertoire with sophisticated specification mechanisms. A popular specification mechanism is the algebraic specification - equations comprising of terms of abstract data type operations which axiomatically specify the abstract data type. In this paper, we discuss how a program can be checked for consistency with respect to algebraic specifications at run-time. The problem is precisely defined and a technique for run-time consistency checking is presented. This technique requires a theorem prover. A specialized theorem prover and its incremental operation are also described. © 1991 ACM.

关键词： Specifications

来源：评论

学校读者我要写书评

暂无评论

Exploiting locality in maintaining potential causality 91

Exploiting locality in maintaining potential causality

引用

10th Annual ACM Symposium on Principles of Distributed Computing, PODC 1991

作者： Meldal, Sigurd Sankar, Sriram Vera, James Program Analysis and Verification Group Computer Systems Laboratory Stanford University StanfordCA94305 United States

ISBN: (纸本)0897914392

In distributed systems it is often important to be able to determine the temporal relationships between events generated by different processes. An algorithm to determiue such relationships is presented in [3] and [5]. This algorithm has many favorable attributes such as it allows for any kind of interprocess communication, and it requires no extra synchronization messages, additional communication links or central time stamping authority. The algorithm, however, requires O(n) space for each process (where n is the number of processes). i.e., it requires an overall space of O(n2). This can be a large overhead especially when there are a very large number of processes. By cutting down on this generality, we can significantly decrease the amount of space required to determine temporal relationships. In this paper, we show how one may reduce the space requirements by assuming that the communication links between processes is static and known ahead of time;and also that one is interested only in determining the temporal ordering between messages arriving at the same process. We argue that these assumptions are reasonable to make for a large class of problems. © 1991 ACM.

关键词：

来源：评论

学校读者我要写书评

暂无评论

MAGNETOHYDRODYNAMIC SUBMARINE PROPULSION systems

引用

NAVAL ENGINEERS JOURNAL 1991年第3期103卷 141-157页

作者： SWALLOM, DW SADOVNIK, I GIBBS, JS GUROL, H NGUYEN, LV VANDENBERGH, HH Daniel W. Swallomis the director of military power systems at Avco Research Laboratory Inc. a subsidiary of Textron Inc. in Everett Mass. Dr. Swallom received his B.S. M.S. and Ph.D. degrees in mechanical engineering from the University of Iowa Iowa City Iowa in 1969 1970 and 1972 respectively. He has authored numerous papers in the areas of power propulsion and plasma physics and currently is a member of the Aerospace Power Systems Technical Committee of the AIAA. Dr. Swallom has directed various programs for the development of advanced power generation systems lightweight power conditioning systems and advanced propulsion systems for marine applications. His previous experience includes work with Odin International Corporation Maxwell Laboratories Inc. Argonne National Laboratory and the Air Force Aero Propulsion Laboratory. Currently Dr. Swallom is directing the technical efforts to apply magnetohydrodynamic principles to a variety of propulsion and power applications for various marine vehicles and power system requirements respectively. Isaac Sadovnikis a principal research engineer in the Energy Technology Office at Avco Research Laboratory Inc. a subsidiary of Textron Inc. He received his B.S. in engineering (1974) B.S. in physics (1975) M.S. in aeronautics and astronautics (1976) and Ph.D. in physics of fluids (1981) at the Massachusetts Institute of Technology. Dr. Sadovnik has been involved in research work funded by DARPA concerning the use of magnetohydrodynamics for underwater propulsion. He has built theoretical models that predict the hydrodynamic behavior of seawater flow through magnetohydrodynamic ducts and their interaction with the rest of the vehicle (thrust and drag produced). In addition Dr. Sadovnik has been involved in research investigations geared toward the NASP program concerning the use of magnetohydrodynamic combustion-driven accelerator channels. Prior to joining Avco Dr. Sadovnik was a research assistant at MIT where he conducted experimental and

Magnetohydrodynamic propulsion systems for submarines offer several significant advantages over conventional propeller propulsion systems. These advantages include the potential for greater stealth characteristics, increased maneuverability, enhanced survivability, elimination of cavitation limits, greater payload capability, and the addition of a significant emergency propulsion system. These advantages can be obtained with a magnetohydrodynamic propulsion system that is neutrally bouyant and can operate with the existing submarine propulsion system power plant. A thorough investigation of magnetohydrodynamic propulsion systems for submarine applications has been completed. During the investigation, a number of geometric configurations were examined. Each of these configurations and mounting concepts was optimized for maximum performance for a generic attack class submarine. The optimization considered each thruster individually by determining the optimum operating characteristics for each one and accepting only those thrusters that result in a neutrally buoyant propulsion system. The results of this detailed optimization study show that the segmented, annular thruster is the concept with the highest performance levels and greatest efficiency and offers the greatest potential for a practical magnetohydrodynamic propulsion system for attack class submarines. The optimization study results were used to develop a specific point design for a segmented, annular magnetohydrodynamic thruster for an attack class submarine. The design point case has shown that this thruster may be able to provide the necessary thrust to propel an attack class submarine at the required velocity with the potential for a substantial acoustic signature reduction within the constraints of the existing submarine power plant and the maintenance of neutral buoyancy. This innovative magnetohydrodynamic propulsion system offers an approach for submarine propulsion that can be an important contributio

关键词： Ship Propulsion

来源：评论

学校读者我要写书评

暂无评论

AN ALGEBRAIC SPECIFICATION OF THE PARTIAL ORDERS GENERATED BY CONCURRENT ADA COMPUTATIONS

AN ALGEBRAIC SPECIFICATION OF THE PARTIAL ORDERS GENERATED B...

引用

CONF ON ADA TECHNOLOGY IN CONTEXT : APPLICATION, DEVELOPMENT, AND DEPLOYMENT ( TRI-ADA 89 )

作者： BRYAN, D Program Analysis and Verification Group Computer Systems Laboratory Stanford University United States

来源：评论

学校读者我要写书评

暂无评论

THE AEGIS DATA BUS EXPERIMENT

引用

NAVAL ENGINEERS JOURNAL 1989年第5期101卷 53-58页

作者： FRINK, JG VERVEN, DM John G. Frink is an assistant group supervisor in the Fleet Systems Department of The Johns Hopkins University Applied Physics Laboratory. He received his B.S. degree in physics from Michigan State University in 1968 and the M.S. degree in computer science from the University of Maryland in 1971. Mr. Frink worked at the Naval Surface Weapons Center White Oak Laboratory on a variety of weapons systems before joining the Applied Physics Laboratory in 1978. Mr. Frink has supervised the development of a large scale battle group simulation that successfully employs the receiver selection paradigm described herein on a hardware suite composed of an extensible number of (currently 15) processors. David M. Verven is a senior electrical engineer in the Fleet Systems Department of The Johns Hopkins University Applied Physics Laboratory. He received the B.S. degree in electrical engineering from the University of Maryland College Park in 1979 and the M. S. degree in the same discipline from The Johns Hopkins University in 1984. Mr. Verven joined the Applied Physics Laboratory in 1979 and initially worked on analysis of Navy sensor systems. In 1981 he was the AN/SPS-49 test team leader for the New Threat Upgrade (NTU) combat system land-based test. In 1982 he became involved in the development of the BBWRS system. Currently he is involved in real-time computer program development for the CEP project.

This paper documents an experiment performed by The Johns Hopkins University Applied Physics laboratory to measure the effect of inserting a data bus into a combat system. The experiment was conducted at the Aegis computer Center located at the Naval Surface Weapons Center in Dahlgren, Virginia (NSWC/DL). The purpose of the experiment was to determine whether or not the Aegis Weapon System (the core of the Aegis Combat System) could be operated with a portion of its point-to-point interelement cables replaced by a data bus. The data bus chosen for the experiment employs message broadcasting with receiver selection. A primary goal of the experiment was to minimize the amount of Aegis computer program changes required to accommodate the data bus. The results presented in this paper will show that the experiment was a success. Key certification tests were passed with no computer program changes to the tactical elements and minimal changes in the Aegis tactical executive (ATES) program (less than 110 words changed).

关键词： Data Transmission Equipment

来源：评论

学校读者我要写书评

暂无评论

Task sequencing language for specifying distributed Ada systems

Task sequencing language for specifying distributed Ada syst...

引用

CRAI Workshop on Software Factories and Ada, 1986

作者： Luckham, D.C. Helmbold, D.P. Meldal, S. Bryan, D.L. Haberler, M.A. Program Analysis and Verification Group Computer Systems Laboratory Stanford University StanfordCA94305 United States

ISBN: (纸本)9783540183419

TSL-1 is a language for specifying sequences of tasking events occuring in the execution of distributed Ada programs. Such specifications are intended primarily for testing and debugging of Ada tasking programs, although they can also be applied in designing programs. TSL-1 specifications are included in an Ada program as formal comments. They express constraints to be satis fied by the sequences of actual tasking events. An Ada program is consistent with its TSL-1 specifications if its runtime behavior always satisfies them. This paper presents an overview of TSL-1. The features of the language are described informally, and examples illustrating the use of TSL-1, both for debugging and for specification of tasking programs, are given. A definition of robust TSL-1 specifications that takes into account uncertainty in runtime observation of behavior of distributed systems is given. A runtime monitor for checking consistency of an Ada program with TSL-1 specifications has been implemented. In the future, constructs for defining abstract tasks will be added to TSL-1, forming a new language, TSL-2, for the specification of distributed systems prior to their implementation in any particular programming language. © 1987, Springer-Verlag.

关键词： Specifications

来源：评论

学校读者我要写书评

暂无评论

Task sequencing language for specifying distributed Ada systems TSL-1 1st

引用

1st International Conference on Parallel Architectures and Languages Europe, PARLE 1987

作者： Luckham, D.C. Helmbold, D.P. Bryan, D.L. Haberler, M.A. Program Analysis and Verification Group Computer Systems Laboratory Stanford University StanfordCA94305 United States

ISBN: (纸本)9783540179450

TSL-1 is a language for specifying sequences of tasking events occuring in the execution of distributed Ada1 programs. TSL-1 specifications are included in an Ada program as formal comments. They express constraints to be satisfied by the sequences of actual tasking events that can occur. An Ada program is consistent with its TSL-1 specifications if its runtime behavior satisfies them. This paper presents an overview of TSL-1. The features of the language are described informally, and examples illustrating the use of TSL-1, both for debugging and for specification of tasking programs, are given. Some important constructs, as well as topics related to uncertainty of observation of distributed programs, are dealt with in other papers. In the future, constructs for defining abstract units will be added to TSL-1, forming a new language TSL-2 for the specification of distributed systems prior to their implementation in any programming language. © 1987, Springer-Verlag.

关键词： Specifications

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：