• KIPS Transactions on Software and Data Engineering
• /
• v.4 no.11
• /
• pp.479-486
• /
• 2015

Model checking method is able to check all possible cases automatically and is applicable to specifications or design before actual implementation so that some critical systems have adopted this method actively. However, the current practice of software verification is largely dependant on basic methods such as manual testing because of lack of understanding about this rigorous method and high verification cost. In this paper we conducted an experimental research for the automated verification using the SPIN model checker on an online-game server to study the applicability of the technique in this domain. The results show that we could verify major features of the online-game server party system with 5~7 GB memory and within 10 minutes execution time, and also found a hidden system error that passed existing testing process. This result shows the possibility of rigorous and effective verification with reasonable cost in comparison to manual testing.

• Journal of Broadcast Engineering
• /
• v.27 no.5
• /
• pp.694-702
• /
• 2022

This paper is the UX-based technology strategy research which is a solution to how conversational AI can be ethically evolved in the Metaverse environment. Since conversational AI influences people's on-offline decision-making factors through interaction with people, the Metaverse AI ethics must be reflected. In the machine learning process of conversational AI, cultural codes along with user's personal experience data must be included and considered to reduce the error value of user experience. Through this, the super-personalized Metaverse service can evolve ethically with social values. With above hypothesis as a result of the study, a conceptual model of a forward-looking perspective was developed and proposed by adding user experience data to the machine learning (ML) process for context-based interactive AI in the Metaverse service environment.

• Journal of the Korea Society of Computer and Information
• /
• v.27 no.11
• /
• pp.139-145
• /
• 2022

As products that consumers want become more diverse, the types of automation equipment are becoming more diverse and advanced to produce competitive products. In general, equipment is manufactured with built-in interface devices (HMI) for users so that operators can efficiently monitor and operate equipment quickly. Because HMI devices are connected to various industrial controllers, elements such as communication protocols of various controllers must be understood and set up in the design stage. Non-experts not only have difficulty choosing compatible items among various protocols, but also have limitations in integrating and operating on one device because screens and settings are statically assigned. This paper proposes a model that can scan information such as equipment ID and communication protocol with QR code using a mobile device, access industrial controller, and remotely operate the displayed equipment screen. The proposed model is expected to increase efficiency in inspection and management of automated equipment as it can easily set, monitor, and operate the communication environment of various automated equipment using one mobile device.

• Journal of Korea Entertainment Industry Association
• /
• v.14 no.4
• /
• pp.105-120
• /
• 2020

This study explores the process of the actual content production and distribution, by creating a YouTube channel to promote the popular music contents produced by the researcher, which thus reflects the reality where the production of video contents rapidly increases. A YouTube channel titled "Alida Music", of which the focus was to promote indie musicians, was created on February 2019. The contents of 10 indie musicians were produced in one-take live format. The information of the indie musicians was displayed in the form of a screen business card, with their e-mail address and SNS account at the top. Therefore, this promotional design was named "Card Live". Promotional video contents marked with the QR code in the lower right on the screen were produced, along with the promotional phrase "Communicate directly with the artist through the QR code", which allows viewers to watch other contents of the indie musician when they scan the QR code. This research conducted a study on how to improve and promote "Card Live" contents of "Alida Music", which were produced through this process. A group interview targeting five indie musicians, among whom one participant deemed significant was selected to conduct a one-to-one in-depth interview. As a result of the study, the following three conclusions were drawn. First, YouTube was found to be the medium with the greatest influence and highest efficiency at the lowest cost. Second, the evaluation of the participants on "Card Live" were divided into the three categories: need for one-take live, the design elements of "Card Live", and scanning issues of the QR code. Third, there is a need for promotional methods that can effectively utilize the media aspects of YouTube: the channel management issues such as raising public awareness as well as the number of subscribers of "Alida Music" should be resolved and measures to effectively use various media including other SNS should be developed. In terms of its content, it is imperative to recruit diverse performers to make various contents, as well as to come up with ways to link "Card Live" contents with offline. Based on these results, "Card Live" contents should be further revised and complemented in order to provide interesting contents to consumers, which will further develop "Alida Music" as a platform where various musicians and companies meet, thereby inducing contracts with popular music agencies and generating advertising revenues. However, since this study was carried out only with the limited number of participants, future studies should include more participants to bring forth a variety of promotional plans and improvement measures. Also, in the era of consuming contents through smart devices, the fact that some features of "Card Live" were available only on PC, did not fully reflect the characteristics of the times. In the future research, various contents that smartphone users can access and view freely without PC should be produced.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.19 no.1
• /
• pp.672-679
• /
• 2018

