• Journal of KIISE:Software and Applications
• /
• v.28 no.10
• /
• pp.706-719
• /
• 2001

In this paper, we present a new approach to deterministic execution for testing concurrent programs. The proposed approach makes use of the notion of event independence which has been used in the partial-order method in order to resolve the state-explosion problem and constructs and automation which accepts all the sequences semantically equivalent to a given sequence. Consequently, we can allow a program to be executed according to event sequences other then the (possibly infeasible) given sequence if they have the same effects on the program's behavior. One advantage of this method is that it can be applied to situations where a program is not exactly implemented as described in the specification.

• International conference on construction engineering and project management
• /
• 2020.12a
• /
• pp.443-452
• /
• 2020

Worker's awkward postures and unreasonable physical load can be corrected by monitoring construction activities, thereby increasing the safety and productivity of construction workers and projects. However, manual identification is time-consuming and contains high human variance. In this regard, an automated activity recognition system based on inertial measurement unit can help in rapidly and precisely collecting motion data. With the acceleration data, the machine learning algorithm will be used to train classifiers for automatically categorizing activities. However, input acceleration data are extracted either from designed experiments or simple construction work in previous studies. Thus, collected data series are discontinuous and activity categories are insufficient for real construction circumstances. This study aims to collect acceleration data during long-term continuous work in a construction project and validate the feasibility of activity recognition algorithm with the continuous motion data. The data collection covers two different workers performing formwork at the same site. An accelerator, as well as portable camera, is attached to the worker during the entire working session for simultaneously recording motion data and working activity. The supervised machine learning-based models are trained to classify activity in hierarchical levels, which reaches a 96.9% testing accuracy of recognizing rest and work and 85.6% testing accuracy of identifying stationary, traveling, and rebar installation actions.

• International Journal of Computer Science & Network Security
• /
• v.23 no.2
• /
• pp.199-202
• /
• 2023

Carriage return (CR) and line feed (LF), also known as CRLF injection is a type of vulnerability that allows a hacker to enter special characters into a web application, altering its operation or confusing the administrator. Log poisoning and HTTP response splitting are two prominent harmful uses of this technique. Additionally, CRLF injection can be used by an attacker to exploit other vulnerabilities, such as cross-site scripting (XSS). Email injection, also known as email header injection, is another way that can be used to modify the behavior of emails. The Open Web Application Security Project (OWASP) is an organization that studies vulnerabilities and ranks them based on their level of risk. According to OWASP, CRLF vulnerabilities are among the top 10 vulnerabilities and are a type of injection attack. Automated testing can help to quickly identify CRLF vulnerabilities, and is particularly useful for companies to test their applications before releasing them. However, CRLF vulnerabilities can also lead to the discovery of other high-risk vulnerabilities, and it fosters a better approach to mitigate CRLF vulnerabilities in the early stage and help secure applications against known vulnerabilities. Although there has been a significant amount of research on other types of injection attacks, such as Structure Query Language Injection (SQL Injection). There has been less research on CRLF vulnerabilities and how to detect them with automated testing. There is room for further research to be done on this subject matter in order to develop creative solutions to problems. It will also help to reduce false positive alerts by checking the header response of each request. Security automation is an important issue for companies trying to protect themselves against security threats. Automated alerts from security systems can provide a quicker and more accurate understanding of potential vulnerabilities and can help to reduce false positive alerts. Despite the extensive research on various types of vulnerabilities in web applications, CRLF vulnerabilities have only recently been included in the research. Utilizing automated testing as a recurring task can assist companies in receiving consistent updates about their systems and enhance their security.

• Journal of the Korean Society for Nondestructive Testing
• /
• v.16 no.2
• /
• pp.95-108
• /
• 1996

In ultrasonic testing, flaw signal from which quantitative information on flaws is determined is influenced by 3 factors : (1) the incident wavefield.produced by the transducer, (2) the scattered waves produced by flaws, and (3) the reception of the scattered waves back at the transducer. So even small changes in transducer performance due to aging or unexpected damages can produce the changes in the characteristics of flaw signal and finally the changes in the quantitative information on flaws. Thus a reliable calibration method of transducer performance is desired. Recently, theoretical models for ultrasonic testing have been employed as reference standards for the calibration of transducers which are considered as circular planar piston sources in the most of cases. But this simplification cannot be applied to partially damaged transducer which has lost their symmetry in performance, even not in appearance. Unfortunately there has been no reliable practical model which can be used for the calibration of partially damaged transducers. Here a pulse-echo testing model for partially damaged ultrasonic transducers was developed with experimental verification. The experimental responses agree very well with the theoretical prediction. So we expect that this model can be served as a theoretical reference standards for transducer calibration.

