• The KIPS Transactions:PartA
• /
• v.9A no.4
• /
• pp.525-534
• /
• 2002

Race conditions, races in short, need to be detected for debugging parallel programs, because the races result in unintended non-deterministic executions. To detect the races in an execution of program, previous techniques use a centralized data structure which may incur serious bottleneck in generating concurrency information, or show inefficient time complexity which depends on the degree of nested parallelism in comparing any two of them. We propose a new labeling scheme in this paper, which is scalable in generating the concurrency information without bottleneck by using private data structure, and improves time complexity into constant in checking concurrency. The scalability and time efficiency therfore makes on-the-fly race detection efficient not only for programs with either shared-memory or message-passing, but also for programs with mixed model of the two.

• Journal of KIISE:Computing Practices and Letters
• /
• v.15 no.4
• /
• pp.299-303
• /
• 2009

Patent information search is used for checking existence of earlier works. In patent information search, there are many reasons that fails to get appropriate information. This research proposes a method extracting alternative word candidates in order to minimize search failure due to keyword mismatch. Assuming that two words have similar meaning if they have similar co-occurrence words, the proposed method uses the concept of concentration, association word set, cosine similarity between association word sets and a ranking modification technique. Performance of the proposed method is evaluated using a manually extracted alternative word candidate list. Evaluation results show that the proposed method outperforms the document vector space model in recall.

• The KIPS Transactions:PartD
• /
• v.17D no.6
• /
• pp.431-442
• /
• 2010

Because embedded system is combined system of hardware and software, we should design by considering elements such as real-time, reactive, small size, low weight, safe, reliable, harsh environment, low cost, and so on. However, those are poorly reflected on current embedded system development. Especially, there is few existed framework-based embedded system development. As a result, there are many internal codes which is not related with system operation in currently developed embedded system, and reusability or variability is not considered into embedded system development. Therefore we propose a formal specification technique using Z language to guarantee completeness or consistency of design of reusability framework proposed for improving reusability of embedded system. Also we assure correctness of framework design by checking Z model through Z-Eves Tool.

• Korean Journal of Construction Engineering and Management
• /
• v.20 no.6
• /
• pp.132-141
• /
• 2019

1990s, Construction market continued to grow in South Korea exceeding 20% of GDP. In 2015, more than 30 years of old multi-family dwellings amounted to 4.93 million and it continues to increase until 2019. In Particular, the share of Public rental Housing accounts for 90.6% of South Korea's Total aging housing. Before checking the feasibility of Construction Project Management such as Renovation and Reconstruction, Checklists were presented through price impact factor analysis and analysis of housing construction system(Regulation). Based on 32 Price Influencing factors and 20 Indicators based on the housing construction system The Construction project management seems appropriate. As a result, the 22 complexes were found to be suitable for remodeling. This study is meaningful enough to be used for Domestic rental Housing construction and Construction project management and to suggest specificity. Future Research is needed to Quantify the checklist.

• Journal of the Korea Society of Computer and Information
• /
• v.15 no.1
• /
• pp.51-59
• /
• 2010

Apartment complex, buildings, markets and department stores have inner parking lots which can accept many cars but drivers waste lots of times to find the empty parking spaces in crowding parking lots. In this paper, we proposed the inner parking information support system based on microprocessor which can decrease roaming times to find vacant parking spot in confusing parking lots through notice monitor and provide SMS to make it easy to find parked place. Proposed system consist with RFID system for detecting access of cars, microprocessor system for processing data of checking existence of cars on parking spots and communicating with server, and server system which processes information of cars' in and out, guides empty parking spots and parked location to drivers. Suggested system is realized by handmade model parking lot size of 8 cars, and we confirmed practicality by providing information using parking notice monitor and single message service.

• Korean Journal of Remote Sensing
• /
• v.37 no.5_3
• /
• pp.1461-1473
• /
• 2021

The purpose of this study is to ascertain how the level of resolution of land cover data affects on the local distribution and diffusion of fine dust. the CALPUFF model, which considers the spatio-temporal terrain conditions and changes in weather conditions, was used to estimate PM10 concentration in the Pyeongchon, Anyang-si, Gyeonggi-do. Three different resolutions of land cover data including 20 m, 50 m, and 100 m were compared as the input of the modeling. Using higher resolution land cover data (20 m), the wind speed of the simulated region was the largest and the PM10 concentration was the lowest. Through this study, we confirm that the resolution level of land-use/cover data can affect the local distribution and diffusion of fine dust, which can be detected by CALPUFF. Therefore, when using CALPUFF to simulate fine dust in the future, it can be suggested that checking the impact on spatial resolution according to the form of land cover in advance and proceeding with the simulation can achieve mote accurate results.

