• Proceedings of the Korean Information Science Society Conference
• /
• 1998.10c
• /
• pp.213-215
• /
• 1998

가상현실 시스템을 구현하고자 할 때, 그 환경에 존재하는 개체(entity)들의 복잡한 행위(behavior)를 설계 및 기술하는 것이 쉽지 않을 뿐만 아니라, 사용자와의 상호작용까지 고려한다면 매우 복잡하게 된다. 게다가, 이러한 행위와 상호작용의 설계 및 기술에 대한 정형화된 도구조차 찾기 어려운 것이 사실이다. 이 논문에서는 이러한 행위를 설계할 때, 소프트웨어 공학에서 이용되고 있는 도구 중 하나인 Statecharts와 DFD(Data Flow Diagram)을 기반으로 하는 ASADAL/SIM을 이용하여 설계하고 구현한 예를 들어 프로그래밍이 아닌 다른 도구를 통한 가상환경 내의 개체들의 행위 설계와가 가능함을 보이고, 그로 인해 얻을 수 있는 여러 장점에 관하여 소개한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 1999.10c
• /
• pp.646-648
• /
• 1999

본 논문에서는 가입자망의 고속화를 실현하는 방안으로 개발되고 있는 B-WLL 시스템의 MAC 프로토콜을 설계하고 검증하였다. MAC 프로토콜의 설계는 DAVIC에서 제시하는 MAC 메시지를 사용하여 SDL로 설계했으며, 가변적인 경쟁/예약 타임 슬롯할당 알고리즘을 적용했다. 또한 설계한 MAC 프로토콜의 유효성을 검증하기 위하여 Object(GEODE의 SDL Design Tracer를 이용하여 문법적인 오류를 검사하고, MSC를 생성하여 프로토콜의 동작절차에 대해 검증하였다. 검증의 결과, 설계한 MAC 프로토콜이 절차에 따라 정확하게 동작했으며, B-WLL 시스템이 지원하는 모든 서비스에 대해 유효함을 확인했다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2000.04a
• /
• pp.570-572
• /
• 2000

현재의 소프트웨어 개발은 구현 중심에서 설계 중심으로 변하고 있다. 설계 중심의 개발은 구현 프로그램의 자동생성을 바탕으로 설계 수준에서 정형화된 명세를 검증함으로써 설계와 구현 사이의 불일치를 없앨 수 있고, 유지보수가 효율적이다. 본 논문에서는 설계 중심의 개발 방법을 구축하기 위한 SDL과 CHILL 의 통합된 개발환경에서 디버깅 환경을 제공하기 위한 도구를 제안하고, 정합, 추적, 제어 언터페이스를 통하여 실행 주인CHILL 프로그램의 수행을 시스템 구현의 전단계 설계 문서인 SDL/GR의 심벌로 디버깅하는 SDL 심벌 디버거를 구현하였다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2001.04a
• /
• pp.574-576
• /
• 2001

현재의 소프트웨어 개발은 구현 중심의 개발에서 설계 중심의 개발로 바뀌고 있다. 설계 중심의 개발은 구현 프로그램의 자동 생성을 바탕으로 시스템 개발 시간을 크게 단축할 수 있고, 정형화된 명세를 검증함으로써 설계와 구현의 일관성을 유지할 수 있으며 유지보수가 효율적이다. 본 논문에서는 설계 중심의 개발 환경을 구축하기 위해, ITU-T에서 권고한 시스템의 명세와 기술을 위한 언어인 SDL에서 범용 프로그래밍 언어인 C로의 자동 번역기를 설계하고 구현하였다.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 1995.04a
• /
• pp.329-336
• /
• 1995

망구축 비용을 줄이고 이미 설치되어 있는 시설을 효율적으로 이용하는 관점에서 기존의 관로망을 이용하여 생존도가 보장되는 동기식 광전송망을 구축하는 설계기법에 대하여 연구하였다. 생존도를 보장하기 위해 물리망(physical network)과 논리망(logical network)을 함께 고려하여 관로망의 토폴로지가 이중연결도를 만족하도록 해야 한다. 이때 기존의 관로망에서 단순히 연결점으로 이용되는 지점을 접합 노드라고 하였으며 이 접합 노드를 설계시 고려하는 것이 현실적인 의미에서의 생존도를 보장할 수 있음을 보였다. 생존도가 보장된 동기식 광전송망을 설계하기 위한 설계절차를 제시하였으며 이를 이용하여 모델망을 설계하여 보았다. 모델망 설계시 접합 노드를 고려하였으며, 이러한 접근 방법이 기존 시설을 활용할 수 있어 망구축 비용을 감소시킬수 있음을 보였다.

• Proceedings of the Korean Information Science Society Conference
• /
• 1999.10c
• /
• pp.60-62
• /
• 1999

미세 회로 기술의 발전은 단일 칩에 집적될 수 있는 트랜지스터의 수를 지속적으로 증가시키고 있으며 이에 따라 설계의 복잡도 역시 크게 증가하고 있다. 이러한 설계 복잡도의 증가는 여러 기능 블록이 IP(Intellectual Property) 형태로 독립적으로 설계되어서 이들의 조합으로 새로운 시스템을 구성하는 시스템 온 칩(System On a Chi)과 같은 새로운 시스템 설계 방법에 대한 요구를 증가시키고 있다.[1]. 이런 시스템 온 칩에 사용될 메모리 시스템 역시 기존의 표준화된 메인 메모리 이 외에 각각의 다양한 응용에 적합한 맞춤형(Application Specific Standard Products) 내장 메모리 시스템 구조에 대한 필요성이 대두되고 있다. 이와 같이 특정 응용에 적합한 메모리 시스템을 설계할 수 있는 기본 정보를 제공해 주는 것이 필수적이다. 또한 이러한 정보에 따라 설계된 메모리 시스템에 대한 성능 평가할 환경도 함께 요구된다. 본 연구에서는 다양한 응용의 메모리 참조 특성을 분석하고 특성화하기 위하여 캐쉬 파라메터의 변화에 따른 캐쉬 접근 실패의 분포, 메모리 접근 영역의 분포, 참조 사이에 있는 유일한 참조의 수의 분포 등 다양한 정보를 제공해 주는 환경을 구축하였다.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 1999.04a
• /
• pp.221-222
• /
• 1999

• Transportation Technology and Policy
• /
• v.6 no.1
• /
• pp.49-59
• /
• 2009

• Proceedings of the Korea Water Resources Association Conference
• /
• 2023.05a
• /
• pp.229-229
• /
• 2023

강화학습은 에이전트(agent)가 주어진 환경(environment)과의 상호작용을 통해서 상태(state)를 변화시켜가며 최대의 보상(reward)을 얻을 수 있도록 최적의 행동(action)을 학습하는 기계학습법을 의미한다. 최근 알파고와 같은 게임뿐만 아니라 자율주행 자동차, 로봇 제어 등 다양한 분야에서 널리 사용되고 있다. 상수도관망 분야의 경우에도 펌프 운영, 밸브 운영, 센서 최적 위치 선정 등 여러 문제에 적용되었으나, 설계에 강화학습을 적용한 연구는 없었다. 설계의 경우, 관망의 크기가 커짐에 따라 알고리즘의 탐색 공간의 크기가 증가하여 기존의 최적화 알고리즘을 이용하는 것에는 한계가 존재한다. 따라서 본 연구는 강화학습을 이용하여 상수도관망의 구성요소와 환경요인 간의 복잡한 상호작용을 고려하는 설계 방법론을 제안한다. 모델의 에이전트를 딥 강화학습(Deep Reinforcement Learning)으로 구성하여, 상태 및 행동 공간이 커 발생하는 고차원성 문제를 해결하였다. 또한, 해당 모델의 상태 및 보상으로 절점에서의 압력 및 수요량과 설계비용을 고려하여 적절한 수량과 수압의 용수 공급이 가능한 경제적인 관망을 설계하도록 하였다. 모델의 행동은 실제로 공학자가 설계하듯이 절점마다 하나씩 차례대로 다른 절점과의 연결 여부를 결정하는 것으로, 이를 통해 관망의 레이아웃(layout)과 관경을 결정한다. 본 연구에서 제안한 방법론을 규모가 큰 그리드 네트워크에 적용하여 모델을 검증하였으며, 고려해야 할 변수의 개수가 많음에도 불구하고 목적에 부합하는 관망을 설계할 수 있었다. 모델 학습과정 동안 에피소드의 평균 길이와 보상의 크기 등의 변화를 비교하여, 제안한 모델의 학습 능력을 평가 및 보완하였다. 향후 강화학습 모델을 통해 신뢰성(reliability) 또는 탄력성(resilience)과 같은 시스템의 성능까지 고려한 설계가 가능할 것으로 기대한다.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2021.06a
• /
• pp.191-191
• /
• 2021

최근 이상기후 및 기후변화에 의한 영향으로, 집중호우 및 대형호우 사상이 빈번하게 발생하고 이로 인한 홍수피해가 급증하고 있다. 지난 2020년 한반도 전역에서 발생한 호우사상은 56일간 지속된 최장기간 강우로 기록되었고, 일부 유역에 대해서 500년 빈도의 강우로 기록되기도 하였다. 이는 2020년 기준 치수시설물 설계기준 중 최상위 기준인 200년 빈도를 상회하는 대규모 호우사상으로, 기후위기에 따른 기존 치수대책의 검토가 필요한 실정이다. 이에 본 연구에서는 기존 설계기준 산정을 위한 강우강도-지속기간-빈도 곡선(Intensity-Duration-Frequency curve, IDF curve) 작성 시 사용된 강우 빈도해석의 대안으로서 연초과확률을 이용한 IDF 곡선 산정을 제안하고자 한다. 기존 치수시설물 설계기준에서 활용되고 있는 강우 빈도해석의 경우 분포형의 종류에 따라서 극한사상에 대한 불확실성이 큰 문제를 가지고 있으며, 최상위 기준인 200년 빈도를 넘는 빈도에 대해서 산정된 값을 사용하기에는 어려움이 있다. 또한 통계학적 이론에 근거하여 산정되는 '빈도(Frequency)' 라는 개념의 의미는 발생가능성을 내포한 재현기간으로 명확한 반면, 관련 의사결정자 혹은 민간에서 받아들이는 의미는 발생주기 혹은 재발에 대한 보장기간 등으로 오해하는 경향이 있어, 혼란을 야기하고 있다. 따라서 설계기준 산정을 위한 IDF 곡선 작성시 빈도(Frequency)를 연강우량에 대한 초과확률인 연초과확률(Annual Exceedance Probability)에 근거하여 산정하여 보다 직관적인 설계기준을 제시하고자 한다. 또한 홍수피해 발생이력을 기준으로 대상지역을 선정하고, 기존 빈도(Frequency)에 근거한 IDF 곡선 및 설계기준과 연초과확률에 근거한 IDF 곡선 및 설계기준을 산정 및 비교하여 적용성을 평가하고, 효율적인 치수시설물의 설계기준을 제안하고자 한다.