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

• KIPS Transactions on Software and Data Engineering
• /
• v.5 no.2
• /
• pp.69-78
• /
• 2016

Ischemic stroke is a disease that the brain tissues cannot function by reducing blood flow due to thrombosis or embolisms. Due to the nature of the disease, it is most important to identify the status of cerebral vessel and the medical images are necessarily used for its diagnosis. Among many indicators, brain MRI is most widely utilized because experts can effectively obtain the semantic information such as cerebral anatomy aiding the diagnosis with it. However, in case of emergency diseases like ischemic stroke, even though a intelligent system is required for supporting the prompt diagnosis and treatment, the current systems have some difficulties to provide the information of medical images intuitively. In other words, as the current systems have managed the medical images based on the basic meta-data such as image name, ID and so on, they cannot consider semantic information inherent in medical images. Therefore, in this paper, to provide core information like cerebral anatomy contained in brain MRI, we suggest a template-driven medical images mapping method. The key idea of the method is defining the mapping characteristics between anatomic feature and representative images by using template images that can be representative of the whole brain MRI image set and revealing the semantic relations that only medical experts can check between images. With our method, it will be possible to manage the medical images based on semantic.

• Resources Recycling
• /
• v.3 no.3
• /
• pp.32-49
• /
• 1994

Hydration process is one of the basic carbonation system. Limestone sludge produced in Pohang Iron & Steel Co., Ltd. We tested for identify of hydration characteristics. The result obtained in this study can be summarized as follows; 1. The classify of limestone sludge is type of ground calcium carbonate(-3mm+325mesh)and the major mineral of calcite, and further more high grade(CaO 51%), fine powder(15~22$\mu\textrm{m}$). 2. Limestone sludge mixed two process sludge, first one is washing process sludge and the other one is wet collect kiln dust. The composition rate is about 8:2. Wet collect kiln dust is major mineral of calcite, too. But the sludge is assumed to one by quick lime, slaked lime and unreacted natural limestone. So, the ideal process is dividing of the washing process sludge and wet collect kiln dust. 3. We manufactured of slaked lime from limestone sludge. To investigate the effect of hydration reactor, the experiments was done with various reactor type as magnetic stirrer, shaking incubator and ultrasonic vibration reactor, respectively. Generally, ultrasonic vibration reactor is excellent hydration for limestone sludge and produced very fine slaked lime powder with ideal distribution. 4. The optimum condition is 10% pulp density, when the manufacture of fine slaked lime powder by ultrasonic vibration reactor. And hydration times to compare the results of the study with ultrasonic vibration reactor of generalized most short time(5~10 min). 5. Finally, the dispersive characteristics of slaked lime powder measured 1~5 $\mu\textrm{m}$ from limestone sludge were compared with those of natural limestone ones(10~20$\mu\textrm{m}$), in order to check applicability of slaked lime with hydration process from limestone sludge.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2012.05a
• /
• pp.320-320
• /
• 2012

수문학적 의미의 일반적인 물순환은 증발, 응결, 강수 등 태양에너지와 중력에 의해 전지구적으로 반복되는 물의 재생산과정을 의미한다. 최근 들어 토목분야에서 언급되기 시작한 물순환시스템은 수문학적인 물수지(water balance)에 저류, 공급, 처리, 재이용 등 인공적인 요소를 감안하여 대상지역의 적절한 수요, 공급을 유지하는 시스템을 의미한다. 생활에서 물이 차지하는 중요성을 감안할 때, 지역의 수문학적 특성과 문화, 경제적 여건을 고려한 효율적인 물순환시스템의 구축은 지역발전의 정도를 가늠할 수 있는 지표라 할 수 있다. 본 연구는 물산업 선진국인 영국과 미국의 지역 물순환시스템 설계사례를 조사하고 초기단계인 국내사례와 비교하여 향후 설계지침 개발의 기초자료로 활용하기 위하여 수행되었다. 선진사례 조사는 2009년 이후 미국과 영국에서 수행된 세 건의 물순환 현황조사(water cycle study)와 미국에서 개발된 설계최적화 프로그램을 분석하였고, 국내사례로는 파주운정지구와 광교신도시 개발 시 수행된 물순환시스템 구축사례를 조사하였다. 해외 선진국 사례조사 결과, 물순환시스템 구축은 공통적으로 물순환망 현황조사, 물순환 계획수립, 지역현황 조사, 적용가능 기술조사, 설계 등 5단계를 거쳐 수행되었다. 이 중 가장 중요한 단계는 지역의 물수지와 가용 물 수요 및 공급 시스템을 조사하는 물순환망 현황조사로, 지역의 needs를 정확히 파악하고 양적, 질적 공급목표를 적절하게 선정하여 가장 효율적인 물순환망 계획을 수립하는 바탕이 되었다. 지역현황은 지역 법규 및 투자계획, 사회변화 예측 등 사회적 요소를 고려하는 단계로, 물순환 설계 선진사의 설계 최적화 프로그램의 경우 이러한 지역현황과 사회적 변화 예측의 반영에서 차별성을 갖고 있었다. 적용가능 기술조사의 경우 친환경, 저에너지 기술이 부각되던 추세에서 최근에는 지속가능성이 주요 고려사항 이었다. 국내사업 사례의 경우 규모가 작아 직접적인 비교가 불가하였으나, 5단계의 복잡한 최적화단계가 아닌 물순환망 분석결과와 이해당사자(stakeholders)의 needs를 바탕으로 치수안정성, 친수환경 보장 등의 목표를 수립하였다. 국내에서도 향 후 유역규모(watershed scale)의 대형 물순환기반 복합개발사업이나 대규모 해외사업 참여 시 필요한 기술력 축적의 차원에서 단계별 check list를 포함한 한차원 높은 물순환 설계지침 마련이 필요한 시점이라 하겠다.

