• KIPS Transactions on Software and Data Engineering
• /
• v.11 no.7
• /
• pp.283-290
• /
• 2022

Blockchain is a technology that secures integrity and transparency by distributing and storing transaction details within multiple node networks. Recently, research is being conducted to secure integrity by applying blockchain to Bill of Lading (B/L documents) of monetary value. In this paper, we study a blockchain-based bill of lading system to improve usability. The shippers register the issued bill of lading on the blockchain, and banks in each country read it to conduct L/C transactions. The consignees receive the goods after completing certification with a quick response code (QR) containing the bill of lading information. Through this, shippers enjoy merits in that they can shorten the time and cost of sending shipping documents by mail and prove the integrity of the documents. The consignees have the advantage of being able to check the documents at the same time as they are registered and trust the transaction. Finally, on the bank side, the security of shipping documents is ensured and verification can be done quickly.

• Journal of the Korean Institute of Electrical and Electronic Material Engineers
• /
• v.35 no.5
• /
• pp.459-465
• /
• 2022

This paper reports a method to use a wireless sensor network deployed in the field to real-time monitor soil moisture, warning when the moisture level reaches a specific value, and wirelessly controlling an additional device (LED or water supply system, etc.). In addition, we report all processes related to wireless irrigation system, including field deployment of sensors, real-time monitoring using a smartphone, data calibration, and control of additional devices deployed in the field by smartphone. A commercially available open-source Internet of Things (IoT) platform, NodeMCU, was used, which was combined with a 9V battery, LED and soil humidity sensor to be integrated into a portable prototype. The IoT-based soil humidity sensor prototype deployed in the field was installed next to a tree for on-site demonstration for the measurement of soil humidity in real-time for about 30 hours, and the measured data was successfully transmitted to a smartphone via Wifi. The measurement data were automatically transmitted via e-mail in the form of a text file, stored on the web, followed by analyses and calibrations. The user can check the humidity of the soil real-time through a personal smartphone. When the humidity of a soil reached a specific value, an additional device, an LED device, placed in the field was successfully controlled through the smartphone. This LED can be easily replaced by other electronic devices such as water supplies, which can also be controlled by smartphones. These results show that farmers can not only monitor the condition of the field real-time through a sensor monitoring system manufactured simply at a low cost but also control additional devices such as irrigation facilities from a distance, thereby reducing unnecessary energy consumption and helping improve agricultural productivity.

• Journal of Practical Engineering Education
• /
• v.14 no.3
• /
• pp.491-498
• /
• 2022

In this paper, as a liberal arts course for non-major students, a case study of recurrent neural network SW practice, which is essential for designing a basic recurrent neural network subject curriculum, was developed. The developed SW practice case focused on understanding the operation principle of the recurrent neural network, and used a spreadsheet to check the entire visualized operation process. The developed recurrent neural network practice case consisted of creating supervised text completion training data, implementing the input layer, hidden layer, state layer (context node), and output layer in sequence, and testing the performance of the recurrent neural network on text data. The recurrent neural network practice case developed in this paper automatically completes words with various numbers of characters. Using the proposed recurrent neural network practice case, it is possible to create an artificial intelligence SW practice case that automatically completes by expanding the maximum number of characters constituting Korean or English words in various ways. Therefore, it can be said that the utilization of this case of basic practice of recurrent neural network is high.

• Tuberculosis and Respiratory Diseases
• /
• v.56 no.5
• /
• pp.505-513
• /
• 2004

Background : In lung cancer patients, the presence of metastatic neck nodes is a crucial indicator of inoperabilty. So thorough physical examination of neck is always mandatory, but sometimes those are hardly palpable even by the skillful hand. Ultrasonography is a useful diagnostic method in detection of small impalpable lymph nodes and in guidance of fine needle aspiration biopsy. In this study we evaluated the clinical usefulness of ultrasonography(USG) and ultrasound-guided fine needle aspiration cytology(US-FNA) in lung cancer patients without palpable neck nodes. Methods and Materials : From Sep 2002 to Sep 2003, 36 non-small cell lung cancer patients (20 adenocarcinoma, 16 squamous cell cancer) and 10 small cell lung cancer patients without palpable neck nodes on physical examiation were enrolled. patients who had contralateral mediastinal nodal enlargement(>1cm) on chest CT were excluded. After the routine check of USG on the neck, US-FNA was done in cases with enlarged neck nodes (${\geq}5mm$ in the short axis). The presence of enlarged lymph node on USG, and of malignant cells on cytology were evaluated by the histological type and the patients' clinical stage of lung cancer. Results : Among 36 non-small lung cell cancer patients, 14 (38.8%) had enlarged neck nodes on USG, and 5 of 10 small cell lung carcinoma patients. The mean diameter of the neck nodes was 9.8 mm (range, 7-12 mm). US-FNA of 14 non-small cell lung cancer patients revealed tumor cells in eight patients (57.1%). In 5 small cell lung cancer pateints, tumor cells were found in all cases. By the result of US-FNA, the clinical stage of 8 out of 36 (22.2%) non-small cell lung cancer patients had changed, including two cases of shift from the operable IIIa to the inoperable IIIb. In small cell lung cancer patients their clinical stage was not changed after US-FNA, but their pathological diagnosis was easily done in two cases, in whom endobronchial lesions were not found on bronchoscopy. Conclusions : USG and US-FNA of neck node seem to be safe, sensitive and cost-effective diagnostic tools in the evaluation of lung cancer patients without palpable neck nodes.

