• 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 Broadcast Engineering
• /
• v.26 no.2
• /
• pp.125-131
• /
• 2021

In recent years, Convolutional Neural Networks (CNNs) have achieved outstanding performance in the fields of computer vision such as image classification, object detection, visual quality enhancement, etc. However, as huge amount of computation and memory are required in CNN models, there is a limitation in the application of CNN to low-power environments such as mobile or IoT devices. Therefore, the need for neural network compression to reduce the model size while keeping the task performance as much as possible has been emerging. In this paper, we propose a method to compress CNN models by combining matrix decomposition methods of LR (Low-Rank) approximation and CP (Canonical Polyadic) decomposition. Unlike conventional methods that apply one matrix decomposition method to CNN models, we selectively apply two decomposition methods depending on the layer types of CNN to enhance the compression performance. To evaluate the performance of the proposed method, we use the models for image classification such as VGG-16, RestNet50 and MobileNetV2 models. The experimental results show that the proposed method gives improved classification performance at the same range of 1.5 to 12.1 times compression ratio than the existing method that applies only the LR approximation.

• Korean Journal of Remote Sensing
• /
• v.37 no.6_3
• /
• pp.1975-1984
• /
• 2021

Urban expansion results in raising the temperature in the city, which can cause social, economic and physical damage. In order to prevent the urban heat island and reduce the urban land surface temperature, it is important to quantify the cooling effect of the features of the urban space. Therefore, in order to understand the relationship between each object of land cover and the land surface temperature in Seoul, the land cover map was classified into 6 classes. And the correlation and multiple regression analysis between land surface temperature and the area of objects, perimeter/area, and normalized difference vegetation index was analyzed. As a result of the analysis, the normalized difference vegetation index showed a high correlation with the land surface temperature. Also, in multiple regression analysis, the normalized difference vegetation index exerted a higher influence on the land surface temperature prediction than other coefficients. However, the explanatory power of the derived models as a result of multiple regression analysis was low. In the future, if continuous monitoring is performed using high-resolution MIR Image from KOMPSAT-3A, it will be possible to improve the explanatory power of the model. By utilizing the relationship between such various land cover types considering vegetation vitality of green areas with that of land surface temperature within urban spaces for urban planning, it is expected to contribute in reducing the land surface temperature in urban spaces.

• The Journal of the Korea Contents Association
• /
• v.21 no.7
• /
• pp.363-373
• /
• 2021

The purpose of this research is to analyze the Spill-over economic effect of the cultural and creative industries(CCI) in Henan Province, China. The research object is the CCI of Henan Province, which is mainly based on five sectors out of 42 industries in the industrial association table of the Statistical Bureau of Henan Province, China in 2017 (culture, sports; recreation and research sector; experimental development and integrated technical services sector; information transmission, computer services and software sector; education sector, etc), and is analyzed through secondary integration and redefinition of the CCI of Henan Province. Through the analysis of Henan Province Industry Association Table, this paper provides some enlightenment to the future direction of the cultural and creative industries. The main analysis results are as follows. The total production inducement of the CCI in Henan province is 48,848 billion yuan, and in particular, the production inducement coefficient of the industry in Henan province is 2.72809, 2.23909 (total of columns and rows), Index of the power of dispersion is 0.26325, and the index of the sensitivity of dispersion is 0.87535. Income induction coefficient is 0.55211, production tax induction coefficient is 0.09291. Because CCI of Henan Province has full development potential, the government needs to provide active support and policy support, in addition to the need for legal provisions and supervision of market management. In order to improve the innovative development of the CCI, it is necessary to develop a new model of "CCI+X".

• Korea Real Estate Review
• /
• v.28 no.1
• /
• pp.23-37
• /
• 2018

