An Integrated High-Level On-Line Test Synthesis Tool

2006 ◽  
Vol 25 (11) ◽  
pp. 2479-2491 ◽  
Author(s):  
P. Oikonomakos ◽  
M. Zwolinski
Keyword(s):  
Test Synthesis ◽  
Synthesis Tool ◽  
On Line ◽  
Line Test ◽  
High Level

The Concept of Model-View-Controler (MVC) as Solution Software Development

CCIT Journal ◽  
2010 ◽  
Vol 3 (3) ◽  
pp. 377-402
Author(s):  
Ermatita Ermatita ◽  
Huda Ubaya ◽  
Dwirosa Indah
Keyword(s):  
Software Development ◽  
Model View Controller ◽  
On Line ◽  
Line Test ◽  
Model View

Pengembangan perangkat lunak adalah tugas kompleks dan membutuhkan adaptasi untuk mengakomodasi kebutuhan pengguna. Untuk membuat konsep dan perubahan perangkat lunak, dalam pemeliharaan, sekarang telah dikembangkan lebih mudah dalam pengembangan perangkat lunak, pola model-view-controller, yang merupakan arsitektur yang dapat membantu memfasilitasi dalam pengembangan dan pemeliharaan perangkat luna. Hal ini, karena dalam arsitektur model tiga-lapis, yaitu: tampilan dan pengontrolan dalam pembangunan dilakukan secara independen, sehingga dapat memberikan dahan dalam pengembangan dan pemeliharaan. Selain itu, arsitektur ini juga dapat melihat hal-hal yang sederhana dan menarik bagi pengguna. Software sistem on-line test adalah perangkat lunak yang memerlukan interaksi dengan pengguna, dan pemeliharaan perangkat adaptif. Karena sistem ujian on-line memerlukan pengembangan perangkat lunak untuk mengakomodasi kebutuhan ini berkembang dengan cepat. Makalah ini untuk menganalisis Model-View-Controller dan mencoba pembangunan, untuk menerapkannya dalam pengembangan perangkat lunak sistem pengujian on-line. 

scholarly journals Oversizing Thread Diagnosis in Tapping Operation

Metals ◽  
2021 ◽  
Vol 11 (4) ◽  
pp. 537
Author(s):  
Alain Gil Del Val ◽  
Fernando Veiga ◽  
Mariluz Penalva ◽  
Miguel Arizmendi
Keyword(s):  
Control Chart ◽  
Manufacturing Systems ◽  
Spindle Motor ◽  
Multivariate Statistical ◽  
Statistical Process ◽  
Knowing That ◽  
On Line ◽  
High Level ◽  
Screw Threads ◽  
Multivariate Control

Automotive, railway and aerospace sectors require a high level of quality on the thread profiles in their manufacturing systems knowing that the tapping process is a complex manufacturing process and the last operation in a manufacturing cell. Therefore, a multivariate statistical process control chart, for each tap, is presented based on the principal components of the torque signal directly measured from spindle motor drive to diagnosis the thread profile quality. This on-line multivariate control chart has implemented an alarm to avoid defected screw threads (oversized). Therefore, it could work automatically without any operator intervention assessing the thread quality and the safety is guaranteed during the tapping process.

A Study on the Method of Vibration Analysis for Korean High Speed Train by the On-Line Test

2006 ◽  
Vol 321-323 ◽  
pp. 1593-1596 ◽  
Author(s):  
Chan Kyoung Park ◽  
Ki Whan Kim ◽  
Jin Yong Mok ◽  
Young Guk Kim ◽  
Seog Won Kim
Keyword(s):  
Vibration Analysis ◽  
High Speed ◽  
Vibration Mode ◽  
Dynamic Performance ◽  
Railway Vehicle ◽  
High Speed Train ◽  
Acceleration Data ◽  
On Line ◽  
System Vibration ◽  
Line Test

The Korean High Speed Train (KHST) has been tested on the Kyongbu high speed line and the Honam conventional line since 2002. A data acquisition system was developed to test and prove the dynamic performance of the KHST, and the system has been found to be very efficient in acquiring multi-channel data from accelerometers located all over the train. Also presented in this paper is an analysis procedure which is simple and efficient in analyzing the acceleration data acquired during the on-line test of the KHST. The understanding of system vibration mode for a railway vehicle is essential to evaluate the characteristics of a dynamic system and to diagnose the dynamic problems of the vehicle system during tests and operations. Methods based on homogeneous linear systems are not realistic because real systems have nonlinear characteristics and are strongly dependent on environmental conditions. In this paper an efficient method of vibration analysis has been proposed and applied for the KHST to evaluate its vibration mode characteristics. The results show that this method is suitable to estimate the system vibration modes of the KHST.

A Framework for Validation of Synthesized MicroElectrode Dot Array Actuations for Digital Microfluidic Biochips

2021 ◽  
Vol 26 (6) ◽  
pp. 1-36
Author(s):  
Pushpita Roy ◽  
Ansuman Banerjee
Keyword(s):  
Formal Analysis ◽  
Digital Microfluidics ◽  
Analysis Method ◽  
Correctness Proofs ◽  
Synthesis Tool ◽  
Laboratory Procedures ◽  
Automated Tools ◽  
Digital Microfluidic ◽  
High Level ◽  
Smooth Transformation

Digital Microfluidics is an emerging technology for automating laboratory procedures in biochemistry. With more and more complex biochemical protocols getting mapped to biochip devices and microfluidics receiving a wide adoption, it is becoming indispensable to develop automated tools and synthesis platforms that can enable a smooth transformation from complex cumbersome benchtop laboratory procedures to biochip execution. Given an informal/semi-formal assay description and a target microfluidic grid architecture on which the assay has to be implemented, a synthesis tool typically translates the high-level assay operations to low-level actuation sequences that can drive the assay realization on the grid. With more and more complex biochemical assay protocols being taken up for synthesis and biochips supporting a wider variety of operations (e.g., MicroElectrode Dot Arrays (MEDAs)), the task of assay synthesis is getting intricately complex. Errors in the synthesized assay descriptions may have undesirable consequences in assay operations, leading to unacceptable outcomes after execution on the biochips. In this work, we focus on the challenge of examining the correctness of synthesized protocol descriptions, before they are taken up for realization on a microfluidic biochip. In particular, we take up a protocol description synthesized for a MEDA biochip and adopt a formal analysis method to derive correctness proofs or a violation thereof, pointing to the exact operation in the erroneous translation. We present experimental results on a few bioassay protocols and show the utility of our framework for verifiable protocol synthesis.

Effects of "On-Line" Test Feedback on the Seriousness of Subsequent Errors

1987 ◽  
Vol 24 (2) ◽  
pp. 145-155 ◽  
Author(s):  
Menucha Birenbaum ◽  
Kikumi K. Tatsuoka
Keyword(s):  
Test Feedback ◽  
On Line ◽  
Line Test
Sign in / Sign up

Export Citation Format

Share Document