• Korean journal of food and cookery science
• /
• v.19 no.3
• /
• pp.339-353
• /
• 2003

The rapid increase in food borne illness outbreaks in Korea has been one of the major threats to the Nation's Health. Foodservice establishments have been identified as the major place for these outbreaks, mainly due to the lack of sanitary management and sanitary facility management practices. The purposes of the study were to develop hospital foodservice facility evaluation tools, based on the general HACCP-based standards and guidelines, for hospital food service establishments, to ensure the safety of these foodservices and to reduce the risk of food home illness. The scope of this study included: 1) an assessment of the current foodservice sanitation practices and managements for 6 general hospitals, with more than 400 beds, and 3 general hospitals, with less than 400 beds; 2) the development of foodservice establishments sanitation evaluation tools and sanitation standards, based on the HACCP system. The survey data showed varied results between the hospitals surveyed. Most of the hospital foodservice operations had many problems with ventilation and the plumbing. The total dimensional mean scores for the hospitals with more than 400 beds and less than 400 beds were 31.5 and 27.0, respectively. The highest dimension scores were for the water supply facility and lighting, with the lowest for insect and rodent control and toxic materials management. The levels of the mean scores were very low, especially for the general hospitals with less than 400 beds. These low mean scores may have arisen from critical problems within the hospital foodservice operations. The most needed facility management items for improvement were: storage shelf should be spaced 6 inches from the floor and walls, the use of three compartment sinks, utility sinks and cleaning facilities, with a floor drain for cleaning mops or liquid wastes, a ventilation hood designed to prevent dripping onto food, cooking facilities should be disassembled for washing and sanitizing, a separated hand washing sink and a sanitized food board for each area should be provided, all toxic material must have warning labels attached, and be stored in an area away from food preparation under padlock. The evaluation tool consisted of 14 dimensions, with 65 check-off items. The results of this study will provide basic facilities' guidelines to regulators, or foodservice industry personnel, wishing to build, or expend, and establish an efficient flow of food. As a result, food borne illnesses will be effectively prevented, and the Nation's health will be promoted for the development of their own sanitation standards, with a checklist for the safe production of foods.

• Fire Science and Engineering
• /
• v.31 no.5
• /
• pp.37-43
• /
• 2017

Domestic sandwich panel buildings are widely used on walls and roofs of factories and warehouse facilities. Factory and warehouse facilities have high fire load and rapid spread of fire due to their use characteristics, leading to large fires. Due to the characteristics of materials, walls and roofs are collapsed, resulting in life damage and property damage. In this regard, this study examined domestic and international standards of sprinkler facilities to prevent ignition of sandwich panel walls. Also, in order to check whether the fire was prevented by installing the head on the wall of the sandwich panel, the fire test was carried out with 10 cm, 60 cm, and 120 cm from the wall along the sprinkler head installation standard of domestic fire safety standards. As a result of the fire test, it was confirmed that the sandwich panel was prevented from igniting when the head of water pressure 0.1 MPa and water quantity K-80 was installed. According to the separation distance, it was impossible to measure the temperature at 10 cm, but at 60 cm, At the maximum temperature of $525^{\circ}C$ and 120 cm, the maximum temperature of the wall of the sandwich panel was measured as $276^{\circ}C$. As a result of the fire test, considering the fire point of 450 degrees Celsius in the fire test of the sandwich panel, the distance from the sandwich panel wall to the combustible is more than 120 cm.

• Fire Science and Engineering
• /
• v.32 no.3
• /
• pp.51-59
• /
• 2018

Although a fire curtain plays an important role in preventing smoke from spreading to the auditorium in a theater fire, there has been insufficient research on fire curtains. In this study, to check the accuracy of numerical simulation, for previous experiments using a reduced scale model, a numerical simulation was carried out, and the results were compared with previous experimental data. The fire curtain effect was then predicted numerically. A Fire Dynamics Simulator (FDS) was used, and the natural exhaust vent sizes were set to ~10%, ~5%, and ~1% of the stage floor area. The smoke movement was visualized, and the mass flow rates and temperatures were measured and analyzed. In addition, the law of similarity was used to examine the influence of a fire curtain in a real scale theater fire. Without the fire curtain, the present numerical simulation results were in agreement with the previous experimental data within reasonable accuracy. Meanwhile, the fire curtain affects the mass flow rates through the natural exhaust vent and proscenium opening, as well as the start time of soot outflow to the auditorium. Overall, the present results can be used to develop a fire curtain system.

