• Wind and Structures
• /
• 제27권4호
• /
• pp.269-282
• /
• 2018

In this paper, a new displacement field based on quasi-3D hybrid-type higher order shear deformation theory is developed to analyze the static and dynamic response of exponential (E), power-law (P) and sigmoïd (S) functionally graded beams. Novelty of this theory is that involve just three unknowns with including stretching effect, as opposed to four or even greater numbers in other shear and normal deformation theories. It also accounts for a parabolic distribution of the transverse shear stresses across the thickness, and satisfies the zero traction boundary conditions at beams surfaces without introducing a shear correction factor. The beam governing equations and boundary conditions are determined by employing the Hamilton's principle. Navier-type analytical solutions of bending and free vibration analysis are provided for simply supported beams subjected to uniform distribution loads. The effect of the sigmoid, exponent and power-law volume fraction, the thickness stretching and the material length scale parameter on the deflection, stresses and natural frequencies are discussed in tabular and graphical forms. The obtained results are compared with previously published results to verify the performance of this theory. It was clearly shown that this theory is not only accurate and efficient but almost comparable to other higher order shear deformation theories that contain more number of unknowns.

• 한국전자통신학회논문지
• /
• 제6권4호
• /
• pp.523-531
• /
• 2011

지하수 자원을 사용하기 위해 설치된 많은 관정들이 사용 후 폐공처리 소홀로 인하여 지하수 오염원이 된다. 또한 폐공된 관정에서는 중금속 및 유기화합물 등의 유해물질이 지하수로 유입 되는 문제점이 발생하여 지하수 수질 악화를 초래한다. 따라서 본 논문에서는 이러한 문제점을 개선하기 위해 유비쿼터스 센서 노드와 GIS 기술을 접목한 u-GIS 환경 하에서 관정의 위치정보와 지하수 센싱 정보를 실시간으로 모니터링하고 분석할 수 있는 지하수 관리 시스템을 설계 및 구현한다. 아울러 UML 2.0을 활용하여 시스템을 이용하는 사용자의 다양한 요구사항, 시스템 내부 모듈들 간의 상호작용 및 데이터 흐름을 분석하여 시스템을 모델링한다. GIS 맵과 웹 환경, 스마트폰 기반의 모바일 단말기 등의 다양한 플랫폼을 통해 원격지에 있는 각 관정의 지하수 상태 및 관정 관련 속성 정보를 모니터링을 하기 위한 사용자 인터페이스를 제공한다.

• 정보처리학회논문지D
• /
• 제11D권1호
• /
• pp.115-122
• /
• 2004

소프트웨어 시스템 모델링에서는 정형적 기법으로 소프트웨어를 모델링하고 분석하여 소프트웨어 시스템이 가지는 문제점들을 구현에 앞서 미리 찾아 해결하고자 한다. 페트리 네트는 그래픽 정형 명세 언어로 병행적 시스템, 실시간 시스템, 통신 프로토콜 등의 소프트웨어 시스템 모델링 및 분석에 널리 이용되고 있다. 페트리 네트 분석에서, 교착상태(deadlock), 수행가능성(liveness) 등의 일반적인 시스템 특성 분석은 주로 도달성 분석을 통해 이루어지며 시스템 요구사항에 관한 고유 특성 분석은 모델 검사(model checking) 방법을 통해 이루어진다 하지만 도달성 분석과 모델 검사 방법에서는 기본적으로 시스템의 모든 가능한 상태들을 나열하여 분석하므로 모델의 규모가 커짐에 따라 상태가 기하급수적으로 증가하는 상태 폭발(state explosion) 문제가 발생한다. 이 논문에서는 상태 폭발을 회피하면서 시스템의 요구사항을 체계적으로 분석할 수 있는 새로운 방법을 제안하고자 한다. 먼저 분석하고자 하는 요구사항을 속성 네트로 나타낸 후, 시스템 모델과 속성 네트를 합성하여 분석한다. 이러한 합성 분석에서는 분석 대상 속성과 연관되지 않는 모델의 부분들을 축약 규칙에 따라 축약함으로써 분석 도메인을 점진적으로 줄어 나갈 수 있으며 요구사항 만족 여부를 간단히 검사할 수 있는 장점이 있다.

• 대한교통학회지
• /
• 제22권2호
• /
• pp.19-26
• /
• 2004

