Computer-aided analysis of concurrent systems

The introduction of concurrency into programs has added to the complexity of the software design process. This is most evident in the design of communications protocols where concurrency is inherent to the behavior of the system. The complexity exhibited by such software systems makes more evident the needs for computer-aided tools for automatically analyzing behavior.The Distributed Systems project at UCI has been developing a suite of tools, based on Petri nets, which support the design and evaluation of concurrent software systems. This paper focuses attention on one of the tools: the reachability graph analyzer (RGA). This tool provides mechanisms for proving general system properties (e.g., deadlock-freeness) as well as system-specific properties. The tool is sufficiently general to allow a user to apply complex user-defined analysis algorithms to reachability graphs. The alternating-bit protocol with a bounded channel is used to demonstrate the power of the tool and to point to future extensions

Modeling and Analysis of Power Processing Systems (MAPPS). Volume 1: Technical report

Computer aided design and analysis techniques were applied to power processing equipment. Topics covered include: (1) discrete time domain analysis of switching regulators for performance analysis; (2) design optimization of power converters using augmented Lagrangian penalty function technique; (3) investigation of current-injected multiloop controlled switching regulators; and (4) application of optimization for Navy VSTOL energy power system. The generation of the mathematical models and the development and application of computer aided design techniques to solve the different mathematical models are discussed. Recommendations are made for future work that would enhance the application of the computer aided design techniques for power processing systems

Computer-aided analysis of Riemann sheet structures

We report on experience with an investigation of the analytic structure of the solution of certain algebraic complex equations. In particular the behavior of their series expansions around the origin is discussed. The investigation imposes the need for an analysis of the singularities and the Riemann sheets of the solution, in which numerical methods are used.Comment: 11 pages, 3 figures, uses a4wide.sty, amsmath.sty and axodraw.st

Computer-aided design and analysis of mechanisms

An introduction to the computer programs developed to assist in the design and analysis of mechanisms is presented. A survey of the various types of programs which are available is given, and the most widely used programs are compared. The way in which the programs are used is discussed, and demonstrated with an example

Computer-aided design and analysis of circuits and systems Final report, 20 Sep. 1966 - 1 Jul. 1968

Consolidation, standardization, and qualification of computer program routines associated with computer-aided design and analysis of circuits and system

Computer-aided Circuit Analysis Semiannual Report, May 15 - Nov. 14, 1966

Digital computer aided circuit analysis and desig

Computer-aided circuit analysis Annual report, May 15, 1965 - May 14, 1966

Research on digital computer aided analysis of electric circuit

Computer-Aided System for Wind Turbine Data Analysis

Context: The current work on wind turbine failure detection focuses on researching suitable signal processing algorithms and developing efficient diagnosis algorithms. The laboratory research would involve large and complex data, and it can be a daunting task. Aims: To develop a Computer-Aided system for assisting experts to conduct an efficient laboratory research on wind turbine data analysis. System is expected to provide data visualization, data manipulation, massive data processing and wind turbine failure detection. Method: 50G off-line SCADA data and 4 confident diagnosis algorithms were used in this project. Apart from the instructions from supervisor, this project also gained help from two experts from Engineering Department. Java and Microsoft SQL database were used to develop the system. Results: Data visualization provided 6 different charting solutions and together with robust user interactions. 4 failure diagnosis solutions and data manipulations were provided in the system. In addition, dedicated database server and Matlab API with Java RMI were used to resolve the massive data processing problem. Conclusions: Almost all of the deliverables were completed. Friendly GUI and useful functionalities make user feel more comfortable. The final product does enable experts to conduct an efficient laboratory research. The end of this project also gave some potential extensions of the system

A bibliography on digital computer-aided circuit analysis and design

Digital computer-aided electric logic circuit analysis and design bibliograph