This paper describes a methodology for shape design using an optimal design system, whereas generally a three dimensional analysis is required for such designs. An automatic finite element mesh generation technique, which is based on fuzzy knowledge processing and computational geometry techniques, is incorporated into the system, together with a commercial FE analysis code and a commercial solid modeler. Also, with the aid of multilayer neural networks, the present system allows us to automatically obtain a design window, in which a number of satisfactory design solutions exist in a multi-dimensional design parameter space. The developed optimal design system is successfully applied to evaluate the structures that are used. This study used a stress gauge to measure the maximum stress affecting the parts of the side housing bracket which are most vulnerable to cracking. Thereafter, we used a tool to interpret the maximum stress value, while maintaining the same stress as that exerted on the spot. Furthermore, a stress analysis was performed with the typical shape maintained intact, SM490 used for the material and the minimizing weight safety coefficient set to 3, while keeping the maximum stress the same as or smaller than the allowable stress. In this paper, a side housing bracket with a comparably simple structure for 36 tons was optimized, however if the method developed in this study were applied to side housing brackets of different classes (tons), their quality would be greatly improved.

• Culinary science and hospitality research
• /
• v.22 no.5
• /
• pp.64-81
• /
• 2016

The study, based on existing studies, explored influencing relationship, suggesting app service quality and user reviews as previous elements to affect use satisfaction about users' comments based on big data and reuse intention. The study includes a comparative analysis of existing studies. Based on such analysis results, the authors looked into app service quality elements perceived by gourmet restaurant app users and the role of user reviews, and suggested practical implications that can help the development and operation of gourmet restaurant app contents. The study subjects were male and female consumers who over 20 years old throughout Korea who had not a searched smartphone gourmet restaurant app in the three months preceding the survey. The subjects were selected from consumers who search the restaurantsby using restaurant apps like Mango plate, Dining code, Hot place, and selecting restaurants. Among them, consumers with experience using restaurants were finally selected for the survey. According to the results, reliability, informativity, and system capability, among service quality, had positive influences on app use satisfaction, while design and mobility had no effect. App use satisfaction had positive influences on app reuse intention. User comment informativity played a controlling role. The study explored the importance of app service quality and user review informativity as elements that affect continued use of gourmet restaurant apps by dining-out consumers.

• Journal of the Korea Society of Computer and Information
• /
• v.25 no.6
• /
• pp.1-8
• /
• 2020

Communication between system modules is applied using the Modbus protocol in industrial sites including smart factories, industrial drones, building energy management systems, PLCs, ships, trains, and airplanes. The existing Modbus was used for serial communication, but the recent Modbus protocol is used for TCP/IP communication.The Modbus protocol supports RTU, TCP and ASCII, and implements and uses protocols in embedded systems. However, the transmission I/O devices for RTU, TCP, and ASCII-based protocols may differ. For example, RTU and ASCII communications transmit on a serial-based communication protocol, but in some cases, Ethernet TCP/IP transmission is required. In particular, since the C language (object-oriented) is used in embedded systems, the complexity of source code related to I/O registers increases. In this study, we designed software that can logically separate I/O functions from embedded devices, and designed the execution logic of each instance requiring I/O processing through a delegate class instance with Modbus RTU, TCP, and ASCII protocol generation. We designed and experimented with software that can separate communication I/O processing and logical execution logic for each instance.

• Archives of design research
• /
• v.18 no.3 s.61
• /
• pp.129-138
• /
• 2005

It has been assumed that the clarification of a message is a necessary element for successful communication. However, in the today's complicated and changing environment of business marketing media, it is shown that the clarification of the message of advertisement may inhibit the effectiveness of communication. This study was to examine what was effective communication in advertisement when the company, provoking the people's negative emotional response, needs to establish new identities such as the goals and the special fields of business. In particular, the study was to investigate what effect the advertising strategy of strategically emitting ambiguous messages makes on the consumer's recognition, emotional attitude, reliability, and attitude towards the company. It was hypothesized that an ambiguous message in an advertisement has an effect on the consumer's recognition, emotional attitude, reliability, and attitude towards the company. Three texts from the 'Imagination Praises' campaign of KT&G which has been in process since 2003 were systematically sampled and the survey was performed by the means of questionnaires made on the sample The results showed that the ambiguous message of advertising texts gained better responses on the consumer's attention, good impression, affirmation, memory, sympathy than the dear message and that the ambiguous message had an effect on the consumer's attitude towards the advertisement itself. Thus, it could be tentatively concluded that the ambiguous message could be more effective in recognition and recall to promote the changes of identities of the company having the people's unfavorable emotion. But there wasn't any evidence that an ambiguous message in an advertisement was more effective in terms of the consumer's emotional response, reliability, and attitude towards the company. From this, it could be inferred that the receiver had an uncomfortable, doubtful and negative attitude about the implicit expressive code contained in the message. In the future deeper qualitative studies can compensate for the limited explanation of this empirical study focused on statistical analyses.

