scholarly journals Enhancing Formal Methods Integration with ACP2Petri

2016 ◽  
Vol 40 (2) ◽  
pp. 221-235
Author(s):  
Slavomír Šimoňák ◽  
Martin Šolc
Keyword(s):  
User Interface ◽  
Formal Methods ◽  
Graphical User Interface ◽  
Petri Net ◽  
Algebraic Specification ◽  
Practical Experiences ◽  
Process Algebraic

The paper deals with the ACP2Petri tool, providing a transformation of process algebraic specification to equivalent Petri net-based specification. Long-term practical experiences with the tool revealed some suggestions for its update and extension. Shortcomings and limitations found are described and proposed solutions provided within the paper. Implemented extensions, simplifying the usage of the tool and providing more options for analysis of particular transformation, are also presented. One of the most evident extensions of the tool is its graphical user interface, which allows for convenient management and detailed control over the process of transformation.

scholarly journals The Redesign and Implementation of a Reliable Robotic Pipe Inspection System

2021 ◽  
Author(s):  
◽  
Stephen Winch
Keyword(s):  
User Interface ◽  
Graphical User Interface ◽  
Functional System ◽  
Environmental Services ◽  
Inspection System ◽  
Circuit Boards ◽  
Pipe Inspection

<p>Robotic units used in pipe inspection are expensive to purchase and repair. Many companies do not offer long term support for the repair and maintenance of their robotic units. Consequently Associated Environmental Services Limited (AES), a Wellington based pipe inspection company approached Victoria University to facilitate the repair of a non-functional system. As a result this Masters project aims to design and implement a reliable pipe inspection system for use by AES. This thesis outlines and discusses the circuit boards and software designed for such a robotic unit. A reliable graphical user interface and internal circuitry for the robot was designed and is also presented.</p>

scholarly journals DetEdit: A graphical user interface for annotating and editing events detected in long-term acoustic monitoring data

2020 ◽  
Vol 16 (1) ◽  
pp. e1007598
Author(s):  
Alba Solsona-Berga ◽  
Kaitlin E. Frasier ◽  
Simone Baumann-Pickering ◽  
Sean M. Wiggins ◽  
John A. Hildebrand
Keyword(s):  
User Interface ◽  
Graphical User Interface ◽  
Acoustic Monitoring ◽  
Monitoring Data

scholarly journals The Redesign and Implementation of a Reliable Robotic Pipe Inspection System

2021 ◽  
Author(s):  
◽  
Stephen Winch
Keyword(s):  
User Interface ◽  
Graphical User Interface ◽  
Functional System ◽  
Environmental Services ◽  
Inspection System ◽  
Circuit Boards ◽  
Pipe Inspection

<p>Robotic units used in pipe inspection are expensive to purchase and repair. Many companies do not offer long term support for the repair and maintenance of their robotic units. Consequently Associated Environmental Services Limited (AES), a Wellington based pipe inspection company approached Victoria University to facilitate the repair of a non-functional system. As a result this Masters project aims to design and implement a reliable pipe inspection system for use by AES. This thesis outlines and discusses the circuit boards and software designed for such a robotic unit. A reliable graphical user interface and internal circuitry for the robot was designed and is also presented.</p>

HOW TO USE CROP GROWTH MODEL WOFOST FOR FORECASTING GROWTH AND YIELD OF A CROP

2016 ◽  
Vol 3 (1) ◽  
Author(s):  
LAL SINGH ◽  
PARMEET SINGH ◽  
RAIHANA HABIB KANTH ◽  
PURUSHOTAM SINGH ◽  
SABIA AKHTER ◽  
...  
Keyword(s):  
User Interface ◽  
Graphical User Interface ◽  
Input Data ◽  
Growth And Yield ◽  
Weather Data ◽  
Data Sets ◽  
Crop Growth Model ◽  
Control Center ◽  
Field Crops ◽  
Crop Calendar

WOFOST version 7.1.3 is a computer model that simulates the growth and production of annual field crops. All the run options are operational through a graphical user interface named WOFOST Control Center version 1.8 (WCC). WCC facilitates selecting the production level, and input data sets on crop, soil, weather, crop calendar, hydrological field conditions, soil fertility parameters and the output options. The files with crop, soil and weather data are explained, as well as the run files and the output files. A general overview is given of the development and the applications of the model. Its underlying concepts are discussed briefly.

Sign in / Sign up

Export Citation Format

Share Document