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

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

来源：评论

学校读者我要写书评

暂无评论

Prototyping in industrial software projects: Experiences and assessment

引用

Information Technology & People 1990年第2-3期6卷 109-143页

作者： Kieback, Antoinette Lichter, Horst Schneider-Hufschmidt, Matthias Züllighoven, Heinz Dormer GmbH Friedrichshafen Germany Software Engineering Group Computer Science Department University of Stuttgart Germany Central Research and Development Siemens AG Munich Germany Computer Science Department University of Hamburg Germany

In many engineering disciplines, prototyping is a technique employed mainly to improve the predictability of new projects involving risks. Prototyping has been adopted as a technique in software engineering for similar reasons. However, there is little documented experience with the use of prototyping in industrial software production. The following report aims to fill this gap by presenting case studies of industrial software projects explicitly using prototyping. The five projects selected for examination range from a large-scale project in the order of 240 person-years to a small 2-person-year project. The developer teams involved range from DP departments of large industrial corporations to small-to-medium-sized softivare manufacturers. The report closes with an analysis of the benefits and limitations of prototyping. © 1990, MCB UP Limited. All rights reserved.

关键词： Industry Management information systems Prototyping

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

CAD CAM MANUFACTURING OF PROTOTYPE SHIPBOARD COMPONENTS

引用

NAVAL ENGINEERS JOURNAL 1990年第3期102卷 93-99页

作者： CALVERT, TE RODRIGUEZ, FA SLEBZAK, JS Thomas E. Calvert P.E.: is a senior project engineer with the Propulsion and Auxiliary Systems Department David Taylor Research Center Annapolis Md. His interests include application of computers to all aspects of engineering with particular emphasis on utilization of small computers. Mr. Calvert is a licensed professional engineer in Maryland. He received a BSEE from Drexel University in 1969 and since that time has completed a number of graduate courses related to machinery acoustics. Francisco A. Rodriguez:is an engineer with the Propulsion and Auxiliary Systems Department David Taylor Research Center. He was formerly with the Computer-Aided Design/Interactive Graphics Group of the Division of Engineering and Weapons U.S. Naval Academy. His interests include interfacing the computer aided design to the computer aided manufacturing along with related software and hardware development. Mr. Rodriguez received a BSEEfrom the University of Virginia in 1968. James S. Slebzak:is a mechanical engineering technician with the Propulsion and Auxiliary Systems Department David Taylor Research Center. He received his machinists papers in 1971 after serving his apprenticeship at David Taylor Research Center. He continued his education and became the senior numerical control programmer at the Annapolis Laboratory. He completed his mechanical technology degree from Anne Arundel Community College in 1986. His interests are in the application of numerically controlled manufacturing techniques to prototype machinery components.

The machine shop at the Annapolis Laboratory of the David Taylor research Center (DTRC) provides model making and prototype support to a large variety of naval ship related engineering projects. In order to meet these challenging requirements, computer aided design/computer aided manufacturing (CAD/CAM) techniques are being used to produce “one of a kind” prototypes or very low volume production parts. The use of computer aides in these cases is to facilitate the accurate manufacture of a difficult part, rather than to improve manufacturing efficiencies. In addition, the approach provides the flexibility required to support research and development projects. Several examples of prototype shipboard components manufactured using CAD/CAM techniques are presented in this paper. The hardware and software that facilitated these projects are discussed. The examples described have met the requirements to produce a wide variety of prototype shipboard machinery components quickly and accurately.

关键词： Ship Equipment

来源：评论

学校读者我要写书评

暂无评论

AN EXPERT SYSTEM FOR REAL-TIME NOISE AND VIBRATION ANALYSIS OF SHIPBOARD EQUIPMENT

引用

NAVAL ENGINEERS JOURNAL 1986年第3期98卷 107-114页

作者： KLEIN, SK VAIL, JA BALON, K Jeannine A. Vailis a graduate of the University of Pittsburgh and Wheeling College where she earned MS and BS degrees in mathematics. She is currently the president of Vail Research and Technology Corporation. Experience includes twelve years in reliability maintainability and availability (RMA) engineering software development and cost analysis in NA VSEA the Naval Surface Weapons Center and industry. She developed RMA requirements and performed simulations on a wide variety of naval ships and underwater weapons. She is a co-developer of the computer simulation techniques used in this paper for which she received a Group Achievement A ward from NA VSEA in 1980. Ms. Vail is currently a member of ASNE IEEE and the Society of Reliability Engineers. Publications include “DDG-47 Reliability Engineering Analysis”Naval Engineers JournalApril 1978. Steven K. Kleinattended Indiana University where he earned BS and MS degrees in mathemtical physics and completed course work for PhD degrees in mathematical physics and inorganic chemistry. He is currently a division director with ORI Inc. He has taught physics and mathematics at Indiana University and has over fifteen years experience in RMA engineering and management including director of product assurance for the joint cruise missile project. He has provided RMA engineering support to a broad spectrum of Navy and Air Force tactical and strategic weapon systems and is a past member of the NASA microcircuit line certification team. Kevin Balonis a graduate of the University of Maryland where he earned a BSEE degree. He is currently employed with ORI Inc. where he is performing a variety of projects related with implementation of higher order languages in embedded firmware architectures.

