• 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 Korea Institute of Information and Communication Engineering
• /
• v.11 no.10
• /
• pp.1899-1909
• /
• 2007

A cross-coupled charge pump with internal pumping capacitor, witch is advantages from a point of minimizing TFT-LCD driver IC module, is newly proposed in this paper. By using a NMOS and a PMOS diode connected to boosting node from VIN node, the pumping node is precharged to the same value each pumping node at start pumping operation. Since the lust-stage charge pump is designed differently from the other stage pumps, a back current of pumped charge from charge pumping node to input stage is prevented. As a pumping clock driver is located the font side of pumping capacitor, the driving capacity is improved by reducing a voltage drop of the pumping clock line from parasitic resistor. Finally, a layout area is decreased more compared with conventional cross-coupled charge pump by using a stack-MIM capacitors. A proposed charge pump for TFT-LCD driver IC is designed with $0.13{\mu}m$ triple-well DDI process, fabricated, and tested.

• Journal of Korea Port Economic Association
• /
• v.25 no.3
• /
• pp.183-206
• /
• 2009

The purpose of this study is to suggest the new strategies for strengthening the competi tiveness of Incheon port. To measure the calling factors and satisfaction of ports, this study developed a list of 24 items using a seven-point Likert scale through the previous literature reviews, pilot test and emerging factors. Factor analysis, regression analysis, one sample T-test, IPA and SPSS were conducted to verify the determinants choosing ports and customer satisfaction. The result of an empirical study revealed that the cargo volume and information system, etc. in Incheon port was evaluated as satisfied factors and berth availability and port charge, etc. as dissatisfied factors. Based on the outcomes of this study, to strengthen the competitiveness of Incheon port, several strategies were advised such as the inducement of North American and European cargo, port infrastructure, dedicated terminal and GTO inducement, hinterland construction, logistics companies inducement and cooperation with neighboring ports.

• Asia-pacific Journal of Multimedia Services Convergent with Art, Humanities, and Sociology
• /
• v.9 no.11
• /
• pp.475-489
• /
• 2019

This study seeks to explore the method of imagination through creative new thinking in cultural heritage education and the most effective model of education in education. Research methods were organized by the methods of reviewing literature, browsing the Internet, and comparative analysis of prior research. We hope to realize the need for differentiated Korean cultural heritage and make efforts to incorporate our identity in the design. Through this study, we hope to realize the need for differentiated Korean cultural heritage and make efforts to incorporate our identity in the design. In the process of visualizing information, the focus should be on identifying the structure, characteristics, and the correlation between pattern and trend analysis, and the heterogeneity analysis, and should be made with the characteristics considered. Texting, graphics, sound, animation, lighting, and Navigation are often used as the expressive elements of information visualization for educational models. To facilitate the understanding of learners, accurate information transmission visuals should be presented. To do so, the use of infographic can be the answer. It is necessary to develop appropriate multimedia visual data, such as the use of infographic to be applied, and to develop various infographic multimedia visuals. These work should not be merely a research dimension, but should be carried out with the aim of helping develop actual cultural heritage educational content.

• Korean Journal of Remote Sensing
• /
• v.37 no.6_2
• /
• pp.1901-1922
• /
• 2021

Since most large earthquakes occur by reactivation of preexisting active faults, it is important to understand the locations and characteristics of active faults in terms of earthquake hazard research and earthquake disaster prevention. Recently, several remote sensing techniques are broadly used for lineament analysis performed prior to field surveys in active fault surveys. The aim of this paper is introducing simple principles and application examples of each remote sensing technique (satellite remote sensing, airborne remote sensing, InSAR, LiDAR) widely used for active fault investigation. This paper also explains the analytical methods for the slope break generated by fault activity based on GIS and the horizontal displacement of the strike-slip fault. In discussion, we would like to discuss the problems and solutions on making DEM based on aerial photography, and a new developed technique (RRIM) to overcome the problems of DEM based on aerial LiDAR. Understanding remote sensing techniques used for active fault investigation and utilizing appropriate methods depending on the situation and limitations of each remote sensing technique are important for effective active fault investigation.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.22 no.4
• /
• pp.321-330
• /
• 2021

By reviewing domestic and international papers, this study examines various fields in which drones are used, and based on the results, fields are suggested in which drones can be used for the work of firefighters. Overall, the research results show that drones are most commonly used for search (51%), disaster and fire monitoring (35%), and delivery (14%). Specifically, in the search field, using a drone is more efficient in terms of manpower, equipment, time, and cost than using people, which is the current practice. Secondly, in disaster and fire monitoring, drones can analyze and identify disasters and fire sites in real time. Therefore, it was confirmed that the use of drones is helpful in securing the safety of firefighters and identifying a disaster site. Third, research in logistics shows that drones can secure the so-called golden time in emergency situations by delivering rescue and relief supplies, emergency medicine, and blood in short order. In a rapidly changing disaster environment, and considering aging in firefighters, this study is meaningful in that it promotes drone utilization in the firefighting field by investigating basic data on drone utilization plans.

