Using Formal Modeling With an Automated Analysis Tool to Design and Parametrically Analyze a Multirobot Coordination Protocol: A Case Study

2007 ◽  
Vol 37 (3) ◽  
pp. 285-297 ◽  
Author(s):  
Joel M. Esposito ◽  
Moonzoo Kim
Keyword(s):  
Automated Analysis ◽  
Formal Modeling ◽  
Analysis Tool ◽  
Multirobot Coordination

scholarly journals Towards the Automated Analysis and Database Development of Defibrillator Data from Cardiac Arrest

2014 ◽  
Vol 2014 ◽  
pp. 1-19 ◽  
Author(s):  
Trygve Eftestøl ◽  
Lawrence D. Sherman
Keyword(s):  
Cardiac Arrest ◽  
Automated Analysis ◽  
Case Review ◽  
Process Data ◽  
Considerable Effort ◽  
Minimal Set ◽  
Patient Response ◽  
Sequence Representation ◽  
Available Information

Background.During resuscitation of cardiac arrest victims a variety of information in electronic format is recorded as part of the documentation of the patient care contact and in order to be provided for case review for quality improvement. Such review requires considerable effort and resources. There is also the problem of interobserver effects.Objective.We show that it is possible to efficiently analyze resuscitation episodes automatically using a minimal set of the available information.Methods and Results.A minimal set of variables is defined which describe therapeutic events (compression sequences and defibrillations) and corresponding patient response events (annotated rhythm transitions). From this a state sequence representation of the resuscitation episode is constructed and an algorithm is developed for reasoning with this representation and extract review variables automatically. As a case study, the method is applied to the data abstraction process used in the King County EMS. The automatically generated variables are compared to the original ones with accuracies≥90%for 18 variables and≥85%for the remaining four variables.Conclusions.It is possible to use the information present in the CPR process data recorded by the AED along with rhythm and chest compression annotations to automate the episode review.

Applying Advanced FMEA Methods to Vehicle Fire Cause Determinations

2011 ◽  
Author(s):  
Kerry D. Parrott ◽  
Pat J. Mattes ◽  
Douglas R. Stahl
Keyword(s):  
Automotive Industry ◽  
Failure Modes ◽  
Illustrative Case ◽  
Analysis Tool ◽  
Fire Investigation ◽  
Root Cause ◽  
Product And Process ◽  
Illustrative Case Study ◽  
Fire Cause

This paper proposes that the advanced Failure Modes and Effects Analysis (FMEA) techniques and methodology currently used by the automotive industry for product and process design can be reversed and used as an effective failure/root cause analysis tool. This paper will review FMEA methodologies, explain the newest advanced FMEA methodologies that are now being used in the automotive industry, and will then explain how this methodology can be effectively reversed and used as a failure analysis and fire cause determination tool referred to as a “reverse FMEA” (rFMEA). This paper will address the application of these techniques and methodology to vehicle fire cause determination. This methodology is particularly suited to situations where multiple potential fire causes are contained within an established area of origin. NFPA 921 Guide for Fire & Explosion Investigations [1] and NFPA 1033 Standard for Professional Qualifications for Fire Investigator [2], often referenced by the fire investigation community, prescribe following a systematic approach utilizing the scientific method for fire origin and cause determinations. The rFMEA methodology is proposed as a fire investigation tool that assists in that process. This “reverse FMEA” methodology will then be applied to a hypothetical, illustrative case study to demonstrate its application.

scholarly journals Qualitative analysis of Request For Information to identify design flaws in steel construction projects

2020 ◽  
Vol 12 (1) ◽  
pp. 2083-2094
Author(s):  
Mathieu Fokwa Soh ◽  
Daniel Barbeau ◽  
Sylvie Doré ◽  
Daniel Forgues
Keyword(s):  
Construction Industry ◽  
Construction Projects ◽  
Qualitative Content Analysis ◽  
Analysis Tool ◽  
Design Phase ◽  
Essential Step ◽  
Steel Construction ◽  
Structured Information ◽  
Design Documents

