• 정보처리학회논문지D
• /
• 제9D권2호
• /
• pp.243-250
• /
• 2002

In order to properly interpret and process or operators in deductive databases including indefinite clauses, we propose to use Lasez′s Strong Model Semantics(LSMS) which is reasonably simple yet powerful enough to support both exclusive and inclusive interpretations. Conventional semantics either fail to support both interpretations or simply too complex. Therefore, in this paper we study advantages and difficulties of representing indefinite information, and as for the solution to difficulties, we show how LSMS can be used to support both inclusive or and exclusive or interpretations. We also investigate and analyze it′s properties and show how it semantically differs from others. We believe that LSMS is the only "reasonably simple" semantics that supports both inclusive and exclusive interpretations.

• 한국경영과학회지
• /
• 제19권2호
• /
• pp.57-73
• /
• 1994

KADS is currently a best known methodology for expert system development is Europe. KADS world sees the expert system development as a modeling activity and uses models to control complexity of the development process. Four layers KADS expertise model is used to describe expert knowledge. But this expertise model in high abstraction level is conceptual and not formalized. This paper has formalized KADS expertise model using set theory and mathematical semantics combined in order to reduce the ambiguity of informal models of expertise, provide a precise means of communication about the model of expertise and point out incompleteness and inconsistency of the model of expertise. Instead of first order predicate calculs, set theory and mathematical semantics are used because they are a more general and have compositive quality.

• 한국BIM학회 논문집
• /
• 제6권3호
• /
• pp.34-41
• /
• 2016

The previous studies argue that using the semantic properties of BIM objects is efficient for simulating the behaviors of autonomous, computer agents, called virtual-users, but such assumption is not proven via evidence-based research approaches. Hence, this present study aims to investigate the empirical effects of a human behavior simulation model equipped the semantics of spaces on the architecture-major students' operation and understanding of the simulation system, compared to a typical path-finding model. To achieve the aim, this study analyzed the survey and interview data, collected in the authentic design projects. The analysis indicates that (1) using a simulation model equipped the semantics of spaces helps the students' operation of the simulation, and (2) it also aids understanding the relationship between the variables of spaces and virtual-users (${\alpha}=0.74$). In addition, the qualitative data inform that the advantages of the simulation model that computes the semantics of spaces stem in the automatic behavioral changes of massive numbers of virtual-users, and efficient detection and activation on the what-if situations. The analysis also reveals that the simulation model has shortcomings in orchestrating the complex data structure between the semantics properties of spaces and virtual-users under multi-sequential scenarios. The results of this study contribute to develop a future design system combining BIM with human behavior simulation.

• 정보처리학회논문지D
• /
• 제12D권6호
• /
• pp.863-868
• /
• 2005

하드웨어와 소프트웨어를 통합 설계하는 프레임워크인 PeaCE(Ptolemy extension as a Codesign Environment)가 개발되었다. PeaCE 에서는 데이터 흐름과 제어 흐름을 모두 표현할 수 있는데, 제어 흐름은 상태 기계를 확장한 fFSM으로 나타낸다. fFSM은 계층형 상태 기계로서 제어흐름을 표현하기 위해 많은 구문을 제공하지만, 모델에 대한 의미가 정의되어 있지 않아서 명세를 검증하는데 어려움이 많다. fFSM의 의미를 정의하기 위해서, 본 논문에서는 계층형 상태 기계를 먼저 평탄화한 후에 평탄화된 모델에 대해서 단계 의미를 정의하였다. 그 결과 레이스 조건, 애매한 전이, 순환 전이 등의 주요한 버그들을 정형적으로 검출할 수 있었다.

• 한국언어정보학회지:언어와정보
• /
• 제20권1호
• /
• pp.25-49
• /
• 2016

Honorific forms express the speaker's social attitude to others and also indicate the social ranks and level of intimacy of the participants in the discourse. In a cross-linguistic perspective of grammar engineering, modelling honorification has been regarded as a key strategy for improving language processing applications. Using the HPSG and MRS formalism, this article provides a multilingual grammar model of honorification. The present study incorporates the honorific information into the Meaning Representation System (MRS) via Individual Constraints (ICONS), and then conducts an evaluation to see if the model contributes to semantics-based language processing.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제32권6호
• /
• pp.473-485
• /
• 2005

