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

최근 웹 기반 혹은 모바일 기반의 지리정보시스템과, 높은 품질의 공간데이터에 대한 요구가 증대하고 있다. 이를 해결하기 위해서는 레벨별 상세화를 지원하는 데이터가 제공되어야 하며, 이러만 데이터를 효율적으로 처리하는 공간 인덱싱이 필요하다. 그러나, 레벨별 상세화 데이터를 지원하는 공간 인데싱 기법에 대한 기존 연구는 일부 일반화 연산자만을 지원하고 레벨별 데이터간 일관성을 고려하지 않는다는 문제점을 가진다. 본 연구에서는 이러한 문제를 극복하고자 일관성이 보장되는 맵 일반화 연산자를 모두 지원하는 공간 인덱싱 기법을 제안한다. 이를 통해 레벨별 상세화를 지원하는 데이터가 보다 효과적으로 다루어질 수 있다는 의의를 가진다.

• 한국정보과학회논문지:데이타베이스
• /
• 제29권6호
• /
• pp.492-501
• /
• 2002

비동기 트리거 처리기(ATP)는 데이타베이스 트랜잭션의 수행이 완료된 후에 트리거를 처리하는 소프트웨어 시스템이다. ATP 내에서는 트리거 조건의 효율적인 검사를 위하여 차별화 네트워크(discrimination network)가 사용된다. 차별화 네트워크는 내부 상태를 메모리 노드에 저장한다. TrigerMan은 하나의 ATP로써 차별화 네트워크로써 Gator 네트워크를 사용한다. 데이타베이스의 내용 변화는 트리거맨에 토큰 형태로 전달된다. 트리거 조건의 검사는 토큰이 Gator 네트워크를 통과하면서 이루어지는데, 이때 Gator 네트워크의 메모리 노드들이 갱신된다. 토큰의 병렬처리는 시스템의 성능을 향상시키는 여러 방법 중 하나이지만 통제되지 않은 병렬처리는 잘못된 트리거 액션 수행을 유발한다. 이 논문은, 최소한의 이상 현상만을 허용하며 토큰의 병렬 처리를 가능하게 하는, 네 가지 트리거 처리 일관성 레벨을 제안한다. 우리는 각 일관성 레벨에 대하여 병렬 토큰 처리를 가능하게 하는 고유한 기술을 개발하였다. 제안된 기술은 안정된 방법이라는 사실이 공리를 통하여 증명되었으며, 이 기술은 실체화 된 (materialized) 뷰 유지 (view maintenance)에 사용될 수 있다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2004년도 봄 학술발표논문집 Vol.31 No.1 (A)
• /
• pp.64-66
• /
• 2004

단일 입출력 디스크(SDIO)는 클러스터 환경에서 빠르고 신뢰성 있는 분산 저장장치를 제공한다. 단일 입출력 디스크는 주로 RAID 레벨 0이나 레벨 1을 사용하는데, RAID 레벨 5를 사용함으로써 좋은 성능과 좋은 신뢰도 그리고 높은 디스크 용량 사용률을 얻을 수 있다. 그러나 RAID 레벨 5를 사용함으로써 네트웍 오버헤드 문제, 작은 데이터의 기록 성능 문제, 동시 기록 문제가 발생한다. 위의 새 가지 문제를 해결하거나 최소화하기 위하여 본 논문에서는 Parity Cumulating이라는 접근방법을 제시한다. Parity Cumulating은 패리티의 계산을 두 개의 노드로 분산시킴으로써 네트웍 오버헤드를 줄이고, 패리티를 버퍼에 저장하고 디스크에 작업이 없을 때 처리함으로써 작은 데이터의 기록 성능을 높이며 동시 기록시 일관성을 지킨다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 1998년도 가을 학술발표논문집 Vol.25 No.2 (1)
• /
• pp.211-213
• /
• 1998

