• 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.

• Journal of the Korean Society for Nondestructive Testing
• /
• v.24 no.4
• /
• pp.390-395
• /
• 2004

The iSTMS is a web-based integrated information system supporting Pre-Service and In-Service Inspection(PSI/ISI) processes for the nuclear power plants of KHNP(Korea Hydro & Nuclear Power Co. Ltd.). The system provides a full spectrum coverage of the inspection processes from the planning stage to the final report of examination in accordance with applicable codes, standards, and regulatory requirements. The major functions of the system includes the inspection planning, examination, reporting, project control and status reporting, resource management as well as objects search and navigation. The system also provides two dimensional or three dimensional visualization interface to identify the location and geometry of components and weld areas subject to examination in collaboration with database applications. The iSIMS is implemented with commercial software packages such as database management system, 2-D and 3-D visualization tool, etc., which provide open, updated and verified foundations. This paper describes the key functions and the technologies for the implementation of the iSIMS.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.17 no.10
• /
• pp.725-731
• /
• 2016

This study numerically investigates the thermal performance of a 2.0-kW butane-based combustion heating system for an electric vehicle under cold conditions. The system is used for cabin space heating and coolant-based battery thermal management. ANSYS CFX 17 software was used for parametric analysis. The mass flow rates of cold air and coolant were varied, and their effects were compared. The numerical results were validated with theoretical studies, which showed an error of 0.15%. As the outside air mass flow rates were increased to 0.005, 0.01, and 0.015 kg/s, the cabin supply air temperature decreased continuously while the coolant outlet temperature increased. When the coolant mass flow rates were increased to 0.005, 0.01 and 0.015 kg/s, the air temperature increased while the coolant outlet temperatures decreased. The optimal mass flow rates are discussed in a consideration of the requirements for high cabin heating capacity and efficient battery thermal management.

• Journal of Distribution Science
• /
• v.13 no.1
• /
• pp.27-33
• /
• 2015

Purpose - The ICT market in the EU is lagging behind that of the US; however, algorithm and software development within the EU have grown steadily, and they involve focusing on the creative cultural convergence conceptualized as part of Horizon 2020 and connecting neighboring markets in the EE and the Mediterranean region. It is essential to study the requirements to market the EU's creative ICT development in emerging industrial countries after examining its applicability in these countries. Research design, data, and methodology - This study deals with data pertaining to the EU's creative industry and competitive edge. The global cultural expansion of the EU facilitates a new concept involving not only low-cost IT products to enhance local cultural artifacts through R&D and the construction of efficient infrastructure services, but also information exchange with a realistic commercialization of the technology that can be applied for creative cultural localization. In the European industry, research on algorithms has been applied for the benefit of consumers. We investigated how the process is conducted in the EU. Results - Europe needs to adjust its economic structure to the local culture as part of IT distribution convergence. The convergence has been converted into a production algorithm with IT in the form of low-cost production. This is because there is an attempt to improve the quality of transport infrastructure, workforce availability, and the distribution of the distance to the local industries and consumers, using IT algorithms. Integrated into the manufacturing industry, based on the ICT infrastructure and solutions, smart localized regional clusters are formed with the help of grafting. Europe has own strategy to increase the number of hub-and-spoke cities. Europe is now becoming integrated, with an EPC system for regional cooperation rather than national competition in ICT technology. Europe has also been recognized in this study as changing the step-by-step paradigm for global competitiveness through new creative culture industries. Conclusions - As a result, there are several ways of converging with others through EU R&D intensity; therefore, the EU can be seen as successfully increasing marginal value, which is useful in developing a special industrial cluster or local cultural cities that create converged development by connecting people and objects with IT. In fact, when compared to the US, Europe has a strong culture and the car industries have a tendency to overshadow the IT industries with integration of services in IT distribution. Considering the rapid environmental changes, the convergence of IT services is likely to take place in Europe, similar to the pharmaceutical industry and the automotive industry. This requires a focus on human resources and automated systems management. The trend is to move away from low-wage industries, switched to key personnel centers of the local university-industry. EU emphasizes the creation of IT market demand in Europe involving local cultural convergence for marketing as the second step to strengthen the economic hub-and-spoke areas.

