KJC Korea
Journal Central

In this paper, we extend a generic library framework based on the state monad to exploit deterministic parallelism in a purely functional language Haskell and provide benchmarks for the extended features on a multicore machine. Although purely functional programs are known to be well-suited to exploit parallelism, unintended squential data dependencies could prohibit effective parallelism. Symbolic execution programs usually implement fresh name generation in order to prevent confusion between variables in different scope with the same name. Such implementations are often based on squential state management, working against parallelism. We provide reusable primitives to help developing parallel symbolic execution programs with unbound-genercis, a generic name-binding library for Haskell, avoiding sequential dependencies in fresh name generation. Our parallel extension does not modify the internal implementation of the unbound-generics library, having zero possibility of degrading existing serial implementations of symbolic execution based on unbound-genecrics. Therefore, our extension can be applied only to the parts of source code that need parallel speedup.

The flash translation layer(FTL) of SSD maps the logical page number requested from the host to the actual recorded flash memory page number. It is very important to reduce the amount of RAM used to manage the mapping information. In the existing demand-based FTLs, two-level method is applied in which mapping information is also recorded in flash memory pages and only their addresses are managed as a table in RAM. As the capacities of SSDs are growing to tens of terabytes, the amount of RAM for mapping table becomes too large. In this paper, ML-FTL was proposed as a method of managing mapping information in three levels to reduce the amount of RAM required drastically. From an evaluation, the increase in overhead was minimal compared to the conventional two-level method by properly utilizing cache.

In this paper proposes a method of finding missing persons based on face-recognition technology and deep learning. In this paper, a real-time face-recognition technology was developed, which performs face verification and improves the accuracy of face identification through data fortification for face recognition and convolutional neural network(CNN)-based image learning after the pre-processing of images transmitted from a mobile device. In identifying a missing person’s image using the system implemented in this paper, the model that learned both original and blur-processed data performed the best. Further, a model using the pre-learned Noisy Student outperformed the one not using the same, but it has had a limitation of producing high levels of deflection and dispersio

In this paper, we propose Automatic detection system of underground pipe which automatically detects underground pipe to help experts. Actual location of underground pipe does not match with blueprint due to various factors such as ground changes over time, construction discrepancies, etc. So, various accidents occur during excavation or just by ageing. Locating underground utilities is done through GPR exploration to prevent these accidents but there are shortage of experts, because GPR data is enormous and takes long time to analyze. In this paper, To analyze 3D GPR data automatically, we use 3D image segmentation, one of deep learning technique, and propose proper data generation algorithm. We also propose data augmentation technique and pre-processing module that are adequate to GPR data. In experiment results, we found the possibility for pipe analysis using image segmentation through our system recorded the performance of F1 score 40.4%.

In this paper, we propose a method of disease diagnosis system that can diagnose the health status of household pets for the people who lack veterinary knowledge. The proposed diagnosis system holds 50 different kinds of diseases with the symptoms for each of them as a database to provide results from symptom input. Each disease database has its own symptom codes for a disease, and by using the disease database, FCM clustering technique is applied to disease which outputs membership degree to determine diseases close to the input symptom as a pet diagnosis result. The implementation results of the proposed pet diagnosis system were obtained by the number of selected symptoms and the possibility values of the diseases that have the selected symptoms being sorted in descending order to derive top 3 diseases closest to the pet’s symptom.

In this paper, we propose a method of generating theme, background amd signal music usage monitoring information based on a blockchain, in which the music usage informations are recorded by the monitoring tool using feature-based filtering of monitoring organizations. Theme, background and signal music are music inserted into the broadcasting contents of broadcaster. Since they are recognized as created contents just like normal music, there are lyricists and composers who have the right for those music and all copyright holders of them have to receive the corresponding copyright fees, once the music was used in the broadcast. However, there are problems with inaccurate monitoring results for music usage, due to the omission of usage details and non-transparent settlement method. In order to solve these problems, If the information generation method proposed in this paper, accurate music usage history can be created, the details are stored in the blockchain without changes or omissions, and transparent settlement and distribution are possible by smart contract, avoiding the current non-transparent settlement method.