• Journal of KIISE:Computing Practices and Letters
• /
• v.12 no.2
• /
• pp.91-101
• /
• 2006

Researches on services of vehicles have been mainly focused on how to provide useful information and entertainment for an in-vehicle driver. However, the needs are appreciably increased for more advanced services that help drivers to check and manage their vehicles conveniently, without requiring drivers to attach to their vehicles. It is a sort of ubiquitous computing, providing an intelligent interactive services for human at any time and any where. In this paper, we present an intelligent vehicle information system to enable a driver to remotely diagnose and control a vehicle via CDMA communication network connected to the Internet. The system improves mobility for diagnosis and control of vehicle by implementing a cut and call back mechanism, which allows the vehicle terminal to have access to the information server on the Internet via CDMA call. No matter where the driver is, he can obtain the remote diagnosis and control services on the web browser without any additional application installation. Design methodology is introduced and evaluation results are analyzed for the CDMA-based intelligent vehicle information system. The experimental results show that the response time of the vehicle terminal to a web client request is 10.302 seconds at the beginning and 646.44ms thereafter. The average response time of CAN sensor node to a vehicle terminal request is 6.669ms.

• Journal of Korea Water Resources Association
• /
• v.45 no.2
• /
• pp.203-215
• /
• 2012

The objective of this study is to develop a catchment hydrologic cycle assessment model which can assess the impact of urban development and designing water cycle improvement facilities. Developed model might contribute to minimize the damage caused by urban development and to establish sustainableurban environments. The existing conceptual lumped models have a potential limitation in their capacity to simulate the hydrologic impacts of land use changes and assess diverse urban design. The distributed physics-based models under active study are data demanding; and much time is required to gather and check input data; and the cost of setting up a simulation and computational demand are required. The Catchment Hydrologic Cycle Assessment Tool (hereinafter the CAT) is a water cycle analysis model based on physical parameters and it has a link-node model structure. The CAT model can assess the characteristics of the short/long-term changes in water cycles before and after urbanization in the catchment. It supports the effective design of water cycle improvement facilities by supplementing the strengths and weaknesses of existing conceptual parameter-based lumped hydrologic models and physical parameter-based distributed hydrologic models. the model was applied to Seolma-cheon catchment, also calibrated and validated using 6 years (2002~2007) hourly streamflow data in Jeonjeokbigyo station, and the Nash-Sutcliffe model efficiencies were 0.75 (2002~2004) and 0.89 (2005~2007).

• Journal of the Korea Society of Computer and Information
• /
• v.17 no.1
• /
• pp.61-69
• /
• 2012

Smart Grid is the next-generation intelligent power grid that maximizes energy efficiency with the convergence of IT technologies and the existing power grid. Smart Grid is created solution for standardization and interoperability. Smart Grid industry enables consumers to check power rates in real time for active power consumption. It also enables suppliers to measure their expected power generation load, which stabilizes the operation of the power system. Smart industy was ecolved actively cause Wireless communication is being considered for AMI system and wireless communication using ZigBee sensor has been applied in various industly. In this paper, we proposed efficient addressing scheme for improving the performance of the routing algorithm using ZigBee in Smart Grid environment. A distributed address allocation scheme used an existing algorithm has wasted address space. Therefore proposing x, y coordinate axes from divide address space of 16 bit to solve this problem. Each node was reduced not only bitwise but also multi hop using the coordinate axes while routing than Cskip algorithm. I compared the performance between the standard and the proposed mechanism through the numerical analysis. Simulation verify performance about decrease averaging multi hop count that compare proposing algorithm and another. The numerical analysis results show that proposed algorithm reduce multi hop than ZigBee distributed address assignment and another.

• Journal of the Institute of Electronics Engineers of Korea TC
• /
• v.37 no.6
• /
• pp.1-11
• /
• 2000

