• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2001년도 가을 학술발표논문집 Vol.28 No.2 (3)
• /
• pp.220-222
• /
• 2001

데이터 캐슁은 웹 컨텐츠의 양적인 팽창에 대응하기 위한 대표적인 방법 중 하나이다. 데이터 캐슁에서 캐쉬 일관성 유지 기법은 매우 중요하다. 리스 알고리즘은 유선 망에서의 강한 캐쉬 일관성 보장 방법 중 하나로 서버와 클라이언트간의 부하를 적절히 분산시켜 주는 효과가 매우 놀은 것으로 알려져 있다. 그러나 이 방식이 무선 인터넷 환경에 적용되기 위해서는 잦은 접속단절을 갖는 무선망의 특성이 고려되어야 한다. 본 논문에서는 기존의 리스 알고리즘을 보완하여 무선망에서 효율적으로 사용될 수 있도록 한 W-Lease 알고리즘을 제안한다. W-Lease 알고리즘은 접속단절 상태에 놓인 를라이언트들에 대하여 서버가 일관성 관리를 하게 함으로써, 강한 캐쉬 일관성을 효율적으로 유지할 수 있다 제안된 알고리즘은 구현 및 실험을 통해 기존의 알고리즘과 비교하여 향상된 성능을 입증한다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2014년도 춘계학술발표대회
• /
• pp.50-51
• /
• 2014

최근 기존 스토리지의 물리적 한계를 극복하기 위해 차세대 스토리지로 불리는 스토리지 클래스 메모리(SCM)의 연구 및 개발이 활발히 진행되고 있다. 이러한 SCM의 장점을 활용하기 위한 SCM 전용파일 시스템 또한 많은 연구가 되고 있다. 하지만, 현재까지 연구되어온 SCM 전용 파일 시스템은 빠른 속도에만 중점을 두어 부분적인 일관성 지원 또는 특정한 환경에서의 시스템 성능 저하 등의 문제요인이 있다. 본 논문에서는 SCM과 SCM 전용 파일 시스템을 알아보고 일관성 유지 기법의 비교 및 분석을 통하여 현재까지 연구된 일관성 유지 기법의 문제점을 파악하고 SCM에 최적화된 새로운 일관성 유지 기법의 방향을 모색한다.

• 응용통계연구
• /
• 제27권1호
• /
• pp.103-114
• /
• 2014

계층적 의사결정론(AHP)에서 응답자의 신뢰성을 평가하기 위해 일관성 지수가 활용된다. 일반적으로 일관성 지수값이 0에 근접할 수록 신뢰성이 있다고 판단되나, 신뢰성에 대한 임계값은 9점 척도의 비교행렬로 부터 모의실험 된 무작위 지수의 평균에 의존한다. 본 연구에서는 9점 척도 비교행렬에 의한 모의실험 분포가 차원별로 치우침이 심한 분포라는 점에 기초하여, 차원별 일관성 지수의 분위수에 기초한 통계적 가설검정 방법을 소개하기로 한다. 그리고, 모의실험으로 계산된 일관성 지수의 분포에 따라 적절한 임계 분위값을 제공하였다. 또한, 쌍대비교행렬의 각 원소에 오차를 고려한 모형을 적용하여, 일관성 지수의 분포를 감마분포로 특수한 경우 근사시킬 수 있음을 제시하였다.

• 감성과학
• /
• 제12권4호
• /
• pp.557-564
• /
• 2009