• 제어로봇시스템학회:학술대회논문집
• /
• 1991.10b
• /
• pp.1639-1645
• /
• 1991

Because of the important role LD converters play in the production of high quality steel, various dynamic models have been attempted in the past by many researchers not only to understand the complex chemical reactions that take place in the converter process but also to assist the converter operation itself using computers. And yet no single dynamic model was found to be completely satisfactory because of the complexity involved with the process. The process indeed involves dynamic energy and mass balances at high temperatures accompanied by complex chemical reactions and transport phenomena in the molten state. In the present study, a mathematical model describing the dynamic behavior of LD converter process has been developed. The dynamic model describes the time behavior of the temperature and the concentrations of chemical species in the hot metal bath and slag. The analysis was greatly facilitated by dividing the entire process into three zones according to the physical boundaries and reaction mechanisms. These three zones were hot metal (zone 1), slag (zone 2) and emulsion (zone 3) zones. The removal rate of Si, C, Mn and P and the rate of Fe oxidation in the hot metal bath, and the change of composition in the slag were obtained as functions of time, operating conditions and kinetic parameters. The temperature behavior in the metal bath and the slag was also obtained by considering the heat transfer between the mixing and the slag zones and the heat generated from chemical reactions involving oxygen blowing. To identify the unknown parameters in the equations and simulate the dynamic model, Hooke and Jeeves parttern search and Runge-Kutta integration algorithm were used. By testing and fitting the model with the data obtained from the operation of POSCO #2 steelmaking plant, the dynamic model was able to predict the characteristics of the main components in the LD converter. It was possible to predict the optimum CO gas recovery by computer simulation

• Proceedings of the Korean Society of Tribologists and Lubrication Engineers Conference
• /
• 2002.10b
• /
• pp.125-127
• /
• 2002

This paper presents the measurement process of the rotational accuracy and the comparison with the theoretical results in the main bearing of scroll compressor. The main bearing is cylindrical oil proceeding bearing, but there are straightly cut used for oil supply. Therefore the roundness error is not a negligible quantity compared with the rotational accuracy. For this reason, three-point method is used in the experiment. The result of three-point method coincides with the theoretical value. So if the theory in this paper is used to the bearing design of scroll compressor, the efforts for testing and designing can be reduced.

• International Journal of Control, Automation, and Systems
• /
• v.2 no.1
• /
• pp.39-54
• /
• 2004

We developed an automatic blood pressure control system to maintain the blood pressure of patients at a substantially low level during a surgical operation. The developed system discharges two functions, continuous feedback control of the mean arterial pressure (MAP) by a state-predictive servo controller and risk control based on the inference by fuzzy-like logics and rules using measured data. Twenty-eight clinical applications were made beginning in November 1995, and the effects of the automatic blood pressure control on the operation time and on bleeding were assessed affirmatively by means of Wilcoxon testing. This paper essentially reports the engineering details of the control system.

• Proceedings of the Korean Institute of Intelligent Systems Conference
• /
• 2003.09a
• /
• pp.296-299
• /
• 2003

This paper presents the implementation of an integrated messaging gateway (IMG) based on the open services gateway initiative (OSGi) specification to deliver home messages between home and some telecommunication devices. The IMG has four service agents to support a diverse communication channel. In this paper, we describe a software architecture for a seamless messaging and device layouts in the IMG. And then, we detail each components allowing users to be notified automatically through a cellular phone, a telephone, and the Internet.

• Proceedings of the KIEE Conference
• /
• 2009.07a
• /
• pp.115_116
• /
• 2009

IEC 61850 based substation automation system mainly consists of a various of protective and control IEDs. In order to implement the system, All of them should require the performance verification of IEC 61850 communication services for the assurance of interoperability throughout the digital network. This paper shows a research result on the testing method of IEC 61850 control communication interface of IEDs according to IED IEC 61850 conformance test procedures.

• Proceedings of the KIEE Conference
• /
• 2009.07a
• /
• pp.1895_1896
• /
• 2009

본 논문에서는 로봇 소프트웨어 컴포넌트 테스팅 자동화에 적합한 테스팅 자동화 프레임워크 및 계층적 로봇 소프트웨어 테스트 모델을 제안한다. 테스팅 자동화 프레임워크는 로봇 소프트웨어 컴포넌트의 지속적인 통합, 다양한 로봇 환경 및 분산 컴포넌트 환경을 지원한다. 테스팅 자동화 프레임워크를 실제 구현하여 테스트 베드에 설치 및 평가를 통하여, 본 논문에서 제안하는 프레임워크가 효율적임을 보인다.