• Journal of KIISE:Software and Applications
• /
• v.28 no.9
• /
• pp.634-648
• /
• 2001

Message Sequence Charts(MSC) has been used to describe the interactions of numerous concurrent tasks in telecommunication software. After the MSC specification is verified in requirement analysis phase, it can be used not only to synthesize state-based design models, but also to generate test sequences. Until now, the verification is accomplished by generating global state transition graph using the location information only. In this paper, we extend the condition statement of MSC to describe the activation condition of scenarios and the change of state variables, and propose an approach to construct global finite state machine (GFSM) using this information. The GFSM only includes feasible states and transitions of the system. We can generate the test sequences using the existing FSM-based test sequence generation technology.

• Journal of Korean Society of Occupational and Environmental Hygiene
• /
• v.22 no.2
• /
• pp.149-155
• /
• 2012

Objectives: 이 논문의 목적은 한 사업장에서 수십 년 동안 진행된 소음감소계획이 실제적이고, 경제적인 것을 증명하고 이를 바탕으로 소음의 공학적 개선방법과 효과적인 실행을 위한 실제 작동 가능한 모델을 제시하는 것이다. Methods: 1967년도에 설립된 다국적 전자회사에서 1987년부터 2002년까지 실행된 각종 소음 감소 노력, 요소, 프로그램을 분석하고 이 기간 동안 소음감소가 어떻게 실제로 일어났는지 분석하였다. 특히 회사가 다른 여러 가지 노력을 한 후에도 실질적 효과를 기대하기 어려워 공학적 개선과 같이 도입한 Action Learning Team (ALT) 활동에 초점을 두고 개선 효과를 파악하였다. Results: 실제 소음의 감소노력은 산업안전보건법의 변화에 따라 여러 가지 형태로 실행되었다. 주된 효과는 ALT활동이 있고 나서 이루어졌는데 평균 소음 노출수준이 86.9 dBA에서 79.8 dBA로 현저히 감소하였으며 소음 지역 (85dBA 이상 )도 10개 지역에서 3개 지역으로 70% 감소하였다. ALT 활동의 결과로 나타난 7개 지역의 소음 감소를 위해 투입된 총 비용이 6,767 달러였다. ALT 활동을 처음 시작한 첫해에 소음 감소지역을 줄임으로써 이 지역의 근로자가 청력검사를 받지 않아서 초기 396명의 근로자가 청력검사를 받던 것을 활동 후 130명만 받아 266명의 근로자가 청력검사를 받지 않아도 되어 청력검사 비용이 6,650 달러 절약되었다. 따라서 장기간으로 보면 매우 비용효과적인 방법으로 증명되었다. Conclusions: 실제 소음감소가 현저히 일어나고, 비용효과적인 소음 감소가 일어나려면 기기 설비 공정담당자가 소음감소의 중요성을 잘 알고, 그 기법을 숙지하고 있어야 하며, 실제 활동을 할 수 있도록 관리자 층의 권한을 위임 받아 활동할 수 있어야 한다. 이 논문에서는 공학적 개선 태스크포스팀을 운영하여 ALT활동을 하였을 때 실제적이고, 비용효과적인 소음 감소를 증명하였다.

• KIPS Transactions on Software and Data Engineering
• /
• v.10 no.5
• /
• pp.187-194
• /
• 2021

A person's behavioral recognition is the recognition of what a person does according to joint movements. To this end, we utilize computer vision tasks that are utilized in image processing. Human behavior recognition is a safety accident response service that combines deep learning and CCTV, and can be applied within the safety management site. Existing studies are relatively lacking in behavioral recognition studies through human joint keypoint extraction by utilizing deep learning. There were also problems that were difficult to manage workers continuously and systematically at safety management sites. In this paper, to address these problems, we propose a method to recognize risk behavior using only joint keypoints and joint motion information. AlphaPose, one of the pose estimation methods, was used to extract joint keypoints in the body part. The extracted joint keypoints were sequentially entered into the Long Short-Term Memory (LSTM) model to be learned with continuous data. After checking the behavioral recognition accuracy, it was confirmed that the accuracy of the "Lying Down" behavioral recognition results was high.