In this paper, we aimed to identify the insulation characteristics and reliability of Epoxy composites, which are widely used as insulation material for electrical & electronic components and electric appliance. To this end, it was necessary to predict variations of electric field due to the distribution of fillers that must be added by economic and mechanical factors. So, we verified the result using an electric field analysis Simulator. Furthermore, under the condtion of DC voltage application, an dielectirc breakdown test was performed according to ambient temperature changes and the distribution of fillers, and the changes were observed. Three types of specimens were manufactured by adding 0, 50 and 100[phr] filling to Epoxy resin. In all specimens, as temperature was increased, the strength of the dielectric strength was decreased. When comparing the simulation results with the actual dielectric breakdown test results, we was able to confirm the technical applicability required for Insulation design of electric appliance.

Recently, various technologies that use machine learning to classify malicious code have been studied. In order to enhance the effectiveness of machine learning, it is most important to extract properties to identify malicious codes and normal binaries. In this paper, we propose a feature extraction method for use in machine learning using recursive methods. The proposed method selects the final feature using recursive methods for individual features to maximize the performance of machine learning. In detail, we use the method of extracting the best performing features among individual feature at each stage, and then combining the extracted features. We extract features with the proposed method and apply them to machine learning algorithms such as Decision Tree, SVM, Random Forest, and KNN, to validate that machine learning performance improves as the steps continue.

In this paper, we propose a implementation plan of the human resource pool recruitment system using private (permitted) blockchain. The term Human Resource has become commonly used and has come to recognize human resources as resources. Despite these changes, the use of human resource pools has been sluggish. Once entered, information is often not updated on a regular basis and does not provide sharing, searching, carrier management and anti-counterfeiting. In this research, in order to provide a human resource pool recruitment system that utilizes private (permitted) blockchain, we first used the blockchain network to enable sharing and searching of human resource pools, and to use keywords. Used to get results that meet certain conditions. Second, we added an institutional verification process to ensure the integrity of the input data and prepared preventive measures in the non-technical part by utilizing the structural characteristics of the blockchain to prevent counterfeiting and alteration. Third, we designed and implemented a Dapp (Decentralized application) that includes a Web UI so that each of the three groups can control the blockchain and the predefined processes and business logic.

In this paper, we propose a API Gateway technique for the expansion of human resource management module, one of the ERP functions. The institution has introduced ERP (Enterprise Resource Planning) based on its efforts to transform all human and physical resources into business competitiveness and its response to the digital knowledge informatization environment, and listed it as multiple success factors. Human resource management is one of the factors that have been dealt with. However, ERP's Human Resources Management Module remains in the role of functional personnel management. How to utilize human resources begins with navigating and recognizing human resources. The proposed API Gateway technique leverages blockchain networks to design and implement APIs for human resource sharing and navigation, including the possibility of extending ERP's human resource management module. Secondly, it was designed and implemented using a smart contract that behaves like an API for preventing information forgery. The proposed method will not only be used as a tool that can actively utilize human resources, but will also be a complete resource for utilizing big data technology.

Blockchain is designed to collect and store the data recorded on the network in one block unit, and is connected and stored back and forth, and its form is similar to how the blocks are connected, so it is called a blockchain. Many companies are trying to popularize blockchain-based services at home and abroad, and blockchains are used in various industries. This study introduces the technical characteristics of the blockchain and deals with application services utilizing the blockchain. Introducing 5 types of blockchain architecture and core technologies and introducing blockchain application services that are used in payment services, blockchain service networks, blockchain real estate platforms, identity verification, cryptocurrency, diamond distribution path tracking, and blog information recording. do. It is expected to increase the understanding of the blockchain and provide usefulness in future blockchain research and service development.

This is a study on the type of perception about the transition of female firefighters to emergency car drivers. The purpose of this study is to identify the perception of the female firefighters on the circulation of emergency car drivers and to identify the characteristics of each type of firefighting officers and to provide basic data for the development and utilization of the emergency car drivers' work of female firefighters. The Q-sample of 27 statements was conducted on 31 subjects including 26 women and 5 men, and the data were analyzed using the QUANL program. As a result, the three types classified explained 60.8 % of the total variance, and the explanation power of each type was 50 % for type I, 5.6 % for type II, and 5.2% for type III. Type I was named 'feminist type', type II was named 'future-oriented type', and type III was named 'educational preparation type'. According to the perception of emergency cars by female firefighters, it was investigated that discrimination caused by gender should be eliminated and female firefighters can drive an emergency car if preparation and systematic education are made. Therefore, fire officials need to develop their personal abilities through gender equality and systematic education programs.

