• Journal of the Korea Society of Computer and Information
• /
• v.17 no.1
• /
• pp.19-30
• /
• 2012

Based on the internet-based infrastructures such as various information devices, social network systems and cloud computing environments, distributed and sharable data are growing explosively. Recently, as a data analysis and mining technique for extracting, analyzing and classifying the inherent and useful knowledge and information, Formal Concept Analysis on binary or many-valued data has been successfully applied in many diverse fields. However, in formal concept analysis, there has been little research conducted on analyzing interval data whose attributes have some interval values. In this paper, we propose a new approach for classification of interval data based on the formal concept analysis. We present the development of a supporting tool(iFCA) that provides the proposed approach for the binarization of interval data table, concept extraction and construction of concept hierarchies. Finally, with some experiments over real-world data sets, we demonstrate that our approach provides some useful and effective ways for analyzing and mining interval data.

• Journal of Digital Convergence
• /
• v.11 no.6
• /
• pp.103-112
• /
• 2013

Traditional method of establishing prediction model is usually using formal data stored in Data Base. However, nowadays advent of "smart" era brought by ground-breaking development of communication system makes informal data to dominate overall data, such 80% in total. Therefore, conventional method using formal data as establishing predicting model would be untrustworthy means in present. In other words, it is indispensible to make prediction model credible including informal data(SNS, image, video) and semi-formal data(log data). In this study, we increase credibility of predicting model adapting Bigdata method and comparing reliability of conventional measurement to real-data.

• Asia pacific journal of information systems
• /
• v.16 no.4
• /
• pp.151-178
• /
• 2006

The objective of this research is to develop a formal framework and methodology to facilitate real-time data integration, thus enabling semantic interoperability among distributed and heterogeneous information systems. The proposed approach is based on the concepts of "ontology" and "semantic mediators." An ontology is developed and used to capture the intension (including structure, integrity rules and meta-properties) of the database schema. We also develop the agent communication protocol for semantic reconciliation, which is based on the theory of speech acts and agent communication language. This protocol is used by a set of semantic mediators, which automatically detect and resolve various semantic conflicts at the data- and schema-levels by referring to the ontology. A mediation-based query processing technique is developed to provide uniform and integrated access to the multiple heterogeneous information sources. Prototype tools are being implemented to provide proof of concept for this work.

• Industrial Engineering and Management Systems
• /
• v.15 no.2
• /
• pp.143-147
• /
• 2016

Uncertainty appears not only in real quantities but also in complex quantities. Complex uncertain process is essentially a sequence of complex uncertain variables indexed by time. In order to describe complex uncertain process, a formal definition of complex uncertain distribution is given in this paper, as well as the concepts of independence and variance. In addition, some properties of complex uncertain integral are presented.

• Proceedings of the Korean Information Science Society Conference
• /
• 2002.10c
• /
• pp.415-417
• /
• 2002

실시간 시스템은 신뢰성이 중요하다. 특히 고안전성 시스템 (Safety-Critical System)은 안전과 직결되므로 높은 신뢰도가 요구된다. 본 논문에서는 Reactive System 의 모델링 및 검증을 위해 개발된 정형 검증 언어인 SyncCharts를 이용한 실시간 시스템의 스케줄가능성 분석(Schedulability Analysis)을 통해 시스템에 대한 요구조건의 만족여부와 태스크들의 수행가능성을 검증하는 방법을 제시한다.

• Korean Journal of Cognitive Science
• /
• v.2 no.2
• /
• pp.205-220
• /
• 1990

Material substance may exist in two different modes of reality:real as physcal objects that comprise material cause and formal cause, and real as function networks that comprise efficient cause and functional cause.Functional networks are real as a mode of material substance because their efficient cause is energy consuming.Neural functional network, in this sense, are different from neural networks.In the same way, mental functional networks are real, for they are energy consuming and they function as a network.Mental functional networks, in turn, may divide into non-lingustic functional networks and linguistic functional networks.And further distinctions among the different levels of mental functional networks will be specified, and hence their reality confirmed more specifically as the research in cognitive science advances.

