• Journal of KIISE:Software and Applications
• /
• v.28 no.3
• /
• pp.211-223
• /
• 2001

본 논문에서 제안하는 시나리오기반 검증기법의 목적은 UML로 작성된 객체지향 분석모델의 완전성 및 일관성을 진단하는 것이다. 검증기법의 전체 절차는 요구분석을 위한 Use Case 모델링 과정에서 생성되는 Use Case 시나리오와 UML 분석모델로부터 역공학적 방법으로 도출된 객체행위 시나리오와의 상호참조과정 및 시나리오 정보트리 추적과정을 이용하여 단계적으로 수행된다. 본 검증절차를 위하여 우선, UML로 작성된 객체지향 분석모델들은 우선 정형명세언어를 사용하여 Use Case 정형명세로 변환하다. 그 다음에, Use Case 정형명세로부터 해당 Use Case 내의 객체의 정적구조를 표현하는 시나리오 정보트리를 구축하고, Use Case 정형명세 내에 포함되어 있는 객체 동적행위 정보인 메시지 순차에 따라 개별 시나리오흐름을 시나리오 정보트리에 표현한다. 마지막으로 시나리오 정보트리 추적과 시나리오 정보 테이블 참조과정을 중심으로 완전성 및 일관성 검증작업을 수행한다. 즉, 검증하고자 하는 해당 Use Case의 시나리오 정보트리를 이용한 시나리오 추적과정을 통해 생성되는 객체행위 시나리오와 요구분석 과정에서 도출되는 Use Case 시나리오와의 일치여부를 조사하여 분석모델과 사용자 요구사양과의 완전성을 검사한다. 그리고, 시나리오 추적과정을 통해 수집되는 시나리오 관련종보들을 가지고 시나리오 정보 테이블을 작성한 후, 분석과정에서 작성된 클래스 관련정보들의 시나리오 포함 여부를 확인하여 분석모델의 일관성을 검사한다. 한편, 본 논문에서 제안하는 검증기법의 효용성을 증명하기 위해 대학의 수강등록시스템 개발을 위해 UML을 이용해 작성된 분석모델을 특정한 사례로써 적용하여 보았다. 프로세싱 오버헤드 및 메모리와 대역폭 요구량 측면에서 MARS 모델보다 유리함을 알 수 있었다.과는 본 논문에서 제안된 프리페칭 기법이 효율적으로 peak bandwidth를 줄일 수 있다는 것을 나타낸다.ore complicate such a prediction. Although these overestimation sources have been attacked in many existing analysis techniques, we cannot find in the literature any description about questions like which one is most important. Thus, in this paper, we quantitatively analyze the impacts of overestimation sources on the accuracy of the worst case timing analysis. Using the results, we can identify dominant overestimation sources that should be analyzed more accurately to get tighter WCET estimations. To make our method independent of any existing analysis techniques, we use simulation based methodology. We have implemented a MIPS R3000 simulator equipped with several switches, each of which determines the accuracy level of the

• Journal of the Korean Society of Environmental Restoration Technology
• /
• v.25 no.6
• /
• pp.51-64
• /
• 2022