• The Journal of Society for e-Business Studies
• /
• v.23 no.4
• /
• pp.19-39
• /
• 2018

Recently, fake news has attracted worldwide attentions regardless of the fields. The Hyundai Research Institute estimated that the amount of fake news damage reached about 30.9 trillion won per year. The government is making efforts to develop artificial intelligence source technology to detect fake news such as holding "artificial intelligence R&D challenge" competition on the title of "searching for fake news." Fact checking services are also being provided in various private sector fields. Nevertheless, in academic fields, there are also many attempts have been conducted in detecting the fake news. Typically, there are different attempts in detecting fake news such as expert-based, collective intelligence-based, artificial intelligence-based, and semantic-based. However, the more accurate the fake news manipulation is, the more difficult it is to identify the authenticity of the news by analyzing the news itself. Furthermore, the accuracy of most fake news detection models tends to be overestimated. Therefore, in this study, we first propose a method to secure the fairness of false news detection model accuracy. Secondly, we propose a method to identify the authenticity of the news using the social data broadly generated by the reaction to the news as well as the contents of the news.

• Journal of Korean Society of Industrial and Systems Engineering
• /
• v.42 no.2
• /
• pp.18-27
• /
• 2019

The process control methods based on the statistical analysis apply the analysis method or mathematical model under the assumption that the process characteristic is normally distributed. However, the distribution of data collected by the automatic measurement system in real time is often not followed by normal distribution. As the statistical analysis tools, the process capability index (PCI) has been used a lot as a measure of process capability analysis in the production site. However, PCI has been usually used without checking the normality test for the process data. Even though the normality assumption is violated, if the analysis method under the assumption of the normal distribution is performed, this will be an incorrect result and take a wrong action. When the normality assumption is violated, we can transform the non-normal data into the normal data by using an appropriate normal transformation method. There are various methods of the normal transformation. In this paper, we consider the Box-Cox transformation among them. Hence, the purpose of the study is to expand the analysis method for the multivariate process capability index using Box-Cox transformation. This study proposes the multivariate process capability index to be able to use according to both methodologies whether data is normally distributed or not. Through the computational examples, we compare and discuss the multivariate process capability index between before and after Box-Cox transformation when the process data is not normally distributed.

• Journal of Ocean Engineering and Technology
• /
• v.33 no.3
• /
• pp.222-228
• /
• 2019

An extreme value analysis (EVA) is essential to obtain a design value for highly nonlinear variables such as long-term environmental data for wind and waves, and slamming or sloshing impact pressures. According to the extreme value theory (EVT), the extreme value distribution is derived by multiplying the initial cumulative distribution functions for independent and identically distributed (IID) random variables. However, in the position mooring of DNVGL, the sampled global maxima of the mooring line tension are assumed to be IID stochastic variables without checking their independence. The ITTC Recommended Procedures and Guidelines for Sloshing Model Tests never deal with the independence of the sampling data. Hence, a design value estimated without the IID check would be under- or over-estimated because of considering observations far away from a Weibull or generalized Pareto distribution (GPD) as outliers. In this study, the IID sampling data are first checked in an EVA. With no IID random variables, an automatic resampling scheme is recommended using the block maxima approach for a generalized extreme value (GEV) distribution and peaks-over-threshold (POT) approach for a GPD. A partial autocorrelation function (PACF) is used to check the IID variables. In this study, only one 5 h sample of sloshing test results was used for a feasibility study of the resampling IID variables approach. Based on this study, the resampling IID variables may reduce the number of outliers, and the statistically more appropriate design value could be achieved with independent samples.

• Journal of Family Relations
• /
• v.22 no.1
• /
• pp.111-134
• /
• 2017

Objective: The purpose of this study is to verify the structural relationships among work-family balance, resilience, job satisfaction, parenting self-efficacy and happiness of double income couples with 3~5 years child(ren). Method: This study distributed structured self-reported questionnaires and used the data of 229 couples with 3~5 years child(ren) for an analysis. A confirmatory factor analysis was conducted for checking the measurement unity and a structural equation model was performed to reveal the structural relationship using AMOS software. Results: In a structural relationships among work-family balance, resilience, job satisfaction, parenting self-efficacy and happiness, a total of 13 paths appeared significant. The influence of the husband on the wife was more significant than that of the wife on the husband, and resilience was found to have a strong influence on the happiness of wife and husband. The work-family balance was different for wife and husband. Conclusion: These results suggest that it is necessary to develop various programs and approaches for the development of resilience to promote their happiness. As a policy direction in the future, with a goal of a shift to the paradigm, 'raising children together,' an institutional support should be prepared for the concretization of the formation and practice of the value of co-parenting children.