• KIPS Transactions on Software and Data Engineering
• /
• v.6 no.9
• /
• pp.419-428
• /
• 2017

In an embedded system, modules exchange data by interacting among themselves. Exchanging erroneous resource data among modules may lead to execution errors. The interacting resources produce dependencies between the two modules where any change of the resources by one module affects the functionality of another module. Several investigations of the embedded systems show that interaction faults between the modules are one of the major cause of critical software failure. Therefore, interaction testing is an essential phase for reducing the interaction faults and minimizing the risk. The direct and indirect interactions between the modules generate interaction faults. The direct interaction is the explicit call relation between the modules, and the indirect interaction is the remaining relation that is made underneath the interface that possesses data dependence relationship with resources. In this paper, we investigate the errors that are based on the indirect interaction between modules and introduce a new test criterion for identifying the errors that are undetectable by existing approaches at the integration level. We propose a novel approach for generating the interaction model using the indirect interaction pattern and design test criteria that are based on different interaction errors to generate test cases. Finally, we use the fault injection technique to evaluate the feasibility and effectiveness of our approach.

• Journal of Korean Society of Transportation
• /
• v.10 no.1
• /
• pp.55-62
• /
• 1992

교통수요는 교통정책 및 교통시설 계획의 수립 및 평가에 중요한 영향을 미치게 되므로 교통수요의 예측은 교통연구에서 중요한 부문을 차지하고 있다. 도로밑에 설치된 전자차량감지기(Electronic Vehicle Detector)로부터 자동 수집된 링크 교통량 자료(Traffic Counts)를 주요 입력자료로 이용하여 계획지역의 기종점 통행표(Origin Destination Trip Matrix)를 작성할 수 있는 기법 들이 최근 수년동안 많이 발달하게 되었다. 이러한 새로운 기법들은 가구조사(Home Inteview), 노변면접조사(Road-Side Interview)등을 토하여 조사된 자료를 기초로하는 전통적은 4단계 교통수요추정방법(Conventional 4-Stage Estimation Method)-통행발생(Generation), 통행분포(Distribution), 수단선택(Modal Split), 교통배분(Assignment)-과 비교하여 첫째로 정확도가 높은 링크 교통량 자료를 별도의 조사를 거치지 않고서도 수집이 가능하기 때문에 조사비용이 거의 들지 않아도 되어 경제적이고, 둘째로 전통적인 수요예측방법들에서 요구되어지는 복잡한 모형수립 및 계수조정(Parameter Calibration)이 필요하지 않아 간편하고 셋째로 오래전에 작성된 기종점 통행표를 단순히 링크 교통량 자료만을 이용하여 쉽게 보완할 수 있어 지속적인 자료의 축적(Data Age-ing)이 가능하며 더 나아 가서 소위 연속적인 교통 계획 및 교통시설관리(Continuous Transport Planning and Management)를 가능케 하는 등의 여러 장점 때문에 많은 주목을 받아 오고 최근 몇 년이 꾸준히 실무에 유용하게 적용이 되고 있는 실정이다. 본 연구는 링크 교통량자료를 이용하여 기종점 통행표를 작성하기 위하여 개발된 기존의 여러 기법들 가운데 특히 용량제약조건(Capacity-Restrained Condition)하에서 기존의 방법들을 상호 검토한 후 Wardrop의 교통망 평형원칙(Wardrop's First Network Equilibrium Principle)을 만족하는 새로운 추정기법을 제의하고 이의 시험결과를 논의하는 것을 주요내용으로 한다. 링크 교통량 자료를 이용하여 기종점 통행표를 작성하는 기법들의 근본 목표는 조사된 링크 교통량(Ob-served Traffic Counts)에 가장 근접한 교통망 통행 배정 링크 교통량(Assigned Link Volumes)을 재현(Re-producing)할 수 있는 기종점 통행표들 중에서 최적의 기종점 통행표를 발견하는 것이다. 따라서 교통망에서 통행자의 여행 경로 배정을 가장 잘 반영할 수 있는 현실적인(Realistic) 교통망 통행 배정 모형(Net-work Traffic Assignment Model)의 선택은 중요한 요소가 되며 특히 교통망에 교통체증(Traffic Conges-tion)이 심할 경우 교통망 통행자 평형조건(Network Traffic Equilibrium Condition)을 고려하기 위한 특별한 처리가 요구되어진다. 본 연구는 Whllumsen(Hall, Van Vliet and Willumsen, 1980)에 의하여 개발된 ME2(Maximum Entropy Matrix Estimation)기법에서 반복식 추정방법(Sequential Estimation Method)을 사용할 경우 Wardrop의 평형조건을 만족하는 기종점 통행표를 구할 수 없다는 단점을 극복하기 위한 방안으로서 엔트로피 극대화문제와 교통망 평형 조건(Entropy Maximisation and Network Equilibrium Condition)의 두 문제를 동시에 해결할 수 있는 새로운 수식모형과 이를 풀기 위한 알고리즘(Simultaneous Solution Algorithm)을 제의하였다. 제의된 수식모형과 알고리즘을 예제 교통망(Example Network)을 이용한 시험하고 그 결과를 ME2 의 반복식 추정 방법으로부터 구한 기종점 통행표와 비교 검토하였다.

• Journal of the Korean Society of Marine Environment & Safety
• /
• v.25 no.6
• /
• pp.765-771
• /
• 2019

With the increase in the speed of ships and the size of ocean structures, the importance of flow noise has become increasingly critical in meeting regulatory standards. However, unlike active investigations in aeroacoustics fields for airplanes and trains, which are based on acoustic analogy methods for tonal and broadband frequency noise, only the discrete blade passing frequency noise from propellers is considered in marine fields. In this study, prediction methods for broadband noise in marine propellers and underwater appendages are investigated using FW-H Formulation1B, which can consider the mechanism of primary noise generation of trailing edge noise. The original FW-H Formulation 1B is based on the pressure correlation function tolackitsgeneralityandaccuracy. To overcome these limitations, wall-pressure spectrum models are adopted to improve the generality in fluid mediums. The comparison of the experimental results obtained in air reveals that the proposed model exhibits a higher accuracy within 5 dB. Furthermore, the prediction procedures for broadband noise for hydrofoils are established, and the estimation of broadband noise is conducted based on the results of the computational fluid dynamics.

• Journal of the Korean Association of Geographic Information Studies
• /
• v.17 no.4
• /
• pp.86-100
• /
• 2014

The purposes of this study are to provide a guideline for the suitability of wind farm facilities in forest lands and to suggest improvement plans of policies and systems to minimize the damage of forest lands. First, we implemented a literature review and field surveys to examine and select factors for the suitability of wind farm facilities in forest lands. Spatial database for selected location factors of wind farm facilities in forest lands was constructed to develop the suitability model for locating wind farm facilities focusing on Gangwon-do. Data used in this study include wind power resource, legal mountainous preserved area, forest roads, developed areas, forest class, and other spatial data. In order to find specific-sized potential areas for a certain number of wind farm turbines, we used block statistics and focal statistics methods. As a result, the areas for potential wind farm locations were 1,261ha from a block statistics method and 1,411ha from a focal statistics method. Based on the outputs of this research, it is required to make an urgent solution for the prevention of forest disaster and to prepare reduction measures for the destruction of ridge landscape.

• Journal of the Korean Institute of Telematics and Electronics D
• /
• v.36D no.10
• /
• pp.9-16
• /
• 1999

When the conventional IPD (inter-poly-dielctrics) layer with ONO(oxide-nitride-oxide) structure was used in the Flash EEPROM cell, its data retention characteristics were significanfly degraded because the top oxide of the ONO layer was etched off due to the cleaning process used in the gate oxidation process for the peripheral MOSFETs. When the IPD layer with the ONON(oxide-nitride-oxide-nitride) was used there, however, its data retention characteristics were much improved because the top nitride of the ONON layer protected the top oxide from being etched in the cleaning process. For the modelling of the data retention characteristics of the Flash EEPROM cell with the ONON IPD layer, the decrease of the threshold voltage cue to the charge loss during the bake was here given by the empirical relation ${\Delta}V_t\; = \;{\beta}t^me^{-ea/kT}$ and the values of the ${\beta}$=184.7, m=0.224, Ea=0.31 eV were obtained with the experimental measurements. The activation energy of 0.31eV implies that the decrease of the threshold voltage by the back was dur to the movement of the trapped electrons inside the inter-oxide nitride layer. On the other hand, the results of the computer simulation using the model were found to be well consistent with the results of the electrical measurements when the thermal budget of the bake was not high. However, the latter was larger then the former in the case of the high thermal budger, This seems to be due to the leakage current generated by the extraction of the electrons with the bake which were injected into the inter-oxide niride later and were trapped there during the programming, and played the role to prevent the leakage current. To prevent the generation of the leakage current, it is required that the inter-oxide nitride layer and the top oxide layer be made as thin and as thick as possible, respectively.

• Journal of the Korean Geographical Society
• /
• v.50 no.3
• /
• pp.277-287
• /
• 2015

This paper addresses limitations of land-change modeling application in the context of REDD (Reducing Emissions from Deforestation and forest Degradation). REDD is an international conservation policy that aims to protect forests via carbon credit generation and trading. In REDD, carbon credits are generated only if there is measurable quantied carbon sequestration activities that are additional to business-as-usual (BAU). A "reference level" is defined as simulated baseline carbon emissions for the future under a BAU scenario, and predictive land-change modeling plays an important role in constructing reference levels. It is tested in this research how predictive accuracies of two land-change models, namely Geographic Emission Benchmark (GEB) and GEOMOD, vary with respect to different spatial scales: Xishuangbanna prefecture and Yunnan province. The accuracies are measured by Figure of Merit. In this Chinese case study, it turns out that GEB's better performance is mainly due to quantity (e.g., how many hectares of forest will be converted to agricultural land?) rather than spatial allocation (e.g., where will the conversion happen?). As both quantity and allocation are crucial in REDD reference level setting it appears to be fundamental to systematically analyze accuracies of quantity and allocation independently in pursuit of accurate reference levels.

• Journal of the Korean earth science society
• /
• v.36 no.6
• /
• pp.501-511
• /
• 2015

This study suggests a method of alleviating global warming by the increase of the Earth surface albedo through Artificial Sea ice Increasing (ASI) over the Available Freezing Areas (AFA). The method is developed based on the fact that the large sea surface area in or near the Arctic and the Antarctic has no ice even though both water and air temperatures are below zero and the artificial sea ice generation is thus available. The mean energy of $0.85Wm^{-2}$, which was suspected of adding to the earth by the global warming effect was calculated to offset at once when the sea ice area about $4.09{\times}10^6km^2$ was additionally increased. In addition, three techniques for producing ice plates on the sea surface (using ships, installation apparatus, and floating matter such as Green Cell Foam) for ASI were proposed. According to the result of simple analysis using the energy balance model, when ASI was maximally operated only for 3 months (September, October, and November) over AFA, it is expected that the annual mean temperature of earth surface would be decreased about $0.11^{\circ}C$ in the following year. On the other hand, in case of generating the artificial sea ice in all four seasons, a risk of triggering snowball earth was detected.

• Korean Journal of Construction Engineering and Management
• /
• v.14 no.1
• /
• pp.23-31
• /
• 2013

Following the U.S sub-prime mortgage crisis and a slump in properties market, the probability is rising that housing investment would not yield high profit as it used to do until early 2000s. For this reason, the nature of properties market is undergoing a change from a source of lucrative investment to a source of a relatively low but stable profit, such as profit-oriented real estate. This trend is likely to promote REITs market, which is a leading product for indirect investment. Until now, the REITs market has been growing slowly compared to a general housing market or financial markets. However, as the importance of risk management based on portfolio theories increases, stable profit generation of REITs can be effective in risk management. This study conducts an empirical analysis on how investment risks can be diversified by including REITs-a source of relatively stable profit in the equity market-in investment portfolio. The analysis results showed that, similar to food and beverage stocks of highly defensive nature, REITs has a relatively weak correlation with KOSPI that reflects the overall market performance. It also showed very low standard deviation in case of minimum variance portfolio. This suggests that including REITs in investment portfolio can be as effective as including food and beverage stocks for risk diversification. Due to uncertainties, investment always accompanies risks, and balancing potential profits and risks is essential.

• Journal of The Korean Association of Information Education
• /
• v.11 no.3
• /
• pp.317-327
• /
• 2007

The purpose of this study is to consider ontology theory and get to forge design and implementation of ontology-based access system which is support to the nutrition and food guide tower of Home Economics textbooks in middle school in order to offer the way of effective learning performance. It offers a model by establishing a nutrition and food guide tower access system based on Protege-2000 framework. This system is on the basis of XML, and it makes possible to work with semantic web, a next generation internet technology, and provides a meaning structure that can be shared in the field of nutrition in order to build up the fundament of knowledge an information system for the mutual operations. A learner can systemize the knowledge through a self-information access and an instructor can also check out the degree of learner's learning-accomplishment and interests, directly putting the access system into the teaching and learning process. In addition, it is supposed that the learner can maintain a balance and healthy life by internalizing his or her knowledge throughout ontology not only in a teaching and learning process but also in a daily life.

• Journal of the Korean Institute of Landscape Architecture
• /
• v.40 no.4
• /
• pp.28-35
• /
• 2012

Recently, as the social interest increase has been focused on new renewable energy system to build-up sustainable urban planning system, the related studies have been actively conducting. As well as in other areas, the construction area, which accounts for over 40% of the total energy consumption, clearly showed this tendency. Whereas, various landscape facilities applying renewable energy equipments have been manufactured and installed, systematic study available for planning and designing is rarely found in Korea. This study is expected to contribute to the landscape planning and designing by quantifying the energy-efficient and economic advantages of the renewable energy system for landscape facilities. For this purpose, the analysis on the energy-efficiency and economic values under the scenario that the current fossil power supply for the streetlights in urban parks in Seoul, Daegu, and Incheon were replaced by photovoltaic power generation were performed through RETScreen$^{(R)}$ a clean energy simulation program based on the NASA Satellite Meteorological Data. As a result, the generated power and the economic values vary depending on the climatic features of the appointed cities. This study will be used to build up the effective decision-making in applying the clean renewable system to the plan and design of landscaping.