An expert system is described which allows real-time analysis of the noise and vibration signature of vibrating machinery. The system presented consists of an adaptive algorithm which varies the band width of analysis channels as a function of a signal complexity factor and a measure of the rapidity of local signal change. Overall program architecture is presented as well as detailed discussion of signature functional identification and statistical trend modules which are adaptable to a wide variety of input data base configurations. Execution of the program on a “super-mini” in FORTRAN code with direct graphics output and on 68000 series based firmware using ADA is discussed. Results are presented of program execution on Navy hydrophone and propulsion gas turbine data showing current signature and projections of trend to future times compared with failed condition signatures. Correlation results for such predictions are also discussed.

关键词： SHIP EQUIPMENT

来源：评论

学校读者我要写书评

暂无评论

Process Support and Knowledge Representation in Health Care 1

引用

丛书名： Lecture Notes in computer Science

1000年

作者： Richard Lenz Silvia Miksch Mor Peleg Manfred Reichert David Riaño Annette Teije

ISBN: (数字)9783642364389

ISBN: (纸本)9783642364372

This book constitutes thoroughly refereed revised selected papers from the BPM 2012 Joint Workshop on Process-Oriented Information Systems and Knowledge Representation in Health Care, ProHealth 2012/KR4HC 2012, held in Tallinn, Estonia, in September 2012. The 9 papers presented were carefully reviewed and selected from 19 submissions. In addition the book contains 1 keynote paper and 2 invited contributions. The papers are organized in topical sections named: guidelines and summarization; archetypes and cooperation; and process mining and temporal analysis.

关键词： Artificial Intelligence Information Systems Applications (incl. Internet) Information Storage and Retrieval Database Management User Interfaces and Human computer Interaction computer Communication networks

来源：评论

学校读者我要写书评

暂无评论

Conceptual Structures: Standards and Practices 1

引用

丛书名： Lecture Notes in computer Science

1000年

作者： William M. Tepfenhart Walling Cyre

ISBN: (数字)9783540486596

ISBN: (纸本)9783540662235

With all of the news about the Internet and the Y2K problem, it is easy to forget that other areas of computer science still exist. Reading the newspaper or watching the television conveys a very warped view of what is happening in computer science. This conference illustrates how a maturing subdiscipline of computer science can continue to grow and integrate within it both old and new approaches despite (or perhaps due to) a lack of public awareness. The conceptual graph community has basically existed since the 1984 publication of John Sowa's book, "Conceptual Structures: Information Processing In Mind and Machine." In this book, John Sowa laid the foundations for a knowledge representation model called conceptual graphs based on semantic networks and the existential graphs of C.S. Peirce. Conceptual graphs constitutes a very powerful and expressive knowledge representation scheme, inheriting the benefits of logic and the mathematics of graphs. The expressiveness and formal underpinnings of conceptual graph theory have attracted a large international community of researchers and scholars. The International Conferences on Conceptual Structures, and this is the seventh in the series, is the primary forum for these researchers to report their progress and activities. As in the past, the doors were open to admit alternate representation models and approaches.

关键词： Artificial Intelligence Theory of Computation Discrete Mathematics in computer Science Mathematical Logic and Formal Languages Algorithm Analysis and Problem Complexity

来源：评论

学校读者我要写书评

暂无评论

Applications of Graph Transformations with Industrial Relevance 1

引用

丛书名： Lecture Notes in computer Science

1000年

作者： Andy Schürr Manfred Nagl Albert Zündorf

ISBN: (数字)9783540890201

ISBN: (纸本)9783540890195

This book constitutes the thoroughly refereed post-conference proceedings of the Third International Symposium on Applications of Graph Transformations, AGTIVE 2007, held in Kassel, Germany, in October 2007. The 30 revised full papers presented together with 2 invited papers were carefully selected from numerous submissions during two rounds of reviewing and improvement. The papers are organized in topical sections on graph transformation applications, meta-modeling and domain-specific language, new graph transformation approaches, program transformation applications, dynamic system modeling, model driven software development applications, queries, views, and model transformations, as well as new pattern matching and rewriting concepts. The volume moreover contains 4 papers resulting from the adjacent graph transformation tool contest and concludes with 9 papers summarizing the state of the art of today's available graph transformation environments.

关键词： software engineering/Programming and Operating Systems software engineering Logics and Meanings of Programs Mathematical Logic and Formal Languages Data Structures Algorithm Analysis and Problem Complexity

来源：评论

学校读者我要写书评

暂无评论

Modern Industrial IoT, Big Data and Supply Chain 1

引用

丛书名： Smart Innovation, Systems and Technologies

1000年

作者： Victor Chang Muthu Ramachandran Víctor Méndez Muñoz

来源：评论

学校读者我要写书评

暂无评论

Traffic Monitoring and Analysis 1

引用

丛书名： Lecture Notes in computer Science

1000年

作者： Alberto Dainotti Anirban Mahanti Steve Uhlig

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：