실시간 응용을 위한 데이터베이스 시스템은 시간 제약 조건을 만족시켜야 하며, 데이터 일관성을 유지해야 한다. 또한 다중레벨을 지원하는 보안 프로토콜은 cover channel의 생성을 방지하는 것이 중요하다. Son과 Mukkamala는 primary copy와 secondary copy를 사용한 SRT-2PL을 개발하였다. 이 프로토콜은 보안 레벨간의 불간섭(non-interference)을 지원하며, covert channel의 발생을 막을 수 있으며, 지연이 적고 취소가 적으므로 실시간 데이터베이스 시스템에서 보안을 유지하는데 사용될 수 있다. 그러나 secondary copy를 모든 데이터 오브젝트에 대해 항상 보존해야 하므로 작업공간의 낭비가 있고, 데이터의 갱신을 위해 update queue를 관리해야 하는 오버헤드와 그에 따른 예측성 결여가 문제점으로 나타난다. 따라서, 본 논문에서는 불간섭을 지원하여 covert channel의 발생을 방지하면서, 복사본의 유지 기간을 줄여 실시간 지원을 강화시키고, 예측성을 좀더 높인 개선된 SRT-2PL 실시간 데이터베이스 보안 프로토콜을 제안한다. 본 논문에서 제안하는 동적 복사 알고리즘은 트랜잭션의 동작에 따라 동적으로 복사본을 생성하여 레벨간의 불간섭을 제공함과 동시에, 복사본의 유지 기간을 줄여 작업공간의 낭비를 줄이고 예측성을 높일 수 있다.

• 한국전자거래학회:학술대회논문집
• /
• 한국전자거래학회 2004년도 e-Biz World Conference
• /
• pp.51-55
• /
• 2004

·Web Service 적용 -비용절감/새로운 Revenue 창출 기회 ·Business 환경 -SOA(서비스기반구조), 온디맨드, 그리드 컴퓨팅의 기반→Web Service로의 이행 가속화 ·IT Challenge -복잡성과 위험 ·관리 솔루션 -전반적인 관리 요구 -인프라 ＆ Web Service 레벨 ·Web Service 관리 기대 효과 -효율성, 일관성 및 안전성 제공 -근본 원인 분석 기반 제공

• 교통기술과정책
• /
• 제2권2호
• /
• pp.53-78
• /
• 2005

지역교통계획과정에서 중요한 요소의 하나는 교통계획과 실행을 위한 관할구역 판단에서의 일관성인데 각 관할기관이 그 관할구역의 범위 안에서만 교통시설에 대한 권한을 갖는다. 계획과정에서 그러한 일관성을 획득하기 위해서는 MPO들이 협력, 계속성, 종합의 3C(cooperation, continuing, cooperative)와 종합적이고 일관성 있는 교통계획과정(요구되긴 하나 연방정책이나 프로그램에 의해 꼭 제약받지는 않는)을 갖는 것이 필수 불가결하다. MPO들은 도시화 지역을 위한 교통계획과 프로그램을 개발하는데 있어 주와 지역도시들, 관계기관들과 협력적이어야 한다. 이 교통계획과정은 지역도시와 군들의 종합적으로 계획된 개발과 일관성 있는 계획과 프로그램들로 결과되어 진다. 이 협력적인 교통의사결정과정은 멤버인 관할기관이 그 자격을 위한 지역교통이슈와 계획교통개선을 하기 위한 포럼을 제공한다. 각 도시와 군의 레벨에서, 계획 부서의 교통계획가들이 지역자본시설계획(Capital Facility Plan, CFP)과 지역 교통개선프로그램(Transportation Improvement Program, TIP)을 통해 계획과정을 수행하는데 반해, 공공사업(Public Works)부서의 교통기술자들은 예측되는 혹은 예상되는 교통수요를 맞추는 시설을 설계하고 건설하는 일을 하도록 되어 있다. MPO 스태프들은 지역도시와 군들에 지역맥락과 연방정책 및 프로그램들의 가이드 내에서 종합적이고 일관성 있는 교통자료와 정보를 제공하도록 되어 있다. MPO들은 특히 지역교통수요분석과 예측에서 그러한 전문성이 없는 도시와 군들에 기술적 조력을 제공하도록 되어 있다. MPO의 지역교통계획에 대한 원칙과 가이드는 도시들, 군들, 다른 기관들의 참여(상향식 계획과정인 공공참여를 포함하여)에 의해 개발되어진다. 모든 참여자들은 지역교통 계획에서 지역 목적과 목표를 달성하기 위해 함께 일하게 된다.

• 한국통신학회논문지
• /
• 제19권7호
• /
• pp.1282-1295
• /
• 1994