• Journal of Ocean Engineering and Technology
• /
• v.34 no.5
• /
• pp.294-303
• /
• 2020

This study discusses data collection, calculation of wind and wave-induced resistance, and speed-power analysis of an 8,600 TEU container ship. Data acquisition system of the ship operator was improved to obtain the data necessary for the analysis, which was accomplished using SPA (Ship Performance Analysis, Park et al., 2019) in conformation with ISO15016:2015. From a previous operation profile of the container, the standard operating conditions of mean draft were 12.5 m and 13.6 m, which were defined with the mean stowage configuration of each condition. Model tests, including the load-variation test, were conducted to validate new ship performance and for the speed-power analysis. The major part of the added resistance of container ship is due to the wind. To check the reliability of wind-resistance calculation results, the resistance coefficients, added resistance, and speed-power analysis results using the Fujiwara regression formula (ISO15016:2015) and Computational fluid dynamics (Ryu et al., 2016; Jeon et al., 2017) analysis were compared. Wind speed and direction measured using an anemometer were used for wind-resistance calculation and the wave resistance was calculated using the wave-height and direction-data from weather information. Also, measured water temperature was used to calculate the increase in resistance owing to the deviation in water density. As a result, the SPA analysis using measured data and weather information was proved to be valid and able to identify the ship's resistance propulsion performance. Even with little difference in the air-resistance coefficient value, both methods provide sufficient accuracy for speed-power analysis. The differences were unnoticeable when the speed-power analysis results using each method were compared. Also, speed-power analysis results of the 8,600 TEU container ship in two draft conditions show acceptable trends when compared with the model test results and are also able to show power increase owing to hull fouling and aging. Thus, results of speed-power analysis of the existing 8,600 TEU container ship using the SPA program appropriately exhibit the characteristics of speed-power performance in deal conditions.

• FLOWER RESEARCH JOURNAL
• /
• v.17 no.4
• /
• pp.285-290
• /
• 2009

This experiment was conducted to investigate the propagation system by seed to check growth, flowering, and making seed of three-year-old cactus of potted Mammillaria goldii. M. theresae, and M. pseudopeclinata. Plant height and width of them was 2.5~2.8 cm, and 2.8~3.1 cm, and seed formation of Mammillaria goldii and M. theresae had internal body taking130 to 135 days to ripening seeds, however, M. pseudopectinata had externals taking just 26 days to ripening seeds. The mean seeded pod from April to June of M. goldii was 50.0% and the number of seeds in a pod was 25.3. In M. theresae, the mean seeded pod from April to June was 57.3% and the number of seeds in a pod was 35.0. However, the highest rate of seeded pod on May of M. pseudopectinata was 75.0% and the number of seed in a pod was 66.0. The sib crossing was much more ripening seed fertilization than that of self cross ing in the Mammillaria. The self crossing was formed from 12.0% to 20.0% of seeded pod, from 12.0 to 16.0 number of seed in a pod. However, sib crossing obtained 58.0% of seeded pod, 30 seeds in a pod of M. goldii, 65.0% seeded pods and 40 seeds in a pod of M. theresae, and 75.0% seeded pod, 68 seeds in a pod of M. pseudopectinala as the highest of them.

• FLOWER RESEARCH JOURNAL
• /
• v.17 no.4
• /
• pp.291-296
• /
• 2009

This experiment was conducted to investigate the propagation system by seed to check growth, flowering, and making seed of four-year-old seedling cactus of potted Astrophytum asterias 'Nudum', A. asterias 'Super Kabuto', and A. myriostigma 'Nudum'. Plant height and width of Astrophytum asterias 'Nudum' and A. asterias 'Super Kabuto' was 5.3 to 5.5 cm, and 2.5 cm. However, plant height and width of A. myriostigma 'Nudum' was 7.6 cm and 5.6 cm as divided into 8 sections of body. In A. asterias 'Nudum', the mean seeded pod from April to September was 37.0% and the number of seeds in a pod was 43.0. In A. asterias 'Super Kabuto', the mean seeded pod from April to September was 22.5% and the number of seeds in a pod was 26.2. However, the mean seeded pod of A. myriostigma 'Nudum' from April to September was 32.3% and the number of seeds in a pod was 57.4. Especially, the seeded pod and the number of seeds in a pod of A. asterias 'Nudum' in July was the highest, 72.0% and 66.0. The sib crossing obtained much more seeded pods and the number of seeds per pod than that of selfing in the Astrophytum. The self crossing was formed from 9.0 to 20.0% of seeded pod, and 12.0 to 16.0 seeds in a pod. However, sib crossing was formed 60.0% seeded pod and 68.0 seeds in a pod on July of A. myriostigma 'Nudum'.