• Journal of Korea Multimedia Society
• /
• v.8 no.8
• /
• pp.1119-1133
• /
• 2005

As a very important part in development of the protocol, verification and conformance test for protocol specification are complementary techniques that are used to increase the level of confidence in the system functions as prescribed by their specifications. In this paper, we verify the safety and liveness properties of rail signal control protocol type 1 specified in LTS with model checking method, and experimentally prove that it is possible to check for the deadlock, livelock and rechability of the states and actions on LTS. The implemented formal checker is able to verify whether properties expressed in modal logic are true in specifications using modal mu-calculus. We also propose a formal method on generation of conformance test cases using the concept of UIO sequences from verified protocol specification. The suggested tools are implemented by C++ language under Windows NT.

• The Journal of the Acoustical Society of Korea
• /
• v.37 no.5
• /
• pp.363-368
• /
• 2018

Recently a slat type ceiling is widely used in various spaces, such as music performance spaces and concourse of airport and a general reception area of a building. However, it is hard to find a proper design guideline or material useful in designing such spaces, due to the lack of relevant researches on the effect of a slat ceiling on room acoustics. The present work investigated the effect of a slat type ceiling using a physical scale model method. A 1/20 scale model of a small shoe-box type music performance hall was built and a slat ceiling with different configurations was installed. 6 cases of different ceiling configurations were considered with the combination of 2 slat ceiling height cases and 3 distance cases between slats. The effect of a slat ceiling on the acoustics of a room was evaluated by measuring reverberance($T_{30}$), intelligibility and clarity($D_{50}$ and $C_{80}$), and loudness(G and $G_{80}$).

• Journal of The Korean Association of Information Education
• /
• v.12 no.1
• /
• pp.77-88
• /
• 2008

A programming education has favorable influence on creative / logical thinking and problem solving ability of students. However, students typically have to spend too much effort in learning basic grammar and the usage model of programming languages, which negatively affect their eagerness in learning. In this respect, we proposed to apply the 'Scratch' using the Creative Problem Solving(CPS) Teaching Model; Scratch is an easy-to-learn and intuitive Educational Programming Language(EPL) that helps improving the problem solving ability of the class. Then we verified the effect of Scratch EPL through the design of both pretest and posttest for a subject group. In summary, the CPS based Scratch EPL was shown to significantly improve the problem solving ability and also help them develop favorable attitude in programming.

• Journal of Korea Port Economic Association
• /
• v.28 no.1
• /
• pp.105-122
• /
• 2012

This paper proposes a fuzzy-based AHP model by which the greenhouse gas reduction for container terminal problem was systematically structured and then evaluated. The model was established by exploiting a fuzzy theory and AHP for capturing the inexactness and vagueness of information. In this study, measurement areas were selected for equipment aspect, operating aspect, and energy aspect. The greenhouse gas reduction is the number one priority in the equipment aspect, operating aspect, energy aspect in order. The analysis result of equipment aspect reveals that the most important element is electrical T/C. The most important element of operating and energy aspect were a container rehandling and a LED lighting. As for the whole priority which conversion weight was applied, the results were shown as follows: an electrical T/C(16.2%) as the first rank: a hybrid Y/T(14.4%) as the second rank: a AMP(10.6%) as the third rank. The result of this study suggests some guidelines for deciding priority of greenhouse gas reduction for container terminal.

• The Journal of the Korea Contents Association
• /
• v.12 no.6
• /
• pp.402-412
• /
• 2012

The purpose of this study was to analyze the types of Brand name spectrum for hospitals, and to analyze the differences of types depending on the characteristics of hospitals. Study data was collected from the yearbook of Korean Hospital Association in 2008. The hospital's name was divided into meaningful words and then the spectrum type of hospital name was decided based on the meaning of words. Hospital variables were used to investigate the difference of the types of brand name spectrum among hospitals. The study results showed that arbitrary name was the most frequently used in hospitals, then followed by the suggestive name, descriptive name, and then coined name. In arbitrary name, district name and person's name were most frequently used as the hospital name. Although most hospitals had one type of naming spectrum, some hospitals had types more than two. When hospital managers are developing hospital name, they will need to consider not only how it can provide the unique images to customers, but also how they protect their brand in legal aspects.

• Journal of the Korea Society for Simulation
• /
• v.22 no.3
• /
• pp.35-41
• /
• 2013