This study was attempted to identify the working environment of nurses by identifying the key keywords associated with the unfair working conditions of Korean nurses reported in various media outlets in the media. "Nurse NOT (nurse) or nurse" was searched on BIG KINDS, selected articles related to the unfair treatment of nurses, extracted the final 309 cases, and classified into six categories of hospital-level, regional, keyword, and integrated keywords in the article using Excel2007. Of the 309 articles, 79 (22.56 percent) were published from November 2015 to October 31, 2016, 92 (29.77 percent) from third medical institutions, and 121 (39.1 percent) from across the country. The integrated keywords were summarized into a total of 14, followed by sexual assault/sexual harassment (14.88%), shortage of nurses (11.65%), burning nurses (11.0%), unfair dismissal (10.67%) and physical assault (10.35%). The findings could be used as basic data for establishing a positive working environment for nurses and improving positive image awareness of nursing professionals.

In this study, we propose an antibacterial efficiency according to the direction of UV irradiation. In the experiment, we measured the effective irradiation angle of UVC using S.aureus, a Gram-positive bacterium, and the variation of the antibacterial region according to the distance according to the direction of ultraviolet irradiation. Also, as a method to increase the antibacterial efficiency during horizontal irradiation of ultraviolet rays, we tested reflecting leaking UVC. As a result, the angle of ultraviolet irradiation was measured smaller than the product description, and in the case of the antibacterial area according to the direction of ultraviolet irradiation, the distance from the sample was increased during vertical irradiation, and the antibacterial area was increased as the distance from the sample was closer during horizontal irradiation. In addition, it was confirmed that antibacterial efficiency can be increased by reflecting leaking UVC during horizontal irradiation of UVC.

In this paper, We propose a study on the construction of an environment for collaboration in mixed reality and a method for working with wearable IoT devices. Mixed reality is a mixed form of virtual reality and augmented reality. We can view objects in the real and virtual world at the same time. And unlike VR, MR HMD does not occur the motion sickness. It is using a wireless and attracting attention as a technology to be applied in industrial fields. Myo wearable device is a device that enables arm rotation tracking and hand gesture recognition by using a triaxial sensor, an EMG sensor, and an acceleration sensor. Although various studies related to MR are being progressed, discussions on developing an environment in which multiple people can participate in mixed reality and manipulating virtual objects with their own hands are insufficient. In this paper, We propose a method of constructing an environment where collaboration is possible and an interaction method for smooth interaction in order to apply mixed reality in real industrial fields. As a result, two people could participate in the mixed reality environment at the same time to share a unified object for the object, and created an environment where each person could interact with the Myo wearable interface equipment.

The purpose of this study was to investigate the association between major selection motives and employment preparation behavior in college students majoring in hair and determine if major satisfaction had any mediating effect on the association between major selection motives and employment preparation behavior. For this purpose, research was conducted in 154 college students majoring in hair in B Region. Such instruments as the major selection motive inventory, the major satisfaction inventory, and the employment preparation behavior inventory were used. For data analysis, descriptive statistics, product moment correlation analysis, and regression analysis were performed. Hierarchical multiple regression analysis was performed to determine the mediating effects of major satisfaction on the association between major selection motives and employment preparation behavior in college students majoring in hair and Sobel test was carried out to determine the significance of the mediating effects. This study obtained the following results: First, among the major selection motives, the personal motives were positively correlated with major satisfaction and employment preparation behavior, and major satisfaction was positively correlated with employment preparation behavior in college students majoring in hair. Second, the personal motives and major satisfaction affected employment preparation behavior in college students majoring in hair. Third, major satisfaction exerted partially mediating effects on the association between the personal motives and employment preparation behavior in college students majoring in hair. Major satisfaction partially affected the association between the social motives and employment preparation behavior.