• Korean Journal of Cognitive Science
• /
• v.19 no.4
• /
• pp.419-441
• /
• 2008

As the Web and digital libraries have become a commodity, they are used for a variety of purposes and tasks that may require a great deal of cognitive efforts. However, most search engines in the Web and digital libraries support users with only searching and browsing capabilities, leaving all the cognitive burdens of manipulating information objects to the users. We propose a two-level model for human-Web interactions, consisting of knowledge and information spaces, and a tool that provides knowledge space and inter-space operations in addition to searching and browsing at the information level. Knowledge space is an explication of user's conceptual view of the information objects being explored through interactions with the Web or a digital library. Topics are created and related with associations at the knowledge level and connected to information objects in information space. The tool implemented using the Topic Maps framework has been tested for efficacy as an aid to reducing cognitive burden under exploratory search task.

• KIPS Transactions on Computer and Communication Systems
• /
• v.9 no.11
• /
• pp.281-290
• /
• 2020

With the spread of smartphones, services that want to use personalized data are increasing. In particular, healthcare-related services deal with a variety of data, and data visualization techniques are used to effectively show this. As data visualization techniques are used, interactions in visualization are also naturally emphasized. In the PC environment, since the interaction for data visualization is performed with a mouse, various filtering for data is provided. On the other hand, in the case of interaction in a mobile environment, the screen size is small and it is difficult to recognize whether or not the interaction is possible, so that only limited visualization provided by the app can be provided through a button touch method. In order to overcome the limitation of interaction in such a mobile environment, we intend to enable data visualization interactions through conversations with chatbots so that users can check individual data through various visualizations. To do this, it is necessary to convert the user's query into a query and retrieve the result data through the converted query in the database that is storing data periodically. There are many studies currently being done to convert natural language into queries, but research on converting user queries into queries based on visualization has not been done yet. Therefore, in this paper, we will focus on query generation in a situation where a data visualization technique has been determined in advance. Supported interactions are filtering on task x-axis values and comparison between two groups. The test scenario utilized data on the number of steps, and filtering for the x-axis period was shown as a bar graph, and a comparison between the two groups was shown as a line graph. In order to develop a natural language processing model that can receive requested information through visualization, about 15,800 training data were collected through a survey of 1,000 people. As a result of algorithm development and performance evaluation, about 89% accuracy in classification model and 99% accuracy in query generation model was obtained.

• Journal of Service Research and Studies
• /
• v.14 no.2
• /
• pp.48-68
• /
• 2024

Due to the global pandemic aftermath of the coronavirus, the importance of health care is being emphasized more socially. Due to the influence of these changes, domestic pharmaceutical companies have introduced regular drug delivery services, that is, drug and health functional food subscription services. Currently, this market is continuously growing. However, these regular services are causing new environmental problems in which the number of waste drugs increases due to the presence of unused drugs. Therefore, this study proposes a service that not only promotes health management through regular medication adherence to reduce the amount of pharmaceutical waste but also aims to improve awareness and practices regarding proper medication disposal. As a preliminary survey for service design, a preliminary survey was conducted on 51 adults to confirm their perception of drug use habits and waste drug collection. Based on the Honey Comb model, a guideline for service design was created, and a prototype was produced by specifying the service using the preliminary survey results and service design methodology. In order to verify the effectiveness of the prototype, a first user task survey was conducted to identify the problems of the prototype, and after improving this, a second usability test was conducted on 49 adults to confirm the versatility of the service. Usability verification was conducted using SPSS Mac version 29.0. For the evaluation results of the questionnaire, Spearmann Correlation Analysis was conducted to confirm the relationship between frequency analysis and evaluation items. This study presents specific solutions to the problem of waste drugs due to the spread of drug subscription services.