• Journal of the Korea Society of Computer and Information
• /
• v.18 no.12
• /
• pp.55-64
• /
• 2013

In this paper, the HILS (Hardware In-the-Loop Simulation) system to analyze and to verify the performance of the targeting pod is addressed. The main functions of the targeting pod is acquiring and tracking targets to guide a LGB (Laser Guided Bomb) to the targets. For the analysis of targeting pod, the real time simulate images generation of IR and daylight cameras, sever control technology, and the analysis of laser transfer characteristics are necessary. For the real time image generation and the laser transfer characteristics analysis, off-the-shelf SDK(Software Development Kit) OKTAL-SE is used. For the servo controller, well-proven mechanism in the previous program is applied to increase servo control accuracy. To analyze the performance of a targeting pod in a realistic environment, 1553B, ARINK818 interface and etc. which are actually implemented in real combat aircrafts are applied in the system. By using the developed HILS system, the performance of currently operating targeting pods in real combat aircrafts can be analyzed and predicted. Additionally, the relationship between overall system performance and each module performance can be analyzed, the currently developed HILS system is expected to be a very useful tool to generate system development requirements of targeting pods and to reduce any possible future development risks.

• KIPS Transactions on Software and Data Engineering
• /
• v.10 no.10
• /
• pp.391-398
• /
• 2021

Since the leased line is a structure that exclusively uses two connected areas for data transmission, a stable quality level and security are ensured, and despite the rapid increase in the number of switched lines, it is a line method that is continuously used a lot in companies. However, because the cost is relatively high, one of the important roles of the network operator in the enterprise is to maintain the optimal state by properly arranging and utilizing the resources of the network leased line. In other words, in order to properly support business service requirements, it is essential to properly manage bandwidth resources of leased lines from the viewpoint of data transmission, and properly predicting and managing leased line usage becomes a key factor. Therefore, in this study, various prediction models were applied and performance was evaluated based on the actual usage rate data of leased lines used in corporate networks. In general, the performance of each prediction was measured and compared by applying the smoothing model and ARIMA model, which are widely used as statistical methods, and the representative models of deep learning based on artificial neural networks, which are being studied a lot these days. In addition, based on the experimental results, we proposed the items to be considered in order for each model to achieve good performance for prediction from the viewpoint of effective operation of leased line resources.

• Korean Journal of Remote Sensing
• /
• v.37 no.5_2
• /
• pp.1235-1243
• /
• 2021

Geostationary Ocean Color Imager 2 (GOCI-II) on Geo-KOMPSAT-2 (GK2B)satellite was developed as a mission successor of GOCI on COMS which had been operated for around 10 years since launch in 2010 to observe and monitor ocean color around Korean peninsula. GOCI-II on GK2B was successfully launched in February of 2020 to continue for detection, monitoring, quantification, and prediction of short/long term changes of coastal ocean environment for marine science research and application purpose. GOCI-II had already finished IAC and IOT including early in-orbit calibration and had been handed over to NOSC (National Ocean Satellite Center) in KHOA (Korea Hydrographic and Oceanographic Agency). Radiometric calibration was periodically conducted using on-board solar calibration system in GOCI-II. The final calibrated gain and offset were applied and validated during IOT. And three video parameter sets for one day and 12 video parameter sets for a year was selected and transferred to NOSC for normal operation. Star measurement-based INR (Image Navigation and Registration) navigation filtering and landmark measurement-based image geometric correction were applied to meet the all INR requirements. The GOCI2 INR software was validated through INR IOT. In this paper, status and results of IOT, radiometric calibration and INR of GOCI-II are analysed and described.

• Journal of Korea Trade
• /
• v.25 no.8
• /
• pp.1-24
• /
• 2021

