scholarly journals Sequence Control Program Analysis by Directed Graph of Data Dependence

2014 ◽  
Vol 50 (1) ◽  
pp. 24-29
Author(s):  
Satoru NAKAI ◽  
Akio NODA
Keyword(s):  
Directed Graph ◽  
Program Analysis ◽  
Control Program ◽  
Data Dependence

scholarly journals Behaviour Analysis and Safety Conditions: a Case Study in CML

1997 ◽  
Vol 26 (528) ◽  
Author(s):  
Hanne Riis Nielson ◽  
Torben Amtoft ◽  
Flemming Nielson
Keyword(s):  
Embedded System ◽  
Programming Language ◽  
Program Analysis ◽  
Process Algebra ◽  
Control Program ◽  
Inference Algorithm ◽  
Behaviour Analysis ◽  
Automatic Inference ◽  
Production Cell

We describe a case study where novel program analysis technology has been used to pinpoint a subtle bug in a formally developed control program for an embedded system. The main technology amounts to first defining a process algebra (called behaviours) suited to the programming language used (in our case CML) and secondly to devise an annotated type and effect system for extracting behaviours from programs in a such a manner that an automatic inference algorithm can be developed. The case study is a control program developed for the "Karlsruhe Production Cell" and our analysis of the behaviours shows that one of the safety conditions fails to hold.

Generalizing direct load control program analysis: implementation of the duty cycle approach

1989 ◽  
Vol 4 (1) ◽  
pp. 293-299 ◽  
Author(s):  
N.E. Ryan ◽  
J.T. Powers ◽  
S.D. Braithwait ◽  
B.A. Smith
Keyword(s):  
Duty Cycle ◽  
Program Analysis ◽  
Control Program ◽  
Load Control ◽  
Direct Load Control

Generalizing Direct Load Control Program Analysis: Implementation of the Duty Cycle Approach

1989 ◽  
Vol 9 (2) ◽  
pp. 62-62
Author(s):  
Nancy E. Ryan ◽  
John T. Powers ◽  
Bruce A. Smith ◽  
Steven D. Braithwait
Keyword(s):  
Duty Cycle ◽  
Program Analysis ◽  
Control Program ◽  
Load Control ◽  
Direct Load Control

scholarly journals Analysis of Implementation of Tuberculosis Control and Prevention Program in Purwoyoso Primary Healthcare Center, Semarang City

2021 ◽  
Vol 20 (1) ◽  
Author(s):  
Nahari Ratu Cempaka Wilis ◽  
Hardi Warsono ◽  
Mateus Sakundarno Adi
Keyword(s):  
Success Rate ◽  
Primary Healthcare ◽  
Program Analysis ◽  
Control Program ◽  
Work Load ◽  
Study Approach ◽  
Healthcare Center ◽  
Control And Prevention ◽  
And Control ◽  
Primary Healthcare Center

ABSTRACTTuberculosis (TB) is one of the ten main causes of the highest mortality rate worldwide. The number of TB cases in Purwoyoso Primary Healthcare Center increased by 61 cases or up to 93 cases in 2019. The success rate of treatment performed in the primary healthcare center reached 72%, still not achieving the national target rate. This study analyzed the implementation of TB prevention and control program in Purwoyoso Primary Healthcare Center for tracking patients with TB and achieving the success rate analyzed from inputs, processes, and outputs according to the national target rate. This study used a qualitative method and a case-study approach through observation and in-depth interviews. There were 7 informants selected using purposive sampling. This study performed data collection, reduction, and verification. The results show different inputs, such as health worker layoffs, and double work load in the fieldwork, abrupt training, and absence of an evaluation, budgeting that was not focused on case tracking and report, resulted in suboptimal processes, such as suboptimal health promotion efforts, case tracking and report, as well as control of risk factors. Hence, the number of cases being reported and the success rate of treatment as the outputs would not be optimal.Keywords: Program analysis, Tuberculosis, Primary Healthcare Center

scholarly journals Analisis Proses Kerja Konveyor Mesin Pemadatsampah Plastik Dengan Pemrograman Plc

2018 ◽  
Vol 3 (2) ◽  
Author(s):  
Nur Indah ◽  
Saeful Bahri ◽  
Atthariq Atthariq
Keyword(s):  
Program Analysis ◽  
Control Program ◽  
Programmable Logic Controller ◽  
Plastic Waste ◽  
Automated Testing ◽  
Programmable Logic ◽  
Input Output ◽  
Control Automation ◽  
Manual Testing ◽  
The Right

 Abstrak— Penelitian ini bertujuan untuk membuat program kontrol pada mesin pemadat sampah plastik. Analisis yang dilakukan terhadap program ini menggunakan pengujian secara manual dan pengujian secara otomasi (program). Pembuatan program ini harus sesuai dengan konsep yang telah dibuat sebelumnya. Pembuatan program ini akan dimasukan kedalam PLC 30 I/O. Konsep yang telah dibuat mempunyai jumlah input 9 dan output 12. Selain deskripsi kerja dan input/output dari mesin pemadat sampah ini, ada beberapa hal penting dan khusus yang juga harus dipertimbangkan dalam pembuatan program kontrol ini. dari hasil pembuatan program dan analisis program yang telah dibuat maka di dapat pilihan waktu yang tepat untuk digunakan pada program..Kata kunci— Programmable Logic Controller, Mesin Pemadat Sampah Plastik, Kontrol otomasi. Abstract— This riset aims tocreate a control program on a plastic waste press machine. The analysis conducted on this program uses manual testing and automated testing (program).Making this program must be in accordance with the concept that has been made before. Making this program will be incorporated into 30 I / O PLC. The concept that has been created has a number of inputs 9 and output 12. In addition to the job description and input / output of this garbage compactor, there are some important and specific things that should also be considered in the creation of this control program. From the results of programming and program analysis that has been made then in can the right time choice to be used in program.Keywords— Programmable Logic Controller , Plastic waste press machine, Control Automation.