This paper applies an active period based bottleneck detection method to flow shop manufacturing system with limited buffer size. Manufacturing systems are constrained by one or more bottlenecks which degrades the system throughput. Conventional bottleneck detection methods include the waiting time or queue length of production stations and their utilization. Due to the random events such as production time of items, machine failure and repair times, the systems may change over time, and subsequently bottlenecks shift from one station to another station. Active period of working station may cause other stations to wait for productions. Information when and where active periods occur helps to find bottlenecks in production systems. Based on these informations, we predict bottlenecks in applying AweSim simulation language. We compare the simulation results of conventional methods with those obtained from duration of active period method, and duration ratio method of both sole and shift bottleneck periods. Even though simulation results are from simple flow shop model, they are quite promising for predicting bottlenecks of production stations. We hope this study aids in decision making regarding the improving system production yield and allocation of available resources of system.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.7 no.8
• /
• pp.1809-1815
• /
• 2003

This paper presents a human friendly system using fuzzy inference as a Part of study to embody intelligent ship. We also build intelligent ship's steering system to take advantage of speech recognition that is a part of the human friendly interface. It can bring an effect such as labor decrement in ship. In order to design the voice instruction based ship's steering gear control system, we build of the voice instruction based learning(VIBL) system based on speech recognition and intelligent learning method at first. Next, we design an quartermaster's operation model by fuzzy inference and construct PC based remote control system. Finally, we applied the unposed control system to the miniature ship and verified its effectiveness.

• Journal of Intelligence and Information Systems
• /
• v.14 no.1
• /
• pp.67-84
• /
• 2008

This paper proposes a design and realization for the semantic search system. The proposed model includes three Architecture Layers of a Semantic Search System ; (they are conceptually named as) the Knowledge Acquisition, the Knowledge Representation and the Knowledge Utilization. Each of these three Layers are designed to interactively work together, so as to maximize the users' information needs. The Knowledge Acquisition Layer includes index and storage of Semantic Metadata from various source of web contents(eg : text, image, multimedia and so on). The Knowledge Representation Layer includes the ontology schema and instance, through the process of semantic search by ontology based query expansion. Finally, the Knowledge Utilization Layer includes the users to search query intuitively, and get its results without the users'knowledge of semantic web language or ontology. So far as the design and the realization of the semantic search site is concerned, the proposedsemantic search system will offer useful implications to the researchers and practitioners so as to improve the research level to the commercial use.

• Journal of the Korean BIBLIA Society for library and Information Science
• /
• v.30 no.2
• /
• pp.33-50
• /
• 2019

Cataloging principles, cataloging rules, and encoding formats should considered LRM acceptance because LRM replaced FRBR as the conceptual model. This study identifies considerations for BIBFRAME acceptance of expression and representative expression attributes in LRM by using literature reviews and expert interviews. Primarily, work in BIBFRAME without expression as entity could map to work and expression of LRM and sustain expression by linking 2 works (work and expression). Second, BIBFRAME must consider association between representative expression attributes and specific expressions whose values can be transferred to the representative expression attributes. Third, representative expression attributes are different according to work types in LRM, and language, media, intended audience, and scale, that can be used as representative expression attributes in BIBFRAME, should be changed in class. Fourth, relation properties should be articulated for expanding networks between expressions originated from work in BIBFRAME. This study analyzes LRM and BIBFRAME by focusing on expression entity and representative expression attributes. More LRM study is needed on cataloging principles and cataloging rules.

• Journal of Digital Convergence
• /
• v.17 no.1
• /
• pp.91-98
• /
• 2019

The present study was performed to investigate the general research trends of dyslexia and learning disability to explore the centrality of related variables though analysis of keyword networks. Data were collected from ten years articles research information sharing service(RISS) which is provided by korea education and research information service(KERIS). The research subjects selected for the analysis were keyword cleansing work, extraction major keyword using KrKwic program and using NodeXL program to Visualize the center of connection between keyword. The results of this were as follows. First, totally 72 of keyword were extracted from keyword cleansing process and among those keyword. major keywords included learning disability, dyslexia, RTI. Second, analysis of the betweenness centrality of dyslexia and learing disabilities shows that learning disabilities are a key word that has been addressed in the study of dyslexia and learning disabilities in korea. The results of these studies suggest a method of analyzing trends in qualitative and qualitative analysis in relation to dyslexia and learning disorder.