Purpose - This study categorizes factors that influence the utilization of preferential tariffs based on the characteristics of rules of origin (RoO) and identifies and analyzes the influence of these characteristics on the utilization of preferential tariffs and the trade performance of companies. Design/methodology - In this study, we categorized factors that have an influence on the utilization of preferential tariffs based on the characteristics of RoO and investigated and tested the influence of these characteristics on the utilization of preferential tariffs and the trade performance of companies. For empirical analysis, we categorized the characteristics of RoO into restrictiveness, complexity, and uncertainty. We then developed a research model and formulated hypotheses based on previous studies, and tested the hypotheses using statistical software-(SPSS 25.0 and AMOS 18.0.) Findings - Previous studies suggested that each characteristic of RoO is determined by unique features of a Regional Trade Agreement (RTA). This study conducted an empirical analysis on the influence of the characteristics of RoO on the utilization of preferential tariffs and trade performance. The results confirmed that, overall, the characteristics of preferential rules of origin (PRoO) are related to and influence Korean companies' utilization of preferential tariffs and trade performance. As for the degree of the influence, the characteristics were in the order of uncertainty> restrictiveness> complexity. Nevertheless, complexity turned out not to have an influence large enough to change a company's decision on the utilization of preferential tariffs. Based on these results, this study identified unique features of PRoO and related problems for Korean companies that want to utilize preferential tariffs and suggested countermeasures for their effective utilization of preferential tariffs in the future. Originality/value - Companies that want to use preferential tariffs in international trade have to satisfy PRoO. The issue of origin can be regarded as an essential part of an RTA and RoO, are a crucial criterion in using preferential tariffs. The rules are requirements to claim benefits of preferential trade agreements and are the primary reasons companies have trouble in utilizing preferential tariffs. In this sense, this study categorized the characteristics of RoO, which are a key part of an RTA, and surveyed working-level professionals in charge of international trade at Korean companies to investigate the relationship between these characteristics and the utilizations of preferential tariffs and trade performance of the companies.

• KIPS Transactions on Software and Data Engineering
• /
• v.8 no.6
• /
• pp.251-256
• /
• 2019

A capsule endoscopy is a medical device that can capture an entire digestive organ from the esophagus to the anus at one time. It produces a vast amount of images consisted of about 8~12 hours in length and more than 50,000 frames on a single examination. However, since the analysis of endoscopic images is performed manually by a medical imaging specialist, the automation requirements of the analysis are increasing to assist diagnosis of the disease in the image. Among them, this study focused on automatic detection of polyp images. A polyp is a protruding lesion that can be found in the gastrointestinal tract. In this paper, we propose a weighted-image generation method to enhance the polyp image learning by multi-scale analysis. It is a way to extract the suspicious region of the polyp through the multi-scale analysis and combine it with the original image to generate a weighted image, that can enhance the polyp image learning. We experimented with SVM and RF which is one of the machine learning methods for 452 pieces of collected data. The F1-score of detecting the polyp with only original images was 89.3%, but when combined with the weighted images generated by the proposed method, the F1-score was improved to about 93.1%.

• The Journal of Society for e-Business Studies
• /
• v.24 no.2
• /
• pp.199-216
• /
• 2019

The public SW market is 3 trillion won, which is less than 10% of the total SW market. However, due to the nature of the domestic market, it is an important market with a relatively large impact on small and medium-sized software companies. In this market, government is operating the Public SW Project Demand Forecasting System in order to support the marketing activities of small and medium sized SW companies and establish a fair market order. The current system has limitations such as lack of user convenience, insufficient analysis capability and less business connection. This study was conducted to identify the problems of these systems and to propose a new system for improving the convenience of users and expanding the information utilization of SMEs. To this end, we analyzed the requirements of each stakeholder. We proposed the 2-phased forecasting cycle, the management cycle, and the system life cycle of public SW projects and created a unified identifier (UID) so that the information of those projects can be identified and linked among them. As a result, an integrated reference model of project information management based on system life cycle was developed, which can explain the demand forecasting and project information, and the improved processes was also designed to implement them. Through the result of this study, it is expected that integrated management of public SW projects will be possible.