• 한국시뮬레이션학회논문지
• /
• 제30권1호
• /
• pp.103-112
• /
• 2021

최근 정보통신기술의 발달에 따른 공공 자전거 시스템 운영 사례가 증가하고 있다. 대도시의 공공 자전거 시스템은 시민에 대한 공공성과 편리성을 모두 확보해야하기 때문에, 도입부터 운영까지 다양한 이슈에 대한 분석이 필요하다. 또한, 최근 라스트 마일 수단으로 각광받고 있는 개인 모빌리티 사업과의 공존을 위한 다양한 시나리오 역시 대비할 필요가 있다. 본 논문은 공공 자전거 시스템의 효율적 운영 관리를 위한 시뮬레이션 모델을 제안한다. 특히, 제안한 방법은 공공 자전거 시스템의 일반적인 구조와 행태를 모델링 하여 다른 도시에 쉽게 활용할 수 있는 형태로 개발하였고, 컴포넌트 기반의 모델 구성으로 향후 모델의 수정 및 확장이 용이하도록 개발하였다. 본 논문에서는 제안된 방법의 사례로 세종시 공공 자전거 시뮬레이션을 수행하였다. 세종시 공공 자전거 시스템의 데이터를 적용하여 시뮬레이션 결과를 도출하고, 도출된 결과를 세종시 실데이터와 비교하여 검증하였다. 검증된 모델을 이용하여, 세종시에 적합한 공공 자전거 서비스를 설계하고 분석할 수 있는 도구로 활용될 수 있을 것으로 기대한다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제37권7호
• /
• pp.518-535
• /
• 2010

클라우드 컴퓨팅은 하드웨어와 소프트웨어의 자원을 서비스 제공자 서버에 운영하고, 소비자가 인터넷을 통하여 필요한 서비스를 활용하는 재사용 기반의 컴퓨팅 방식이다. 클라우드 서비스의 한 형태인 SaaS(Software-as-a-Service)는 소프트웨어를 하나의 서비스로 설계 개발한 후, 다양한 소비자들이 재사용하도록 하는 컴퓨팅을 지향한다. 기존의 소프트웨어 어플리케이션은 특정한 하나의 조직을 대상으로 개발하였으나, SaaS는 서비스의 형태로 소프트웨어의 전체 기능을 필요로 하는 다양한 조직에 소속된 다양한 소비자들이 사용할 수 있게 개발된다. 이것은 소비자가 자신이 원하는 기능의 수행을 위해 직접 SaaS를 설정할 수 없게 하여 SaaS 개발에 재사용성이 더욱 강조되게 한다. 하지만 기존의 객체지향 개발 방법론, 컴포넌트 기반 개발 기법, SOA 개발 기법들은 전통적인 소프트웨어 어플리케이션과 다른 SaaS가 가지는 재사용성의 특징을 반영한 설계와 구현을 지원하는 지침과 장치가 거의 없다. 따라서 본 논문에서는 이러한 문제를 해결하기 위해 기존 재사용성의 정의를 확장하여 SaaS의 재사용성을 적용성, 적응성, 확장성의 부 특성으로 구분하고 이를 반영한 재사용성 중심의 개발 프로세스를 제시한다. SaaS 재사용성의 각부 특성은 제시하는 개발 프로세스의 분석과 설계를 위한 각 활동에 직 간접적으로 반영되어 보다 효과적으로 SaaS 재사용성을 향상시킨다. 제시된 프로세스를 적용하면 보다 체계적이고 효과적으로 재사용성 중심의 SaaS 개발을 유도할 수 있다.

• 한국습지학회지
• /
• 제13권3호
• /
• pp.593-602
• /
• 2011

지난 반세기 동안의 무분별한 개발로 인하여 하구역 생태 환경은 심각하게 훼손되었다. 이를 관리하기 위한 전 지구적 요구는 증대되고 있으나 효율적으로 관리할 수 있는 시스템은 부재한 실정이다. 따라서 본 연구에서는 기관별로 산재된 하구역 생태 환경 데이터를 통합하여 하구역을 효과적으로 관리할 수 있는 통합 DB관리시스템을 개발고자 하였다. 이를 위해 2010년 영산강 하구역을 대상으로 실시한 모니터링 DB와 공간 데이터 표출에 우수한 GIS DB를 통합하여 시스템 개발에 적용하였다. 시스템의 개발환경은 VisualBasic.NET과 지도기반의 공간 분석을 위한 ArcObjects 컴포넌트를 이용하였다. 또한 데이터의 활용을 높이기 위하여 사용자 요구분석을 통한 GUI(Graphical User Interface)의 구성, 모니터링 DB의 표출방안, 레이어의 우선순위, 모듈단위 기능 등을 정의하였고, 최종적으로 정의된 내용을 바탕으로 시스템을 개발하였다. 본 연구에서 개발된 통합 DB관리시스템은 영산강의 현 생태 환경을 파악할 수 있으며, 사용자에게 효율적인 공유 및 관리환경을 지원할 것으로 예측된다. 향후에는 모델링 시스템과 연계하여 미래 하구역 생태 환경의 종합적인 진단 및 신뢰성 있는 예측이 가능할 것으로 기대된다.

