• Steel and Composite Structures
• /
• 제39권1호
• /
• pp.1-20
• /
• 2021

An exact solution based on refined third-order theory (TOT) has been presented for functionally graded porous curved beams having deep curvature. The displacement field of the refined TOT is derived by imposing the shear free conditions at the outer and inner surfaces of curved beams. The properties of the two phase composite are tailored according the power law rule and the effective properties are computed using Mori-Tanaka homogenization scheme. The equations of motion as well as consistent boundary conditions are derived using the Hamilton's principle. The curved beam stiffness coefficients (A, B, D) are obtained numerically using six-point Gauss integration scheme without compromising the accuracy due to deepness (1 + z/R) terms. The porosity has been modeled assuming symmetric (even) as well as asymmetric (uneven) distributions across the cross section of curved beam. The programming has been performed in MATLAB and is validated with the results available in the literature as well as 2D finite element model developed in ABAQUS. The effect of inclusion of 1 + z/R terms is studied for deflection, stresses and natural frequencies for FG curved beams of different radii of curvature. Results presented in this work will be useful for comparison of future studies.

• 대순사상논총
• /
• 제19권
• /
• pp.1-20
• /
• 2005

In spite of the ethics of sangsaeng is based on Daesoon thoughts, we can regard it as a moral theory independent on religion. Like other reasonable moral theories, It has three levels, moral standard, moral rules and moral acts or judgements. Sangsaeng is moral standard in the ethics of sangsaeng. moral rules are derived from it and could justify many particular moral judgements and acts. The ethics of sangsaeng belongs to metaphysical ethics and holistic ethics because it is derived holistic, sangsaeng's world view of Daesoon thoughts. The ethics of sangsaeng, first of all, extends the realm of moral community to all beings of world. Therefore it might works well on as a solution for environmental problem recently issued. Secondly, because beings are fundamentally all equal in holistic world, the principle of equality is basic principle in the ethics of sangsaeng. Finally, in relation to the principle of equality, the ethics of sangsaeng needs 'Haewon' as the first moral rule because it is a practical method for solution to various social inequality - racism, sexism, regionalism and so on.

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

OWL 온톨로지는 실세계의 도메인 지식을 모델링 하는데 적합하다. 또한 명백하게 정의된 지식으로부터 암시적인 새로운 지식을 추론할 수 있다. 하지만 이 모델링된 지식은 완전할 수 없다. 사람이 가지고 있는 모든 상식을 모델링 할 수 없기 때문이다. 온톨로지는 완전한 지식표현을 위한 무결성 제약조건과 예외 처리와 같은 비단조 추론을 지원할 방법이 없다. 디폴트 규칙은 온톨로지 안의 특정 클래스에 대한 예외를 처리할 수 있다. 또한 무결성 제약은 온톨로지에 정의된 클래스의 제한조건(restriction)에 인스턴스가 일관되게 할 수 있다. 본 논문에서는 Open World Assumption(OWA) 기반의 온톨로지와 Closed World Assumption(CWA) 기반의 비단조 추론을 지원하는 규칙의 지식베이스를 통합하여 Open World 와 Closed World 추론을 모두 지원하는 실질적인 추론 시스템을 제안한다. 이 시스템은 온톨로지에 정의된 불완전한 개념을 다룰 때 OWA기반이라서 발생하는 문제점을 ASP(Answer Set Programming)를 사용하여 해결방안을 제안한다. ASP는 논리 프로그래밍 언어로써 비단조 추론을 허용하며, 서술 논리 지식베이스에 CWA 기반의 질의를 가능하게 한다. 제안하는 시스템은 Protege에서 제공하는 Pizza 온톨로지를 예로써 비단조 추론이 필요한 경우를 보이고, 잘 알려진 온톨로지들로 성능 평가하여 본 시스템의 정당(sound)하고 완전(complete)함을 증명한다.

• 한국지능시스템학회논문지
• /
• 제13권2호
• /
• pp.200-208
• /
• 2003

본 연구에서는 효율적인 학습규칙의 신경망 기반 독립성분분석기법을 이용한 영상신호의 분리와 특징추출을 제안하였다. 제안된 학습규칙은 할선법과 모멘트를 이용한 조합형 고정점 학습알고리즘이다. 여기서 할선법은 독립성분 상호간의 정보를 최소화하기 위한 목적함수의 최적화 과정에서 요구되는 1차 미분에 따른 계산을 간략화하기 위함이고, 모멘트는 최적화 과정에서 발생하는 발진을 억제하여 보다 빠른 학습을 위함이다. 제안된 기법을 $512\times512$의 픽셀을 가지는 10개의 영상을 대상으로 임의의 혼합행렬에 따라 발생되는 혼합영상의 분리에 적용한 결과, 뉴우턴법에 기초한 기존의 알고리즘과 할선법만에 기초한 알고리즘보다 각각 우수한 분리률과 빠른 분리속도가 있음을 확인하였다. 또한 $256\times256$ 픽셀의 10개 지문상과 $480\times225$ 픽셀의 지폐영상에서 선택된 각각 10,000개의 3가지 영상패치들을 대상으로 적용한 결과, 제안된 기법은 뉴우턴법이나 할선법의 알고리즘보다도 빠른 특징추출 속도가 있음을 확인하였다. 한편 추출된 $16\times16$ 펙셀의 160개 독립성분 기저벡터 각각은 영상 각각에 포함된 공간적인 주파수 특성과 방향성을 가지는 경계 특성이 잘 드러나는 국부적인 특징들임을 확인하였다.