UML(Unified Modeling Language) 액티비티 다이어그램은 시스템의 동적인 측면을 표현하는데 적합하기 때문에 비즈니스 프로세스와 워크플로우를 모델링하는데 유용하게 사용된다 그러나 워크플로우 시스템에서 중요시 되는 시멘틱 정보 표현의 경우 OMG가 제공하는 UML 액티비티 다이어그램에 대한 시멘틱 정보를 표현하기 위한 지침만으로는 정확한 시멘틱 정보의 표현이 어렵다. 이에 본 논문에서는 워크플로우 시스템의 특성에 맞도록 ASM(State Machine) 시멘틱을 확장한 후 액티비티 다이어그램에 적용하여 워크플로우 시스템을 모델링하는 방안을 제시한다. 이와 같은 ASM 시멘틱을 기반으로 하는 정형적인 시멘틱에 대한 정확한 정의를 통하여 보다 효율적인 워크플로우 모델링이 가능하다.

• 정보처리학회논문지A
• /
• 제12A권7호
• /
• pp.563-570
• /
• 2005

하드웨어와 소프트웨어를 통합 설계하는 프레임워크인 PeaCE(Ptolemy extension as a Codesign Environment)에서는 데이터 흐름과 제어흐름을 모두 표현할 수 있다. PeaCE에서 제어 흐름을 표현하는 fFSM 명세를 정형 검증하기 위해 fFSM의 단계 의미를 정의하였다. 본 논문에서는 이전 연구에서 정의된 정형 의미를 바탕으로 개발한 자동 검증 도구를 소개한다. 이 도구는 내부 모델체커로 SMV를 사용하며 사용자는 직접 논리식을 기술하지 않고도 레이스 조건, 애매한 전이, 순환 전이 등의 주요한 버그들을 검증할 수 있다.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제11권3호
• /
• pp.1785-1801
• /
• 2017

In recent years, image encryption algorithms have been developed rapidly in order to ensure the security of image transmission. With the assistance of our previous work, this paper proposes a novel chaotic image encryption algorithm based on self-adaptive model and feedback mechanism to enhance the security and improve the efficiency. Different from other existing methods where the permutation is performed by the self-adaptive model, the initial values of iteration are generated in a novel way to make the distribution of initial values more uniform. Unlike the other schemes which is on the strength of the feedback mechanism in the stage of diffusion, the piecewise linear chaotic map is first introduced to produce the intermediate values for the sake of resisting the differential attack. The security and efficiency analysis has been performed. We measure our scheme through comprehensive simulations, considering key sensitivity, key space, encryption speed, and resistance to common attacks, especially differential attack.

• 한국시뮬레이션학회:학술대회논문집
• /
• 한국시뮬레이션학회 2005년도 춘계학술대회 논문집
• /
• pp.34-39
• /
• 2005

The progress of silicon technology enables to implement a highly complex digital system on a given chip area. However, even the modern design environment is not so efficient to catch up with the progress of process technology. Design reuse is a promising approach to designing such a complex system in an efficient way. However, the rigidness and inflexibility of a model has been an obstacle to design reuse. This paper proposes a high-level model management methodology by introducing attributed AND-OR graph(AOG), a (formal semantics for representing the possible structure of a model. Using the formalism enables a designer to extract, extend and reuse the pre-modeled and pre-verified design. A complete process of constructing a cache operational model, extending the model and extracting executable models is exemplified to show effectiveness of the proposed framework.

• 디지털융복합연구
• /
• 제11권6호
• /
• pp.175-185
• /
• 2013

본 연구는 효과적인 정보공유를 위한 방안으로서 생성의미종속성을 소개하고, 데이터의 생성의미에 대한 이해가 정보공유에 미치는 영향을 측정하는 정보공유비용모형을 제시한다. 정보공유비용모형은 복수의 사용자집단 또는 부서들 사이에서 데이터의 생성의미 차이로 인한 정보공유 오류비용을 측정한다. 정보공유 오류비용은 정보공유오류의 발생확률과 비용에 의하여 결정되는데, 오류 발생확률은 사용자집단들 사이의 생성의미 차이를 나타내는 정보공유 거리로 측정된다. 본 연구는 대표적인 정보공유아키텍처인 부서별 데이터관리구조, 허브형 구조, 계층형 구조, 독립형 구조를 대상으로 정보공유비용을 측정함으로써 정보공유구조가 정보공유에 미치는 영향을 분석하였다. 정보공유비용의 관점에서 허브형이 가장 우수한 것으로 분석되었다. 그러나 데이터의 생성의미에 대한 표준화가 이루어지지 않을 경우, 허브형 정보공유구조는 부서별 데이터관리구조와 같은 특성을 보였다. 그리고 모든 정보공유구조가 독립형 구조보다 낮은 정보공유비용을 보임으로써 비록 표준화가 이루어지지 않아도 데이터를 공유하는 것이 공유하지 않는 경우보다 우수한 것으로 분석되었다.