• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2002년도 봄 학술발표논문집 Vol.29 No.1 (A)
• /
• pp.70-72
• /
• 2002

본 논문에서는 기존 파일 시스템의 일관성 검사 프로그램 및 클러스터 파일 시스템의 특징 분석을 통해 클러스터 파일 시스템의 일관성을 검사하는데 필요한 프로그램 설계 요소 및 구현 방법에 관해 논한다. 나아가 이러한 설계 방법에 따라 구현된 프로그램을 실제 상용화된 클러스터 파일 시스템에 적용함으로써 검사 프로그램의 기능을 검증한다 이를 위해 뮤테이션 테스트(Mutation Test) 기법을 도입하여 일관성 검사 프로그램의 신뢰성 검증 방법을 고찰하고 그에 따른 테스트 결과를 살펴본다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2000년도 추계학술발표논문집 (상)
• /
• pp.329-332
• /
• 2000

지식기반시스템에서 지식의 일관성을 유지하는 것은 신뢰성 있는 추론 결과를 위해서 필수적인 요소이다. 추론은 지식을 기반으로 행해지기 때문이다. 따라서 본 논문에서는 새로운 지식이 지식베이스에 첨가되기 전에 기존의 지식베이스의 지식들과 첨가될 지식과의 일관성 여부를 검사한 후 일관성이 유지될 때만 지식이 첨가되는 시스템을 구축하였다.

• 한국정보시스템학회:학술대회논문집
• /
• 한국정보시스템학회 1998년도 추계학술대회논문집21세기를 위한정보기술의 발전방향
• /
• pp.137-144
• /
• 1998

데이터베이스 공유 시스템에서는 동일한 페이지가 여러 처리노드에 의해 동시에 캐싱 될 수 있으므로, 각 처리노드가 항상 최신의 내용을 참조하기 위해서는 캐싱 된 데이 터의 일관성이 유지되어야 한다. 본 논문에서는 로킹 오버헤드를 줄이기 위해 주사본 권한 을 이용하여 데이터베이스를 논리적으로 분할한 데이터베이스 공유 시스템 환경에서 필요한 캐쉬 일관성 기법들을 제안한다. 제안한 기법들인 DPCA_P와 DPCA_U는 PCA를 동적으로 할당하여 캐쉬 일관성을 위해 소요되는 메시지 전송량과 디스크 입출력 오버헤드를 줄임으 로써 성능을 향상시키며, 데이터베이스 부하가 동적으로 변하는 경우에도 효율적으로 동작 한다는 장점을 갖는다.

• 한국수학교육학회지시리즈E:수학교육논문집
• /
• 제35권1호
• /
• pp.75-96
• /
• 2021

이 연구는 우리나라 차기 수학과 교육과정의 문서 체재의 일관성 구현의 시사점을 도출하기 위해 국제적으로 주목받고 있는 IB 교육과정 내의 수학과 교육과정 문서 체재의 일관성을 탐구하였다. 이를 위해 IB DP 고등학교 교육과정 문서의 외·내적 체재의 일관성을 기준으로 분석하였다. 먼저, IB DP 수학과 교육과정은 문서의 목차와 형식을 동일하게 제시하여, 과목별·주제별로 교육과정 문서는 일관된 서술을 보였다. 다음으로, 동일한 과목 주제 구성 및 평가방법의 구성, 빅 아이디어 제시, '안내, 명료화, 교수요목 연계'와 같은 장치 마련을 통해 일관성 있는 과목 간, 과목 내의 교육과정 문서의 서술을 이루었다. 마지막으로, '연결'에서 실세계 맥락, 다른 과목, IB 교육과정 '지식론'과의 연계 방안을 서술함으로써 타 교과와의 연계를 통해 교육과정 문서의 일관된 서술을 이루었다. 이러한 연구 결과를 토대로 수학과 교육과정 문서 항목의 구체적이고 일관적인 제시, 개정 교육과정의 과목별 영역과 평가 방법의 일관적인 제시, 타 교과와의 연계를 통한 일관성 있는 교육과정 문서 구현에 대한 시사점을 도출하였다.

• 한국전자통신학회논문지
• /
• 제7권2호
• /
• pp.341-347
• /
• 2012

클라우드 컴퓨팅 환경에서는 기업이나 사용자가 실제로 소유하지 않은 컴퓨터 자원을 필요한 만큼 쓸 수 있다. 페이스 북과 같은 웹 2.0 응용의 경우, 서비스의 최대 수요를 예측하기 힘들다. 하지만 클라우드 컴퓨팅을 이용하면 많은 비용을 들이지 않고 수요를 만족시킬 수 있기 때문에 점점 넓게 대중화되고 있다. 클라우드 컴퓨팅의 장점 중 하나는 고가용성의 제공이다. 비공유 구조인 클라우드 컴퓨팅에서 고가용성을 제공하기 위해서는 기존의 강한 일관성을 그대로 적용할 수 없다. 궁극적 일관성과 같이 전통적 일관성을 완화한 기준들이 제안되었고, 많은 응용들에서 채용되고 있다. 이 논문에서는 클라우드 컴퓨팅에서 적용가능한 다양한 일관성 기준들에 대하여 고찰하고, 클라우드 환경에서 수행되는 각 응용들에 적합한 일관성 기준에 대하여 논의한다.

