• The KIPS Transactions:PartD
• /
• v.16D no.3
• /
• pp.371-380
• /
• 2009

Recently, lots of research on automated test data generation has been actively done. However, techniques for automated test data generation presented so far have been proved ineffective for programs with flag variables. It can present problems when considering embedded systems such as engine controllers that make extensive use of flag variables to record state information concerning devices. This paper introduces a technique for generating test data effectively for programs with flag variables. The presented technique transforms the test data generation problem into a SAT(SATisfiability) problem and makes advantage of SAT solvers for automated test data generation(ATDG). For the ends, we transform a program under test into Alloy which is the first-order relational logic and then produce test data via Alloy analyzer.

• The Journal of the Institute of Internet, Broadcasting and Communication
• /
• v.12 no.1
• /
• pp.123-132
• /
• 2012

This paper presents a goal-oriented test data generation technique that specializes concolic testing. The proposed technique, referred to as GCT (Goal-oriented Concolic Testing) produces test inputs which execute a specific target. Concolic testing can be seen as the brute force approach to search the space of all possible paths until a required test input is found. In contrast, GCT restricts the number of program paths that are explored by using data flow information to identify statements that should be executed beforehand in order for the target to be executed. We conducted experiments to evaluate the performance of GCT with programs with flag variables to show its effectiveness.

• International Journal of Highway Engineering
• /
• v.7 no.4 s.26
• /
• pp.151-162
• /
• 2005

Variable Message Sign (VMS), which provides drivers with direct information about state of traffic congestion and for prevent an accident, is the most effective method among the methods of providing information in Advanced Transportation Management System. Currently establishment and the VMS which is operated foundation lets in Guidelines on the use of Variable message sign (a book of the VMS) of 1999 November the Ministry Construction & Transportation, these contents mean main viewpoint on physical part such as message special quality variable (font, character size and line space, word interval) and position mainly among standard about establishment in general. But, it is true that using without effect verification on the character of VMS display and that using mode of stationary-centered. In this paper, it executed significance test to effort verification on the character of VMS display for more practical and effective information transmission based on the driver viewpoint For the researches; develop 3D-Simulation, select characteristics of driver's visual cognition behavior (the conspicuity, the legibility and the comprehensibility), evaluation each issue (day or night, 80km/h or 100km/h). Especially, that used the Eye Marker Recorder to measure of reading-time (legibility) thus, confirmed objectivity and reduce an observational error. The results showed that the conspicuity is Flashing> Stationary>Scroll. The legibility is not deference that Flashing between stationary form. Also the comprehensibility result showed that Flashing> Stationary>Stroll form.

• Information Systems Review
• /
• v.20 no.2
• /
• pp.39-62
• /
• 2018

Thanks to the growth of computing power and the recent development of data analytics, researchers have started to work on the data produced by users through the Internet or social media. This study is in line with these recent research trends and attempts to adopt data analytical techniques. We focus on the impact of "internal marketing" factors on firm performance, which is typically studied through survey methodologies. We looked into the job review platform Jobplanet (www.jobplanet.co.kr), which is a website where employees and former employees anonymously review companies and their management. With web crawling processes, we collected over 40K data points and performed morphological analysis to classify employees' reviews for internal marketing data. We then implemented econometric analysis to see the relationship between internal marketing and market capitalization. Contrary to the findings of extant survey studies, internal marketing is positively related to a firm's market capitalization only within a limited area. In most of the areas, the relationships are negative. Particularly, female-friendly environment and human resource development (HRD) are the areas exhibiting positive relations with market capitalization in the manufacturing industry. In the service industry, most of the areas, such as employ welfare and work-life balance, are negatively related with market capitalization. When firm size is small (or the history is short), female-friendly environment positively affect firm performance. On the contrary, when firm size is big (or the history is long), most of the internal marketing factors are either negative or insignificant. We explain the theoretical contributions and managerial implications with these results.

• Korean Journal of Agricultural and Forest Meteorology
• /
• v.17 no.1
• /
• pp.25-34
• /
• 2015