Along with the urbanization, the risk of urban flooding due to climate change is increasing. Flood regulation, one of the ecosystem services, is implemented in the different level of function of flood risk mitigation by the type of ecosystem such as forests, arable land, wetlands etc. Land use changes due to development pressures have become an important factor in increasing the vulnerability by flash flood. This study has conducted evaluating the urban flood regulation service using InVEST UFRM(Urban Flood Risk Model). As a result of the simulation, the potential water retention by ecosystem type in the event of a flash flood according to RCP 4.5(10 year frequency) scenario was 1,569,611 tons in urbanized/dried areas, 907,706 tons in agricultural areas, 1,496,105 tons in forested areas, 831,705 tons in grasslands, 1,021,742 tons in wetlands, and 206,709 tons in bare areas, the water bodies was estimated to be 38,087 tons. In the case of more severe 100-year rainfall, 1,808,376 tons in urbanized/dried areas, 1,172,505 tons in agricultural areas, 2,076,019 tons in forests, 1,021,742 tons in grasslands, 47,603 tons in wetlands, 238,363 tons in bare lands, and 52,985 tons in water bodies. The potential economic damage from flood runoff(100 years frequency) is 122,512,524 thousand won in residential areas, 512,382,410 thousand won in commercial areas, 50,414,646 thousand won in industrial areas, 2,927,508 thousand won in Infrastructure(road), 8,907 thousand won in agriculture, Total of assuming a runoff of 50 mm(100 year frequency) was estimated at 688,245,997 thousand won. In a conclusion. these results provided an overview of ecosystem functions and services in terms of flood control, and indirectly demonstrated the possibility of using the model as a tool for policy decision-making. Nevertheless, in future research, related issues such as application of models according to various spatial scales, verification of difference in result values due to differences in spatial resolution, improvement of CN(Curved Number) suitable for the research site conditions based on actual data, and development of flood damage factors suitable for domestic condition for the calculation of economic loss.

• Journal of Korea Water Resources Association
• /
• v.55 no.11
• /
• pp.877-886
• /
• 2022

This study was carried out to analyze how the flow and water quality of the Sangsa Lake (juam control basin) change according to future climate change and what countermeasures are needed. Aquatic Ecosystem Model) was used in conjunction. As climate change scenarios, RCP (Representative Concentration Pathways) 4.5 and RCP 8.5 scenarios of AR5 (5th Assessment Report) according to the Intergovernmental Panel on Climate Change (IPCC) were used. For the climate change scenario, detailed data on the Sangsa Lake basin were used by the Korea Meteorological Administration, and after being evaluated as a correction and verification process for the 10-year period from 2012 to 2021, the present, 2025-2036, 2045- The summer period from June to August and the winter period from December to February were analyzed separately for each year by dividing it into 2056 and 2075-2086. RCP 8.5 was higher than RCP 4.5 as an arithmetic mean for the flow rate of the watershed of the superior lake for the entire simulation period, and TN and TP also showed a tendency to be higher at RCP 4.5. However, in RCP 8.5, the outflow of pollutants decreased during the dry season and the outflow of pollutants increased during the summer, indicating that the annual pollutant outflow was concentrated during the flood season, and it is analyzed that countermeasures are needed.

• Journal of Internet Computing and Services
• /
• v.24 no.6
• /
• pp.73-80
• /
• 2023

The recent steep increase in the minimum hourly wage has increased the burden of labor costs, and the share of unmanned stores is increasing in the aftermath of COVID-19. As a result, theft crimes targeting unmanned stores are also increasing, and the "Just Walk Out" system is introduced to prevent such thefts, and LiDAR sensors, weight sensors, etc. are used or manually checked through continuous CCTV monitoring. However, the more expensive sensors are used, the higher the initial cost of operating the store and the higher the cost in many ways, and CCTV verification is difficult for managers to monitor around the clock and is limited in use. In this paper, we would like to propose an AI image processing fusion algorithm that can solve these sensors or human-dependent parts and detect customers who perform abnormal behaviors such as theft at low costs that can be used in unmanned stores and provide cloud-based notifications. In addition, this paper verifies the accuracy of each algorithm based on behavior pattern data collected from unmanned stores through motion capture using mediapipe, object detection using YOLO, and fusion algorithm and proves the performance of the convergence algorithm through various scenario designs.

• Journal of Biomedical Engineering Research
• /
• v.44 no.6
• /
• pp.363-376
• /
• 2023

