• Wind and Structures
• /
• v.27 no.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.

• The Journal of the Korea institute of electronic communication sciences
• /
• v.6 no.4
• /
• pp.523-531
• /
• 2011

Many of the wells which were constructed to use ground water resource are abandoned and not managed efficiently after its use. And a variety of heavy metals and organic compounds are released from the abandoned wells and this can cause ground water pollution. Therefore in this paper implemented to monitor locational information drill holes and underground water sensing information on real time basis using u-GIS environment to combined ubiquitous sensor node and GIS technology to improve these problems. In addition, this system suggests using system by UML 2.0 by analyzing variety requirement of user and between system internal modules interaction and data flow. It provides graphical user interfaces (GUI) to system users to monitor water-well related property information and its managements for each water-well at remote site by variety platform by GIS map and web environment and mobile device based on smart phone.

• The KIPS Transactions:PartD
• /
• v.11D no.1
• /
• pp.115-122
• /
• 2004

Software system modeling has a goal for finding and solving system's problems by describing and analyzing system model in formal notations. Petri nets, as graphical formalism, have been used in describing and analyzing the software systems such as parallel systems, real-time system, and protocols. In the analysis of Petri nets, general system properties such as deadlock and liveness are analyzed by the reachability analysis. On the other side, specific properties such as functional requirements and constraints are checked by model-checking. However, since these analysis methods are based on enumeration of ail possible states, there nay be state explosion problem, which means that system states exponentially increase as the size of system is larger. In this paper, we propose a new method for mechanically checking system properties with avoiding state explosion problem. At first, system properties are described in property nets then the system model and the property net are composed and analyzed. In the compositional analysis, system parts irrelevant to the specific property are reduced to minimize the analysis domain of the system. And it is possible to mechanically check whether a specific property is satisfied or not.

• Journal of Korean Society of Transportation
• /
• v.22 no.2 s.73
• /
• pp.19-26
• /
• 2004

AllWayS(AWS, Satongpaldal in Korean) is the first comprehensive computer software in Korea that is developed for the transportation demand modeling. The original DOS version software was recently receded for Windows environment. Traditional 4-step transportation demand forecasting process is incorporated in the software under graphical user interface environment. AWS is able to compose or edit graphic transportation networks data by each scenario which could be the subject of an analysis. Besides, it use database structure that can handle every data of a scenario such as networks, O/D, and socio-economic data, etc. We expect this integrated process could provide each analyst with efficient and easy to use tool for their analysis. Each models in this software is based on traditional algorithms and the results were compared to existing software, EMME/2 and it showed similar results.

• Journal of the Korean Operations Research and Management Science Society
• /
• v.36 no.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.

• The Transactions of the Korea Information Processing Society
• /
• v.3 no.5
• /
• pp.1103-1111
• /
• 1996

The design of distrbuted systems is difficult to achieve as the execution patterns of distrbuted systems are typically more complex than those of non- distributed systems. Thus, research toward the development of design methods for distributed systems is quitely needed. As object-oriented systems and distrbuted systems share similar properties, the combination of these two is somehow natural. In this work, a design of distributed systems is introduced. The goal of the method in this paper is to provide assistance to the process of specifying a formal object- oriented specification from graphical representation specification inputs such as data flow diagrams, state transition diagrams and Petri nets. It addresses the extraction of objects, operations and reationshipsfrom the problem domain with emphasis on the specification of the characteristics of distributed systems. This object identification method is supported by a knowledge base that provides for the automated analysis and reasoning about objects and their relationsships. The final object model is represented in a format which provides a formal mechanism for reprsenting the object information.

• Journal of the Computational Structural Engineering Institute of Korea
• /
• v.22 no.5
• /
• pp.487-499
• /
• 2009

The postprocessing technology has been advanced diversely to accommodate the tendency of increasingly refined and complicated practices of finite element modeling in pace with enhanced capabilities of computers and improved algorithm of equation solvers. As a result of such progresses in both hardware and software, it became practically meaningful to inspect and analyze the elasto-plastic behavior using the intermediate results from the increasing number of incremental and iterative processes. This paper is concerned about the new methods of postprocessing with computer graphic visualization of elasto-plastic behavior on the basis of the theoretically reorganized analysis results. This paper proposes a new method of rendering the plastic zone, and new approaches of analyzing and interpreting the elasto-plastic behavior using the graphical information visualized in the form of the yield surface and the stress path, or in the form of the Mohr circles and the failure envelope.

• Journal of the Korea Society for Simulation
• /
• v.21 no.2
• /
• pp.19-30
• /
• 2012

In recent decades, it has been known that the Discrete Event System Specification, or DEVS, formalism provides sound semantics to design a modular and hierarchical model of a discrete event system. In spite of this benefit, practitioners have difficulties in applying the semantics to real-world systems modeling because DEVS needs to specify a large size of sets of events and/or states in an unstructured form. To resolve the difficulties, this paper proposes an extension of the DEVS formalism, called the Structured DEVS formalism, with an associated graphical representation, called the DEVS diagram, by means of structural representation of such sets based on closure property of set theory. The proposed formalism is proved to be equivalent to the original DEVS formalism in their model specification, yet the new formalism specifies sets in a structured form with a concept of phases, variables and ports. A simplified example of the structured DEVS with the DEVS diagram shows the effectiveness of the proposed formalism which can be easily implemented in an objected-oriented simulation environment.

• Journal of the Institute of Electronics Engineers of Korea CI
• /
• v.49 no.4
• /
• pp.71-81
• /
• 2012

In order to support simple authoring an application of augmented reality for diverse users, the process for the object registration comprised of tracking and recognizing the object should be accomplished intuitively and simple. Although many 3D reconstruction methods to be applied to the object registration have been developed, the methods have not beyond the experimental level yet. In this paper, we proposed a novel marker-based tangible interfaces for various users to manipulate the object with intuitive and simple approaches during an authoring applications fo augmented reality. The proposed method make use of marker as intuitive interface to obtain 3D geometric information of 3D reconstruction. 3D geometric information of an object surface is acquired by touching the object directly with the proposed tangible interfaces. The tangible interfaces not only support 3D reconstruction for graphical modeling but also offer features information which is used for augmented reality. Finally, we verify efficiency of the proposed method with demonstration of an augmented reality application using the proposed method.

• Journal of KIISE:Computing Practices and Letters
• /
• v.5 no.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.