In this research, we applied a procedure of quality control (QC) to the agro-meteorological data measured at the Suwon weather station of Korea Meteorological Administration (KMA). The QC was conducted through six steps based on the KMA Real-time Quality control system for Meteorological Observation Data (RQMOD) and four steps based on the International Soil Moisture Network (ISMN) QC modules. In addition, we set up our own empirical method to remove erroneous data which could not be filtered by the RQMOD and ISMN methods. After all these QC procedures, a well-refined agro-meteorological dataset was complied at both air and soil temperatures. Our research suggests that soil moisture requires more detailed and reliable grounds to remove doubtful data, especially in winter with its abnormal variations. The raw data and the data after QC are now available at the NCAM website (http://ncam.kr/page/req/agri_weather.php).

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.19 no.11
• /
• pp.497-505
• /
• 2018

In a situation where the amount of bulky waste needs to be quantified, a three-dimensional model of the wastes can be constructed using drones. This study constructed a drone-based 3D model with a range of flight parameters and a GCPs survey, analyzed the relationship between the accuracy and time required, and derived a suitable drone application technique to estimate the amount of waste in a short time. Images of waste were photographed using the drone and auto-matching was performed to produce a model using 3D coordinates. The accuracy of the 3D model was evaluated by RMSE calculations. An analysis of the time required and the characteristics of the top 15 models with high accuracy showed that the time required for Model 1, which had the highest accuracy with an RMSE of 0.08, was 954.87 min. The RMSE of the 10th 3D model, which required the shortest time (98.27 min), was 0.15, which is not significantly different from that of the model with the highest accuracy. The most efficient flight parameters were a high overlapping ratio at a flight altitude of 150 m (60-70% overlap and 30-40% sidelap) and the minimum number of GCPs required for image matching was 10.

• Information Systems Review
• /
• v.26 no.1
• /
• pp.269-288
• /
• 2024

The main objective of this study is to empirically explore how the organizational culture influences financial performance of companies. To achieve this, 58 companies included in the KOSPI 200 were selected from an online job platform in South Korea, JobPlanet. In order to understand the organizational culture of these companies, data was collected and analyzed from 81,067 reviews written by current and former members of these companies on JobPlanet over a period of 9 years from 2014 to 2022. To define the organizational culture of each company based on the review data, this study utilized well-known text analysis techniques, namely Word2Vec and FastText analysis methods. By modifying, supplementing, and extending the keywords associated with the five organizational culture values (Innovation, Integrity, Quality, Respect, and Teamwork) defined by Guiso et al. (2015), this study created a new Culture Dictionary. By using this dictionary, this study explored which cultural values-related keywords appear most often in the review data of each company, revealing the relative strength of specific cultural values within companies. Going a step further, the study also investigated which cultural values statistically impact financial performance. The results indicated that the organizational culture focusing on innovation and creativity (Innovation) and on customers and the market (Quality) positively influenced Tobin's Q, an indicator of a company's future value and growth. For the indicator of profitability, ROA, only the organizational culture emphasizing customers and the market (Quality) showed statistically significant impact. This study distinguishes itself from traditional surveys and case analysis-based research on organizational culture by analyzing large-scale text data to explore organizational culture.

• Korean Journal of Construction Engineering and Management
• /
• v.8 no.2
• /
• pp.146-154
• /
• 2007

The u-City construction project has become a hot topic In the construction market because it seems economic value-added field for construction firms. However, construction firms don't willingly participate in the u-City construction market because the future business environments for the u-City are very uncertain. Scenario planning is a very powerful method in managing this complex planning situation and is based on scenarios that help each enterprise appropriately adapt itself to its own business environments. Therefore it Is based on the main principles of systems thinking and multiple futures. For the purpose of dealing with such uncertainties, this paper attempts to develop the possible market scenarios of the u-City construction market through a scenario planning approach. From this perspective, we considered various aspects of the u-City construction such as market demands, technology development, policy level and management environment. After considering the relevant issues, we identified the main trends and key uncertainties. Then, we developed three coherent u-City construction market scenarios. On the basis of the proposed scenarios, the business strategies of potential construction firms in the u-City construction market has been formulated. Therefore, construction firms can use these scenarios as a basic data for market analysis and business strategy. Therefore, this paper is able to enhance the participation of construction firms in the u-City construction market.

• Journal of Convergence for Information Technology
• /
• v.7 no.6
• /
• pp.259-265
• /
• 2017

This study reviewed the existing studies in order to set up a strategy that can achieve the trust and business performance of the franchisers, who are actually operating franchised business, breaking from the research trend centered around franchise headquarters and added the factors of the franchise headquarters' strategy for expanding franchises, including word-of-mouth communication and advertising & publicity and added the exercise of recruitment agency outsourcing, flagship store, recently utilized often as preceding variables to verify the causal relation between the trust of the franchiser and the business performance of the franchise. The implications of this study, it can be concluded that the government authority for the attraction of healthy franchises can continuously attract franchises and enter the market can continuously attract franchises by increasing the trust of the franchises, and powerfully investing and managing them for the effort through word-of-mouth marketing. It is expected that this study will be helpful in the establishment of a business strategy for forming a continuous relationship as well as the franchise head office's strategy for the recruitment of new franchises.