• Title/Summary/Keyword: 완전성

Search Result 3,936, Processing Time 0.044 seconds

The Rules for Verifying Completeness and Consistency of the Unified Modeling Language Diagrams (UML 다이아그램의 일관성 및 완전성 검증 규칙)

  • 김재웅;김진수;황선명
    • Proceedings of the Korean Information Science Society Conference
    • /
    • 2000.04a
    • /
    • pp.525-527
    • /
    • 2000
  • 본 논문에서는 최근 객체지향 설계에 많이 사용되고 있는 UML 다이아그램들의 일관성과 완전성을 해결하기 위하여 UML 의 각 다이아그램을 ER 모델로 표현하고, 각 다이아 그램에 대한 공통된 표현으로 통합된 ER 다이아그램을 제공하며 일련의 집합과 함수들을 사용하여 정형적으로 명세한 다음 이러한 정형 명세를 기반으로하여 일관성을 완전성 검사를 수행하기 위한 규칙을 제공한다. 이 규칙은 다이아그램의 구문(syntax)과 의미(semantic)에 대하여 모두 검사할 수 있게 하기 위하여 구문 완전성, 구문 일관성, 의미 완전성, 의미 일관성으로 나누어 생성한다. 이렇게 생성된 규칙들은 추후 CASE 도구에 포함되어 다이아그래밍의 일관성 및 완전성을 검사할 수 있는 CASE 도구로 발전할 수 있게 된다.

  • PDF

The effect of headline type on the usability of mobile browsing (헤드라인 제시 방식이 모바일 브라우징 사용성에 미치는 영향)

  • Kim, Sung-Eun;Cho, Woon-Jung;Han, Kwang-Hee
    • 한국HCI학회:학술대회논문집
    • /
    • 2009.02a
    • /
    • pp.1188-1193
    • /
    • 2009
  • 현대 사회에서 휴대폰은 더 이상 문자 메시지를 송수신하거나 통신을 위한 매개체가 아니라 이동 중에도 인터넷 검색 또는 대용량 데이터를 전송하는 용도로 쓰인다. 특히 통신사에서 제공하는 서비스를 통한 모바일 인터넷 뉴스 기사 검색은 현재 효율성과 주관적 만족도가 떨어진다. 이에 본 연구는 목록 제시 방식이 모바일 브라우징 사용성에 미치는 영향을 보고자 하였다. 따라서 정보 제공의 완전성과 정보 제공의 지연 여부의 2 가지 측면으로 목록 제시 방식을 구분하였다. 탐색 과제를 통한 목록 제시 방식 효과를 비교한 결과 정보 제공이 완전하면서 지연이 없는 레이어드 팝업 조건에서 사용성과 지각된 사용성이 가장 높았으며 정보 제공이 완전하나 정보의 지연이 있는 동적 제시 조건, 정보 제공이 불완전하나 지연이 없는 ‘…’ 조건 순으로 나타났다. 그러나 레이어드 팝업 조건과 동적 제시 조건 간의 유의미한 사용성 차이는 발견되지 않았다. 이 결과는 정보의 지연 여부보다 정보 제공의 완전성이 모바일 브라우징에 더 큰 영향을 준다는 것을 시사한다. 본 연구의 결과는 상이한 디스플레이 방식들 간의 차이만을 살펴보는 수준을 넘어서 현재 적용되고 있는 WAP 서비스의 한계점을 보완하여 사용성을 향상시킬 수 있는 방안을 구축하였음에 의의가 있다.

  • PDF

The Study on the Generation of Verifying Rules for Consistency and Completeness of the Unified Modeling Language Diagrams (UML 다이아그램간의 일관성과 완전성을 위한 검증 규칙 생성에 관한 연구)

  • 김재웅;김진수;김치수;황선명
    • Journal of Korea Multimedia Society
    • /
    • v.3 no.3
    • /
    • pp.290-297
    • /
    • 2000
  • For verifying consistency and completeness of some UML diagrams as a representative of the graphic notations for object-oriented designs, we first give an analysis of some UML diagrams and apply simple ER model to the UML diagrams. Next, we formally define this graphical representation as a set of sets and a set of functions. According to the semantics of these functions, we derive a set of rules to assure the consistency and completeness of this graphical representation. These rules will be included with a CASE tool, which possesses both the diagramming facility and the consistency and completeness checking capability.

  • PDF

Some axiomatic extensions of the involutive mianorm Logic IMIAL (누승적 미아놈 논리 IMIAL의 몇몇 공리적 확장)

  • Yang, Eunsuk
    • Korean Journal of Logic
    • /
    • v.20 no.3
    • /
    • pp.313-333
    • /
    • 2017
  • In this paper, we deal with standard completeness of some axiomatic extensions of the involutive mianorm logic IMIAL. More precisely, first, seven involutive mianorm-based logics are introduced. Their algebraic structures are then defined, and their corresponding algebraic completeness is established. Next, standard completeness is established for four of them using construction in the style of Jenei-Montagna.

  • PDF

