• 한국컴퓨터정보학회:학술대회논문집
• /
• 한국컴퓨터정보학회 2008년도 제39차 동계학술발표논문집 16권2호
• /
• pp.1-4
• /
• 2009

이 논문에서는 메타데이터 레지스트리(ISO/IEC 11179: Metadata Registry)들이 가지고 있는 메타데이터 정보를 검색하고, 공유하기 위해 일관성 있는 질의 언어를 제안한다 메타데이터 레지스트리는 국제 표준으로서 메타데이터들을 정의하고 이들을 관리 및 공유를 하기 위해 만들어졌다. 이와 같은 국제 표준을 기반으로 한 메타데이터 레지스트리들이 서지, 환경, 의료 분야 등의 다양한 영역에서 사용되고 있다. 이와 함께 메타데이터 레지스트리를 기반으로 하여 기존에 저장된 메타데이터들을 검색하고, 공유하고, 관리하고자 하는 이슈에 대한 연구가 진행되고 있다. 하지만 현재까지 다양한 분야에 있는 메타데이터 레지스트리가 가지고 있는 정보를 가져오기 위한 표준 인터페이스가 제공되고 있지 않다. 이러한 문제를 해결하기 위한 연구로 SQL에 메타데이터 레지스트리를 위한 공통 연산자들을 추가하여 메타데이터 레지스트리에 존재하는 데이터들을 활용하는 연구가 있다. 하지만 이런 연산자들을 이용하기 위해서는 상용 DBMS 엔진에 추가되어야 하며, 연산자들이 없는 경우 일관된 질의어를 수행할 수 없다는 문제를 가지고 있다. 따라서 이 논문에서는 이와 같은 문제를 해결하기 위해서 국제 표준인 SQL(ISO/IEC 9075) 에서 정의하고 있는 사용자 정의 타입(User-defined types) 을 기반으로 한 일관성 질의 언어를 제안한다.

• 인터넷정보학회논문지
• /
• 제4권6호
• /
• pp.87-93
• /
• 2003

자료 복제는 분산 시스템과 데이터베이스 시스템에서 가용성과 성능을 향상시켜 주지만, 자료를 갱신할 때 일관성을 엄격하게 유지하는 것은 쉽지 않다. 기존 알고리즘들은 엄격하게 일관성을 유지하지만, 비용이 많이 들며 시간이 지연된다는 문제점이 있다. 본 논문에서는 원본 자료에 대해서 즉시 갱신을 허락하고 다른 복사본들에 대해서는 지연 갱신을 전파하는 혼합 갱신 전파 알고리즘을 소개한다. 혼합 갱신 전파 알고리즘은 또한 소유권에 있어서 그룹 갱신을 허락한다. 이 알고리즘은 그룹 갱신 일관성을 제어하기 위해 복제 버전을 관리한다. 그룹의 소유권을 가지고 즉시 갱신과 지연 갱신을 결합함으로써 일관성과 성능이 향상된다. 응용과 실행 환경에 따른 트랜잭션 처리량과 응답시간의 향상을 모의실험을 통해 보여준다.

• 한국전자거래학회지
• /
• 제14권1호
• /
• pp.1-11
• /
• 2009

사용자간 유사도에 의한 협업 필터링에서 추천 품질이 안정적인 상태에 이르기 위해서는 많은 이웃들이 필요하다. 이것은 높은 사용자간 유사도가 제품에 대한 동일한 선호도를 일관되게 보장하지 못하기 때문이다. 유사하지 않은 사용자라 할지라도 제품 선택에서 사용자 간에 일관성이 있다면, 선호도 예측에서 유용하게 사용될 수 있다. 이 논문에서는 일관성을 기준으로 신뢰도를 정의하고, 이를 기반으로 이웃을 선정하여 선호도를 예측하는 협업 필터링 방법을 제시한다. 이 방법에 의한 추천 품질이 안정적인 상태에 이르기 위해서 필요한 이웃들의 수가 유사도에 의한 방법보다 매우 적으며, 추천 품질 또한 우수하다.

• 한국산업정보학회:학술대회논문집
• /
• 한국산업정보학회 1999년도 춘계학술대회 발표논문집
• /
• pp.91-96
• /
• 1999

역할기반 접근제어(RBAC)는 접근제어 정책의 관리단가를 낮출 수 있는 접근제어 메커니즘 이다 RBAC 모델을 위해 개발된 관리도구(Admin Tool)는 사용자와 역할의 관계정보를 관리 한다. 이들 관계에 대한 정보의 일관성을 유지하기 위해서 관계정보의 일관성을 정의하는 특성 집합이 필요하다. 본 논문은 Linux 서버 시스템 환경에서 RBAC 기술을 이용한 보안 시스템을 설계할 때 사용자와 역할의 관계에 관한 정보관리를 위해 관계정보 일관성 특성에 관하여 다루었다. 이는 더 효율적인 관리도구를 구현하기 위해 일관성 특성에 대해 동등한 결과를 얻을 수 있는 최소 집합의 개발을 유도하기 위함이다.

