• Proceedings of the Computational Structural Engineering Institute Conference
• /
• 2011.04a
• /
• pp.132-135
• /
• 2011

최근 설계 단계에서 설계품질 향상과 시공 단계에서 비용 절감을 효과를 기대하며 3차원 BIM 관련 기술에 대한 관심이 높아가고 있으며, 또한 부분적으로 기술 도입 효과가 나타나고 있다. BIM 기술은 크게 BIM 도구를 활용하여 설계정보를 디지털화하는 모델링 단계 기술과 BIM 모델로부터 설계 정보를 추출하여 업무 진행에 필요한 형태로 가공, 변환하는 정보 활용 기술로 구분하여 생각할 수 있다. BIM 기술에 대한 근자의 높은 관심에도 불구하고 실제 현장에 적용되어 가시적인 성과를 내는 데에 한계를 보이고 있는 이유 중 하나로 후자의 정보 추출 및 활용 기술의 범위와 완성도의 한계를 들 수 있다. 즉 많은 노력을 통하여 BIM 모델을 구축하더라도 이를 기반으로 물량산출, 도면 생성 등 가장 기본적인 업무조차도 현장에서 바로 사용할 수 있는 수준의 기능이 제공되고 있지 않다. 본 연구에서는 건축 골조를 대상으로 3차원 골조 모델을 이용하여 골조 물량, 특히 정확한 물량산출이 상대적으로 어려운 철근에 대하여 철근의 이음, 정착 등이 고려된 실행물량을 산출할 수 있는 시스템을 설계하고 구현하였다. 또한 3차원 모델을 기반으로 철근 배근시공도와 가공일람표를 관련 기준에 따라 정확히 자동 작성함으로써 골조공사가 효율적으로 수행되고, 특히 정확한 이음 및 정착과 가공 계획을 통하여 철근 손실율을 최소화함이 기대된다. 본 논문에서는 이러한 BIM 기반 골조 물량산출 및 도면생성 시스템과 관련하여 주요 시스템 설계 내용과 구현 결과에 대하여 기술한다.

• Proceedings of the KAIS Fall Conference
• /
• 2008.05a
• /
• pp.220-223
• /
• 2008

본 논문은 소프트웨어 설계 시 향상된 오류 검출방법을 통해서 소프트웨어 설계의 질을 향상시켜 그에 따른 소프트웨어 제품의 질을 향상시키데 목적을 두고 있다. 또한 소프트웨어 설계 방법론인 MOA(Methodology for Object to Agents)를 기초로 하고 있으며, MOA는 보편적인 정보 모델로써 온톨로지 기반 모델인 OSSD( Ontology for Sortware Specification and Desigh)모델을 이용한다. 본 논문은 OSSD 모델, 뷰-간 비일관성 검사기법, 일관성 프레임워크의 온톨로지적 특성과 연관된 규칙의 조합을 이용하여 UML모델에서 OSSD 모델로의 변환과정에서 수행되는 새로운 형식의 오류 검출방법을 정의한다. OSSD 모델로의 변환과정은 OSSD 모델의 인스턴스를 생성하기 위한 알고리즘에서 복수의 사상테이블을 이용하는 소프트웨어 설계의 어휘분석과 의미분석을 포함한다.

• Proceedings of the Korea Multimedia Society Conference
• /
• 2001.11a
• /
• pp.575-578
• /
• 2001

사진으로부터 실물과 같은 3차원 모델을 추출하고 텍스처를 추출하는 영상 기반 모델링 및 렌더링에 대한 많은 연구가 진행 중에 있다. 본 논문에서는 다중 입력 영상으로부터 다면체 프리미티브를 이용하여 3차원 모델을 생성하고 각 모델 면의 텍스처를 입력 영상으로부터 획득하는 영상 기반 모델러를 설계 및 구현하였다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2008.11a
• /
• pp.753-756
• /
• 2008