• 한국주거학회논문집
• /
• 제24권2호
• /
• pp.45-52
• /
• 2013

The Purpose of this study is to improve construction quality with area calculation methods from BIM design technology. BIM has been supporting public-private-organizations and academic circles as a solution technology to manage and produce informations effectively from construction field including facility manage one. BIM standards are necessary but not sufficient for achieving perfect practical application in South Korea. In particular, development of architectural rule based area calculation methods is very urgent and important to improve construction quality. To solve those problems, methods and standards on area calculation are developed and its effectiveness of the proposed BIM-based methods is defined through the analysis between the existed area calculation method and process which are 2D based. This study will not only improve economic efficiency and accuracy of the construction quality but also settle the BIM environment in the domestic architecture.

• 품질경영학회지
• /
• 제18권2호
• /
• pp.18-24
• /
• 1990

The location of inspection stations is a significant component of production systems. In this paper, a prototype expert system is designed for deciding the optimal location of inspection stations. The production system is defined as a single channel of n serial operation stations. The potential inspection station can be located after any of the operation stations. Nonconforming units are generated from a compound binomial distribution with known parameters at any given operation station. Traditionally Dynamic programming, Zero-one integer programming, or Non-linear programming techniques are used to solve this problem. However a problem with these techniques is that the computation time becomes prohibitively large when t be number of potential inspection stations are fifteen or more. An expert system has the potential to solve this problem using a rule-based system to determine the near optimal location of inspection stations. This prototype expert system is divided into a static database, a dynamic database and a knowledge base. Based on defined production systems, the sophisticated rules are generated by the simulator as a part of the knowledge base. A generate-and-test inference mechanism is utilized to search the solution space by applying appropriate symbolic and quantitative rules based on input data. The goal of the system is to determine the location of inspection stations while minimizing total cost.

• 대한수학교육학회지:학교수학
• /
• 제11권2호
• /
• pp.261-280
• /
• 2009

본 연구는 현재 우리나라 고등학교 1학년 명제단원의 내용 체계가 수학적 논리사고를 함양하기 위한 기초 준비로는 너무 약화되어 있어, 그러한 명제 교육을 받고 대학에 진학한 신입생들이 명제와 관련된 개념 이해에서 많은 어려움을 보일 것이라는 가정 하에서 진행되었다. 이에 본 연구는 제 7차 수학과 교육과정에 따른 명제교육을 받고 지방 중위권 대학에 입학한 이공계 신입생들의 명제에 대한 이해 정도를 알아보기 위해, 대학 기초 수학 학습에서 요구되는 기본 명제 개념들로 이루어진 문제를 적용하고, 그 문제 해결과정에서 보이는 신입생들의 오류와 특징들을 조사, 분석하였다. 본 연구의 결과는 이공계 신입생들의 명제 관련 개념들에 대한 이해 실태를 보고함으로써, 대학 수학 교육에서 수학적 논리 기초 개념들에 대한 지도를 어느 수준까지 해야 할 것인가에 대한 시사점을 제공하는데 그 의의가 있다.

• 한국항만학회지
• /
• 제13권1호
• /
• pp.167-174
• /
• 1999

Numerical analysis of two-fluid flows for both water and air is carried out. Free-Surface flows with an arbitrary deformation have been simulated around two dimensional submerged hydrofoil. The computation is performed using a finite volume method with unstructured meshes and an interface capturing scheme to determine the shape of the free surface. The method uses control volumes with an arbitrary number of faces and allows cell-wise local mesh refinement. the integration in space is of second order based on midpoint rule integration and linear interpolation. The method is fully implicit and uses quadratic interpolation in time through three time levels The linear equation systems are solved by conjugate gradient type solvers and the non-linearity of equations is accounted for through picard iterations. The solution method is of pressure-correction type and solves sequentially the linearized momentum equations the continuity equation the conservation equation of one species and the equations or two turbulence quantities.

• Structural Engineering and Mechanics
• /
• 제48권1호
• /
• pp.125-150
• /
• 2013

This paper intends to present an application of isogeometric analysis in crack problems. An isogeometric formula is developed based on NURBS basis functions - enriched and adopted via X-FEM enrichment functions. The proposed method which is represented by the combination of the two above-mentioned methods, first by using NURBS functions models the geometry exactly and then by defining level set function on domain, identifies available discontinuity in elements. Additional DOFs are allocated to elements containing the crack and X-FEM enrichment functions enrich approximate solution. Moreover, a subelement refinement technique is used to improve the accuracy of integration by the Gauss quadrature rule. Finally, several numerical examples are illustrated to demonstrate the effectiveness, robustness and accuracy of the proposed method during calculation of crack parameters.

• 산업공학
• /
• 제22권1호
• /
• pp.10-16
• /
• 2009

In this paper, we propose an efficient search algorithm for finding an optimal schedule to minimize makespan, while avoiding deadlock situation in Flexible Manufacturing Systems (FMS) with finite capacity, in which each job needs to be processed in several job stages for completion. The proposed algorithm uses a modeling and control method based on Petri-net. Especially, we improve the efficiency of the search algorithm by using a priority rule and an efficient bounding function during the search procedure. The performance of the proposed algorithm is evaluated through a numerical experiment, showing that it holds considerable promise for providing an optimal solution efficiently comparing to past work.