• Journal of KIISE:Computer Systems and Theory
• /
• v.26 no.11
• /
• pp.1414-1428
• /
• 1999

ATM/B-ISDN 신호 프로토콜과 같은 통신 프로토콜의 상호운용성을 시험하기 위한 시험경우를 생성하는 알고리즘이 제안되었다 1]. 현재까지 상호운용성 시험경우 도출을 자동화하거나 이에 대한 커버리지를 분석한 경우는 없다. 본 논문은 1]에서 제안한 알고리즘을 프로그램으로 구현하여 TCP 연결설정 프로토콜에 적용하고 결과를 분석한다. 이 과정에서 (1) TCP 연결설정 프로토콜의 3방향 핸드 쉐이킹 부분을 다루지 못했던 기존의 알고리즘을 개선하고, (2) 개선된 알고리즘을 프로그램으로 구현하여 TCP 연결설정 프로토콜의 상호운용성 시험경우를 도출하고, (3) 생성된 상호운용성 시험경우를 트랜지션 커버리지 관점에서 분석하고, (4) 향상된 트랜지션 커버리지를 얻기 위하여 알고리즘 확장 방안을 제시한다.Abstract A test derivation method suitable for testing interoperability for the class of communication protocols like the ATM/B-ISDN signaling protocol was proposed 1]. Up to now, there is no work on automating derivation of the interoperability test suite and analyzing its coverage. In this paper, we implement the algorithm proposed by 1], apply it to the Transmission Control Protocol (TCP), and analyze its results. In this process, we (1) improve the algorithm that is not applicable to the TCPs three-way handshaking, (2) implement the improved algorithm as a program and derive an interoperability test suite automatically from a given pair of TCP FSMs, (3) analyze generated interoperability test suite in view of transition coverage, and (4) present a method in order to extend the algorithm for better transition coverage.

• Atmosphere
• /
• v.17 no.4
• /
• pp.339-348
• /
• 2007

Global Environment Laboratory at Yonsei University in Seoul ($37.57^{\circ}N$, $126.95^{\circ}E$) has carried out the ozone layer monitoring program in the framework of the Global Ozone Observing System of the World Meteorlogical Organization (WMO/GAW/GO3OS Station No. 252) since May of 1984. The daily measurements of total ozone and the vertical distribution of ozone amount have been made with the Dobson Spectrophotometer (No.124) on the roof of the Science Building on Yonsei campus. From 2004 through 2006, major parts of the manual operations are automated in measuring total ozone amount and vertical ozone profile through Umkehr method, and calibrating instrument by standard lamp tests with new hardware and software including step motor, rotary encoder, controller, and visual display. This system takes full advantage of Windows interface and information technology to realize adaptability to the latest Windows PC and flexible data processing system. This automatic system also utilizes card slot of desktop personal computer to control various types of boards in the driving unit for operating Dobson spectrophotometer and testing devices. Thus, by automating most of the manual work both in instrument operation and in data processing, subjective human errors and individual differences are eliminated. It is therefore found that the ozone data quality has been distinctly upgraded after automation of the Dobson instrument.

• Journal of Convergence for Information Technology
• /
• v.11 no.5
• /
• pp.138-149
• /
• 2021

Our society is developing exponentially, but schools are not keeping up with the pace of society's development, and they are not providing digital literacy education suitable for the growth and development of students. Thus, this study identified the actual conditions and problems of digital literacy education at school sites and sought the direction of development of digital literacy education. By identifying the current state of schools in which the 2015 curriculum is operated, we sought the direction of the development of digital literacy education for our school. First, old digital devices should be replaced, laptops or smart devices should be provided for each student, and internet access should be available throughout the school. Second, digital literacy education should be provided to teachers by providing various training opportunities.Third, coding education where you can express what you think as logical thinking, Software training should increase the level of the algorithmic domain that shows the computational thinking process of discovering problems and automating a given problem into a computer programming language, there is enough robot that can be seen operating the program, digital parish will need to be delivered.

• Journal of the Korean Geotechnical Society
• /
• v.23 no.11
• /
• pp.27-37
• /
• 2007

Downhole seismic method is very economic and easy to operate because it uses only one borehole and simple surface source to obtain the shear wave velocity profile of a site. In this study, automatic shear wave source was developed for efficient downhole seismic testing. This source is motor-spring type and easy to control. It can lessen the labor of operator and the working time. Moreover, it can provide better and repetitive signals for data interpretation. By combining developed automatic source with automatic receiver system, PC based data acquisition system, advanced managing program, and semi-automatic downhole performing system were constructed. Through comparison test with manual source, advantages of automatic source were verified. Constructed semi-automatic downhole testing system including automatic shear wave source was applied to the soft soil site. The applicability and reliability were verified and the importance of automating testing system for obtaining reliable result was emphasized.

• Journal of Mushroom
• /
• v.13 no.3
• /
• pp.233-236
• /
• 2015

This report is the result of devising a method for utilizing the device of the load cell to maintain a constant water content of the medium every day to prepare a cultural substrates with the mixer for growing mushrooms bottle cultivation. A load cell was device under the medium mixer. It is developed when the device reaches the weight calculated as amount of substrate bottled and number of the bottle, it is automatically terminated by water injection. In addition, measuring the water content of each medium and the total weight of the medium reaches the target moisture content were calculated by using the program Cheong et al. (2015). Enter the total weight of the medium on the display unit of the load cell, when starting the water supply to reach the weight-based mixing media, the water supply is stopped. This method can improve the convenience by reducing the user's trouble in repeated work medium prepared by automating water supply. The suitable moisture content of the mixed medium for some kind of mushroom can be improved by the composition accuracy. And mycelial culture period, primordial period, mushroom growing period is maintained even of the medium can be produced stably. Therefore, it is possible to achieve a stable management of the mushroom farm according to mushroom quality and quantity stable throughout the year.

• Journal of Korea Water Resources Association
• /
• v.57 no.3
• /
• pp.151-164
• /
• 2024

In water treatment plants supplying potable water, the management of chlorine concentration in water treatment processes involving pre-chlorination or intermediate chlorination requires process control. To address this, research has been conducted on water quality prediction techniques utilizing AI technology. This study developed an AI-based predictive model for automating the process control of chlorine disinfection, targeting the prediction of residual chlorine concentration downstream of sedimentation basins in water treatment processes. The AI-based model, which learns from past water quality observation data to predict future water quality, offers a simpler and more efficient approach compared to complex physicochemical and biological water quality models. The model was tested by predicting the residual chlorine concentration downstream of the sedimentation basins at Plant, using multiple regression models and AI-based models like Random Forest and LSTM, and the results were compared. For optimal prediction of residual chlorine concentration, the input-output structure of the AI model included the residual chlorine concentration upstream of the sedimentation basin, turbidity, pH, water temperature, electrical conductivity, inflow of raw water, alkalinity, NH₃, etc. as independent variables, and the desired residual chlorine concentration of the effluent from the sedimentation basin as the dependent variable. The independent variables were selected from observable data at the water treatment plant, which are influential on the residual chlorine concentration downstream of the sedimentation basin. The analysis showed that, for Plant, the model based on Random Forest had the lowest error compared to multiple regression models, neural network models, model trees, and other Random Forest models. The optimal predicted residual chlorine concentration downstream of the sedimentation basin presented in this study is expected to enable real-time control of chlorine dosing in previous treatment stages, thereby enhancing water treatment efficiency and reducing chemical costs.