본 논문에서는 계층 버스 구조를 기반으로 하는 계층 클러스터 다중프로세서 시스템(hierarchical cluster multiprocessor system)을 제안하고, 이 구조에 효율적인 캐쉬 일관성 프로토콜을 설계 및 구현한다. 계층 클러스터 구조는 클러스터 수의 증가에 따라 버스 계층을 추가함으로써 기존의 단일 버스 시스템에서의 병목 현상(bottleneck)을 없애주어 시스템 확장이 용이하게 된다. 제안된 캐쉬 프로토콜은 일반적인 N-레벨 (N>2) 계층 클러스터 구조에 적용할 수 있도록 설계되었다. 이를 시스템 버스에 구현하기 위하여 기존의 팬디드 프로토콜을 확장하였고 캐쉬 일관성 동작들을 확장된 팬디드 프로토콜상에서 설명한다.

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

테스터의 간섭없이 테스트를 수행할 수 있는 새로운 테스트 도구인 테스트 에이전트 시스템을 구현하였다. 이 시스템에서 테스터는 테스터 이름, 테스트 시간을 입력하고, 테스트 대상을 선택 후, 그 밖에 테스트에 필요한 정보를 입력하고 나면 테스트 에이전트 시스템이 스스로 테스트를 수행한 후 각 테스트 레벨에 대한 테스트 항목의 테스트케이스와 Quality 측정치를 테스트결과로 받아 볼 수 있다. 이 테스트 에이전트 시스템은 3개의 에이전트로 구성이 되어 있고 각 에이전트들은 에이전트의 특성인 자율성, 사회성, 지능성을 가지고 있다. 특히 지능성을 나타내 주는 것을 규칙 기반 시스템을 이용하여 구현하였다. 'User Interface Agent'에는 '리그래션 테스트 대상 판단 규칙'과 'Test History 크기 관리 규칙'이 있고, 'Test Case Selection '||'&'||' Testing Agent'에는 테스트케이스를 선택하는 데에 적용하는 '중복성 제거 규칙'과 '일관성 있는 테스트케이스 선택 규칙'이 있다. "Regression Test Agent'에서는 리그래션 테스트 관련 항목 찾는 규칙'이 있어 각 에이전트들의 지능성을 뒷받침해 준다. 본 논문에서는 각 규칙들을 술어 논리로 표현하여 제시하였고, 구현한 테스트 에이전트 시스템의 Prototype을 기술한다.

• 한국정보처리학회논문지
• /
• 제4권10호
• /
• pp.2453-2460
• /
• 1997

소프트웨어 개발방법에서 객체지향 분석방법은 많이 있고 계속적으로 새로운 기법이 소개되고 있다. 그러나 기존의 객체지향 분석방법에서는 정확한 객체의 식별과 확인이 어렵고 소프트웨어의 문제를 데이터에 근거해서 초기에 분해하기 때문에 상위 레벨의 제어 측면을 소홀히 하는 경향이 있다. 그 결과 사용자가 요구하는 소프트웨어에 대한 부정확한 이해와 분석오류를 낳는다. 따라서 본 논문에서는 이러한 문제점에 인식을 갖고 소프트웨어의 분석 단계에서 사용자의 요구가 충분히 반영될 수 있도록 객체모델의 메서드와 STD의 트랜지션 사이에 상호참조를 통해 완전성과 일관성을 검증할 수 있는 TOVERC를 설계하였다.

• 한국인터넷방송통신학회논문지
• /
• 제24권4호
• /
• pp.113-119
• /
• 2024

본 논문에서는 게임의 자율적 레벨 디자인을 위한 밸런싱 작업을 위해 Chat-GPT를 활용하여 게임 밸런스에 영향을 주는 수치들을 변경하는 시스템을 개발하였다. Chat-GPT를 이용한 여러 연구와 사례에서 보여진 Chat-GPT의 활용성을 토대로, 세부적이고 객관적인 게임 내 수치값을 Chat-GPT가 직접 조절하도록 자동화 하였다. 본 논문에서는 Chat-GPT가 답변할 때의 형식을 일관성 있게 조절하여, 답변 내용에서 직접적으로 게임 밸런싱에 필요한 수치값을 가져올 수 있게 하였다. 이 내용을 실시간으로 게임 내 수치값에 적용시켜 변경하도록 제작하였다. 실험 방법으로는 4명의 플레이어가 5개의 라운드를 통해 자율적으로 게임 레벨 디자인을 하여 밸런싱 조절이 되는 것을 확인하였다. 이러한 연구는 추후 Chat-GPT를 활용하여 게임을 제작할 수 있다는 가능성을 기대한다.