• 한국건설관리학회:학술대회논문집
• /
• 한국건설관리학회 2006년도 정기학술발표대회 논문집
• /
• pp.284-288
• /
• 2006

건설교통부에서는 설계시공일관사업을 포함한 총공사비 100억원 이상인 모든 공사에 설계VE 적용을 의무화하고 있다. 현행 설계시공일관사업에서는 입찰을 통해 확정된 총액금액으로 설계가 진행되어 실시설계단계에서 VE의 실시 명분이 미흡한 상태이다. 그러므로 설계시공일관사업에서 설계VE을 활성화하기 위해서는 설계VE 적용 결과에 따른 절감액의 배분이 이루어져야 한다. 이에 본 연구에서는 현행 설계시공일관방식의 특성과 설계VE 적용의 문제점을 파악하고, 설계시공일관사업에서 설계VE 적용의 효과를 극대화할 수 있는 인센티브의 활용방법을 제안한다.

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

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

• 한국정보과학회논문지:데이타베이스
• /
• 제28권2호
• /
• pp.140-152
• /
• 2001

클라이언트/서버 환경에서 서버의 공간 데이터를 검색, 접근하기 위한 공간 질의는 대용량의 공간 객체에 대해 복잡한 공간 연산을 수행한다. 따라서 클라이언트가 자주 이용하는 공간 질의를 매번 서버에서 처리하는 경우에 서버의 부하가 증가하며 질의 응답시간도 길어지게 된다. 그러므로 이러한 공간 질의를 뷰로 정의하고 클라이언트에 실체화하면 질의를 효율적으로 처리할 수 있다. 이 경우에 뷰를 유도한 서버의 소스 객체의 변경에 따라 클라이언트의 실체화된 뷰 객체의 일관성을 유지해야 한다. 본 논문에서는 클라이언트/서버환경에서 질의 수행 속도를 향상시키기 위해 실체화된 공간뷰 개념을 적용하여 클라이언트 뷰를 정의하고 유형을 분류한다. 그리고 실체화된 클라이언트 뷰의 리관성 제어를 위해 재수행 방법에 비해 변경 속도가 빠른 점진적 변경 방법을 이용한다. 이를 위해 일관성 제어시 필요한 추가정보를 기술하고, 추가정보를 이용한 일관성 제어 알고리즘을 제시한다. 그리고, 제시한 실체화 방법과 일관성 제어 알고리즘의 실현을 위하여 객체지향 GIS시스템임 고딕(GOTHIC)에서 설계 및 구현하고 성능을 평가한다.

• 한국지능시스템학회논문지
• /
• 제13권5호
• /
• pp.505-511
• /
• 2003

생성 규칙의 지식 표현 방식은 많은 장점에도 불구하고 일관성 유지가 어렵다는 단점을 갖고 있다. 그런데 지식의 일관성 유지 여부는 지식을 기반으로 한 추론 결과의 신뢰도에 직결되므로 신뢰성을 제고하기 위하여 일관성 검증 시스템이 필수적이다. 일관성 검증 방식 중 가장 많이 사용되는 쌍 검증(pairwise checking) 방식에서는 가치 있는 규칙이 생략될 수 있으며 규칙의 수가 많은 경우에는 검증 시간이 많이 걸리는 단점이 있다. 따라서 본 논문에서는 확실한 특성의 리스트와 가능한 특성의 리스트를 사용하고 검증단계를 개선함으로써 쌍 검증 방식의 단점을 보완하여, 구조적 및 의미적 오류도 제거한 수 있는 검증 시스템을 제안하고 구축한다.

• 한국정보통신학회:학술대회논문집
• /
• 한국해양정보통신학회 2011년도 추계학술대회
• /
• pp.732-735
• /
• 2011

클라우드 컴퓨팅은 자원을 사용한만큼 비용을 지불하는 모델을 채용하고 있는 새로운 패러다임이다. 클라이언트들은 개인이 소유하지 않은 자원이라 할지라도 다양한 자원을 사용할 수 있다. 이미 아마존이나 구글, 그리고 마이크로소프트사와 같은 IT 산업 분야의 큰 업체들은 클라우드 컴퓨팅에 대한 많은 응용을 개발하였다. 이 논문에서는 클라우드 컴퓨팅에서 데이터 일관성을 위한 요구조건에 대해 기술한다. 클라우드 컴퓨팅에서 데이터는 중복, 분산, 대규모라는 특징을 가지고 있고, 가용성과 일관성을 동시에 제공하기 어려운 특징이 있다. 이 논문에서는 클라우드 컴퓨팅이 적용가능한 다양한 응용들을 분류하고, 그 응용들에 대한 일관성 기준의 요구 사항에 대해 기술한다. 이 연구를 통해서, 추후 구체적인 일관성 기준을 만드는 데 기반이 될 것으로 생각된다.

• 한국디자인학회:학술대회논문집
• /
• 한국디자인학회 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) 모형으로 발전되었다.(중략)