• 지능정보연구
• /
• 제13권3호
• /
• pp.17-29
• /
• 2007

웹 표준 언어인 XML에 기반한 각종 표준들을 바탕으로 소프트웨어 에이전트와의 인터페이스에 초점을 맞추고 있는 차세대 웹에서 소프트웨어 에이전트의 두뇌 역할을 수행하기 위한 추론엔진은 시맨틱 웹(Semantic Web)에서의 규칙 표현을 위한 언어인 SWRL(Semantic Web Rule Language)을 이해할 수 있어야 한다. 본 연구에서는 SWRL을 규칙 표현 방법으로 사용하고, OWL을 사실 표현 방법으로 사용하는 정방향 추론엔진인 SMART-F(SeMantic web Agent Reasoning Tools-Forward chaining inference engine)을 개발하고자 한다. 전통적인 규칙 추론 분야에서는 정방향 추론을 위하여 if-then 형태의 규칙을 네트워크 구조로 변환하여 정방향 규칙 추론의 효율성을 높인 Rete 알고리즘이 많이 사용되고 있다. 이를 시맨틱 웹 환경에 적용하기 위하여 SWRL 기반 정방향 추론을 위한 요구 기능을 분석하고, Rete 알고리즘에 도출된 차세대 시맨틱 웹의 요구 기능을 반영한 정방향 추론 알고리즘을 설계하였다. 또한, 유비쿼터스 환경에서의 각종 플랫폼의 독립성과 이식성을 확보하고 기기간의 성능 차이를 극복할 수 있도록 사실 베이스 및 규칙 베이스의 관리도구와 정방향 추론 엔진 등을 Java 컴포넌트로 개발하였으며, 이는 이미 개발된 역방향 추론엔진인 SMART-B와 규칙 베이스 및 사실 베이스를 완벽하게 호환 가능하므로 차세대 웹 환경에서의 지식 활용을 극대화시킬 것이다.

• 정보보호학회논문지
• /
• 제25권4호
• /
• pp.863-872
• /
• 2015

커널 루트킷은 운영체제의 컴포넌트 사이의 통신을 가로채거나 수정할 수 있기 때문에, 운영 체제의 무결성을 훼손시킬 수 있는 가장 위협적이고 널리 퍼진 위협 중 하나로 인식되고 있다. 커널 루트킷이 이미 커널 권한을 획득하였기 때문에 루트킷이 설치된 공간에서 커널을 보호하는 것은 안전하지 않다. 따라서 커널보호 시스템은 커널과 동일한 공간으로부터 독립적이어야만 한다. 루트킷을 탐지하기 위해 많은 연구들이 수행되어 왔지만 다른 연구들과 달리 TrustZone 기반 연구는 커널과 동일한 공간으로부터 분리되고, 독립된 공간에서 커널을 보호하는 것이 가능하다. 하지만 제안된 방법들은 커널보호 시스템을 완전히 독립시킬 수 없는 단점이 있다. 이러한 이유로, 우리는 TrustZone의 시큐어 타이머를 이용한 효율적인 커널 검사 시스템을 제안한다. 이 시스템은 레퍼런스의 무결성을 보장하기 위해 커널 원본 이미지인 vmlinux을 활용하여 측정하였다. 또한, 보호영역 크기에 대한 유연성을 제공함으로써 효율적으로 커널보호 시스템을 운영하는 것이 가능하다. 실험 결과들은 제안된 커널보호 시스템이 완전히 독립되어 운영되고, 런타임동안 최대 6%정도의 성능만 저하시킨다는 것을 보여준다.

• 콘크리트학회논문집
• /
• 제26권3호
• /
• pp.401-409
• /
• 2014

