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

SYNTHESIS OF ERROR-RECOVERABLE PROTOCOL SPECIFICATIONS FROM SERVICE SPECIFICATIONS

INTERNATIONAL CONF ON COMPUTING AND INFORMATION ( ICCI 90 )

作者： SALEH, K PROBERT, R Protocols Software Engineering Research Group Department of Computer Science University of Ottawa Ottawa K1N 6N5 ON Canada

ISBN: (纸本)3540535047

Several synthesis methods have been proposed and applied to the design of computer communication protocols. Most of these methods do not use the service specification as a reference (or starting) point in the protocol synthesis process. Consequently, these methods do not guarantee that the synthesized protocol provides the specified services, and therefore must be complemented by a semantic validation technique. In this paper, we propose a new synthesis method which automatically derives protocol specifications from a service specification. Both the service and protocol specifications are modelled by finite state machines (FSM). The resulting synthesized protocol is guaranteed to be free from logical design (syntactic) errors and to conform to the service specification. Finally, the synthesized protocol is augmented by error-recovery patterns to enable recovery from transmission errors caused by an unreliable communication medium. The application of the new method to an example service is also presented. © Springer-Verlag Berlin Heidelberg 1990.

关键词： COMMUNICATION software ERROR-RECOVERY PROTOCOL DESIGN SEMANTIC CORRECTNESS SYNTACTIC CORRECTNESS SYNTHESIS

来源：评论

学校读者我要写书评

暂无评论

THE COMMAND SUPPORT AT-SEA EXPERIMENT

引用

NAVAL ENGINEERS JOURNAL 1990年第3期102卷 25-36页

作者： BUSCHER, DJ SUNDAY, DM David J. Buscher:is an electrical engineer on the Principal Professional Staff of the Fleet Systems Department of The Johns Hopkins University Applied Physics Laboratory. He earned his BS degree in electrical engineering from Villanova University in 1967 an MSEE degree from the University of Maryland in 1972 and an MS degree in technical management from The Johns Hopkins University in 1985. He was the lead engineer on the Command Support At-Sea Experiment Project. He started his career in 1967 with the U.S. Army Harry Diamond Laboratory working on computer and communications projects. During this time he worked in Vietnam with the United States Army Vietnam Science Advisor Office. Since joining JHU/APL in 1978 he has worked on a variety of projects associated with computer graphics hospital patient information systems computer networks autonomous underwater vehicles and satellite communications. He is currently assistant group supervisor of the Computer Systems Group. Daniel M. Sunday:is a mathematician on the Principal Professional Staff of the Fleet Systems Department of The Johns Hopkins University Applied Physics Laboratory. He earned his Ph.D. in mathematics from the University of Minnesota in 1971 and did postdoctoral research on neural networks at the University of California at Berkeley. Since joining JHU/APL in 1980 Dr. Sunday has worked as a designer and developer of software systems with emphasis on medical imaging interactive graphics natural language interfaces and software standards. He was the network designer for the Headquarters Integrated Office System (HIOS) Network for the Army at the Pentagon. He is currently the lead software engineer on the Command Support At-Sea Experiment Project.

