• 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 Korea Water Resources Association
• /
• v.52 no.10
• /
• pp.719-728
• /
• 2019

Valve in water distribution network (WDN), that controls the flow in pipes, is used to isolate a segment (a part of WDN) under abnormal water supply conditions (e.g., pipe breakage, water quality failure event). The segment isolation degrades pressure and water serviceability in neighboring area during the water service outage of the segment. Recent hydraulic and water quality failure events reported encouraging WDN valve installation based on various abnormal water supply scenarios. This study introduces a scenario-based optimal valve installation approach to optimize the number of valves, the amount of undelivered water, and a shortest water supply path indicator (i.e., Hydraulic Geodesic Index). The proposed approach is demonstrated in the valve installation of Pescara network, and the optimal valve sets are obtained under multiple scenarios and compared to the existing valve set. Pressure-driven analysis (PDA) scheme is used for a network hydraulic simulation. The optimal valve set derived from the proposed method has 19 fewer valves than the existing valve set in the network and the amount of undelivered water was also lower for the optimal valve set. Reducing the reservoir head requires a greater number of valves to achieve the similar functionality of the WDN with the optimal valve set of the original reservoir head. This study also compared the results of demand-driven analysis (DDA) and the PDA and confirmed that the latter is required for optimal valve installation.

• Nuclear Engineering and Technology
• /
• v.18 no.2
• /
• pp.97-106
• /
• 1986

System thermal-hydraulic parameters and simulated, using the best-estimate system code(RELAPS/MODl/NSC), based upon the sequence of events for the KNU1 (Korea Nuclear Unit 1) loss of offsite power transient at 77.5% power which occurred on June 9,1981. The results are compared with the actual plant transient data and show good agreements. After the flow coastdown following the trips of both reactor coolant pumps, the establishment of natural circulation by the temperature difference between the hot and the cold legs is confirmed. The calculated reactor coolant flowrate closely approximates the plant data indicating the validity of relevant thermal-hydraulic models in the RELAP5/MOD1/NSC. Results also show that the sufficient heat removal capability is secured by the appropriate supply of the auxiliary feedwater without the operation of S/G PORVs. In addition, a scenario accident at full power, based upon the same sequence of events described above, is also analysed and the results confirmed that the safety of KNU1 is secured by the appropriate operation of the S/G PORVs coupled with the supply of auxiliary feedwater which ensures sufficient heat removal capability. The characteristics of the non-safety related components such as the turbine stop valve closing time, S/G PORV settings etc. are recognized to be important in the transient analyses on a bestestimate basis.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.31 no.5
• /
• pp.1001-1010
• /
• 2021

Smart factories are complex systems which combine latest information technology (IT) with operation technology (OT). A smart factory aims to provide manufacturing capacity improvement, customized production, and resource reduction with these complex technologies. Although the smart factory is able to increase the efficiency through the technologies, the security level of the whole factory is low due to the vulnerability transfer from IT. In addition, the response and restoration of the business continuity plan are insufficient in case of damage due to the absence of factory security experts. The cope with the such problems, we propose an information security practice content for analyzing the damage by generating ransomware attacks in a digital twin-based smart factory similar to the real world. In our information security content, we introduce our conversion technique of physical devices into virtual machines or simulation models to build a practical environment for the digital twin. This content generates two types of the ransomware attacks according to a defined scenario in the digital twin. When the two generated attacks are successfully completed, at least 8 and 5 of the 23 virtual elements are take damage, respectively. Thus, our proposed content directly identifies the damage caused by the generation of two types of ransomware in the virtual world' smart factory.

• Journal of Soil and Groundwater Environment
• /
• v.26 no.6
• /
• pp.106-117
• /
• 2021

The purpose of this study is prediction of landslide occurrence reflecting the subsurface flow characteristics within the soil layer in the future due to climate change in a large scale watershed. To do this, we considered the infinite slope stability theory to evaluate the landslide occurrence with predicted soil moisture content by SWAT model based on monitored data (rainfall-soil moisture-discharge). The correlation between the SWAT model and the monitoring data was performed using the coefficient of determination (R²) and the model's efficiency index (Nash and Sutcliffe model efficiency; NSE) and, an accuracy analysis of landslide prediction was performed using auROC (area under Receiver Operating Curve) analysis. In results comparing with the calculated discharge-soil moisture content by SWAT model vs. actual observation data, R² was 0.9 and NSE was 0.91 in discharge and, R² was 0.7 and NSE was 0.79 in soil moisture, respectively. As a result of performing infinite slope stability analysis in the area where landslides occurred in the past based on simulated data (SWAT analysis result of 0.7~0.8), AuROC showed 0.98, indicating that the suggested prediction method was resonable. Based on this, as a result of predicting the characteristics of landslide occurrence by 2050 using climate change scenario (RCP 8.5) data, it was calculated that four landslides could occur with a soil moisture content of more than 75% and rainfall over 250 mm/day during simulation. Although this study needs to be evaluated in various regions because of a case study, it was possible to determine the possibility of prediction through modeling of subsurface flow mechanism, one of the most important attributes in landslide occurrence.

• The Journal of the Acoustical Society of Korea
• /
• v.40 no.4
• /
• pp.330-336
• /
• 2021