According to the COVID-19, development of various medical software based on IoT(Internet of Things) was accelerated. Especially, interest in a central software system that can remotely monitor and control ventilators is increasing to solve problems related to the continuous increase in severe COVID-19 patients. Since medical device software is closely related to human life, this study aims to develop central monitoring system that can remotely monitor and control multiple ventilators in compliance with medical device software development standards and to verify performance of system. In addition, to ensure the safety and reliability of this central monitoring system, this study also specifies risk management requirements that can identify hazardous situations and evaluate potential hazards and confirms the implementation of cybersecurity to protect against potential cyber threats, which can have serious consequences for patient safety. As a result, we obtained medical device software manufacturing certificates from MFDS(Ministry of Food and Drug Safety) through technical documents about performance verification, risk management and cybersecurity application.The purpose of this study is to conduct a usability assessment to ensure that ergonomic design has been applied so that the ventilator central monitoring system can improve user satisfaction, efficiency, and safety. The rapid spread of COVID-19, which began in 2019, caused significant damage global medical system. In this situation, the need for a system to monitor multiple patients with ventilators was highlighted as a solution for various problems. Since medical device software is closely related to human life, ensuring their safety and satisfaction is important before their actual deployment in the field. In this study, a total of 21 participants consisting of respiratory staffs conducted usability test according to the use scenarios in the simulated use environment. Nine use scenarios were conducted to derive an average task success rate and opinions on user interface were collected through five-point Likert scale satisfaction evaluation and questionnaire. Participants conducted a total of nine use scenario tasks with an average success rate of 93% and five-point Likert scale satisfaction survey showed a high satisfaction result of 4.7 points on average. Users evaluated that the device would be useful for effectively managing multiple patients with ventilators. However, improvements are required for interfaces associated with task that do not exceed the threshold for task success rate. In addition, even medical devices with sufficient safety and efficiency cannot guarantee absolute safety, so it is suggested to continuously evaluate user feedback even after introducing them to the actual site.

• Journal of the Korean Society of Marine Environment & Safety
• /
• v.29 no.6
• /
• pp.666-671
• /
• 2023

As international environmental regulations on ship emissions are gradually strengthened, interest in electric propulsion and hybrid propulsion ships is increasing, and various solutions are being developed and applied to these ships, especially stabilization of the power system and system efficiency. The direct current distribution system is being applied as a way to increase the power. In addition, verification and testing of safety and performance of marine DC distribution systems is required. As a result of establishing a DC distribution test bed, verifying the performance of the DC distribution (variable speed power generation) system, and analyzing fuel consumption, this study applied a variable speed power generation system that is applied to DC power distribution for ships, and converted the power output from the generator into a rectifier. A system was developed to convert direct current power to connect to the system and monitor and control these devices. Through tests using this DC distribution system, the maximum voltage was 751.5V and the minimum voltage was 731.4V, and the voltage fluctuation rate was 2.7%, confirming that the voltage is stably supplied within 3%, and a variable speed power generation system was installed according to load fluctuations. When applied, it was confirmed through testing that fuel consumption could be reduced by more than 20% depending on the section compared to the existing constant speed power generation system.

• Journal of Service Research and Studies
• /
• v.12 no.2
• /
• pp.106-116
• /
• 2022

As part of the Fire Evacuation Service scenario using mobile applications, this study aims to find the appropriate colors to be used in the interface of the application and to define and apply colors that can positively and reliably affect human unstable psychology in the course of evacuating the room in case of fire. In the situation of fire, proper design and placement of the colored escape guidance interface is important, taking into account the psychology of the occupants. However, literature and previous research have shown that colors used to induce evacuation are not suitable for effective evacuation in case of fire. In this study, the purpose of the study was to provide a color that would provide psychological stability in the event of a evacuation in consideration of the psychological issues of those who are still in need of shelter, and to use it to help induce an efficient evacuation in the event of a disaster. Using the image evaluation method, the form and color of images have been derived through frequency analysis to a number of unspecified people, and the main and secondary colors of images were analyzed through KSCA color analysis. Finally, the final application color was constructed through mutual verification between the results by comparing and analyzing the colors obtained through the image evaluation analysis results and the KSCA color analysis results. The results of the study showed that the green line can help stabilize the human mind through comparative analysis with prior research. Therefore, the main color for guiding calm and calm applications in case of fire escape is proposed in the green line. In this study, the experiment with image evaluation cannot accurately measure the effect of factors on color among complex factors. A subsequent study of this will help quantify images if it allows the subject matter of color and image to be defined to some extent through factor analysis.