AbstractRequest for information (RFI) is a formal process used in the Architecture, Engineering and Construction industry to address design flaws that affect communication between designers and contractors. A large number of RFIs are a sign of a lack of precision or coordination in the design documents. However, RFIs produce rich, precise, and structured information. Analyzing their content can help to identify recurring problems between designers and construction teams and better tailor future projects to the working context of the contractors. This article presents a method for identifying recurring issues during the design phase of steel construction projects through the analysis of the contents of RFIs. It is original in using a qualitative content analysis tool that can analyze large quantities of RFIs rapidly. Identifying the recurrent problems of contractors will allow the establishment of rules to be taken into consideration during the design phase of future steel construction projects. A case study of 26 steel construction projects demonstrates the feasibility of this method. This case study shows that, given the same designers and construction teams, recurring problems shown in RFIs do not differ according to the scale of the projects. In this case, the main issue between designers and contractors is the lack and inadequate presentation of information related to the connection of steel components. Identifying these problems can pave the way for initiatives to improve the design phase and can be an essential step in making contractors’ knowledge available to designers early in the projects.

Impact of e-court systems implementation: a case study

2021 ◽  
Vol ahead-of-print (ahead-of-print) ◽  
Author(s):  
Rozha Kamal Ahmed ◽  
Khder Hassan Muhammed ◽  
Ingrid Pappel ◽  
Dirk Draheim
Keyword(s):  
Relevant Literature ◽  
Appellate Court ◽  
Court Case ◽  
Analysis Tool ◽  
Regional Government ◽  
Court System ◽  
Kurdistan Region ◽  
Design Data ◽  
Content Type

Purpose E-court systems automate court processes and provide better case administration with more effective and efficient justice delivery. This paper aims to present the e-court system in the Sulaimaniyah Appellate Court in the Kurdistan Region of Iraq as a case study. It identifies significant improvements after adopting the system. Design/methodology/approach This study used a qualitative approach with an exploratory case study design. Data collected from a triangulation of three sources through structured expert interviews with 30 stakeholders, personal observations by two of the authors, supported by analyzing current relevant literature. R package for Qualitative Data Analysis was the analysis tool. Findings Findings showed 10 improvements that enhanced court efficiency and effectiveness concerning better case administration, a more transparent process and increased court case security. Research limitations/implications This research is limited to improvements after adopting an e-court system. Practical implications This research provides a foundation for practitioners who are on the way to implement the e-court system and serves the decision-makers in the Kurdistan Regional Government to plan future expansion in the region. Originality/value This research focuses on the e-court system in the Kurdistan Region of Iraq. It is implemented as a first e-service to be a pilot for a broader plan to integrate all appellate courts in other cities in the Kurdistan of Iraq, hence, stepping toward the implementation of e-government.

Security of Railway Infrastructures

2012 ◽  
pp. 355-379
Author(s):  
A. Di Febbraro ◽  
F. Papa ◽  
N. Sacco
Keyword(s):  
Risk Analysis ◽  
Real World ◽  
Analysis Tool ◽  
Security Risk ◽  
Input Output ◽  
Real World Data ◽  
Security Problem ◽  
Output Characteristics ◽  
General Architecture

The chapter is organized as follows: In section 1, the basic definitions of the security risk analysis and the characteristics of the railway security problem are introduced, and a bibliography review is reported. Then, in section 2, the general architecture for designing a security risk analysis tool is presented, focusing on the relevant specifications, and on the input/output characteristics. Therefore, in section 3, with the aim of pointing out the characteristics of the presented architecture, an explicative case study is defined based on real world data coming from Italian railways. Finally, some conclusions and remarks are discussed in chapter 4.

scholarly journals GrainAutLine: an Environment for Semi-Automatic Processing of Marble Thin Section Images

2017 ◽  
Vol 61 (4) ◽  
pp. 305
Author(s):  
Kristóf Csorba ◽  
Ádám Budai ◽  
Judit Zöldföldi ◽  
Balázs Székely
Keyword(s):  
Thin Section ◽  
Analysis Tool ◽  
Basic Operation ◽  
Processing Application ◽  
Domain Specific ◽  
Automatic Image Processing ◽  
Starting Point ◽  
Microscopy Image ◽  
Specific Step