The Command Support At-Sea Experiment (CS@SE) provides experimental advanced graphics display systems consisting of large screen color displays and operator console color displays in the combat information center (CIC) of an Aegis cruiser and in the tactical flag command center (TFCC) of an aircraft carrier. CS@SE systems are designed to prototype potential command support capabilities in an at-sea environment to validate and refine requirements for planned production system upgrades. These systems use sophisticated color graphics techniques to provide real-time tactical displays that improve the availability of information to an operator by reducing clutter through the use of color, area fill, transparen overlays and intensity coding of track symbols. Interfaces wen developed with the Aegis Display System (ADS), Shipboarc Gridlock System with Auto-correlation (SGS/AC), Flag Dats Display System (FDDS) and Tomahawk Engagement Planning and Exercise Evaluation System (TEPEE) that provided the data for the presentation of a tactical display. Display elements included both real-time and over-the-horizon (OTH) surface track data, velocity leaders, tags, uncertainty ellipses, and history trails. The display also included filled land masses, country boundaries, commercial airways, cities, graphics overlays (i.e., operational areas), weapon system missile performance contours, and engagement plans. This paper describes the experiment, its installation and integration into the shipboard environments of an Aegis cruiser (USS Leyte Gulf ) and an aircraft carrier (USS America , its usage by the ships companies and embarked staffs, and the experiment result! and findings. Key conclusions of the experiment are: 1 Advanced graphics color displays can significantly enhance the ability of the warfighter to assimilate a complex tactical display. 2 Both ships reported a requirement for a correlated OTH and real-time track display with the ability to clearly differentiate the two types

关键词： computer Graphics

来源：评论

学校读者我要写书评

暂无评论

AEGIS AAW CORRELATOR TRACKER (AACT) EXPERIMENT

引用

NAVAL ENGINEERS JOURNAL 1990年第3期102卷 37-42页

作者： GRANT, CJ The Author:is an assistant group supervisor of the Anti-Air Warfare Systems Engineering Group in the Fleet Systems Department of The Johns Hopkins University Applied Physics Laboratory (JHU/APL). He received a B.S. in physics from the University of Maryland in 1978 an M.S. in applied physics and an M.S. in computer science from The Johns Hopkins University in 1982 and 1984 respectively. Since joining JHU/APL in 1978 Mr. Grant has been involved in the development and integration of advanced command support systems and communications in U.S. Navy shipboard combat systems with particular emphasis on the Aegis Combat System. He is currently the lead engineer of the Command Support At Sea Experiment in which an Aegis AAW Correlator/Tracker capability is being developed for shipboard evaluation.

The Johns Hopkins University applied Physics Laboratory, in continuing development of the Aegis Command and Control capabilities aboard USS Ticonderoga class cruisers and USS Arleigh Burke class destroyers, under the direction of the Aegis Shipbuilding Project (PMS-400), is in the process of developing the Aegis AAW Correlator/Tracker (AACT) to experiment with and evaluate the capability to correlate track and contact data from over-the-horizon (OTH) sources and sensors with the shipboard real-time tactical picture. AACT, which is based on multi-hypothesis correlation algorithms, is intended to be fully automated; requiring little or no operator interaction in spite of ambiguous or conflicting data. Unlike other OTH correlator/tracker designs, the experimental AACT capability is highly integrated with the combat system. It makes maximum use of the shipboard sensor data, such as that provided by the AN/SPY-1 radar, to provide the basis from which to correlate the OTH data in areas of mutual sensor coverage. This approach helps to resolve the traditional conflicts between the tactical picture derived from battle group sensors and that derived from OTH sensors, and provides command the track data in the formats, rates, and timeliness needed to fight the AAW battle. This paper describes the AACT concept, design, and implementation. It addresses the plans for installation of AACT aboard an Aegis cruiser for evaluation of this capability in an operational environment.

关键词： computer Graphics

来源：评论

学校读者我要写书评

暂无评论

computer-SYSTEM ARCHITECTURE CONCEPTS FOR FUTURE COMBAT SYSTEMS

引用

NAVAL ENGINEERS JOURNAL 1990年第3期102卷 43-62页

作者： ZITZMAN, LH FALATKO, SM PAPACH, JL Dr. Lewis H. Zitzman:is the group supervisor of the Advanced Systems Design Group Fleet Systems Department The Johns Hopkins University Applied Physics Laboratory (JHU/APL). He has been employed at JHU/APL since 1972 performing applied research in computer science and in investigating and applying advanced computer technologies to Navy shipboard systems. He is currently chairman of Aegis Computer Architecture Data Bus and Fiber Optics Working Group from which many concepts for this paper were generated. Dr. Zitzman received his B.S. degree in physics from Brigham Young University in 1963 and his M.S. and Ph.D. degrees in physics from the University of Illinois in 1967 and 1972 respectively. Stephen M. Falatko:was a senior engineering analyst in the Combat Systems Engineering Department Comptek Research Incorporated for the majority of this effort. He is currently employed at ManTech Services Corporation. During his eight-year career first at The Johns Hopkins University Applied Physics Laboratory and currently with ManTech Mr. Falatko's work has centered around the development of requirements and specifications for future Navy systems and the application of advanced technology to Navy command and control systems. He is a member of both the Computer Architecture Fiber Optics and Data Bus Working Group and the Aegis Fiber Optics Working Group. Mr. Falatko received his B.S. degree in aerospace engineering with high distinction from the University of Virginia in 1982 and his M.S. degree in applied physics from The Johns Hopkins University in 1985. Mr. Falatko is a member of Tau Beta Pi Sigma Gamma Tau the American Society of Naval Engineers and the U.S. Naval Institute. Janet L. Papach:is a section leader and senior engineering analyst in the Combat Systems Engineering Department Comptek Research Incorporated. She has ten years' experience as an analyst supporting NavSea Spa War and the U.S. Department of State. She currently participates in working group efforts under Aegis Combat System Doctrin

This paper sets forth computer systems architecture concepts for the combat system of the 2010–2030 timeframe that satisfy the needs of the next generation of surface combatants. It builds upon the current Aegis computer systems architecture, expanding that architecture while preserving, and adhering to, the Aegis fundamental principle of thorough systems engineering, dedicated to maintaining a well integrated, highly reliable, and easily operable combat system. The implementation of these proposed computer systems concepts in a coherent architecture would support the future battle force capable combat system and allow the expansion necessary to accommodate evolutionary changes in both the threat environment and the technology then available to effectively counter that threat. Changes to the current Aegis computer architecture must be carefully and effectively managed such that the fleet will retain its combat readiness capability at all times. This paper describes a possible transition approach for evolving the current Aegis computer architecture to a general architecture for the future. The proposed computer systems architecture concepts encompass the use of combinations of physically distributed, microprocessor-based computers, collocated with the equipment they support or embedded within the equipment itself. They draw heavily on widely used and available industry standards, including instruction set architectures (ISAs), backplane busses, microprocessors, computer programming languages and development environments, and local area networks (LANs). In this proposal, LANs, based on fiber optics, will provide the interconnection to support system expandability, redundancy, and higher data throughput rates. A system of cross connected LANs will support a high level of combat system integration, spanning the major warfare areas, and will facilitate the coordination and development of a coherent multi-warfare tactical picture supporting the future combatant command st

关键词： computer Architecture

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

Designs for diagnosability and reliability in VLSI systems

Designs for diagnosability and reliability in VLSI systems

引用

IEEE International Test Conference

作者： S.Y.H. Su H. Ma Department of Computer Science Research Group on Design Automation and Fault-tolerant Computing Thomas J. Watson School of Engineering Applied Science and Technology State University of New York Binghamton Binghamton NY USA Department of Electrical Engineering Research Group on Design Automation and Fault-tolerant Computing Thomas J. Watson School of Engineering Applied Science and Technology State University of New York Binghamton Binghamton NY USA

Novel concepts of designs for diagnosability and reliability are defined and developed. A diagnosable design of VLSI system is presented, in which fault isolation is realized by minimal additional hardware instead of traditional software diagnostic procedures such that the computation space and time for fault isolation are saved. The presented fault-tolerant design uses online fault detection and isolation techniques, yields higher reliability with minimized hardware overhead of no more than 125% as opposed to over 200% in classical redundancy fault-tolerant designs. Using this scheme, the ability to isolate intermittent faults is a significant improvement over existing fault isolation methods because faults could be isolated right after they are detected.< >

关键词： Very large scale integration Circuit faults Fault detection Costs Hardware Automatic testing Digital systems Fault tolerance Redundancy Electrical fault detection

来源：评论

学校读者我要写书评

暂无评论

Wave envelope technique for multimode wave guide problems

引用

Journal of Scientific Computing 1987年第4期2卷 371-387页

作者： Hariharan, S.I. Sudharsanan, S.I. Department of Mathematical Sciences University of Akron Akron 44325 Ohio United States Institute for Computer Applications in Science and Engineering United States Applied Physics Group University of Tennessee Space Institute Tullahoma 37388 TN United States

In this paper we propose a fast method for solving wave guide problems. In particular, we consider the guide to be inhomogeneous, and allow propagation of waves of higher-order modes. Such techniques have been handled successfully for acoustic wave propagation problems with single mode and finite length. This paper extends this concept to electromagnetic wave guides with several modes and infinite in length. The method is shown and results of computations are presented. © 1987 Plenum Publishing Corporation.

关键词： acoustic waves electromagnetic waves multimode waveguides Wave envelope

来源：评论

学校读者我要写书评

暂无评论

Measurement of Humidity Using Surface Acoustic Waves

Measurement of Humidity Using Surface Acoustic Waves

引用

IEEE Symposium (IUS) Ultrasonics

作者： S.G. Joshi J.G. Brace Department of Electrical Engineering Computer Science Marquette University Milwaukee WI USA Corporate Applied Research Group Johnson Controls Inc. Milwaukee WI USA

来源：评论

学校读者我要写书评

暂无评论

AIR-CUSHION LANDING CRAFT NAVIGATION

引用

NAVAL ENGINEERS JOURNAL 1985年第4期97卷 248-260页

作者： GRAHAM, HR KIM, JC BAND, EGU FOWLER, AW Herbert R. Graham:received his degrees of B.S. in 1951 and M.S. in 1958 in aeronautical engineering from the Massachusetts Institute of Technology and the California Institute of Technology respectively. He also attended the Harvard Graduate School of Business Administration. He is presently a task manager at TRW Inc. McLean Virginia responsible for landing craft air cushion (LCAC) engineering support. Since joining TRW in 1967 he has had several technical project management and system engineering responsibilities in amphibious ships transportation and energy. He was responsible for the preliminary engineering design and cost estimates for tracked air cushion vehicles (TACVs). He has been active in several professional societies including ASNE and served as vice-chairman Los Angeles Section American Institute of Aeronautics and Astronautics. John C. Kim:received his degrees of B.S. in electrical engineering Tri-State University 1959 M.S. in electrical engineering Michigan State University 1960 and Ph.D. in electrical engineering Michigan State University. He is presently a senior staff engineer with TRW Inc. McLean Virginia where his technical experience has included communications system engineering and navigation system analysis. Since joining TRW in 1969 he has held numerous positions including section head project manager and department manager. His previous employment includes E-Systems/Melpar Division and Honeywell. Dr. Kim has been active in the IEEE Washington Chapter activities which included secretary vice-chairman and chairman of Systems Science and Cybernetics Group. Edward G.U. Band:received a B.S. degree in mechnical engineering in 1946 and a D.I.C in aeronautical engineering in 1947 at the City and Guilds College of London University. In 1951 he received an M.S. degree from Stevens Institute of Technology in fluid dynamics. After a career in the aircraft industry in England Canada and the U.S.A. he spent several years teaching in Chile and at Webb Institute of Naval Archi

Air cushion vehicles (ACVs) have operated successfully on commercial routes for about twenty years. The routes are normally quite short; the craft are equipped with radar and radio navigation aids and maintain continuous contact with their terminals. Navigation of these craft, therefore, does not present any unusual difficulty. The introduction of air cushion vehicles into military service, however, can present a very different picture, especially when external navigation aids are not available and the craft must navigate by dead reckoning. This paper considers the problems involved when navigating a high-speed air cushion vehicle by dead reckoning in conditions of poor visibility. A method is presented to assess the ACV's navigational capability under these circumstances. A figure of merit is used to determine the sensitivity of factors which affect navigation such as the range of visibility, point-to-point distance, speed, turning radius and accuracy of onboard equipment. The method provides simplistic but adequate answers and can be used effectively to compare the-capability and cost of alternative navigation concepts.

关键词： AIR CUSHION VEHICLES

来源：评论

学校读者我要写书评

暂无评论

Functional Testing Techniques for Digital LSI/VLSI Systems 84

Functional Testing Techniques for Digital LSI/VLSI Systems

引用

Design Automation Conference

作者： S.Y.H. Su Tonysheng Lin Research Group on Design Automation and Fault-Tolerant Computing Department of Computer Science Thomas J. Watson School of Engineering Applied Science and Technology State University of New York Binghamton NY

ISBN: (纸本)9780818605420

Functional testing is becomilng more important due to the increasing complexity in digital LSI/VLSI devices. Various functional testing approaches have been proposed to meet this urgent need in LSI/VLSI testing. This paper presents the basic ideas behind deterministic functional testing and concisely overviews eight major functional testing techniques. Comparisons among these techniques and suggestions for future development are made to meet the challenges in this fast growing testing field.

关键词： System testing Large scale integration Very large scale integration Circuit testing Logic testing Circuit faults Automatic testing Integrated circuit testing Performance evaluation Design automation

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：