• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2000년도 봄 학술발표논문집 Vol.27 No.1 (A)
• /
• pp.525-527
• /
• 2000

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

• 한국HCI학회:학술대회논문집
• /
• 한국HCI학회 2009년도 학술대회
• /
• pp.1188-1193
• /
• 2009

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

• 한국멀티미디어학회논문지
• /
• 제3권3호
• /
• pp.290-297
• /
• 2000

객체지향 설계에 많이 사용되고 있는 UML의 일부 다이아그램들의 일관성과 완전성을 검증하기 위하여 UML다이아그램들을 분석하여 ER모델에 적용하고, 일련의 집합과 함수들을 사용하여 정형적으로 명세한 다음 이러한 함수들의 의미에 따라 UML 다이아그램들의 일관성과 완전성을 보장하는 일련의 규칙들을 유도한다. 이러한 규칙들은 추후에 다이아그램을 생성하는 능력과 일관성과 완전성을 검사하는 능력을 함에 가진 CASE 도구에 포함될 수 있다.

• 논리연구
• /
• 제20권3호
• /
• pp.313-333
• /
• 2017

이 글에서 우리는 누승적 미아놈 논리 IMIAL의 몇몇 공리적 확장 체계의 표준 완전성을 다룬다. 이를 위하여, 먼저 누승적 미아놈에 바탕을 둔 일곱 개의 논리 체계를 소개한다. 각 체계에 상응하는 대수적 구조를 정의한 후, 이들 체계가 대수적으로 완전하다는 것을 보인다. 다음으로, 이 논리 체계들 중 네 체계가 표준적으로 완전하다는 것 즉 단위 실수 [0, 1]에서 완전하다는 것을 제네이-몬테그나 방식의 구성을 사용하여 보인다.

• 논리연구
• /
• 제18권2호
• /
• pp.197-215
• /
• 2015

이 글에서 우리는 누승적 미카놈 논리 IMICAL의 몇몇 공리적 확장 체계의 표준 완전성을 다룬다. 이를 위하여, 먼저 누승적 미카놈에 바탕을 둔 네 논리 체계를 소개한다. 각 체계에 상응하는 대수적 구조를 정의한 후, 이들 체계가 대수적으로 완전하다는 것을 보인다. 다음으로, 이 논리 체계들 중 두 체계가 표준적으로 완전하다는 것 즉 단위 실수 [0,1]에서 완전하다는 것을 제네이-몬테그나 방식의 구성을 사용하여 보인다.

• 한국도서관정보학회지
• /
• 제32권4호
• /
• pp.283-302
• /
• 2001

온라인 상용 데이터베이스에 대한 이용자 불만족 요인을 기초로 하여, 우리나라 인물 데이터베이스를 분석 평가 하고 외국의 인물데이터베이스 현황과 비교하였다. 구체적으로 최신성, 포괄성, 완전성, 그리고 다양성을 평가하였으며 문제점과 발전방향을 도출하였다.

• 논리연구
• /
• 제13권1호
• /
• pp.1-20
• /
• 2010

이 논문에서 우리는 멧칼페와 몬테그나에 의해 [15]에서 소개된 uninorm에 바탕을 두고 있는 논리 UL을 위한 표준 완전성 즉 단위 실수 [0, 1] 위에서의 완전성의 새로운 증명을 연구한다. 즉 [8, 9]에서 소개된 nuclear completion을 사용하여 UL이 표준적으로 완전하다는 것을 보인다.

• 논리연구
• /
• 제11권2호
• /
• pp.171-197
• /
• 2008

