Download or read book Graphical Workstation Capability for Reliability Modeling written by Salvatore J. Bavuso and published by . This book was released on 1992 with total page 20 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Graphical Workstation Capability for Reliability Modeling written by Salvatore J. Bavuso and published by . This book was released on 1992 with total page 20 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Graphical Workstation Capability for Reliability Modeling written by National Aeronautics and Space Adm Nasa and published by Independently Published. This book was released on 2018-12-29 with total page 28 pages. Available in PDF, EPUB and Kindle. Book excerpt: In addition to computational capabilities, software tools for estimating the reliability of fault-tolerant digital computer systems must also provide a means of interfacing with the user. Described here is the new graphical interface capability of the hybrid automated reliability predictor (HARP), a software package that implements advanced reliability modeling techniques. The graphics oriented (GO) module provides the user with a graphical language for modeling system failure modes through the selection of various fault-tree gates, including sequence-dependency gates, or by a Markov chain. By using this graphical input language, a fault tree becomes a convenient notation for describing a system. In accounting for any sequence dependencies, HARP converts the fault-tree notation to a complex stochastic process that is reduced to a Markov chain, which it can then solve for system reliability. The graphics capability is available for use on an IBM-compatible PC, a Sun, and a VAX workstation. The GO module is written in the C programming language and uses the graphical kernal system (GKS) standard for graphics implementation. The PC, VAX, and Sun versions of the HARP GO module are currently in beta-testing stages. Bavuso, Salvatore J. and Koppen, Sandra V. and Haley, Pamela J. Langley Research Center NASA-TM-4317, L-16887, NAS 1.15:4317 RTOP 505-66-21...
Download or read book NASA Technical Memorandum written by and published by . This book was released on 1991 with total page 296 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Fault Tree Analysis written by and published by . This book was released on 2000 with total page 110 pages. Available in PDF, EPUB and Kindle. Book excerpt: Contains references to documents in the NASA Scientific and Technical Information (STI) Database.
Download or read book HiRel Hybrid Automated Reliability Predictor HARP Integrated Reliability Tool System version 7 0 Volume 3 HARP Graphics Oriented GO Input User s Guide written by and published by . This book was released on 1994 with total page 44 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Modeling for Reliability Analysis written by Jan Pukite and published by John Wiley & Sons. This book was released on 1998-06-22 with total page 290 pages. Available in PDF, EPUB and Kindle. Book excerpt: "Markov modeling has long been accepted as a fundamental and powerful technique for the fault tolerance analysis of mission-critical applications. However, the elaborate computations required have often made Markov modeling too time-consuming to be of practical use on these complex systems. With this hands-on tool, designers can use the Markov modeling technique to analyze safety, reliability, maintainability, and cost-effectiveness factors in the full range of complex systems in use today. Featuring ground-breaking simulation software and a comprehensive reference manual, MARKOV MODELING FOR RELIABILITY ANALYSIS helps system designers surmount the mathematical computations that have previously prevented effective reliability analysis. The text and software compose a valuable self-study tool that is complete with detailed explanations, examples, and a library of Markov models that can be used for experiments and as derivations for new simulation models. The book details how these analyses are conducted, while providing hands-on instruction on how to develop reliability models for the full range of system configurations. Computer-Aided Rate Modeling and Simulation (CARMS) software is an integrated modeling tool that includes a diagram-based environment for model setup, a spreadsheet like interface for data entry, an expert system link for automatic model construction, and an interactive graphic interface for displaying simulation results."
Download or read book A General Graphical User Interface for Automatic Reliability Modeling written by Carlos A. Liceaga and published by . This book was released on 1991 with total page 62 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Scientific and Technical Aerospace Reports written by and published by . This book was released on 1995 with total page 488 pages. Available in PDF, EPUB and Kindle. Book excerpt: Lists citations with abstracts for aerospace related reports obtained from world wide sources and announces documents that have recently been entered into the NASA Scientific and Technical Information Database.
Download or read book Performance and Reliability Analysis of Computer Systems written by Robin A. Sahner and published by Springer. This book was released on 2012-10-02 with total page 0 pages. Available in PDF, EPUB and Kindle. Book excerpt: Performance and Reliability Analysis of Computer Systems: An Example-Based Approach Using the SHARPE Software Package provides a variety of probabilistic, discrete-state models used to assess the reliability and performance of computer and communication systems. The models included are combinatorial reliability models (reliability block diagrams, fault trees and reliability graphs), directed, acyclic task precedence graphs, Markov and semi-Markov models (including Markov reward models), product-form queueing networks and generalized stochastic Petri nets. A practical approach to system modeling is followed; all of the examples described are solved and analyzed using the SHARPE tool. In structuring the book, the authors have been careful to provide the reader with a methodological approach to analytical modeling techniques. These techniques are not seen as alternatives but rather as an integral part of a single process of assessment which, by hierarchically combining results from different kinds of models, makes it possible to use state-space methods for those parts of a system that require them and non-state-space methods for the more well-behaved parts of the system. The SHARPE (Symbolic Hierarchical Automated Reliability and Performance Evaluator) package is the `toolchest' that allows the authors to specify stochastic models easily and solve them quickly, adopting model hierarchies and very efficient solution techniques. All the models described in the book are specified and solved using the SHARPE language; its syntax is described and the source code of almost all the examples discussed is provided. Audience: Suitable for use in advanced level courses covering reliability and performance of computer and communications systems and by researchers and practicing engineers whose work involves modeling of system performance and reliability.
Download or read book Monthly Catalog of United States Government Publications written by and published by . This book was released on with total page 1308 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Air Force Journal of Logistics written by and published by . This book was released on 1988 with total page 176 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Computer Graphics written by T.L. Kunii and published by Springer Science & Business Media. This book was released on 2012-12-06 with total page 539 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book is an extensive treatise on the most up-to-date advances in computer graphics technology and its applications. Both in business and industrial areas as well as in research and development, you will see in this book an incredible devel opment of new methods and tools for computer graphics. They play essential roles in enhancing the productivity and quality of human work through computer graph ics and applications. Extensive coverage of the diverse world of computer graphics is the privilege of this book, which is the Proceedings of InterGraphics '83. This was a truly interna tional computer graphics conference and exhibit, held in Tokyo, April 11-14, 1983, sponsored by the World Computer Grpphics Association (WCGA) and organized by the Japan Management Association (JMA) in coopera'tion' with ·~CM-SIGGRAPH. InterGraphics has over 15 thousands participants. This book consists of seven Chapters. The first two chapters are on the basics of computer graphics, and the remaining five chapters are dedicated to typical appli cation areas of computer graphics. Chapter 1 contains four papers on "graphics techniques". Techniques to generate jag free images, to simulate digital logic, to display free surfaces and to interact with 3 dimensional (3D) shaded graphics are presented. Chapter 2 covers "graphics standards and 3D models" in five papers. Two papers discuss the CORE standard and the GKS standard. Three papers de scribe various 3D models and their evaluations.
Download or read book Government Reports Annual Index written by and published by . This book was released on 1992 with total page 1142 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Simulation Validation written by Peter L. Knepell and published by John Wiley & Sons. This book was released on 1993-06-13 with total page 174 pages. Available in PDF, EPUB and Kindle. Book excerpt: Helps you ensure that your simulations are appropriate representations of real-world systems. The book concentrates on the differentiation between the assessment of a simulation tool and the verification and validation of general software products. It is a systematic, procedural, practical guide that you can use to enhance the credibility of your simulation models. In addition, it is a valuable reference book and a road map for software developers and quality assurance experts, or as a text for simulation methodology and software engineering courses. This book details useful assessment procedures and phases, discusses ways to tailor the methodology for specific situations and objectives, and provides numerous assessment aids. The reader can use these aids to support ongoing assessments over the entire life cycle of the model.
Download or read book Computerworld written by and published by . This book was released on 1985-03-25 with total page 156 pages. Available in PDF, EPUB and Kindle. Book excerpt: For more than 40 years, Computerworld has been the leading source of technology news and information for IT influencers worldwide. Computerworld's award-winning Web site (Computerworld.com), twice-monthly publication, focused conference series and custom research form the hub of the world's largest global IT media network.
Download or read book Computer Performance Evaluation written by Günter Haring and published by Springer Science & Business Media. This book was released on 1994-04-20 with total page 484 pages. Available in PDF, EPUB and Kindle. Book excerpt: Performance evaluation, reliability, and performability are key factors in the development and improvement of computer systems and computer networks. This volume contains the 25 accepted and invited papers presented at the 7th International Conference on Modelling Techniques and Tools for Computer Performance Evaluation. The papers focus on new techniques and the extension of existing techniques for performance and reliability analysis. Tools to support performance and reliability modelling and measurement in all kinds of applications and environments are presented, and the practicability and generality of the approaches are emphasized. The volume summarizes the state of the art and points out future demands and challenges, and will interest both scientists and practitioners.
