• Journal of Information Processing Systems
• /
• v.16 no.2
• /
• pp.329-342
• /
• 2020

In recent years, emotional text classification is one of the essential research contents in the field of natural language processing. It has been widely used in the sentiment analysis of commodities like hotels, and other commentary corpus. This paper proposes an improved W-LDA (weighted latent Dirichlet allocation) topic model to improve the shortcomings of traditional LDA topic models. In the process of the topic of word sampling and its word distribution expectation calculation of the Gibbs of the W-LDA topic model. An average weighted value is adopted to avoid topic-related words from being submerged by high-frequency words, to improve the distinction of the topic. It further integrates the highest classification of the algorithm of support vector machine based on the extracted high-quality document-topic distribution and topic-word vectors. Finally, an efficient integration method is constructed for the analysis and extraction of emotional words, topic distribution calculations, and sentiment classification. Through tests on real teaching evaluation data and test set of public comment set, the results show that the method proposed in the paper has distinct advantages compared with other two typical algorithms in terms of subject differentiation, classification precision, and F1-measure.

• Journal of KIISE:Computing Practices and Letters
• /
• v.6 no.2
• /
• pp.161-172
• /
• 2000

In this paper, we introduce the development of a LOTOS-based tool, supporting formal methods, called ForTIA (A Formalism for Telecommunication and Information Systems). By using LOTOS, an ISO standard formal specification language, the user requirements and system models can be abstracted and represented formally. Therefore, the system can be validated and verified on the specifications, before implementations. ForTIA supports light-weight formal methods based on validation to be used in real industry. Key functions of ForTIA are simulation and C++ code generation. In simulation, tree based visual validation mechanism is provided and in code generation, the full C++ source code is generated to be used for system implementations.

• Journal of Environmental Impact Assessment
• /
• v.20 no.5
• /
• pp.765-777
• /
• 2011

According to the total pollution load management system, exact prediction and analysis of water quality and discharge has been required in order to allocate the amount of pollution load to each local government. In this study, QUAL2E model was used for comparison with other water quality models and improve the inadequate to forecast future water quality. And Various calibration and verification methods were applied to deal with existing uncertainties of parameter during modeling water quality. For user convenience, A GUI(Graphical User Interface) system named "QL2-XP" model is developed by object-oriented language for the user convenience and practical usage. Suggested GUI system consist of hydraulic analysis, water quality analysis, optimized model calibration processes, and postprocessing the simulation results. Therefore this model will be effectively utilized to manage practical and efficient water quality.

• The Journal of Internal Korean Medicine
• /
• v.36 no.2
• /
• pp.153-164
• /
• 2015

Objectives: The aim of this study was to collect and analyze studies on acupuncture therapies for treatment of voiding difficulty in stroke patients and to suggest methods of study for acupuncture therapies. Methods: Electronic searches were performed on search sites including NDSL, 국회도서관, RISS4U, DBPIA, KISS, KMBASE, KoreaMed, 한국전통지식포탈, OASIS, Pubmed, CNKI, using the search words ‘중풍’, ‘뇌졸중’, ‘stroke’, ‘배뇨장애’, ‘voiding’, ‘urinary’, ‘incontinence’, ‘retention’, ‘ ’, ‘침치료’, and ‘acupuncture’ as single or combined keywords, from January 1990 to August 2013 with language limitation, Korean, English, Chinese. Also, quality of the studies were evaluated using Jadad score. Results: The searches identified 16 studies for selection and analysis. In the present study, voiding difficulty includes urinary incontinence and urinary retention. The acupuncture points CV4, SP6, and CV3 were the most frequently used. Treatments were most frequently applied daily. The times and terms of acupuncture treatment, were most frequently 30 minutes per treatment for 4 weeks Conclusions: The acupuncture therapies were effective in the treatment of voiding difficulty in stroke patients, but the study of acupuncture therapy as a treatment for this issue in stroke patients needs to be standardized and high-quality study models should be introduced.

• Proceedings of the KIEE Conference
• /
• 1987.11a
• /
• pp.82-85
• /
• 1987

The objective of this paper is to develop computer programs to aid in the design and analysis of control systems in which nonlinear characteristics exist. Control systems are dynamic systems, which can be described using various mathematical models. A convenient model for digital computer simulation is the state model in which described using a set of linear and non linear first order differential equations. The digital simulation was performed on a IBM PC/XT personal computer, and the computer language was BASIC. There are four possible configurations from which a user may choose. When running a program, the user is asked to enter the system parameters according to a specified control system configurations are; 1. A control system with a nonlinear element followed by a plant in a feedback configurations(NLSVF1). 2. A control system with a nonlinear device situated between two plants in a feedback configurations(NLSVF2). 3. A control system with a nonlinear element followed by a plant, followed by a the dealy in feedback configurations(TLAG). 4. A motor and load with a backlash nonlinearity between dynamic portions of the motor/load configurations (BACKLASH). The matrix from state equations are integrated using combination the trapezoidal method and fixed point iteration. Several cases which have nonlinearity were implemented on the computer and the results were discussed.