이 논문에서 우리는 [10]에서 멧칼페와 몬테그나에 의해 소개된 몇 체계들에 대한 새로운 표준 완전성 증명을 다룬다. 이를 위해 이 논문은 연관 논리 R-mingle (RM)의 이웃들로 간주될 수 있는 몇몇 퍼지-연관 논리를 연구한다. 우선, 좌-연속 항등적 멱등 유니놈들과 그것들의 잔여(left-continuous conjunctive idempotent uninorms and their residua)의 동어반복을 다루도록 의도된 monoidal uninorm idempotence 논리 MUIL과 그것의 몇몇 확장이 RM의 이웃으로 소개된다. 그리고 그것들에 상응하는 대수적 구조가 정의된 후, 이 체계들을 위한 표준 완전성 즉 단위 실수 [0, 1] 위에서의 완전성이 제공된다.

• 철학연구
• /
• 제144권
• /
• pp.83-111
• /
• 2017

이 논문의 목적은 자유주의와 완전주의의 양립가능성을 탐색하는 것이다. 흔히 자유주의는 완전주의를 배제한다고 해석되는 경우가 많다. 그러나 자유주의는 완전주의를 반드시 배제하지는 않는다. "해악의 원리"가 갖는 반완전주의적 성격 때문에 밀(J. S. Mill)은 반완전주의적 자유주의자로 해석되는 경우가 일반적이지만, 막상 밀 자신은 자신이 반완전주의자로 해석되는 것에 동의하지 않을 것이다. 죠셉 라즈는 "완전주의적" 자유주의를 전개하고 옹호하려고 한다. 그는 반완전주의적 "중립성"을 반대하면서 정치적 행위의 목적은 진정 선한 것을 추구하는 것을 장려하고 도덕적으로 가치없는 것을 추구하는 것을 막는 것이라고 한다. 이처럼 완전주의적 주장을 하면서도 라즈는 개인의 자유 또는 자율성에, 그것이 본래적 가치를 갖는다고 생각하면서, 가장 중요한 위치를 부여한다. 사람은 다양한 인간의 선들 가운데서 선택하면서 인간의 자율성을 발휘한다. 그럼에도 불구하고, 라즈는 도덕적으로 나쁜 것을 선택하는 데 사용되는 자율성은 가치를 같지 않는다고 주장하며 사회는 무가치한 선택을, 더욱이 도덕적으로 사악한 선택은 보호할 이유가 없다고 말한다. 그렇지만 라즈는 밀의 "해악의 원리"를 지지한다는 점에서, 또 자율성에 대한 정당한 존중은 "희생자"가 없는 부도덕한 일들을 막기 위해 국가가 강제적 수단을 사용하는 것을 배제하게 된다고 주장한다는 면에서 전통적인 의미에서 자유주의자라고 할 수 있다. 그렇지만 과연 라즈의 자율성에 대한 이해가 과연 "도덕의 입법화"에 대한 원칙적인 배제를 확고히 뒷받침해줄 수 있는가에 대해서는 심각한 의문이 제기된다. 그러나 필자는 자율성이 그 자체 가치를 지니지만 형식적 가치만을 지닌다고 해석한다면, 완전주의와 자유주의는 함께 결합할 수 있다고 생각한다.

• 논리연구
• /
• 제17권2호
• /
• pp.323-349
• /
• 2014

이 글에서 우리는 보상 없는 강화 (cfr) $(({\phi}&{\psi}){\rightarrow}({\phi}{\wedge}{\psi})){\vee}(({\phi}{\vee}{\psi}){\rightarrow}({\phi}&{\psi}))$를 갖는 유니놈 논리의 확장에 대해 표준 완전성이 제공될 수 있다는 것을 보인다. 이를 위하여, 먼저 보상 없는 강화를 갖는 유니놈 논리 $UL_{cfr}$을 소개한다. 이 체계에 상응하는 대수적 구조를 정의한 후, $UL_{cfr}$이 대수적으로 완전하다는 것을 보인다. 다음으로, $UL_{cfr}$이 표준적으로 완전하다는 것 즉 단위 실수 [0, 1]에서 완전하다는 것을 Yang (2009)에서의 방법을 사용하여 보인다.