• Title/Summary/Keyword: Check System

Search Result 3,318, Processing Time 0.036 seconds

Design and Implementation of Sensibilities Lighting LED Controller using Modbus for a Ship (Modbus를 이용한 선박용 감성조명 LED 제어기의 설계 및 구현)

  • Jeong, Jeong-Soo;Lee, Sang-Bae
    • Journal of Navigation and Port Research
    • /
    • v.39 no.4
    • /
    • pp.299-305
    • /
    • 2015
  • Modbus is a serial communications protocol, it has since become a practically standard communication protocol, and it is now a commonly available means of connecting industrial electronic devices. Therefore, it can be connected with all devices using Modbus protocol to the measurement and remote control on the ships, buildings, trains, airplanes and etc.. In this paper, we add the Modbus communication protocol to the existing lighting controller sensitivity to enable verification and remote control by external environmental factors, and also introduces a fuzzy inference system was configured by external environmental factors to control LED lighting. External environmental factors of temperature, humidity, illuminance value represented by the LED through a fuzzy control algorithm, the values accepted by the controller through the sensor. Modbus is using the RS485 Serial communication with other devices connected to the temperature, humidity, illumination and LED output status check is possible. In addition, the remote user is changed to enable it is possible to change the RGB values in the desired color change. Produced was confirmed that the LED controller output is based on the temperature, humidity and illumination.

Revisting Clock Synchronization Problems : Static and Dynamic Constraint Transformations for Real Time Systems (시계 동기화 문제의 재 고찰 : 실시간 시스템을 위한 정적/동적 제약 변환 기법)

  • Yu, Min-Su;Park, Jeong-Geun;Hong, Seong-Su
    • 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.

Brain MRI Template-Driven Medical Images Mapping Method Based on Semantic Features for Ischemic Stroke (허혈성 뇌졸중을 위한 뇌 자기공명영상의 의미적 특징 기반 템플릿 중심 의료 영상 매핑 기법)

  • Park, Ye-Seul;Lee, Meeyeon;Lee, Jung-Won
    • 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.

A study on the hydration of sludge from limestone washing process in a steel making factory (제철소 석회석수세슬러지의 수화반응 특성에 관한 연구)

  • Ahn, Ji-Whan;Kim, Ka-Yeoun;Kim, Hwan
    • 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.

  • PDF

Case study for effective water cycle system design (효율적 물순환시스템 구축을 위한 선진 설계사례 조사)

  • Kim, Young-Jin;Park, Dong-Jin;Kim, Ji-Hun;Yu, Dong-Bae;Koo, Bon-Jin
    • 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를 포함한 한차원 높은 물순환 설계지침 마련이 필요한 시점이라 하겠다.

  • PDF

Development of the Hospital Foodservice Facility Evaluation tools based on the General HACCP-based Sanitation Standards and Guidelines (병원급식에 일반위생관리기준과 HACCP 제도 적용을 위한 시설ㆍ설비 위생관리 점검도구 개발)

  • 이정숙;곽동경;강영재
    • 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.

An Experimental Study of Sprinkler system for Sandwich Panel Wall Protection (샌드위치패널 벽면보호용 스프링클러설비 적용 실험)

  • Seo, Dong-Hun;Kim, Won-Hyung;Kim, Jong-Hoon;Lee, Young-Jae
    • 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.

Prediction of the Fire Curtain Effect through a Numerical Simulation of a Reduced Scale Model for Fires in Theaters (공연장 화재 축소모형의 전산시뮬레이션을 통한 방화막 영향 예측)

  • Kim, Dong Hwan;Lee, Chi Young;Kim, Duncan
    • 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.

Speed-Power Performance Analysis of an Existing 8,600 TEU Container Ship using SPA(Ship Performance Analysis) Program and Discussion on Wind-Resistance Coefficients

  • Shin, Myung-Soo;Ki, Min Suk;Park, Beom Jin;Lee, Gyeong Joong;Lee, Yeong Yeon;Kim, Yeongseon;Lee, Sang Bong
    • 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.

Growth, Flowering, and Ripening Seed Characteristics of Mammillaria goldii, M. theresae, and M. pseudopectinata (선인장 Mammillaria goldii, M. theresae와 M. pseudopectinata의 생육, 개화 및 종자형성 특성)

  • Song, Cheon Young;Lee, Dong Chul;Park, In Tae;Park, Wha Soon;Hong, Seung Min
    • 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.