Some Axiomatic Extensions of the Involutive Micanorm Logic IMICAL (누승적 미카놈 논리 IMICAL의 몇몇 공리적 확장)

  • Yang, Eunsuk
    • Korean Journal of Logic
    • /
    • v.18 no.2
    • /
    • pp.197-215
    • /
    • 2015
  • In this paper, we deal with standard completeness of some axiomatic extensions of the involutive micanorm logic IMICAL. More precisely, first, four involutive micanorm-based logics are introduced. Their algebraic structures are then defined, and their corresponding algebraic completeness is established. Next, standard completeness is established for two of them using construction in the style of Jenei-Montagna.

  • PDF

Evaluating Online Biographical Databases in Korea: A Comparative Study (우리나라 온라인 인물데이터베이스의 비교 평가 연구)

  • 장혜란
    • Journal of Korean Library and Information Science Society
    • /
    • v.32 no.4
    • /
    • pp.283-302
    • /
    • 2001
  • Current states of Korean biographical databases are evaluated based on the dissatis faction factors identified by a user survey. currency, coverage, completeness, and variety of the Korean biographical databases are evaluated and compared with overseas biographical databases. The results of the analysis are given with problems and suggestions for the future improvements.

  • PDF

A new proof of standard completeness for the uninorm logic UL (Uninorm 논리 UL을 위한 새로운 표준 완전성 증명)

  • Yang, Eun-Suk
    • Korean Journal of Logic
    • /
    • v.13 no.1
    • /
    • pp.1-20
    • /
    • 2010
  • This paper investigates a new proof of standard completeness (i.e. completeness on the real unit interval [0, 1]) for the uninorm (based) logic UL introduced by Metcalfe and Montagna in [15]. More exactly, standard completeness is established for UL by using nuclear completions method introduced in [8, 9].

  • PDF

Standard completeness results for some neighbors of R-mingle

  • Yang, Eun-Suk
    • Korean Journal of Logic
    • /
    • v.11 no.2
    • /
    • pp.171-197
    • /
    • 2008
  • In this paper we deal with new standard completeness proofs of some systems introduced by Metcalfe and Montagna in [10]. For this, this paper investigates several fuzzy-relevance logics, which can be regarded as neighbors of the R of Relevance with mingle (RM). First, the monoidal uninorm idempotence logic MUIL, which is intended to cope with the tautologies of left-continuous conjunctive idempotent uninorms and their residua, and some schematic extensions of it are introduced as neighbors of RM. The algebraic structures corresponding to them are defined, and standard completeness, completeness on the real unit interval [0, 1], results for them are provided.

  • PDF

Liberalism and Perfectionism (자유주의와 완전주의)

  • Kim, Young-kee
    • Journal of Korean Philosophical Society
    • /
    • v.144
    • /
    • pp.83-111
    • /
    • 2017
  • The purport of this essay is to examine the possible compatibility of liberalism and perfectionism. Liberalism is typically considered as anti-perfectionism. So communitarian critique of liberalism focused on the effects of its anti-perfectionism. But liberalism could be interpreted as compatible with perfectionism. Joseph Raz attempts to develop and defend "perfectionist" liberalism. He rejects anti-perfectionist "neutrality" and claims that the goal of political action is to encourage pursuit of what is truly good and discourage pursuit of what is morally unworthy. Despite this strong perfectionist claim, Raz's political philosophy gives pride of place to individual liberty, or autonomy, which he considers to be intrinsically valuable. One exercises autonomy in choosing among a plurality of human goods. Nonetheless, Raz forthrightly denies the value of autonomy used to choose what is morally bad and says that society has no reason to protect worthless, much less morally evil, options. Raz is more conventionally liberal, however, in espousing a version of J. S. Mill's "harm principle", arguing that a due regard for autonomy rules out government use of coercive means to discourage "victimless" immoralities. However, there are some serious questions about whether Raz's strong perfectionism can support his principled rejection of "morals legislation". I think that if his strong perfectionism could be a little "weakened" and his autonomy could be interpreted as having only formal value rather than having intrinsic value, then his perfectionism could be compatible with liberalism.

An Axiomatic Extension of the Uninorm Logic Revisited (유니놈 논리의 확장을 재고함)

  • Yang, Eunsuk
    • Korean Journal of Logic
    • /
    • v.17 no.2
    • /
    • pp.323-349
    • /
    • 2014
  • In this paper, we show that the standard completeness for the extension of UL with compensation-free reinforcement (cfr) $(({\phi}&{\psi}){\rightarrow}({\phi}{\wedge}{\psi})){\vee}(({\phi}{\vee}{\psi}){\rightarrow}({\phi}&{\psi}))$ can be established. More exactly, first, the compensation-freely reinforced uninorm logic $UL_{cfr}$ (the UL with (cfr)) is introduced. The algebraic structures of $UL_{cfr}$ are then defined, and its algebraic completeness is established. Next, standard completeness (i.e. completeness on [0, 1]) is established for $UL_{cfr}$ by using the method introduced in Yang (2009).

  • PDF