Article 117, Paragraph 1 of the 「Constitution」states that “Local governments may enact provisions relating to local autonomy, within the limit of Acts and subordinate statutes”. It restricts the enactment of effective self-government laws. The fundamental problem-solving is securing the right to self-governing legislation through constitutional amendment. Therefore, it must be revised to “Local governments can make regulations on self-government to the extent that they handle resident welfare affairs in accordance with the subsidiarity and do not violate the law.” In the long-term perspective, the current education council problem, which is contrary to the constitution, has to be revived as a constitutional independent education committee system, and the voting agency and the executive agency must go together and education councilors must have about 10 years of experience in education and education administration. The current superintendent's election system is of great significance in establishing democratic legitimacy by ensuring residents' right to vote and securing a superintendent's representation of residents. It hasn’t been long since the system was implemented, but there are some side effects and it is argued that the election system should be replaced by the appointment by the head of the local government, the running mate system or the joint registration system. However it is thought that it is necessary to minimize and supplement the side effects rather than fixing the system as it violates the Constitution of the local education autonomy system.

The purpose of this study is to examine the relationship between the role factors of local children's center life workers and turnover intentions, and propose a rational role in the work of life workers to suggest an intervention plan that can lower turnover intention. For analysis, data were collected and 221 cases were analyzed using dmfh google docs for life-service workers working at local children's centers. The analysis results are as follows. First, among the sub-variables of the role factors, role conflict was found to increase the turnover intention of life workers, and second, role overload increased the turnover intention of life workers. Based on these research results, policy and practical implications were proposed.

This research strives to find the effective Local Currency Model that considered regional characteristics of Innovation city. Currently, the issuance of the domestic local currency has been increased due to COVID-19 Pandemic, yet most regions operate it in the same way without consideration of the characteristics and environment for each region, which leads to a lack of motivation for local communities to continue to participate. The regional characteristics of innovative cities were analyzed in order of policy characteristics of innovation cities, population growth issues, settlement and consumption environment. The new local currency model was proposed for innovation cities based on a private blockchain system with the participation of public institutions to solve and supplement regional issues.

The purpose of this study is to find out whether smartphone overdependence serves as a significant mediating effect in the relationship of anxiety and school life adjustment to prevent and reduce problems of anxiety and smartphone overdependence among university students and to seek alternatives to improve school life adjustment. For this purpose, a structural equation model analysis was conducted on male and female university students attending a four-year university located in Gwangju Metropolitan City to verify the mediated effect. As the result of the analysis, The mediating effects of smartphone overdependence were statistically significant and presented as a partial medium, showing the direct effect of anxiety directly affecting school life adjustment and the indirect effect of anxiety on school life adjustment by means of smartphone overdependence. Based on these findings, the significance of the study and its implications were discussed, and suggestions were put forward for further study.

This study was carried out for the purpose of selecting and structuring educational content for personal information protection education in supplementary education for childcare workers. Prior research and literature data were collected and analyzed to select educational content, and a preliminary survey was conducted for 125 applicants for education. Based on the surveyed data, the educational content was structured through focus group interview. In the focus group interview analysis, the person in charge of personal information of the institution and those who have completed education participated. Group interviews and individual interviews through e-mail, etc. were conducted, and the final contents were selected after reviewing the appropriateness of the derived opinions by two educational experts. It was found that the direction of the search for personal information protection education contents should be added to the contents of practical work in each stage of information management and practice such as document writing.

This study examined physiological activity of aronia chung with or without aspartame. High sugar content of food is recognized to induce chronic disease including diabetes and obesity. Sugar was replaced with aspartame to develop low-sugar aronia chung containing 0%, 25%, 50% and 75% aspartame based on sugar content of control in the study. Sweetness was the similar in the chungs with 0%, 25% and 50% aspartame but it was lower in the chung with 75% aspartame. pH was the highest in aronia chung with 75% aspartame as 2.95. Total phenolic content was the highest in aronia chung with 50% aspartame but it was not significantly different with 75% one. Flavonoid content increased with addition of aspartame and it was the highest in the chung with 75% aspartame as 206.60 ㎍ QEAC/mL. Reducing power also showed the same aspect with flavonoid content. However DPPH radical scavenging ability was the highest in aronia chung without aspartame and lowest in the chung with 75% aspartame. This result implies that the addition of aspartame could sustain the sweetness and improve the physiological activity of food at the same time although there is some limitation.