최근 인터넷의 생활화로 이를 기반으로 수익을 창출하는 새로운 형태의 거래가 확산되고 있다. 이러한 형태는 포털사이트를 기반으로 커뮤니티를 형성하고, 이를 통하여 확보된 회원들을 대상으로 광고수익이나 판매가 이루어지는 형태의 비즈니스 모델들이다. 하나 기존 오프라인 중심으로 정의된 인터넷 비즈니스 모델들을 적용하여 이러한 포털사이트 기반의 비즈니스들을 분류할 경우 여러 범주에 포함 되어서 이들을 분류하기 어려운 문제점이 있다. 이로 인하여 새로 생성되는 인터넷 비즈니스 모델들을 활용한 사업의 가능성과 이들이 기술적으로 실현이 가능한지 여부, 이들에게 요구되는 요소들에 대한 분석에 어려움이 많다. 본 논문에서는 이러한 문제점을 해결하기위하여 현재 가장 많이 사용되는 포털사이트들을 기존 인터넷 비즈니스 모델을 적용하여 비교 분석하고, 여기서 새로운 모델 정의에 필요한 요소들을 추출하여 이를 반영한 새로운 인터넷 비즈니스 모델들을 설계한다. 이를 통하여 변화하는 환경에 적응이 가능한 포털사이트 기반의 인터넷 비즈니스 모델의 정의와 분석이 가능하다.

• Proceedings of the Korea Multimedia Society Conference
• /
• 2000.11a
• /
• pp.178-182
• /
• 2000

다중영상으로부터 3D 모델을 생성하고 각 면의 texture를 렌더링하는 영상기반 modeler를 설계 및 구현하였다. 본 논문에서는 영상기반 modeler의 개발 과정에서의 기술적인 문제점과 해결책을 기술한다.

• Proceedings of the Korea Database Society Conference
• /
• 1999.06a
• /
• pp.217-225
• /
• 1999

협상은 상거래에 있어서 매우 중요한 요소 중 하나이다. 현재의 웹 기반 전자상거래 시스템은 이러한 중요한 협상 구조를 상거래에 잘 반영하지 못하는 문제점을 가지고 있다. 이러한 문제점중 기업과 소비자간의 미비한 협상 구조를 보안하기 위해 실세계 상거래에서 존재하는 점원을 전자상거래상의 가상점원으로 모델링하여 회사의 정책과 구매자의 특성을 반영하여 구매자와 전략적으로 자동 협상을 수행할 수 있는 에이전트의 구조를 설계하고 구현하였다. 협상은 매우 복잡한 구조를 가지고 있다. 이러한 협상 구조를 지원하기 위해서는 상호간의 제안을 표현하고, 그 제안에 대한 평가 내용과 결정사항을 전달할 수 있는 언어적인 조가 필요하며, 협상의 대상이 되는 사안들의 특성을 반영할 수 있는 표현 구조도 요구된다. 또한 이러한 협상에서 전략을 세우고 알맞은 제안을 제시하며 상대의 제안에 대하여 전략적으로 반응할 수 있는 의사결정 모델이 요구된다. 본 논문에서는 회사의 정책 모델과 구매자의 모델을 정의하고 이를 이용한 협상 모델을 설계 구현하였다. 협상 구조의 모델링을 위해 KQML(Knowledge Query Manipulation Language)을 기반으로 전자상거래 프로토콜로 설계하고, 논쟁 기반 협상 모델을 기초로 협상언어를 설계하였다. 또한 협상에서의 전략적인 의사결정을 위해 게임이론을 이용하고, 규칙 기반 시스템으로 이를 보충하였다. 마지막으로 가상점원 모델을 바탕으로 조립 컴퓨터 판매를 위한 가상점원을 구현하였고, 이에 대한 실험을 통하여 가상점원의 유용성을 보였다.

• Journal of Intelligence and Information Systems
• /
• v.5 no.2
• /
• pp.63-78
• /
• 1999