The genetic algorithm (GA) and branch and bound (B&B) methods are the useful methods of searching the optimal project combination (combinatorial optimization) to maximize the project effect considering the budget constraint and the balance of regional development with regard to the Urban Regeneration New Deal policy, the core real estate policy of the Moon Jae-in government. The Ministry of Land, Infrastructure, and Transport (MOLIT) will choose 13 central-city-area-type projects, 2 economic-base-type projects, and 10 public-company-proposal-type projects among the numerous projects from 16 local governments while each government can apply only 4 projects, respectively, for the 2017 Urban Regeneration New Deal project. If MOLIT selects only those projects with a project effect maximization purpose, there will be unselected regions, which will harm the balance of regional development. For this reason, an optimization model is proposed herein, and a combinatorial optimization method using the GA and B&B methods should be sought to satisfy the various constraints with the object function. Going forward, it is expected that both these methods will present rational decision-making criteria if the central government allocates a special-purpose-limited budget to many local governments.

• Biomolecules & Therapeutics
• /
• v.27 no.3
• /
• pp.327-335
• /
• 2019

As the elderly population is increasing, Alzheimer's disease (AD) has become a global issue and many clinical trials have been conducted to evaluate treatments for AD. As these clinical trials have been conducted and have failed, the development of new theraphies for AD with fewer adverse effects remains a challenge. In this study, we examined the effects of Theracurmin on cognitive decline using 5XFAD mice, an AD mouse model. Theracurmin is more bioavailable form of curcumin, generated with submicron colloidal dispersion. Mice were treated with Theracurmin (100, 300 and 1,000 mg/kg) for 12 weeks and were subjected to the novel object recognition test and the Barnes maze test. Theracurmin-treated mice showed significant amelioration in recognition and spatial memories compared those of the vehicle-treated controls. In addition, the antioxidant activities of Theracurmin were investigated by measuring the superoxide dismutase (SOD) activity, malondialdehyde (MDA) and glutathione (GSH) levels. The increased MDA level and decreased SOD and GSH levels in the vehicle-treated 5XFAD mice were significantly reversed by the administration of Theracurmin. Moreover, we observed that Theracurmin administration elevated the expression levels of synaptic components, including synaptophysin and post synaptic density protein 95, and decreased the expression levels of ionized calcium-binding adapter molecule 1 (Iba-1), a marker of activated microglia. These results suggest that Theracurmin ameliorates cognitive function by increasing the expression of synaptic components and by preventing neuronal cell damage from oxidative stress or from the activation of microglia. Thus, Theracurmin would be useful for treating the cognitive dysfunctions observed in AD.

• Wind and Structures
• /
• v.28 no.2
• /
• pp.71-87
• /
• 2019

The yaw and interference effects of blades affect aerodynamic performance of large wind turbine system significantly, thus influencing wind-induced response and stability performance of the tower-blade system. In this study, the 5MW wind turbine which was developed by Nanjing University of Aeronautics and Astronautics (NUAA) was chosen as the research object. Large eddy simulation on flow field and aerodynamics of its wind turbine system with different yaw angles($0^{\circ}$, $5^{\circ}$, $10^{\circ}$, $20^{\circ}$, $30^{\circ}$ and $45^{\circ}$) under the most unfavorable blade position was carried out. Results were compared with codes and measurement results at home and abroad, which verified validity of large eddy simulation. On this basis, effects of yaw angle on average wind pressure, fluctuating wind pressure, lift coefficient, resistance coefficient,streaming and wake characteristics on different interference zone of tower of wind turbine were analyzed. Next, the blade-cabin-tower-foundation integrated coupling model of the large wind turbine was constructed based on finite element method. Dynamic characteristics, wind-induced response and stability performance of the wind turbine structural system under different yaw angle were analyzed systematically. Research results demonstrate that with the increase of yaw angle, the maximum negative pressure and extreme negative pressure of the significant interference zone of the tower present a V-shaped variation trend, whereas the layer resistance coefficient increases gradually. By contrast, the maximum negative pressure, extreme negative pressure and layer resistance coefficient of the non-interference zone remain basically same. Effects of streaming and wake weaken gradually. When the yaw angle increases to $45^{\circ}$, aerodynamic force of the tower is close with that when there's no blade yaw and interference. As the height of significant interference zone increases, layer resistance coefficient decreases firstly and then increases under different yaw angles. Maximum means and mean square error (MSE) of radial displacement under different yaw angles all occur at circumferential $0^{\circ}$ and $180^{\circ}$ of the tower. The maximum bending moment at tower bottom is at circumferential $20^{\circ}$. When the yaw angle is $0^{\circ}$, the maximum downwind displacement responses of different blades are higher than 2.7 m. With the increase of yaw angle, MSEs of radial displacement at tower top, downwind displacement of blades, internal force at blade roots all decrease gradually, while the critical wind speed decreases firstly and then increases and finally decreases. The comprehensive analysis shows that the worst aerodynamic performance and wind-induced response of the wind turbine system are achieved when the yaw angle is $0^{\circ}$, whereas the worst stability performance and ultimate bearing capacity are achieved when the yaw angle is $45^{\circ}$.