사통팔달(AWS:AllWayS)은 교통계획의 중요성이 날로 부각되는 추세에서 네트워크 편집 및 데이터베이스 분석 기능을 갖춘 국내에서 최초로 개발된 종합적인 교통수요 예측모형이다. 과거에 일부 개별적인 모형의 수행을 위해 개별 기능의 수행을 위한 수요예측모형들이 국내에서 개발되어 사용되어온 바 있으나, 사통팔달 모형은 과거동안 축적된 교통계획 및 전산기술에 대한 이론적, 경험적 성과들을 바탕으로 국내 실정에 적합한 전통적인 4단계 수요예측과정에 대해 전체적으로 수행이 가능하도록 체계화함으로써 기존 외국의 교통계획모형들이 비판없이 사용되고 있는 국내 현실에서 본 모형의 유용성이 있다고 사료된다. 아울러 교통수요 예측을 위해 필요한 가로, 대중교통 등의 교통 네트워크 자료의 작성 기능을 모형의 내에서 갖추고 있으며 모형의 수행에 필요한 모든 자료들을 데이터베이스화함으로 대상 분석 시나리오에 대해 종합적이고 일관적인 수요예측 과정을 수행할 수 있도록 모형을 개발하였다.

• 한국경영과학회지
• /
• 제36권4호
• /
• pp.91-107
• /
• 2011

The importance of service industries is growing as the portion of the service sector increases fast in the recent decades. This research deals with service prototyping and testing in a service laboratory. While products are generally tested through prototyping in new product development processes, services are difficult to test because of the characteristic of service, intangibility. A service laboratory, named s-Scape, is the experiment environment which has been developed to test services in virtual space for the purpose of analysis and improvement of real-world services such as hospitals and automobile show rooms. In this research, we present a service prototyping tool and language to support service test in the service laboratory. We first analyze key elements of service prototypes, and then design the service prototype diagram (SPD) and the service prototype description language (SPDL). SPD, which is a variant of the service blueprint, is a graphical tool to be used to generate SPDL. SPDL is an executable language of describing a service prototype of a real-world service in extensible markup language (XML) to experiment the service environment in virtual space. SPD reflects the control and interface of virtual reality devices, as well as key elements of service modeling. SPD represents a service process in which service providers and customers interact with each other in a service scape.

• 한국정보처리학회논문지
• /
• 제3권5호
• /
• pp.1103-1111
• /
• 1996

하드웨어와 통신 기술의 발달로 가능하게 된 분산처리 시스템은 수행 방식이 비결 정적이고 복잡하기 때문에 소프테웨어의 디자인이 비분산처리 시스템에 비해 복잡하고 또한 까다롭다. 따라서 하드웨어에 비해 상대적으로 뒤져있는 분산처리 시스템 소프 트웨어 개발을 위한 디자인 방법에 관한 연구에 대한 필요성이 높아지고 있다. 한편 객체향 시스템과 분산처리 시스템은 상호 유사한 점이 있어, 분산처리 시스템 개발에 객체지향 기술의 적용은 자연스럽게 이루어질 수가 있다. 본고에서는 분산에서는 분산처리 시스템 설계를 위한 객체지향 기술의 적용에 대하여 소개하고 있다. 제안된 설계방법은 다양한 그래픽 모델, 즉, 자료구조도, 상태전이도 그리고 패트리 네트의 정보를 조합하여 객체와 행위 그리고 이들 간의 관계에 대한 정보를 추출하여 분산 처리 시스템에 적합한 명세서를 산출하고자 한다. 지식베이스를 정보저장소로 이용 하여정보의 저장, 검색 뿐만 아니라, 정보의 오류 연구를 검증할 수가 있다. 본 방법의 최종 결과인 객체모델은 디자인 명세서로서 분산처리프로그램 개발에 사용된다.

• 한국전산구조공학회논문집
• /
• 제22권5호
• /
• pp.487-499
• /
• 2009

컴퓨터의 성능이 향상되고 해석 알고리즘이 개선될수록 유한요소 모델링은 정교해지고 복잡해지는 경향이 있으며, 그에 상응하여 후처리 기술도 다양하게 발전하게 되었다. 이와같이 하드웨어적, 소프트웨어적인 진전을 바탕으로 탄소성해석에서는 더욱 세분화된 단계적 증분과 반복의 중간 계산 결과를 이용하여 탄소성 거동을 관찰하고 분석하는 것이 실용적인 의미를 갖게 되었다. 이 논문은 유한요소해석을 통해서 얻은 계산 결과로 부터 탄소성 재료의 역학적인 거동을 이론적으로 구성하고, 컴퓨터 그래픽스로 가시화하는 새로운 후처리 방법에 관하여 기술하였다. 또한 소성 거동의 진행을 표현하는 새로운 방법과 해석의 중간단계에서 생성된 데이터를 항복곡면과 응력경로의 형태로 재구성하거나 또는 Mohr원과 파괴포락선의 형태로 재구성하여 탄소성 거동을 분석하고 이해하는 방법을 제안하였다.

• 한국시뮬레이션학회논문지
• /
• 제21권2호
• /
• pp.19-30
• /
• 2012