The purpose of this study was to apply a teaching method that fits the characteristics of learners through the improvement and application of subjects for reinforcing SWP, and to seek ways to strengthen field practice. As a result of the study, first, as a method of applying learner motivation, it is necessary to conduct discussions by inviting practitioners in the field, and to watch the progress of projects by type of social welfare site. Second, as a way to participate in learners, it is necessary to analyze excellent proposals, participate in events held at welfare sites, present various dilemma cases in the field, and try to overcome ethical dilemmas by sharing cases overcoming dilemma, and to make efforts to list practical skills required in social welfare field practice. Third, it is necessary to apply such methods as phone calls, e-campus, Kakao Talk, Zoom, and counseling techniques that are conducted in the case management process as a way to apply interaction, and discuss issues that are important in the welfare field.

In this paper, we propose that logistics companies will have different business models when using blockchain technology. In addition, it intends to understand the difference in absorptive capacity and performance of logistics companies using blockchain technology. In order to achieve this research objective, this study conducted a survey on logistics companies and analyzed the collected data. Cluster analysis was performed to understand the business model, and ANOVA was performed to understand the significance of cluster analysis. The difference in absorptive capacity and performance was analyzed according to the business model identified through cluster analysis. In addition, PLS analysis was conducted to determine the difference in absorption capacity and performance. The results show that logistics companies have different types of business models in adopting blockchain technology. Logistics companies groups with high degree of development of business models showed high results in terms of absorption capacity and performance level.

With the continuing development of the global economy, the scale of international production and management of companies is expanding rapidly nowadays. As a result, it is increasingly important for multinational companies to establish appropriate marketing strategies for products in order to successfully enter overseas markets. When consumers evaluate the quality of products from various countries, they depend heavily on the image of the product as well as the price of the product. Therefore, this study aim to find out how the price, country image, brand image and country of origin image affect on consumer product evaluation and purchase intention. Based on these concepts, the significance of this study is helping local companies make more appropriate marketing strategies by understanding the importance of price and image of a product to companies and knowing more accurate recognition in Korea and Korean-made products of Chinese consumers. The results of this study which used AMOS model showed that 1) The country image and country of origin image for a product had a positive effects on product quality, 2) The price and country image of a product had a positive effects on service quality, 3) And evaluation of product had a positive effects on purchase intention. Based on these results, we made some proposals and presented the future research directions according to the limitations.

In this paper, we tried to explore factors influencing the diffusion of online events through SNS by analyzing the online footprint of consumers. To this end, log data of online events conducted by “C” beer brands were collected and analyzed. The analysis unit of log data was set for each one hour, and the analyzing method used descriptive and regression analysis. Results are as follows. First, factors influencing the diffusion of the view of SNS-based online events were like, friend used coupon, and friend size. In particular, the size of friends had the greatest impact on the diffusion, which again suggests the importance of social hubs in online events. Second, factors influencing the diffusion of the number of inflows were also like, friend used coupon, and size of friends. Third, it was found that the number of reply did not affect the diffusion of views and inflows. This study is meaningful that it suggested an alternative plan to increase the effect of online events by using real data.

Blockchain, recognized as one of the core technologies of the 4th industrial revolution, is an Internet-based distributed data management system which does not require centralized control. Blockchain is characterized by the integrity and reliability of information, and blockchains can be used where such characteristics are required. Typical applications of blockchain include finance, transaction, and evaluation management. In this paper, we designed a blockchain-based evaluation management system that allows users to freely create and manage evaluation instances. Evaluation managers can create an evaluation instance according to their purpose and allocate evaluation items and evaluators. When the evaluators finish evaluating the evaluation items, the evaluation manager can aggregate the evaluation results for the instance. Someone, who want to perform evaluation for various purposes but do not have an evaluation system, can implement the evaluation system relatively simply by using this system. In addition, due to the characteristic of the blockchain, evaluators cannot modify the evaluation scores they have already recorded, and neither the system administrator nor the evaluation administrator can modify the evaluation scores. For this reason, the reliability of the evaluation increases.