현재 한국에서는 거짓말탐지검사의 채점과정에서 '일관성' 기준을 사용하고 있다. 본 연구에서는 현재 한국에서 사용하고 있는 거짓말탐지검사 기법의 채점 기준 중 '일관성' 기준의 실증적 타당성을 검증하고자 하였다. 구체적으로는 한국에서 이루어지고 있는 거짓말탐지검사의 채점과정에서 '일관성'을 실제로 고려하고 있는지의 여부를 검증한 후 '일관성'을 고려하여 채점하는 경우와 그렇지 않은 경우에서 거짓말탐지검사 결과의신뢰도(Cronbach' $\alpha$)와 정확성이 어떻게 달라지는지를 파악하였다. 본 연구는 실제 현장에서 '일관성'을 고려하여 채점 한 원채점자료와 '일관성'을 고려할 수 없도록 가공하여 채점한 실험채점자료를 분석하였다. 원채점자료와 실험채점자료는 동일한 검사관들이 채점하도록 하였다. 그 결과 현재 한국에서는 거짓말탐지검사의 채점과정에서 '일관성'을 고려하고 있는 것이 확인되었다. 신뢰도는 원채점자료가 .93, 실험채점자료가 .91로 비슷한 수준이었다. 정확성은 검찰의 기소 여부와 거짓말탐지검사 점수에 의한 판정을 지표로 사용한 잠재계층분석(N=182)의 결과를 실제 거짓말 여부를 판단하는 기준으로 사용했을 때 원채점자료에서 76.9%, 실험채점자료에서 61.5%로 나타났다. 논의에서는 이러한 결과가 나타난 원인과 한국에서 사용하고 있는 '일관성' 기준이 거짓말탐지검사 채점에서 갖는 유용성에 대하여 논의하였다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 1999년도 가을 학술발표논문집 Vol.26 No.2 (1)
• /
• pp.323-325
• /
• 1999

서버의 공간데이터가 클라이언트 캐쉬에 중복 저장되어 있는 클라이언트-서버 GIS환경에서 동시에 수행될 수 있는 대화식 클라이언트 트랜잭션의 변경은 일관성 제어를 위해 서버와 다른 클라이언트에 전파되어야 한다. 이때 한 클라이언트의 캐쉬 변경이 다른 클라이언트의 변경과 충돌이 될 수 있는데, 클라이언트 트랜잭션은 기존의 기법으로는 동시성과 캐시 일관성이 제어 될 수 없다. 지도 수정 트랜잭션은 기 트랜잭션이며 공간 관련성에 의한 종속성을 가지기 때문이다. 또한 캐쉬 변경 내용의 전파는 캐쉬 사용의 이점을 잃기 않기 위해 통신 부하 최소화 대책이 고려되어야 한다. 이 논문은 클라이언트-서버 GIS 환경에서 클라이언트 수정 트랜잭션의 동시성과 캐쉬 일관성 제어를 위하여 기존의 잠금 기법을 확장하고, 통신 부하의 최소화를 고려한 새로운 변경 전파 프로토콜을 설계하고 구현한 결과를 보인다.

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

지난 10여 년 동안 모바일폰과 같은 인터랙티브 기기들은 새로운 버전이 나올 때마다 새로운 기능들이 덧붙여지면서 점점 더 사용하기 복잡해졌다. 다기능 복합기기의 사용 복잡도를 줄이기 위한 한 가지 방법은 그것을 일관성 있게 설계하는 것이다. 일관성을 정의하기가 쉽지 않고 때로는 일관성 있게 디자인한 것이 오히려 사용성을 낮추는 경우도 존재하지만, 일반적으로 일관성 있게 설계된 시스템은 그 사용법을 더 배우기 쉽고, 기억하기 쉬우며, 에러가 덜 발생한다. 그러나 실제적으로 다기능 복합기기의 사용자 인터랙션 또는 인터페이스를 일관성 있게 설계하는 일은 쉽지 않다. 다기능 기기의 인터랙션 설계는 매우 많은 수의 설계 변수들과 그것들 간의 관계를 고려해야 하므로 많은 시간이 소요되고 디자인 에러가 발생하기 쉽다. 따라서, 이런 복잡한 설계 과정을 지원할 수 있는 방법론의 개발이 필요하다. 본 연구에서는 CUID (Consistent Design of User Interaction)라고 명명한 효과적이고 효율적인 인터랙션 설계 방법론을 개발하였다. CUID는 일관성 있는 인터랙션 설계를 위한 디자인 프로세스와 그것을 지원하는 소프트웨어 툴을 포함한다. 이 방법론은 물리적 또는 시각적인 일관성보다는 논리적 일관성에 초점을 맞추고 있으며, 태스크 절차의 설계, 각 시스템 상태에서 가능해야 하는 조작(기능)에 대한 결정, 그리고 가능한 조작(기능)들을 어떤 인터페이스 컨트롤(control)을 통해 수행하도록 할 것인지에 대한 결정을 주요한 설계 문제로 다룬다. 또한, 본 논문에서는 사례 연구를 통해 CUID의 효용성을 검증하였다.

• 한국수학교육학회지시리즈E:수학교육논문집
• /
• 제34권3호
• /
• pp.373-391
• /
• 2020

본 연구는 2015 개정 교육과정에서 처음으로 고시한 <경제수학> 과목의 교과서에 대한 분석 연구이다. <경제수학> 교과서는 상경계열을 지원하는 학생을 위해 개발된 최초의 교과서라는 면에서 교육적 의의가 매우 높다. 이에 본 연구에서는 <경제수학> 교과서가 교육과정 개발자가 제시하고 교과서 인정 기관에서 구체화한 교과서 편찬상의 유의점과 일관성이 있는지 분석하고, 국가에서 고시한 수학과 교육과정과 일관성이 있는지 분석한다. 본 연구에서의 일관성에 대한 분석 결과 <경제수학> 교과서의 내용은 부분적으로 일관성이 있지만, 그렇지 않은 부분도 다수 나타났다. 본 연구의 결과로 볼 때, 향후 고등학교 선택과목의 검·인정에 있어 보다 철저한 기준 마련과 일관성을 유지하기 위한 구체적인 기준의 제시가 요구된다.

• 한국디자인학회:학술대회논문집
• /
• 한국디자인학회 1999년도 춘계 학술발표대회 논문집
• /
• pp.12-13
• /
• 1999

일관성을 평가하기 위한 모형들이 맡은 인터페이스 모델링 연구자들에 의해서 개발되어 왔다. Reisner (1981)의 GRAL(Grammatical Representation of Action language) 모형으로부터 시작된 일관성 평가 모형 개발은 TAG(Task Action Grammar; Payne and Green, 1986), APT(Agent Partitioning Theory: Reisner, 1993), PROCOPE(Poitrenaud, 1995) 모형으로 발전되었다.(중략)

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제30권12호
• /
• pp.1158-1171
• /
• 2003

UML은 객체지향 모델링에 있어서 표준으로 받아들여지고 있다. UML은 풍부한 구성요소를 가지므로 개발하고자하는 시스템을 상세하게 묘사할 수 있지만, 모델링된 다이어그램의 정확성과 일관성은 보장하지 못한다는 결점을 가진다. 따라서 개발프로세스의 초기단계에서 사용자 모델을 검증함으로써 오류를 최소화하는 것이 중요하다. 본 연구에서는 메타-메타모델과 OCL로 표현된 검증규칙을 이용하여 UML structural 다이어그램과 behavioral 다이어그램의 일관성을 검증하는 방법을 제안한다. 일관성은 하나의 요구사항을 가지고 작성된 structural 다이어그램과 behavioral 다이어그램이 일관성있게 작성되었는지를 판단하기 위한 성질이다. 검증의 첫 번째 작업으로서 UML 다이어그램과 그들사이의 관련요소로 표현된 메타-메타모델을 유도하고, 유도된 메타-메타모델로부터 일관성을 검증하기 위한 규칙을 유도하고, 유도된 검증규칙은 검증작업의 자동화를 위해 OCL과 같은 정형적인 언어로 명세한다. 마지막으로 사례모델을 통해 검증규칙의 유용성을 검증한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2006년도 한국컴퓨터종합학술대회 논문집 Vol.33 No.1 (C)
• /
• pp.181-183
• /
• 2006

UML 2.0의 시퀀스 다이어그램은 실시간 특성을 표기할 수 있는 표기법이 추가됨으로써 시간의 엄격성이 중요하게 여겨지는 임베디드 소프트웨어의 행위를 보다 정확하고 상세하게 모델링 할 수 있게 되었다. 시퀀스 다이어그램은 전체 시스템의 부분적인 행위를 기술하여 같은 행위가 여러 다이어그램에 걸쳐서 기술되어지므로 이들 다이어그램들은 서로 일관성을 가져야 하는데 복잡한 시스템에서 일관성을 검사하는 것은 어려운 일이다. 본 논문에서는 행위 모델을 표현하는 시퀀스 다이어그램과 다른 다이어그램에 기술된 실시간 특성들의 일관성을 자동으로 검사할 수 있는 방법을 제안한다. 먼저 서로 다른(inter) 다이어그램들 사이의 시간적인 일관성을 유지하기 위한 제약사항을 파악하여 정의한다. 그리고 모델을 구성하는 인스턴스들에 대한 제약사항을 OCL로 기술하는데 이는 UML 2.0이 발표되면서 모델의 의미를 정확하고 상세하게 표현할 수 있는 메타 모델과 그들의 연관관계가 추가되고 명확하게 정의됨에 따라 가능하게 된 것이다. 이렇게 OCL로 정형화되어 기술된 식은 UML 2.0 메타 모델을 이용한 어느 모델에나 적용 가능하며 모델의 문제점을 발견하고 정확한 모델을 구축하도록 도와준다.