• 정보처리학회논문지:소프트웨어 및 데이터공학
• /
• 제6권2호
• /
• pp.103-116
• /
• 2017

본 논문에서는 Apache Spark SQL을 이용하여 임의의 두 공간 객체들 간의 위상 관계와 방향 관계를 나타내는 새로운 정성 공간 지식을 효율적으로 추론해내는 대용량 정성 공간 추론기의 설계와 구현에 대해 소개한다. Apache Spark SQL은 Hadoop 클러스터 컴퓨터 시스템에서 다양한 데이터들 간의 매우 효율적인 조인 연산과 질의 처리 기능을 제공하는 분산 병렬 프로그래밍 환경이다. 본 공간 추론기에서는 정성 공간 추론의 전체 과정을 지식 인코딩, 역 관계 추론, 동일 관계 추론, 이행 관계 추론, 관계 정제, 지식 디코딩 등 크게 총 6개의 작업들로 나누고, 논리적 인과관계와 계산 효율성을 고려하여 작업들 간의 처리 순서를 결정하였다. 지식 인코딩 작업에서는 추론의 전처리 과정으로서 XML/RDF 형태의 입력 지식을 보다 간략한 내부 형태로 변환함으로써, 추론 대상인 지식 베이스의 크기를 축소시켰다. 일반적으로 이행 관계 추론 작업과 관계 정제 작업의 반복은 정성 공간 추론에 필요한 가장 많은 계산 시간과 기억 공간을 소모한다. 이 작업들을 효율화하기 위해 본 공간 추론기에서는 공간 추론에 필요한 최소한의 이접 관계들을 찾아내고, 이들을 기반으로 이행 관계 추론을 위한 조합표를 큰 폭으로 축소하고 관계 정제 작업도 최적화하였다. 대규모 벤치마킹 공간 지식 베이스를 이용한 실험을 통해, 본 논문에서 제안하는 대용량 정성 공간 추론기의 높은 추론 성능과 확장성을 확인하였다.

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

본 논문에서는, 무선 데이타 방송 환경에서 여러 데이타 항목을 지정된 순서에 의해 접근해야 하는 읽기-전용 트랜잭션의 일관성 유지와 관련된 주제를 다룬다. 데이타 방송 환경에서 사용자는 항상 순차적으로 데이타에 접근하게 된다. 이러한 속성을 가진 환경에서, 본 논문은 기선언-기반 질의 최적화 방식을 제안하며, 이를 이용하여 지역 캐쉬와 관련된 두 가지 트랜잭션 실행 기법을 개발하였다. 또한 제안된 기법들을 수학적으로 분석함으로써 성능을 평가하였다. 평가 결과에 의해, 본 논문에서 제안한 기선언 방식이 응답 시간을 상당히 단축시켰으며, 작업량이 동적으로 변하더라도 훨씬 더 잘 적응될 수 있음을 알 수 있다.

• 한국시뮬레이션학회논문지
• /
• 제27권2호
• /
• pp.11-24
• /
• 2018

본 연구는 한국형 유압드릴에 적합한 고출력 드리프터 개발을 위해 해석모델 개발 및 설계변수 민감도 분석을 목표로 한다. 이러한 연구는 설계변수 민감도 분석을 통하여 각각의 설계인자들이 타격성능에 미치는 영향을 파악함으로써 타격성능 및 안정성 향상을 위한 최적화 작업에 기틀을 마련하는 연구이다. 본 연구를 진행하는 순서는 다음과 같다. 먼저 드리프터의 동역학 해석모델을 개발하고 해석결과와 실험결과를 비교하여 해석모델의 신뢰성을 확보한다. 그 후 한국형 유압드릴에 적합하도록 드리프터를 재설계하며, 마지막으로 재설계된 드리프터의 설계변수 민감도 분석을 실시하여 타격성능에 미치는 영향을 파악하고 상위민감도를 가진 변수들을 추출한다. 드리프터의 해석모델은 다물리 해석 소프트웨어인 SimulationX를 사용하여 모델링 하였으며, 설계변수 민감도 분석은 EasyDesign을 사용하여 진행하였다.

• 한국철도학회:학술대회논문집
• /
• 한국철도학회 2008년도 추계학술대회 논문집
• /
• pp.687-694
• /
• 2008

일반적으로 열차경합은 사고나 인프라고장(선로, 신호기, 선로전환기 등) 등의 외란 발생으로 인하여 본래의 스케줄에 따라 열차운영을 할 수 없는 상황으로 정의 되어진다. 열차경합관리의 주요 목적은 열차 운영 중에 발생하는 열차경합을 사전에 검지하고 해소하는 것이다. 경합의 검지 방법은 선후행 열차간 운행시격과 최소 열차운행시격, 허용가능 지연시간초과, 선로 폐쇄상태의 시스템 자동검지 등 다양하며 해소 방안 역시 속도조절, 대기시간변경, 교행/대피 순서변경, 플랫폼 사용 변경 등 여러 가지가 복합적으로 적용된다. 현재 대부분의 열차운행제어체계는 중앙집중방식이며 소규모 역에서의 경합관리역시 원격으로 중앙에서 하고 있으나 CTC 차원에서 모든 역 상황을 최적으로 통제하는 것은 무리가 있다. 또한, 입환과 같은 구체적인 작업들은 CTC차원에서 파악조차 힘들기 때문에 로컬에서 수행하고 있는 실정이다. 본 연구에서는 경합관리를 계층적으로 라인경합관리, 역경합관리 2가지로 구분하고 경합검지 및 해소에서 각각의 역할분담 및 협조체계를 설계하였다. 또한, 각각의 경합관리에서는 수리모형에 기반한 최적화모델을 적용하여 현실적이고 합리적인 경합관리모델 구현방법을 제시한다.