이 연구는 초고층 건물의 철근콘크리트 기둥 단면을 최적화하기 위한 알고리즘을 개발하고 이를 실제 프로젝트에 적용하는 과정에서 검증, 보완한 실용화 연구이다. 최적설계변수는 콘크리트 강도와 단면형상으로 구조엔지니어에 의해 수행된 1차적인 구조설계 결과를 바탕으로 상기 설계변수들을 순수하게 수치적 관점에서 전산최적화한 실례를 소개, 제시하는 것이 이 논문의 목적이다. 이를 위해 외부의 해석 솔버로부터 원 해석모델에서 산출한 부재 응력을 받아오고 이를 기준으로 최소 비용을 만족하는 단면형상을 찾는 전산최적설계 컴포넌트를 새롭게 개발하였다. 이를 활용하여 콘크리트 강도를 사전 가정하고 각 강도별로 1차 최적 단면형상을 산출한 다음 그 결과들을 비교 검토해 서로 다른 두 강도에 대한 단면형상이 최대한 유사한 지점에서 콘크리트 강도를 변경하는 최적설계 시나리오를 제안하였다. 이상의 프로세스는 현업 프로젝트를 수행하는 과정에서 특정 부재의 최적설계만을 위해 집중적으로 개발된 것이므로 구조적 관점에서 미시적이고 수학적 관점에 치중하였다는 한계를 가진다. 그러나 현업에의 적용을 위해 실용적 관점에서 알고리즘 및 프로세스를 강도 높게 검증, 보완한 결과물이므로 차후 발전적 적용 및 개발이 가능할 것으로 판단된다.

• 한국습지학회지
• /
• 제14권4호
• /
• pp.645-656
• /
• 2012

지난 반세기 동안 무분별한 산업 활동으로 인하여 유역환경은 심각하게 훼손되었다. 이를 관리하기 위한 요구는 증대되고 있으나 정량적으로 유역환경을 예측하여 판단하기 위한 시스템은 부족한 실정이다. 따라서 본 연구에서는 우리나라 유역 환경을 모의하기에 가장 적합한 HSPF(Hydrological Simulation Program-Fortran) 모델을 GIS기반 시스템에 적용하여 영산강 유역에 활용가능한 수질모의 시스템 개발에 관한 연구를 수행하였다. 이를 지원하기 위하여 HSPF 모델 모의에 필요한 입력 및 결과자료와 공간분석을 위한 GIS 공간자료를 수집하였다. 또한 GIS와 수질모델의 연계방안을 비교 분석 후, Loose coupling 연계방안을 적용하여 수질모의 시스템의 주요기능을 모듈단위별로 설계하였다. 최종적으로 설계단계에서 정의된 모듈단위 기능들을 Microsoft사의 VB.NET을 개발언어로 선정하고 ESRI사의 ArcObjects 컴포넌트를 이용하여 시스템을 개발하였다. 본 연구를 통해 개발된 GIS기반 영산강 유역 수질모의 시스템은 영산강 유역환경을 정량적으로 예측할 수 있으며, 문서형식의 모의 결과를 GIS 환경에 표출함으로써 사용자의 공간적 이해도를 높였다. 향후에는 HSPF 모의 결과를 통한 시나리오 수립이 진행되어야하며, 이는 의사결정지원시스템과 연계하여 의사결정자들로 하여금 미래 영산강유역 환경에 대한 진단 및 정책 수립에 지원할 수 있을 것으로 기대된다.

• 경영정보학연구
• /
• 제4권2호
• /
• pp.209-222
• /
• 2002

EDI(Electronic Data Interchange)는 빠른 정보 제공, 문서 작업 감소, 원활한 정보교환, 고객 서비스 향상 등의 장점을 지니고 있어 수년간 기업 활동을 지원하는 수단으로 널리 활용되어 왔다. 하지만 최근 인터넷을 통해 e-비즈니스 환경이 구현됨에 따라 EDI는 e-비즈니스를 수행하는 문서양식과 서식, 문서내용, 비즈니스 프로세스, 문서 처리방법 및 표현방법 등을 포함하는 정보활동의 총체적 개념인 ebXML(electronic business eXtensibleMarkup Language) 프레임워크(Framework)로 변화해 가고 있다. 이러한 ebXML 프레임워크를 산업에 적용하기 위해서는 비즈니스 프로세스(BP)나 핵심 컴포넌트(CC), 협력규약 프로필(CPP), 협력규약 합의(CPA)를 등록하는 등록저장소, 메세징 시스템 등이 필요하다. 본 연구에서는 타 산업에 비해 상대적으로 EDI를 많이 사용하고 있는 항만물류산업을 대상으로 EDI 시스템의 현황 및 문제점과 업무 프로세스를 분석하였다. 업무 프로세스 분석을 통해 ebXML프레임워크의 핵심요소인 등록저장소에 등록될 비즈니스 프로세스를 UN/CEFACT 모델링 방법론(UN/CEFACT Modeling Methodology)을 사용하여 정의하고 모델링 하였다. 본 연구에서는 ebXML 프레임워크를 항만물류산업에 적용하기 위해 UN/CEFACT 모델링 방법론에 따라 협업(Business Collaborations), 트랜잭션(Business Transactions), 문서흐름(Business Document Flows), 구성법(Choreography), 패턴(Pattem) 등을 UML(Unified Modeling Lanfuage)로 표현하였으며, 본 연구결과를 통하여 ebXML 프레임워크를 타 산업에 적용할 수 있는 메타방안을 제시하고 있으며, 항만물류산업에 속한 개별기업에서 실제 시스템을 구현할 수 있는 비즈니스 프로세스 설계를 목적으로 하고 있다.