In bistatic sonar operation, the scattering strength of a sonar target is characterized by the probe signal frequency, the aspect angle and the bistatic angle. Therefore, the target detection and identification performance of the bistatic sonar may vary depending on how the positions of the target, sound source, and receiver are changed during sonar operation. In this study, it was evaluated which variable is advantageous to change by comparing the target identification performance between the case of changing the aspect angle and the case of changing the bistatic angle during the operation. A scenario of identifying a hollow sphere and a cylinder was assumed, and performance was compared by classifying two targets with a support vector machine and comparing their accuracy using a finite element method-based acoustic scattering simulation. As a result of comparison, using the scattering strength defined by the frequency and the bistatic angle with the aspect angle fixed showed superior average classification accuracy. It means that moving the receiver to change the bistatic angle is more effective than moving the sound source to change the aspect angle for target identification.

• Journal of the Korean Society of Radiology
• /
• v.12 no.6
• /
• pp.719-725
• /
• 2018

After 9/11 attacks in the U.S, Terrorism has increased the number of unspecified casualties through multi-use facility terror attacks compared to the past. The subsequent London bombings and the self-destruction of Pakistan increased people's fear and social anxiety. As international events have been held in Korea recently, awareness and concern over radioactive terrorism and security management of radioactive materials are increasing. In this paper, we compared the results of different meteorological conditions using HotSpot Code. After creating a possible terror scenario in Korea, sources likely to be use in RDD and Dirty bomb were investigated. The meteorological condition was selected by comparing the Pasquill-Gifford stability class with the most stable condition F and the most unstable condition A. The result value of the A and F condition through simulation were shown not to cause citizens to die from acute effects due to radiological effects. The range of radioactivity is different according to the wind speed and the meteorological stability, and the degree of radioactivity dilution is different according to meteorological conditions. Analysis results are expected to be used for initial response in the event of a radioactive terrorist attack.

• The Journal of the Convergence on Culture Technology
• /
• v.8 no.1
• /
• pp.469-481
• /
• 2022

This study is for increasing evacuation safety by analyzing RSET(the required safe escape time) through the arrangement of personnel by floor and by room while evacuating in a Girls' High School Dormitory. For this study, PAPS(Physical Activity Promotion System) results that have not been studied so far were analyzed and reflected in evacuation simulations on the premise that individual student's physical strength can affect evacuation. Based on the PAPS results, four scenarios were applied. In addition, evacuation simulation using the pathfinder program was conducted in two situations: the evacuation route was assigned or not. Scenario 4 was the fastest at 168.5 seconds of RSET in assigning evacuation routes among scenarios. As a result of this study, the arrangement of students focusing on improving their academic ability and student life guidance excluding student physical strength has problem. In order to solve this problem, it is effective to place C group students(low grade on PAPS) on low floors and A group students(high grade on PAPS) on high floors and to assign evacuation routes in each room. In the future, the following ways need to be more studied. A study on how to increase evacuation safety through practical evacuation training, the way of assessing evacuation safety reflecting the lifestyle and physical strength of girls, the evacuation route assignment according to the fire occurrence point, and the method to secure evacuation routes in the event of a fire near stairs or entrances should be conducted.

• Journal of the Korean Society of Marine Environment & Safety
• /
• v.28 no.1
• /
• pp.107-116
• /
• 2022

Local management trade ports are small-sized trade ports, which require active operation to strengthen the local cities' economic power and enhance the local industries' added value. In addition, local management trade ports should berth ships larger than the existing ships to increase efficiency and keep up with the international trend where ships are becoming larger. Furthermore, they should also prepare operating standards. This study selected Okgye Port among local management trade ports. We performed a mooring safety simulation evaluation according to the scenario where a 50,000 DWT vessel is moored at the current 20,000 DWT class pier. The emergency departure criteria were 27kts at 3.2s of wave period and 22kts at 5.0s of wave period at the existing pier. Results showed that mooring limit condition increased by about 50% to 41kts at 3.2s of wave period and 36kts at 5.0s of wave period. This study can be used for strengthening mooring facilities and setting operational standards for safe port operation when large ships are berthing.

• Journal of Internet Computing and Services
• /
• v.23 no.3
• /
• pp.13-20
• /
• 2022

IEEE 802.11ay Wi-Fi is the next generation wireless technology and operates in mmWave band. It supports the MU-MIMO (Multiple User Multiple Input Multiple Output) transmission in which an AP (Access Point) can transmit multiple data streams simultaneously to multiple STAs (Stations). To this end, the AP should perform MU-MIMO beamforming training with the STAs. For efficient MU-MIMO beamforming training, it is important for the AP to estimate signal strength measured at each STA at which multiple beams are used simultaneously. Therefore, in the paper, we propose a deep learning-based link quality estimation scheme. Our proposed scheme estimates the signal strength with high accuracy by utilizing a deep learning model pre-trained for a certain indoor or outdoor propagation scenario. Specifically, to estimate the signal strength of the multiple concurrent beams, our scheme uses the signal strengths of the respective single beams, which can be obtained without additional signaling overhead, as the input of the deep learning model. For performance evaluation, we utilized a Q-D (Quasi-Deterministic) Channel Realization open source software and extensive channel measurement campaigns were conducted with NIST (National Institute of Standards and Technology) to implement the millimeter wave (mmWave) channel. Our simulation results demonstrate that our proposed scheme outperforms comparison schemes in terms of the accuracy of the signal strength estimation.