• Journal of the Korean Operations Research and Management Science Society
• /
• v.20 no.2
• /
• pp.159-178
• /
• 1995

Supervisory control is an approach based on formal language. it is used to model and control discrete event systems in which each discrete event process is represented as an automation. A supervisor is a generator that switches control patterns in such a way that a given discrete evenet process behaves in obedience to various constraints. A flexible manufacturing cell (FMC) is one of discrete evenet systems. Functions necessary for the operation of an FMC are characterized by operational components and informational compoments. The operational components can be modeled using the finite state machines and the informational components can be modeled using the abstract formalism which describes supporting operations of the cell controller. In this paper, we addressed function required for FMC control specification, software engineering aspects on FMC control based on supervisory control, a concept of event queue for resolving synchronization problem, and complexity reduction. Based on the mathematical model of an FMC. we synthesized the controller by integrating a supervisor for FMC with control specification that specifies event-driven operation of the cell controller. The proposed control scheme is stable mathematically so that the system always behaves on a controlled way even under the existence of uncontrollable events. Furthermore, using an event queue concept, we can solve a synchronization problem caused by the violation of instantaneity assumption of supervisory control theory in real life situation. And also, we can propotype a control software rapidly due to the modularity of the proposed control scheme.

• The Journal of Korean Association of Computer Education
• /
• v.12 no.5
• /
• pp.87-94
• /
• 2009

This paper presents a Web-based interactive and adaptive learning system that helps students learn the pumping lemma for the family of regular languages. Our system allows the students to proceed with their learning according to their individual differences through Web-Based Instruction and gives them opportunities for the interaction so that they can practice exercise related to the learning and gain feedbacks on the results of the exercises immediately. Especially, the system provides adaptive scaffolding that helps learners understand each step for the proof of the pumping lemma. Unlike existing systems that support learning the pumping lemma, the proposed system defines possible errors in advance and provides appropriate messages for corresponding errors. In addition, the system allows the learners to decompose a string into three parts so that they can understand the pumping lemma precisely.

• Wind and Structures
• /
• v.2 no.3
• /
• pp.133-150
• /
• 1999

Significant costs to the public and private sectors due to recent extreme wind events have motivated the need for systematic post-hurricane damage data collection and analysis. Current post disaster data are collected by many different interested groups such as government agencies, voluntary disaster relief agencies, representatives of media companies, academicians and companies in the private sector. Each group has an interest in a particular type of data. However, members of each group collect data using different techniques. This disparity in data is not conducive to quantifying damage data and, therefore, inhibits the statistical and spatial description of damage and comparisons of damage among different extreme wind events. The data collection does not allow comparisons of data or results of analyses within a group and also prohibits comparison of damage data and information among different groups. Typically, analyses of data from a given event lead to different conclusion depending upon the definition of damage used by individual investigators and the type of data collected making it difficult for members of groups to compare the results of their analyses with a common language and basis. A formal method of data collection and analysis-within any single group-would allow comparisons to be made among different individuals, hazardous events and eventually among different groups, thus facilitating the management and reduction of damage due to future disaster. This research introduces a definition of damage to single family dwellings, and a common method of data collection and analysis suited for groups interested in regional characterization of damage. The current state-of-data is presented and a method for data collection is recommended based on these existing data collection methods. A fixed-scale damage index is proposed to consider the damage to a dwelling's feature. Finally, the damage index is applied to three dwellings damaged by Hurricane Iniki (1992). The damage index reflects the reduced functionality of a structure as a single family detached dwelling and provides a means to evaluate regional damage due to a single event or to compare damage due to events of different severity. Evaluation of the damage index and the data available support recommendation for future data collection efforts.

• English Language & Literature Teaching
• /
• v.15 no.2
• /
• pp.225-243
• /
• 2009

This study investigates the use of different speech act of apology strategies between male and female EFL college students by comparing the components of intensity, stylistic competence, and semantic formulas. The data was collected from 37 participants who were studying freshmen English reading course at the Department of English Education of C University in Seoul. Most students were English majors taking pre-teacher course of teaching English for secondary school students. The participants were divided into two gender groups of male and female. The discourse completion test (DCT) which was revised from the speech act of apology by Olshtain and Cohen (1990) was provided with the participants after the researcher explained the speech act of apology in ten situations. The speech act of apology depends on situation variables: social solidarity, severity of offense, and social status. The results show that in the preference of intensity, male and female have almost the similar ratio in high (female: 24.7%, male 24%) and low intensity (female: 75.3%, male: 76%). In the use of stylistic competence, male group (21%) expresses more diversely formal features than female group (12%), while female (87%) use more informal features than male (66%). Most of participants show a limitation in the use of speaking four types of semantic formulas: expression of apology (APOL), acknowledgment of responsibility (RESP), offer of repair (REPR), and promise of forbearance (FORB). As nonnative speakers, the participants cannot conduct the semantic formula in some situations regardless of the tasks provided. The results suggest that English teachers should recognize pragmatic variations in which students feel difficulty in appropriate speaking strategies on apology. This study also contributes to teaching learners the strategies and speaking patterns in the course of various apology situations.

• Journal of the Korea Society of Computer and Information
• /
• v.16 no.3
• /
• pp.35-44
• /
• 2011