• Journal of the Korean Society of Safety
• /
• v.22 no.3 s.81
• /
• pp.81-87
• /
• 2007

In this study digital human models of ship construction tasks using modeling & simulation were constructed and human models' activities through human activity analysis were evaluated. Human Factors experts analyzed the actual workers' tasks using the same technique used in human activity analysis at the same time. The main objective of this study is to check a possibility of applying digital human modeling technique to ship construction tasks that are mostly non-standardized(not uniformed) whereas most applications of digital human modeling technique have been applied to standardized tasks. We evaluated postures of both real workers and digital humans by RULA. It turned out that the final scores of RULA evaluation on real workers are the same as the RULA scores for digital humans. However, there were differences of RULA detail scores between real workers and digital humans in the several processes related with the wrist twist and deviations. Those differences are considered to be resulted from the error in the on-site measuring worker's body dimension which could be reduced by accurate tools to correct data for body dimension and digital real drawings for facilities. The results showed possibility of application of digital human modeling and ergonomic analysis on informal work operations as well as formal operations in the shipbuilding industry.

• ETRI Journal
• /
• v.18 no.4
• /
• pp.265-286
• /
• 1997

This paper presents a new software development environment that supports an integrated methodology for covering all phases of software development and gives integrated methods with tools for ITUT (Telecommunication Standardization Section of the International Telecommunication Union) languages. The design of the environment to improve software productivity and quality is based on five main concepts: 1) formal specifications based on SDL (Specification and Description Language) and MSC (Message Sequence Charts) in the design phase, 2) verification and validation of those designs by tools, 3) automatic code generation and a safe separate compilation scheme based on CHILL (CCITT High-Level Language) to facilitate programming-in-the-many and programming-in-the-large. 4) debugging of distributed real-time concurrent CHILL programs, and 5) simulation of application software for integrated testing on the host machine based on CHILL. The application results of the environment compared with other approaches show that the productivity is increased by 19 % because of decreasing implementation and testing cost, and the quality is increased by 83 % because of the formal specifications with its static and dynamic checking facilities.

• Journal of KIISE:Software and Applications
• /
• v.30 no.1_2
• /
• pp.103-116
• /
• 2003

States explosion due to composition of spaces of data, temporal, and locational values is one of the well-known critical problems which cause difficulty in understanding and analysing real-time systems specified with state-based formal methods. In order to overcome this problem, this paper presents an abstraction method for state minimization based on an abstraction in system specification and an abstraction in system execution. The first is named the syntactic in system specification and an abstraction in system execution. The first is named the syntactic abstraction, through which the patterns of the unconditionally internalized computation and the repetition and selection structures are abstracted. The latter is named the semantic abstraction, through which the patterns of the execution space represented with data. Through the abstractions, the components of a system in specification and execution model is hierarchically organized. The system can be analyzed briefly in the upper level in an skeleton manner with low complexity. The system, however, can be abstraction method for the state minimization and the decrease in analysis complexity through the abstraction with examples.

• Journal of Computing Science and Engineering
• /
• v.1 no.2
• /
• pp.125-160
• /
• 2007

Data Warehousing and OLAP (On-Line Analytical Processing) have turned into the key technology for comprehensive data analysis. Originally developed for the needs of decision support in business, data warehouses have proven to be an adequate solution for a variety of non-business applications and domains, such as government, research, and medicine. Analytical power of the OLAP technology comes from its underlying multidimensional data model, which allows users to see data from different perspectives. However, this model displays a number of deficiencies when applied to non-conventional scenarios and analysis tasks. This paper presents an attempt to systematically summarize various extensions of the original multidimensional data model that have been proposed by researchers and practitioners in the recent years. Presented concepts are arranged into a formal classification consisting of fact types, factual and fact-dimensional relationships, and dimension types, supplied with explanatory examples from real-world usage scenarios. Both the static elements of the model, such as types of fact and dimension hierarchy schemes, and dynamic features, such as support for advanced operators and derived elements. We also propose a semantically rich graphical notation called X-DFM that extends the popular Dimensional Fact Model by refining and modifying the set of constructs as to make it coherent with the formal model. An evaluation of our framework against a set of common modeling requirements summarizes the contribution.