Adoption, reach, and implementation of a novel smoking control program: Analysis of a public utility-research organization partnership

2004 ◽  
Vol 6 (2) ◽  
pp. 269-274 ◽  
Author(s):  
Russell Glasgow ◽  
Shawn Boles ◽  
Edward Lichtenstein ◽  
Michael Lee ◽  
Lyn Foster
Keyword(s):  
Program Analysis ◽  
Control Program ◽  
Public Utility ◽  
Research Organization ◽  
Smoking Control

Results of the flow cytometry ACTG quality control program: Analysis and findings

1989 ◽  
Vol 52 (1) ◽  
pp. 68-84 ◽  
Author(s):  
Helene Paxton ◽  
Pamela Kidd ◽  
Alan Landay ◽  
Janis Giorgi ◽  
Neal Flomenberg ◽  
...  
Keyword(s):  
Flow Cytometry ◽  
Quality Control ◽  
Program Analysis ◽  
Control Program ◽  
Quality Control Program

scholarly journals On the systematic method of conditional control program execution by a PLC

2016 ◽  
Vol 64 (1) ◽  
pp. 161-170 ◽  
Author(s):  
A. Milik ◽  
M. Chmiel ◽  
E. Hrynkiewicz
Keyword(s):  
Program Analysis ◽  
Formal Method ◽  
Control Program ◽  
Program Execution ◽  
Task Partitioning ◽  
Selective Control ◽  
Conditional Control ◽  
Changes Detection ◽  
Plc Program ◽  
Selective Program

Abstract The paper presents an original idea of the selective control program execution that allows significant response time reduction. The exhaustive analysis of the PLC program performance is given. An analytic approach explains the idea of the selective control program evaluation and gives the requirements for its feasibility. There is presented a systematic and formal method of program analysis based on a data flow graph approach. The method generates acyclic graph from the control program that is subject of optimization, variable allocation and instruction generation. The graph approach allows determining variables dependencies and task partitioning required by selective program execution. The method utilize the hardware supported variable changes detection. It is transparent for system operation and enables evaluation of blocks that require update.

Automated mineral analysis in TASK8

1990 ◽  
Vol 48 (2) ◽  
pp. 212-213
Author(s):  
William F. Chambers ◽  
Arthur A. Chodos ◽  
Roland C. Hagan
Keyword(s):  
National Laboratory ◽  
Control Program ◽  
Mineral Analysis ◽  
Alamos National Laboratory ◽  
Mineral Phase ◽  
Los Alamos National Laboratory ◽  
California Institute Of Technology ◽  
Mineral Phases ◽  
Letter Code ◽  
Institute Of Technology

TASK8 was designed as an electron microprobe control program with maximum flexibility and versatility, lending itself to a wide variety of applications. While using TASKS in the microprobe laboratory of the Los Alamos National Laboratory, we decided to incorporate the capability of using subroutines which perform specific end-member calculations for nearly any type of mineral phase that might be analyzed in the laboratory. This procedure minimizes the need for post-processing of the data to perform such calculations as element ratios or end-member or formula proportions. It also allows real time assessment of each data point.The use of unique “mineral codes” to specify the list of elements to be measured and the type of calculation to perform on the results was first used in the microprobe laboratory at the California Institute of Technology to optimize the analysis of mineral phases. This approach was used to create a series of subroutines in TASK8 which are called by a three letter code.

A computer-control program for TEM in situ fatigue experiments

1989 ◽  
Vol 47 ◽  
pp. 620-621
Author(s):  
Kenneth S. Vecchio ◽  
John A. Hunt
Keyword(s):  
Slow Crack Growth ◽  
Computer Control ◽  
Control Program ◽  
Video Tape ◽  
Computer Control System ◽  
Transmission Electron ◽  
In Situ Experiments ◽  
Tremendous Amount ◽  
And Control

In-situ experiments conducted within a transmission electron microscope provide the operator a unique opportunity to directly observe microstructural phenomena, such as phase transformations and dislocation-precipitate interactions, “as they happen”. However, in-situ experiments usually require a tremendous amount of experimental preparation beforehand, as well as, during the actual experiment. In most cases the researcher must operate and control several pieces of equipment simultaneously. For example, in in-situ deformation experiments, the researcher may have to not only operate the TEM, but also control the straining holder and possibly some recording system such as a video tape machine. When it comes to in-situ fatigue deformation, the experiments became even more complicated with having to control numerous loading cycles while following the slow crack growth. In this paper we will describe a new method for conducting in-situ fatigue experiments using a camputer-controlled tensile straining holder.The tensile straining holder used with computer-control system was manufactured by Philips for the Philips 300 series microscopes. It was necessary to modify the specimen stage area of this holder to work in the Philips 400 series microscopes because the distance between the optic axis and holder airlock is different than in the Philips 300 series microscopes. However, the program and interfacing can easily be modified to work with any goniometer type straining holder which uses a penrmanent magnet motor.

Sign in / Sign up

Export Citation Format

Share Document