Ontologies are playing an important role in semantic web which is emerging as a next stage of the web revolution because various kinds of metadata are described in ontologies. Correspondingly, many query languages like SPARQL, RDQL etc. have been proposed for querying these ontologies. But users have to know the structures and resource names of ontologies completely to get search results even if they have expertise on complex formal logic and syntax of the query languages. Especially, casual users do not know the resource names and may use different words from resource names when they write their query language. This vocabulary gap problem have to be solved to raise the success rate. In this paper, an approach for translating user's search words to corresponding resource names has been proposed. This approach uses semantic similarity between user created search words and ontology resource names.

• Journal of the Korean Institute of Educational Facilities
• /
• v.21 no.1
• /
• pp.43-53
• /
• 2014

In order to communicate each other we need both a system and contexts. Generally a system is called language and contexts are a common sense with a culture. If there is an absence of one of them it is impossible to understand each other. The concept of UPDP(User participating Design Process) is very similar to a communication. There must need both a system(formal tools) and a process to make consensus. Even though we already have two systems(KEBDI and PDAT) being developed by government affiliated research institutes these have not intimately related to a process to make consensus so far. In this respect the UPDP with using DQIfS of U.K. for a remodelling of Noryangjin elementary school(2013) is the most valuable because it is the first trying to communicate between laymen and professionals by menas both of a qualified system and of facilitations which have been developed from Namhansan UPDP(2001) in korea. The paper shows the process of UPDP including how to organise the members, detailed facilitation methods and the result of DQIfS analysis in U.K. Above all for the successful result the most important thing is the intimate relationship between the tool and facilitations at the beginning and user's will to build up.

• Journal of the Korean Society of Clothing and Textiles
• /
• v.40 no.6
• /
• pp.1034-1044
• /
• 2016

This study seeks a method to objectively evaluate sensibility based on Big Data in the field of design. In order to do so, this study examined the sensibility responses on design factors for the public through a network analysis of texts displayed in social media. 'Hanbok', a formal clothing that represents Korea, was selected as the subject for the research methodology. We then collected 47,677 keywords related to Hanbok from 12,000 posts on Naver blogs from January $1^{st}$ to December $31^{st}$ 2015 and that analyzed using social matrix (a Big Data analysis software) rather than using previous survey methods. We also derived 56 key-words related to design elements and sensibility responses of Hanbok. Centrality analysis and CONCOR analysis were conducted using Ucinet6. The visualization of the network text analysis allowed the categorization of the main design factors of Hanbok with evaluation terms that mean positive, negative, and neutral sensibility responses. We also derived key evaluation factors for Hanbok as fitting, rationality, trend, and uniqueness. The evaluation terms extracted based on natural language processing technologies of atypical data have validity as a scale for evaluation and are expected to be suitable for utilization in an index for sensibility evaluation that supplements the limits of previous surveys and statistical analysis methods. The network text analysis method used in this study provides new guidelines for the use of Big Data involving sensibility evaluation methods in the field of design.

• The Transactions of the Korea Information Processing Society
• /
• v.6 no.7
• /
• pp.1789-1804
• /
• 1999

This paper presents a simulation-based system for verification and validation(V&V) of design implication of the Visual Real-time Object Model which is produced by existing object's behavior design method. This system can simulate the dynamic interactions using the executable Ada simulation machine, and can detect various logical and temporal problems in the visual real-time object model prior to the real implementation of the application systems. Also, the system can generate the Ada prototype code from the validated specification. This system is implemented by Visual C++ version 4.2. For simulation, this system is using the Ada language because Ada's real-time expression capabilities such as concurrent processes, rendezvous, temporal behavior expression, and etc, are competent compared to other languages. This work contributes to a tightly coupling of methodology-based visual models and formal-based simulation systems, and also contributes to a realization of automated specification V&V.

• The KIPS Transactions:PartD
• /
• v.9D no.3
• /
• pp.409-416
• /
• 2002

The reuse by using framework is proposed to improve productivity. It is a set of usable and expandable classes and their connectivity. But frameworks are described with programming languages, it is hard for developers to learn the collaborative patterns of a framework by reading it. Patterns are one approach to improving the documentation. But this should be redesigned to expand and redefine the framework. The necessity of the formal description of architecture information is being proposed to relate to programming language. This paper support the following points. First of all, it has been proposed the description of the needed elements when developing a framework using ADL. Secondly, the current development process has been refined to be suitable for developing the domain framework. Thirdly, it has been proposed the development of a application using a framework implemented by an architecture information described with ADL. Overalls, the main contents of this research is defining the ideas of a description and development of an architecture framework using ADL.

• The Transactions of the Korea Information Processing Society
• /
• v.4 no.11
• /
• pp.2679-2689
• /
• 1997

In this paper, a multimedia authoring system using temporal/spatial synchronization manager is designed and implemented to support easy and efficient generation of multimedia title. For this goal, a flowchart-oriented logic generator which represents a title author's design intent into a practical title composition logic without extra translation process, and a logic interpreter which translate and implement the generated title logic, are designed. Furthermore, a temporal/spatial synchronization manager which manages temporal/spatial synchronization information between media data for multimedia representation, is designed. Especially, a temporal specification model and MRL, a formal language for the model, are designed to synchronize the temporal relation between media objects. The MRL represents a complex temporal relation by simple and clear form, and synchronizes efficiently multimedia representation according to the author's intent. A presentation frame editor which makes coincidence between visible size of representation media and attachment point, is implemented for spatial synchronization.