In this paper, we propose a novel control signaling protocol that efficiently controls connection setup and increases the utilization of network resources. The proposed protocol, Separated Control Signaling Protocol(SCSP), separates bearer control from call control lot WDM optical networks. The main function of call control is to check the availability of network resources such as wavelengths and receivers at destination node. Bearer control is to reserve and assign wavelengths. The signaling architecture of this protocol consists of call controller and hearer controller The call controller handles call setup and release, activates the beater controller, and manages the status of call and bearer. The bearer controller reserves wavelengths, sets up bearer, tears down bearer. and notifies the status of beater to call controller. The state transition diagrams of each controller are designed. Using control messages and related primitives, the information flows for call setup and bearer setup, hearer teardown and call release, and reaction for setup failures are described to evaluate the performance. The simulation results show that the separated control signaling protocol is superior to conventional one in terms of call blocking probability and resource utilization.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.38A no.9
• /
• pp.817-825
• /
• 2013

The UHDTV system, which provides realistic service with ultra-high definite video and multi-channel audio, has been studied as a next generation broadcasting service. Since the conventional digital terrestrial transmission system is not capable to cover the increased transmission data rate of the UHDTV service, there are great necessity of researches about increase of data rate. Accordingly, the researches has been studied to increase the transmission data rate of the DVB-T2 system using dual-polarized MIMO technique and high order modulation. In order to optimize the MIMO DVB-T2 system where irregular LDPC codes are used, it is necessary to study the design of the bit mapper that matches the LDPC code and QAM symbols in MIMO channel. However, the research related to the design of the bit mapper has been limited to the SISO system. Therefore, this paper defines a new parameter that indicates the VND distribution of MIMO DVB-T2 system and performs the performance analysis according to the parameter which will be helpful for designing a MIMO bit mapper.

• Journal of KIISE:Computer Systems and Theory
• /
• v.26 no.10
• /
• pp.1264-1274
• /
• 1999

본 논문에서는 분산된 클록들을 주기적으로 동기화 시키는 분산 실시간 시스템에서 시간적 제약을 만족시키기 위한 정적/동적 시간 제약(timing constraint) 변환 기법을 제안한다. 전형적인 이산클록동기화(discrete clock synchronization) 알고리즘은 클록의 값을 순간적으로 조정하여 클록의 시간이 불연속적으로 진행한다. 이러한 시간상의 불연속성은 시간적 이벤트를 잃어버리거나 다시 발생시키는 오류를 범하게 한다.클록 시간의 불연속성을 피하기 위해 일반적으로 연속클록동기화(continuous clock synchronization) 기법이 제안되고 있지만 소프트웨어적으로 구현되면 많은 오버헤드를 유발시키는 문제점이 있다. 본 논문에서는 시간적 제약을 동적으로 변환시키는 DCT (Dynamic Constraint Transformation) 기법을 제안하였으며, 이를 통해 기존의 이산클록동기화 알고리즘을 수정하지 않고서도 클록 시간의 불연속성에 의한 문제점들을 해결할 수 있도록 하였다. 아울러 DCT에 의해 이산클록동기화 하에서 생성된 태스크 스케쥴이 연속클록동기화에 의해 생성된 스케쥴과 동일함을 증명하여 DCT의 동작이 이론적으로 정확함을 증명하였다.또한 분산 실시간 시스템에서 지역 클록(local clock)이 기준 클록과 완벽하게 일치하지 않아서 발생하는 스케쥴링상의 문제점을 다루었다. 이를 위해 먼저 두 가지의 스케쥴링 가능성, 지역적 스케쥴링 가능성(local schedulability)과 전역적 스케쥴링 가능성(global schedulability)을 정의하고, 이를 위해 시간적 제약을 정적으로 변환시키는 SCT (Static Constraint Transformation) 기법을 제안하였다. SCT를 통해 지역적으로 스케쥴링 가능한 태스크는 전역적으로 스케쥴링이 가능하므로, 단지 지역적 스케쥴링 가능성만을 검사하면 스케쥴링 문제를 해결할 수 있도록 하였고 이를 수학적으로 증명하였다.Abstract In this paper, we present static and dynamic constraint transformation techniques for ensuring timing requirements in a distributed real-time system possessing periodically synchronized distributed local clocks. Traditional discrete clock synchronization algorithms that adjust local clocks instantaneously yield time discontinuities. Such time discontinuities lead to the loss or the gain of events, thus raising serious run-time faults.While continuous clock synchronization is generally suggested to avoid the time discontinuity problem, it incurs too much run-time overhead to be implemented in software. We propose a dynamic constraint transformation (DCT) technique which can solve the problem without modifying discrete clock synchronization algorithms. We formally prove the correctness of the DCT by showing that the DCT with discrete clock synchronization generates the same task schedule as the continuous clock synchronization.We also investigate schedulability problems that arise when imperfect local clocks are used in distributed real-time systems. We first define two notions of schedulability, global schedulability and local schedulability, and then present a static constraint transformation (SCT) technique. The SCT ensures that it is sufficient to check the schedulability of a task locally in a node with a local clock, since the global schedulability of the task is derived from its local schedulability through SCT. We formally prove the correctness of SCT.