• Korean Journal of Comparative Education
• /
• v.28 no.1
• /
• pp.153-173
• /
• 2018

The purpose of the study is to identify the usefulness of comparative educational research approach for rational educational policy development and operation through the analysis of the area, contents, methods, and so on that comparative educational research approach in educational policy studies is used. For achieving the purpose, the study examined as the follows. First, the study discussed the academic traits and research target of educational policy and comparative education using the academic trait of definition method and the academic trait of approach method. Second, the study examined the contents of the exploration of educational policy studies in comparative education. For this, the study analyzed previous research on the relationship between comparative education and general education. And using articles published in Journal of Comparative Education, the study analyzed the contents of educational policy research in comparative education. Based on the main results, the discussions and suggestions are provided.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.20 no.8
• /
• pp.133-138
• /
• 2019

This study evaluated the tensile properties of SAPH440, a hot-rolled steel for automotive structural applications, based on GMAW lap welding, the welding current, the welding voltage, and the feed rate. Tensile tests were performed according to the joint parameters of the GMAW process, for which specimens were fabricated according to KS B ISO 9018 by lap welding. The bead appearance was observed in each condition, and the weldability was evaluated by the tensile test. Higher the welding current resulted in a deeper weld, but the tensile strength was not significantly different from when the parameter was fixed due to the fracture of the base material. When the current was higher than the voltage, as in the case of a welding current of 200 A and welding voltage of 17 V, a large amount of spatter is generated, the welding is unstable, and the welded part breaks. Higher the voltage resulted in the bead not causing defects in general, and it also affected the weldability. If the current and voltage were too low, the welding was not performed normally, and the tensile strength could not be measured. However, as the current increased, the increase of the voltage and the feed rate did not affect the tensile strength.

• Clean Technology
• /
• v.27 no.1
• /
• pp.93-103
• /
• 2021

As the seriousness and necessity of responding to climate change and reducing carbon emissions increases, countries around the world are continuing their efforts to reduce greenhouse gases. Among various efforts, research on CCUS, capturing and utilizing carbon dioxide generated when using carbon-based fuels, is actively being conducted. Studies on pressurized oxy-fuel combustion (POFC) that can be used with CCUS are also being conducted by many researchers. The purpose of this study is to analyze basic information related to the flame structure and pollutant emissions of pressurized oxy-fuel combustion. For this, a counter-flow diffusion flame model was used to analyze the combustion characteristics according to pressure and oxygen concentration. As the pressure increased, the flame temperature increased and the flame thickness decreased due to a reaction rate improvement caused by the activation of the chemical reaction. As oxygen concentration increased, both the flame temperature and the flame thickness increased due to an improvement to the reaction rate and diffusion because of a change in oxidizer momentum. Analyzing the related heat release reaction by dividing it into three sections as the oxygen concentration increased showed that the chemical reaction from the oxidizer side was subdivided into two regions according to the mixture fraction. In addition, the emission index of NO classified according to the NO formation mechanism was analyzed. The formation trend of NO according to each analysis condition was presented.

• Korean Journal of Environment and Ecology
• /
• v.36 no.5
• /
• pp.507-524
• /
• 2022

In this study, we revealed the location environment and community structural characteristics after extensively investigating Korea's warm-temperate island areas and categorizing vegetation through TWINSPAN analysis. Based on it, this study aims to suggest the direction of the vegetation restoration plan for warm-temperate forests by deriving a restoration strategy for each vegetation type. The vegetation types were clearly divided into eight types, and communities I through IV were good evergreen broad-leaved forests dominated by Machilus thunbergii and Castanopsis sieboldii. On the other hand, communities V through VIII were Pinus thunbergii forest, deciduous broad-leaved forest, and artificial forest, and retrogressive succession vegetation in the warm-temperate areas. The environmental factors derived from the DCA analysis were altitude (average temperature of the coldest month) and distance from the coastline (salt tolerance). The distribution pattern of warm-temperate forests has been categorized into M. thunbergii, C. sieboldii and Cyclobalanopsis spp. forest types according to the two environmental factors. It is reasonable to apply the three vegetation types as restoration target vegetation considering the location environment of the restoration target site. In communities V through VIII, P. thunbergiiand deciduous broad-leaved formed a canopy layer, and evergreen broad-leaved species with strong seed expansion frequently appeared in the ground layer, raising the possibility of vegetation succession as evergreen broad-leaved forests. The devastated land where forests have disappeared in the island areas is narrow, but vegetation such as P. thunbergii and deciduous broad-leaved forests, which have become a retrogressive succession, forms a large area. The restoration strategy of renewing this area into evergreen, broad-leaved forests should be more effective in realizing carbon neutrality and promoting biodiversity.