• 정보과학회 논문지
• /
• 제42권1호
• /
• pp.7-14
• /
• 2015

스토리지 클래스 메모리(SCM)는 메모리와 스토리지의 장점을 동시에 가지고 있기 때문에 기존의 스토리지를 대체할 차세대 스토리지로 주목 받고 있다. 하지만 현재까지 제안된 SCM 전용 파일시스템은 데이터 일관성을 충분히 보장하지 않거나 혹은 보장될 경우, 과도한 일관성 유지 비용을 발생시키는 문제점을 지니고 있다. 본 논문에서는 보편적으로 사용하는 WAL(Write Ahead Logging) 방식의 일관성 유지 기법 대신 롤백-복구 방식을 이용하여, 블록내의 변경되는 데이터의 비율에 따라 로그 데이터 기록 방식을 변경하는 데이터 일관성 유지 기법을 제안한다. 본 기법은 데이터 일관성 손실 없이 로그 데이터의 크기를 줄여 데이터 쓰기 및 동기화 비용을 최소화시킬 수 있다. 제안한 기법을 평가하기 위해 리눅스 3.10.2 상에 구현하여 성능을 측정한 결과, 다른 일관성 유지기법에 비해 평균적으로 9배 정도의 데이터 쓰기 성능이 향상됨을 볼 수 있었다.

• 한국경영과학회:학술대회논문집
• /
• 대한산업공학회/한국경영과학회 2000년도 춘계공동학술대회 논문집
• /
• pp.498-501
• /
• 2000

어느 누구도 정확하게 예측할 수 없는 전자상거래 시장에서 한가지 모든 사람들이 공감하는 사실이 있다. 그것은 바로 전자상거래의 부각에 따른 소화물 일관수송시장의 성장이다. 물류의 모든 것이 농축되어 있는 소화물 일관수송업체들이 전자상거래 시대에서 나아가야 할 방향에 관해 살펴보았다

• 프린팅코리아
• /
• 제12권3호
• /
• pp.92-93
• /
• 2013

작업량과 시간, 기계를 뛰어넘어 수만 번의 출력에도 일관적인 고품질의 인쇄를 유지하는 '오세 다이렉트 프레스' 는 사용자의 신뢰를 얻기에 충분하다. 가변 데이터 처리를 통해 기존 출력 방식의 LED, 정착 온도, 습도, 정전하, 디벨로퍼와 폐토너의 영향을 받지 않는 안정성과 컬이 없는 일관성 있는 출력품질은 오세의 타협 없는 자부심이 낳은 결과다.

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

분석 모델은 개발자의 언어로 작성되어 정확성과 일관성이 있는 개발 산출물로 관리되어야 한다. 본 논문은 이를 지원하기 위해 정형명세를 위한 New FST를 정의하고, 분석 모델의 정확성과 일관성 검증 규칙을 제안하며, 사례 연구를 통하여 적용하여 이 규칙들을 시험하였다.

• 대한조선학회지
• /
• 제30권4호
• /
• pp.33-36
• /
• 1993

본 과제는 의장설계 분야의 기본설계, 기능설계, 상세설계 및 생산설계 단계를 전산화하여 설계 생산성을 향상시키고 우수한 품질의 생산정보 및 생산관리 기초정보를 적기에 제공할 수 있는 의장설계일관시스템(Fig. 8.1)의 구축을 최종 목표로 하고 있으며, 다음과 같이 3개의 세부과제로 분담, 수행되었다. .CSDP-의장설계시스템 개발 : KRISO의장설계 일관시스템의 설계 및 관련 요소시스템의 통합 화를 위한 기반시스템의 개발'5' .CSDP-의장CAD응용기술 개발 : 현대중공업 범용 CAD시스템의 조선 전용화를 위한 의장설계 각 분야별 요구기능의 분석 및 정의'12' .CSDP-배관배치모델링기법 개발 : 대우조선 범용 CAD시스템을 토대로 한 배관설계시스템의 초기 계? 단계의 배치모델링 기법 개발'15' 본 고에서는 의장설계 일관시스템의 기본개념, 범용 CAD시스템을 중심으로한 분야별 일관시스 템의 구축을 위한 기능분석 및 기법 개발, 시스템 통합환경 구축, 그리고 향후 조선CIMS를 목 표로한 제품모델 개념의 생산지향 의장시스템 모델에 관한 개념설계 결과를 중심으로 서술하 였다.