• Geomechanics and Engineering
• /
• v.10 no.2
• /
• pp.225-245
• /
• 2016

Settlement of foundations in permafrost regions primarily results from three physical and mechanical processes such as thaw consolidation of permafrost layer, creep of warm frozen soils and the additional deformation of seasonal active layer induced by freeze-thaw cycling. This paper firstly establishes theoretical models for the three sources of settlement including a statistical damage model for soils which experience cyclic freeze-thaw, a large strain thaw consolidation theory incorporating a modified Richards' equation and a Drucker-Prager yield criterion, as well as a simple rheological element based creep model for frozen soils. A novel numerical method was proposed for live computation of thaw consolidation, creep and freeze-thaw cycling in corresponding domains which vary with heat budget in frozen ground. It was then numerically implemented in the FISH language on the FLAC platform and verified by freeze-thaw tests on sandy clay. Results indicate that the calculated results agree well with the measured data. Finally a model test carried out on a half embankment in laboratory was modeled.

• Journal of Information Processing Systems
• /
• v.15 no.6
• /
• pp.1365-1377
• /
• 2019

Summarizing the differences in Chinese-Vietnamese bilingual news plays an important supporting role in the comparative analysis of news views between China and Vietnam. Aiming at cross-language problems in the analysis of the differences between Chinese and Vietnamese bilingual news, we propose a new method of summarizing the differences based on an undirected graph model. The method extracts elements to represent the sentences, and builds a bridge between different languages based on Wikipedia's multilingual concept description page. Firstly, we calculate the similarity between Chinese and Vietnamese news sentences, and filter the bilingual sentences accordingly. Then we use the filtered sentences as nodes and the similarity grade as the weight of the edge to construct an undirected graph model. Finally, combining the random walk algorithm, the weight of the node is calculated according to the weight of the edge, and sentences with highest weight can be extracted as the difference summary. The experiment results show that our proposed approach achieved the highest score of 0.1837 on the annotated test set, which outperforms the state-of-the-art summarization models.

• English Language & Literature Teaching
• /
• v.15 no.4
• /
• pp.345-364
• /
• 2009

This study attempts to provide a comprehensive framework for listening strategy use among university students in Korea in relation to TOEIC listening scores. In particular, this study tests whether motivation, based on the self-determination theory, mediates listening strategy use on listening comprehension (LC) process and whether reading comprehension ability moderates the use of listening strategy in LC achievement. One hundred seventy six freshmen students participated in the study during their first semester required English course. Self-report questionnaires were used to assess students' motivation and LC strategy use. The responses were statistically analyzed via the moderator and mediator model. The results indicate that internalized motivation mediates the use of listening strategy in LC achievement; however, reading comprehension skill doesn't affect students' use of listening strategies in relation to listening skill achievement. In other words, students who have internalized motivation were able to utilize listening strategies effectively in terms of achievement of the TOEIC listening skills. The findings of the current study offer in-depth understanding of the relationship among use of LC strategies, intrinsic motivation, and listening skill achievement shared by the mediator and moderator models.

• Journal of Information Technology and Architecture
• /
• v.10 no.3
• /
• pp.387-397
• /
• 2013

This paper proposes an approach to big data analytics for phon call data. The analytical models for phon call data is composed of the PVPF (Parallel Variable-length Phrase Finding) algorithm for identifying verbal phrases of natural language and the word count algorithm for measuring the usage frequency of keywords. In the proposed model, we identify words using the PVPF algorithm, and measure the usage frequency of the identified words using word count algorithm in MapReduce. The results can be interpreted from various viewpoints. We design and implement the model based HDFS (Hadoop Distributed File System), verify the proposed approach through a case study of phon call data. So we extract useful results through analysis of keyword correlation and usage frequency.

• Journal of Digital Contents Society
• /
• v.14 no.2
• /
• pp.143-149
• /
• 2013

Many researchers and developers take a greater interest on the LOD AI techniques as users demand more elaborate and sophisticated game AI in recent years. However, contrary to the traditional geometry LOD, existing LOD AI techniques can be used only to a limited extent. Therefore, in this paper, I propose an LOD AI technique, which uses HSM(Hierarchical State Machine) and the Lua script language as the method to control game objects. Using the proposed approach, we can easily produce multilevel AI models for LOD and design various objects without hard-coding state machines. Moreover, in order to show the effectiveness of the presented technique, this paper exemplifies the results of the efficiency test through the prototype engine.