• Journal of Broadcast Engineering
• /
• v.23 no.6
• /
• pp.855-865
• /
• 2018

Sound event detection is one of the research areas to model human auditory cognitive characteristics by recognizing events in an environment with multiple acoustic events and determining the onset and offset time for each event. DCASE, a research group on acoustic scene classification and sound event detection, is proceeding challenges to encourage participation of researchers and to activate sound event detection research. However, the size of the dataset provided by the DCASE Challenge is relatively small compared to ImageNet, which is a representative dataset for visual object recognition, and there are not many open sources for the acoustic dataset. In this study, the sound events that can occur in indoor and outdoor are collected on a larger scale and annotated for dataset construction. Furthermore, to improve the performance of the sound event detection task, we developed a dual CNN structured sound event detection system by adding a supplementary neural network to a convolutional neural network to determine the presence of sound events. Finally, we conducted a comparative experiment with both baseline systems of the DCASE 2016 and 2017.

• Korean Journal of Remote Sensing
• /
• v.34 no.6_3
• /
• pp.1415-1425
• /
• 2018

Kompsat-5 is the first Earth Observation Satellite which is equipped with an SAR in Korea. SAR images are generated by receiving signals reflected from an object by microwaves emitted from a SAR antenna. Because the wavelengths of microwaves are longer than the size of particles in the atmosphere, it can penetrate clouds and fog, and high-resolution images can be obtained without distinction between day and night. However, there is no color information in SAR images. To overcome these limitations of SAR images, colorization of SAR images using Cycle GAN, a deep learning model developed for domain translation, was conducted. Training of Cycle GAN is unstable due to the unsupervised learning based on unpaired dataset. Therefore, we proposed MS Cycle GAN applying multi-scale discriminator to solve the training instability of Cycle GAN and to improve the performance of colorization in this paper. To compare colorization performance of MS Cycle GAN and Cycle GAN, generated images by both models were compared qualitatively and quantitatively. Training Cycle GAN with multi-scale discriminator shows the losses of generators and discriminators are significantly reduced compared to the conventional Cycle GAN, and we identified that generated images by MS Cycle GAN are well-matched with the characteristics of regions such as leaves, rivers, and land.

• Journal of Intelligence and Information Systems
• /
• v.28 no.2
• /
• pp.263-278
• /
• 2022

With the recent advent of IoT technology, automatic pet feeders are being distributed so that owners can feed their companion animals while they are out. However, due to behaviors of pets, the method of measuring weight, which is important in automatic feeding, can be easily damaged and broken when using the scale. The 3D camera method has disadvantages due to its cost, and the 2D camera method has relatively poor accuracy when compared to 3D camera method. Hence, the purpose of this study is to propose a deep learning approach that can accurately estimate weight while simply using a 2D camera. For this, various convolutional neural networks were used, and among them, the ResNet101-based model showed the best performance: an average absolute error of 3.06 grams and an average absolute ratio error of 3.40%, which could be used commercially in terms of technical and financial viability. The result of this study can be useful for the practitioners to predict the weight of a standardized object such as feed only through an easy 2D image.