• Journal of Hospice and Palliative Care
• /
• v.21 no.1
• /
• pp.23-32
• /
• 2018

Purpose: Little is known regarding the extent to which dying patients with chronic obstructive pulmonary disease (COPD) receive life-sustaining procedures and palliative care in U.S. hospitals. We examine hospital cost trends and the impact of palliative care utilization on the use of life-sustaining procedures in this population. Methods: Retrospective nationwide cohort analysis was performed using National Inpatient Sample (NIS) data from 2005 and 2014. We examined the receipt of both palliative care and intensive medical procedures, defined as systemic procedures, pulmonary procedures, or surgeries using the International Classification of Diseases, 9th revision (ICD-9-CM). Results: We used compound annual growth rates (CAGR) to determine temporal trends and multilevel multivariate regressions to identify factors associated with hospital cost. Among 77,394,755 hospitalizations, 79,314 patients were examined. The CAGR of hospital cost was 5.83% (P<0.001). The CAGRs of systemic procedures and palliative care were 5.98% and 19.89% respectively (each P<0.001). Systemic procedures, pulmonary procedures, and surgeries were associated with increased hospital cost by 59.04%, 72.00%, 55.26%, respectively (each P<0.001). Palliative care was associated with decreased hospital cost by 28.71% (P<0.001). Conclusion: The volume of systemic procedures is the biggest driver of cost increase although there is a cost-saving effect from greater palliative care utilization.

• Journal of Intelligence and Information Systems
• /
• v.27 no.4
• /
• pp.23-48
• /
• 2021

The Korean economy has achieved continuous economic growth for the past several decades thanks to the government's export strategy policy. This increase in exports is playing a leading role in driving Korea's economic growth by improving economic efficiency, creating jobs, and promoting technology development. Traditionally, the main factors affecting Korea's exports can be found from two perspectives: economic factors and industrial structural factors. First, economic factors are related to exchange rates and global economic fluctuations. The impact of the exchange rate on Korea's exports depends on the exchange rate level and exchange rate volatility. Global economic fluctuations affect global import demand, which is an absolute factor influencing Korea's exports. Second, industrial structural factors are unique characteristics that occur depending on industries or products, such as slow international division of labor, increased domestic substitution of certain imported goods by China, and changes in overseas production patterns of major export industries. Looking at the most recent studies related to global exchanges, several literatures show the importance of cultural aspects as well as economic and industrial structural factors. Therefore, this study attempted to develop a forecasting model by considering cultural factors along with economic and industrial structural factors in calculating the import volume of each country from Korea. In particular, this study approaches the influence of cultural factors on imports of Korean products from the perspective of PUSH-PULL framework. The PUSH dimension is a perspective that Korea develops and actively promotes its own brand and can be defined as the degree of interest in each country for Korean brands represented by K-POP, K-FOOD, and K-CULTURE. In addition, the PULL dimension is a perspective centered on the cultural and psychological characteristics of the people of each country. This can be defined as how much they are inclined to accept Korean Flow as each country's cultural code represented by the country's governance system, masculinity, risk avoidance, and short-term/long-term orientation. The unique feature of this study is that the proposed final prediction model can be selected based on Design Principles. The design principles we presented are as follows. 1) A model was developed to reflect interest in Korea and cultural characteristics through newly added data sources. 2) It was designed in a practical and convenient way so that the forecast value can be immediately recalled by inputting changes in economic factors, item code and country code. 3) In order to derive theoretically meaningful results, an algorithm was selected that can interpret the relationship between the input and the target variable. This study can suggest meaningful implications from the technical, economic and policy aspects, and is expected to make a meaningful contribution to the export support strategies of small and medium-sized enterprises by using the import forecasting model.