최근 몇 십년간 이산사건시스템명세(DEVS) 형식론은 이산사건시스템을 모듈러하고 계층적으로 모델링할 수 있는 잘 정의된 의미론을 제공하여 왔다. 그럼에도 불구하고 실용 엔지니어들은 실세계의 시스템을 모델링에 적용하는데 어려움을 겪기도 하는데 이는 DEVS가 많은 상태와 사건들을 구조화되지 않은 형태로 명세해야 하는 것 때문이다. 본 논문은 집합 이론을 바탕으로 그러한 사건 및 상태집합들을 구조화된 형태로 표현하는 Structured DEVS 형식론과 이와 연관된 DEVS 다이어그램을 제안하고자 한다. 위상, 변수, 포트 등의 개념을 사용하여 집합들을 명세한 구조적 DEVS 형식론은 원래의 DEVS 형식론과 동등함을 증명하였다. DEVS 다이어그램을 이용하여 구조적 DEVS 형식론으로 표현된 예시 모델이 쉽게 객체지향 시뮬레이션 환경에서 구현될 수 있음을 보임으로써 제안된 형식론이 효과적임을 보였다.

• 전자공학회논문지CI
• /
• 제49권4호
• /
• pp.71-81
• /
• 2012

다양한 사용자들이 증강 현실을 쉽게 제작하기 위하여 3차원 물체의 추적 및 인식이 가능하도록 하기 위한 물체 등록과정이 직관적이고 간단하여야 한다. 물체 등록에 활용될 수 있는 다양한 3차원 재구성 방법이 개발되었지만, 아직은 실험적인 단계에 있다. 본 논문은 증강 현실 저작 시 다양한 사용자들에게 다양한 환경에서 직관적으로 활용될 수 있도록 하기 위한 3차원 재구성 방법으로써 마커를 활용하는 마커 기반 탠저블 인터페이스를 제안한다. 본 논문에서 제안하는 인터페이스를 이용하여 사용자가 물체의 표면을 직접 접촉함으로써 물체 여러 표면의 3차원 기하학 정보를 획득한다. 이 인터페이스를 이용하여 단순히 그래픽적인 모델링을 위한 3차원 재구성을 하는 것이 아니라 물체의 특징점 정보를 제공함으로써 증강현실에 활용할 수 있도록 한다. 최종적으로 제안하는 방법을 통하여 증강 현실 응용을 보임으로써 제안하는 방법의 효용성을 확인한다.

• 한국정보과학회논문지:컴퓨팅의 실제 및 레터
• /
• 제5권4호
• /
• pp.385-394
• /
• 1999

제품을 설계하는 디자이너나 엔지니어는 많은 시간과 노력을 들이지 않고서 그들이 설계한 3차원 제품 모델에 대한 사실적인 이미지를 원한다. 디자인 프로세스의 초기인 개념 설계에서부터 설계검증, 그리고 가공 과정에서 사실적인 이미지가 매우 유용하므로, 대부분의 주요 CAD 제작사는 그들의 CAD 소프트웨어에 고급 렌더링 기능을 추가하고 있다. 상용의 CAD/CAM 모델러에서는 NURB 곡면을 기초로 모델링을 수행하므로, NURB 곡면을 렌더링할 수 있는 패키지가 필요하다. VIF(Visual InterFace) 렌더링 라이브러리는 A-buffer 방식과 Ray tracing 방식의 두 가지 고급 렌더링 모드를 제공한다. 다각형은 물론 NURB 곡면을 입력으로 받아 사용자가 설정한 표면의 각종 계수, 원하는 view와 설정된 광원에 따라 이미지를 만들고 다양한 형태로 출력시킬 수 있는 다양한 기능을 제공한다. 본 논문에서는 VIF 렌더링 라이브러리에 대한 구조와 기능별로 분류된 함수에 대하여 설명하며, 실제로 CAD/CAM 시스템과 통합되어 구상설계에서부터 3차원 설계 모델링에 이르기까지의 제조공정에서 설계검증 툴로써 어떻게 활용되고 있는가에 대하여 기술한다.Abstract Engineers and industrial designers want to produce a realistic-looking images of a 3D model without spending a lot of time and money. Photo-realistic images are so useful from the conceptual design, through its verification, to the machining, that most major CAD venders offer built-in as well as add-on photo-realistic rendering capability to their core CAD software. Since 3D model is consists of a set of NURB surfaces in commercial CAD packages, we need a renderer which handles NURB surface as well as other primitives.A new rendering library called VIF (Visual InterFace) provides two photo-realistic rendering modes: A-buffer and Ray tracing. As an input data it takes NURB surfaces as well as polygonal data and produces images in accordance with the surface parameters, view and lights set by user and outputs image with different formats. This paper describes the overall architecture of VIF and its library functions classified by their functionalities, and discusses how VIF is used as a graphical verification tool in manufacturing processes from the conceptual design to 3D modeling.