• 한국시뮬레이션학회논문지
• /
• 제24권4호
• /
• pp.107-118
• /
• 2015

군 워게임 분야에서 많은 에이전트 협력과 관련된 연구들이 제시되었고, 그러한 연구들은 주어진 목표를 달성하기 위해 존재하는 한 팀을 이루는 모의개체간 협업을 위한 기법들을 다루고 있다. 급격히 변화하는 전장을 모의하기 위해서, 실제 전장상황에서 빈발하는 임무 인계를 반영하기 위해 하나의 모의개체는 다른 개체의 역할을 인계 받을 수 있어야 하며, 이를 위해 개체는 자신의 과업과 느슨하게 연결되어 있어야 한다. 이 요건을 만족함으로써 모의상황에서 파괴된 개체가 자신의 과업을 수행하지 못할 경우 다른 개체에게 자신의 과업을 전달하는 것을 가능케 한다. 그러나 개체와 과업간의 긴밀한 연결은 긴박한 전장상황에서의 임무 승계를 반영하는 것을 저해한다. 기존의 문제점으로서, 기존의 연구 및 워게임들은 설계단계에서 과업을 개체에 엄격하게 지정함으로써 그러한 느슨한 연계를 어렵게 한다. 이 결함을 극복하기 위해 역할기반명령계층(ROCH) 모델은 실행상태에서 개체의 주변 상황에 근거하여 역할을 동적으로 할당한다. 이 모델에서 역할(Role)은 개체와 과업을 분리한다. 본 논문에서는 하나의 개체와 다른 부하 개체들 간의 역할과의 연결이 긴밀하지 않도록 출판/구독(publish/subscribe)패턴을 활용하여 ROCH 모델을 하나의 컴포넌트로 구현한다.

• 한국인터넷방송통신학회논문지
• /
• 제20권5호
• /
• pp.107-112
• /
• 2020

본 논문에서는 LSM-tree 기반 키밸류 스토어에서 인메모리 데이터 관리를 위해 사용되는 스킵 리스트에 대한 연구를 수행하였다. 키밸류 스토어에서 사용되는 스킵 리스트는 덮어쓰기를 허용하지 않고 삽입만으로 모든 변경을 처리하는 삽입 기반 스킵 리스트이다. 이러한 동작 방식은 스냅샷 분리(Snapshot Isolation)을 통해 다중 읽기/쓰기 요청을 동시다발적으로 처리할 수 있는 MVCC(Multi-Version Concurrency Control)을 지원할 수 있다. 그러나 중복된 키가 다수 스킵 리스트에 존재함에 따라 리스트 탐색 시 불필요한 노드 방문으로 성능이 심각하게 저하될 수 있다. 특히 특정 범위의 데이터를 집합적으로 탐색하는 범위 탐색(Range Query)나 스캔(Scan) 연산 발생 시 심각한 오버헤드가 발생한다. 본 논문은 이러한 오버헤드를 줄이기 위해 새롭게 고안된 스트라이드 스킵 리스트(Stride Skip List)를 제안한다. 스트라이드 스킵 리스트는 동일 키의 마지막 노드에 대한 인덱싱 포인터를 추가적으로 유지하여 불필요한 노드 방문을 피할 수 있도록 한다. 제안된 기법은 RocksDB의 인메모리 컴포넌트를 활용하여 구현되었으며 다양한 워크로드에서 SCAN 연산의 성능을 기존 스킵 리스트 대비 최대 350배까지 향상시켰다.