• 한국건설관리학회논문집
• /
• 제15권6호
• /
• pp.26-34
• /
• 2014

도로공사는 선형적이고 반복적인 공사로 공사의 특성상 건설장비에 대한 의존도가 높기 때문에, 건설장비의 효율적 운용에 의한 생산성 향상 및 공사비 절감 효과가 크다. 또한, 도로공사는 시공순서, 현장상황, 적용 공법에 따라 다양한 건설 장비의 선택이 가능하기 때문에 공정계획 시, 공종 간 연계에 따른 세부 작업 및 공법을 고려하여야 한다. 시공자는 현장조건에 맞는 작업을 선택하고 투입될 장비의 종류 및 성능, 수량 등을 사전에 파악하여, 적절한 건설장비 운용계획의 수립을 통한 경제성 향상 방안을 마련해야 한다. 하지만 한정된 유사 공사의 실적정보 및 체계적인 공사계획 방법의 부재로, 적정한 공정계획 수립이 용이하지 않으며, 공법 및 건설장비의 선정에 있어 대부분 경험과 직관에 의존한 공사를 수행하고 있다. 그 결과 시공 이전 공정계획단계에서 수립된 계획은 실행단계에서의 충분한 타당성을 확보하지 못하여 그 활용도가 제한적이다. 본 연구는 일반적인 도로공사의 초기 공정계획 수립단계에서 적용가능한 주요 공종별 공정로직을 개발하고, 공종 별 세부 시공절차 분석을 통하여 현장상황 및 공종에 적용 가능한 건설장비 운용 방안을 제시하였다. 또한 공정로직에 따른 다양한 건설장비 대안들을 대상으로 프로세스 시뮬레이션을 활용하여 경제성 기반의 최적화 장비조합 방안을 개발하였다. 개발된 방법을 이용하여, 계획단계에서의 수립된 다양한 공정계획에 대해 효율성을 평가하고 최적의 자원 선정을 위한 의사결정에 도움을 줄 것으로 판단된다.

• 정보처리학회논문지A
• /
• 제8A권4호
• /
• pp.469-478
• /
• 2001

운영체제의 가상 메모리 시스템에 적용할 페이지 교체 정책은 요구 페이징 시스템의 성능에 큰 영향을 미친다. 대표적인 메모리 페이지 교체 정책으로는 LRU와 LFU가 있다. LRU 정책은 많은 경우에 좋은 성능을 보이며 시스템 부하 변화에 잘 적응하지만, 자주 참조되는 페이지와 가끔 참조되는 페이지를 구별하지 못한다. LFU 정책은 참조 횟수가 가장 작은 페이지를 교체하는 기법으로, 과거의 모든 참조를 반영하지만 이전에 참조된 페이지와 최근에 참조된 페이지를 식별하지 못한다. 따라서 LFU는 변화하는 작업 부하에 잘 적응하지 못한다. 본 논문에서는 먼저 8개의 응용에 대해 메모리 참조 패턴을 분석하여 보았다. 그 참조 패턴을 보면 어떤 경우에는 최근에 참조된 페이지가 계속 참조되며, 또 다른 경우에는 자주 참조되는 페이지가 계속 참조되는 경향이 있다. 즉, 응용에 의해 참조되는 메모리 페이지는 최근성과 참조 횟수 모두에 의해 가치가 결정되며, LRU나 LFU 정책 한 가지만으로는 페이지 교체 정책을 최적화하기 어렵다. 따라서 본 논문에서는 LRU 기법과 LFU 기법을 결합한 새로운 교체 기법을 제안한다. 제안한 기법에서는 페이지 리스트를 LRU 리스트와 LFU 리스트를 나누어 관리하는데, 이 두 리스트에서는 각각 최근성과 참조 횟수를 기반으로 페이지 리스트 순서가 유지된다. 과거에 자주 참조되었던 페이지가 LRU 정책에 의해 교체되어 빠져나가는 경우를 LFU 정책 병행 사용을 통해 줄임으로써, 최근성 가치에 의해 참조 횟수 가치가 훼손되는 경우를 줄인다. 트레이스-기반 시뮬레이션 결과, 제안 기법이 이전에 알려진 페이지 교체 기법보다 좋은 성능을 보일 때가 있음을 확인하였는데, 특히, 과거에 자주 참조했던 페이지를 일정 시간 경과한 후에 다시 참조하는 패턴을 보이는 응용들에서 제안 기법이 기존의 기법들보다 우수하다는 것을 알 수 있었다.