GrainAutLine is an interdisciplinary microscopy image analysis tool with domain specific smart functions to partially automate the processing of marble thin section images. It allows the user to create a clean grain boundary image which is a starting point of several archaeometric and geologic analyses. The semi-automatic tools minimize the need for carefully drawing the grain boundaries manually, even in cases where twin crystals prohibit the use of classic edge detection based boundary detection. Due to the semi-automatic approach, the user has full control over the process and can modify the automatic results before finalizing a specific step. This approach guarantees high quality results both in cases where the process is easy to automate, and also if it needs more help from the user. This paper presents the basic operation of the system and details about the provided tools as a case study for an interdisciplinary, semi-automatic image processing application.

scholarly journals Formal Modeling and Analysis of Fairness Characterization of E-Commerce Protocols

2014 ◽  
Vol 2014 ◽  
pp. 1-10
Author(s):  
Chengwei Zhang ◽  
Xiaohong Li ◽  
Jing Hu ◽  
Zhiyong Feng ◽  
Jiaojiao Song
Keyword(s):  
Formal Modeling ◽  
Sufficient Condition ◽  
Formal Approach ◽  
Common Assumption ◽  
Modeling And Analysis ◽  
Verification Method ◽  
Space Model ◽  
The Past

In the past, fairness verification of exchanges between the traders in E-commerce was based on a common assumption, so-called nonrepudiation property, which says that if the parties involved can deny that they have received or sent some information, then the exchanging protocol is unfair. So, the nonrepudiation property is not a sufficient condition. In this paper, we formulate a new notion of fairness verification based on the strand space model and propose a method for fairness verification, which can potentially determine whether evidences have been forged in transactions. We first present an innovative formal approach not to depend on nonrepudiation, and then establish a relative trader model and extend the strand space model in accordance with traders’ behaviors of E-commerce. We present a case study to demonstrate the effectiveness of our verification method.

scholarly journals OCAAT: automated analysis of star cluster colour-magnitude diagrams for gauging the local distance scale

2014 ◽  
Vol 10 (S306) ◽  
pp. 298-300
Author(s):  
Gabriel I. Perren ◽  
Ruben A. Vázquez ◽  
Andrés E. Piatti ◽  
André Moitinho
Keyword(s):  
Main Sequence ◽  
Star Clusters ◽  
Automated Analysis ◽  
Star Cluster ◽  
Magellanic Clouds ◽  
Distance Scale ◽  
Analysis Tool ◽  
Large Set ◽  
Uncertainty Estimates ◽  
Local Distance

AbstractStar clusters are among the fundamental astrophysical objects used in setting the local distance scale. Despite its crucial importance, the accurate determination of the distances to the Magellanic Clouds (SMC/LMC) remains a fuzzy step in the cosmological distance ladder. The exquisite astrometry of the recently launched ESA Gaia mission is expected to deliver extremely accurate statistical parallaxes, and thus distances, to the SMC/LMC. However, an independent SMC/LMC distance determination via main sequence fitting of star clusters provides an important validation check point for the Gaia distances. This has been a valuable lesson learnt from the famous Hipparcos Pleiades distance discrepancy problem. Current observations will allow hundreds of LMC/SMC clusters to be analyzed in this light.Today, the most common approach for star cluster main sequence fitting is still by eye. The process is intrinsically subjective and affected by large uncertainties, especially when applied to poorly populated clusters. It is also, clearly, not an efficient route for addressing the analysis of hundreds, or thousands, of star clusters. These concerns, together with a new attitude towards advanced statistical techniques in astronomy and the availability of powerful computers, have led to the emergence of software packages designed for analyzing star cluster photometry. With a few rare exceptions, those packages are not publicly available.Here we present OCAAT (Open Cluster Automated Analysis Tool), a suite of publicly available open source tools that fully automatises cluster isochrone fitting. The code will be applied to a large set of hundreds of open clusters observed in the Washington system, located in the Milky Way and the Magellanic Clouds. This will allow us to generate an objective and homogeneous catalog of distances up to ~ 60 kpc along with its associated reddening, ages and metallicities and uncertainty estimates.

Sign in / Sign up

Export Citation Format

Share Document