협상은 상거래에 있어서 매우 중요한 요소 중 하나이다. 현재의 웹 기반 전자상거래 시스템은 이러한 중요한 협상 구조를 상거래에 잘 반영하지 못하는 문제점을 가지고 있다. 이러한 문제점중 기업과 소비자간의 미비한 협상 구조를 보안하기 위해 실세계 상거래에서 존재하는 점원을 전자상거래상의 가상점원으로 모델링하여 회사의 정책과 구매자의 특성을 반영하여 구매자와 전략적으로 자동 협상을 수행할 수 있는 에이전트의 구조를 설계하고 구현하였다. 협상은 매우 복잡한 구조를 가지고 있다. 이러한 협상 구조를 지원하기 위해서는 상호간의 제안을 표현하고, 그 제안에 대한 평가 내용과 결정사항을 전달할 수 있는 언어적인 구조가 필요하며, 협상의 대상이 되는 사안들의 특성을 반영할 수 있는 표현 구조도 요구된다. 또한 이러한 협상에서 전략을 세우고 알맞은 제안을 제시하며 상대의 제안에 대하여 전략적으로 반응할 수 있는 의사결정 모델이 요구된다. 본 논문에서는 회사의 정책 모델과 구매자의 모델을 정의하고 이를 이용한 협상 모델을 설계 구현하였다. 협상 구조의 모델링을 위해 KQML(Knowledge Query Manipulation Language)을 기반으로 전자상거래 프로토콜로 설계하고, 논쟁 기반 협상 모델을 기초로 협상언로를 설계하였다. 또한 협상에서의 전략적인 의사결정을 위해 게임이론을 이용하고, 규칙 기반 시스템으로 이를 보충하였다. 마지막으로 가상점원 모델을 바탕으로 조립 컴퓨터 판매를 위한 가상점원을 구현하였고, 이에 대한 실험을 통하여 가상점원의 유용성을 보였다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2004.11a
• /
• pp.267-270
• /
• 2004

실시간 운영체제는 임베디드 환경에서 매우 중요한 소프트웨어 컴포넌트이다. 임베디드 실시간 운영체제는 고안전성 시스템이나 유비쿼터스 시스템 내에서 강하고(Robust), 신뢰성(Reliable)있고, 안전한(Safety) 특성을 지녀야 한다. 근래에는 이러한 실시간 시스템을 UML 과 같은 모델 기반의 방법으로 설계하고 코드 생성을 통해 구현까지 이끄는 모델 유도 공학(Model Driven Engineering: MDE)[1]을 통해서 개발하고 있다. 이러한 MDE 의 모델은 대부분 UML 기반의 언어를 사용하여 아키텍처를 구성하고 설계하여 코드를 생성하여 구현 코드를 생성해 낸다. 본 논문에서는 이러한 MDE 의 비정형적 언어를 대신하여, 정형명세 언어를 사용하여 실시간 시스템의 모델을 설계하고 이를 검증하여 실시간 운영체제를 개발하는 방법론을 기술한다. 이렇게 함으로써 보다 엄격한 언어를 통해 시스템의 설계의 모호함이나 모순을 없애고, 수학적 기반의 검증을 통해 보다 안전하고 신뢰성 있는 시스템을 구현하자 한다.

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

본 연구는 공동작업환경에서 워크플로우 개념을 도입한 문서 관리 모델을 제안하고 이를 시스템으로 설계하였다. 제안된 모델은 문서를 관계, 상태, 흐름의 세가지 측면에서 모델링 할 수 있으며, 오류를 자동 검출 할 수 있는 규칙들을 내장하고 있다. 이러한 모델을 기반으로 문서 관리 시스템을 설계하여, 모델이 구현 및 적용 가능함을 보였다. 제안한 모델과 시스템은 전자 결제 시스템이나 전자상거래 등의 문서의 절차적 처리가 필요한 응용들에서 사용될 수 있다.

• The Transactions of the Korea Information Processing Society
• /
• v.5 no.3
• /
• pp.785-794
• /
• 1998

국제 표준 전문 위원회에서는 PREMO(PResentation Environment for Multimedia Object)의 언어 바인딩에서 제기된 문제점을 해결하기 위하여 언어바인딩의 표준화를 취소하고 어떤 특정 언어에 의존하지 않는 바인딩 모델의 연구가 진행중이다. PREMO의 바인딩 모델에서 그래픽스 바인딩 모델을 제시하기 위하여 PREMO에서의 객체 함수들을 분석하고, ？체-Z 기능명세에 대한 함수 작용과 바인딩 모델에 관련된 데이터 사상을 보인다. 본 논문에서는 그래픽스 언어 바인딩 함수들을 기반으로 하는 그래픽스 바인딩 모델 설계를 제안한다.