• Steel and Composite Structures
• /
• v.39 no.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.

• Journal of the Daesoon Academy of Sciences
• /
• v.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.

• Journal of KIISE:Software and Applications
• /
• v.37 no.4
• /
• pp.282-296
• /
• 2010

OWL is an ontology language for the Semantic Web, and suited to modelling the knowledge of a specific domain in the real-world. Ontology also can infer new implicit knowledge from the explicit knowledge. However, the modeled knowledge cannot be complete as the whole of the common-sense of the human cannot be represented totally. Ontology do not concern handling nonmonotonic reasoning to detect incomplete modeling such as the integrity constraints and exceptions. A default rule can handle the exception about a specific class in ontology. Integrity constraint can be clear that restrictions on class define which and how many relationships the instances of that class must hold. In this paper, we propose a practical reasoning system for open and closed-world reasoning that supports a novel hybrid integration of ontology based on open world assumption (OWA) and non-monotonic rule based on closed-world assumption (CWA). The system utilizes a method to solve the problem which occurs when dealing with the incomplete knowledge under the OWA. The method uses the answer set programming (ASP) to find a solution. ASP is a logic-program, which can be seen as the computational embodiment of non-monotonic reasoning, and enables a query based on CWA to knowledge base (KB) of description logic. Our system not only finds practical cases from examples by the Protege, which require non-monotonic reasoning, but also estimates novel reasoning results for the cases based on KB which realizes a transparent integration of rules and ontologies supported by some well-known projects.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.13 no.2
• /
• pp.200-208
• /
• 2003

This paper proposes a separation and feature extraction of image signals using the independent component analysis(ICA) based on neural networks of efficient learning rule. The proposed learning rule is a hybrid fixed-point(FP) algorithm based on secant method and momentum. Secant method is applied to improve the performance by simplifying the 1st-order derivative computation for optimizing the objective function, which is to minimize the mutual informations of the independent components. The momentum is applied for high-speed convergence by restraining the oscillation in the process of converging to the optimal solution. The proposed algorithm has been applied to the composite images generated by random mixing matrix from the 10 images of $512\times512$-pixel. The simulation results show that the proposed algorithm has better performances of the separation speed and rate than those using the FP algorithm based on Newton and secant method. The proposed algorithm has been also applied to extract the features using a 3 set of 10,000 image patches from the 10 fingerprints of $256\times256$-pixel and the front and the rear paper money of $480\times225$-pixel, respectively, The simulation results show that the proposed algorithm has also better extraction speed than those using the another methods. Especially, the 160 basis vectors(features) of $16\times16$-pixel show the local features which have the characteristics of spatial frequency and oriented edges in the images.

• School Mathematics
• /
• v.11 no.2
• /
• pp.261-280
• /
• 2009

This study was motivated by recognizing the weakness of teaching and learning about the concepts of statements in high school mathematics curriculum. To report the reality of students' understanding about statements, this study investigated the 33 first-year undergraduate students' understanding about the concepts of statements by giving them 22 statement problems. The problems were selected based on the conceptual framework including five types of statement concepts which are considered as the key ideas for understanding mathematical reasoning and proof in college level mathematics. The analysis of the participants' responses to the statement problems found that their understanding about the concepts of prepositions are very limited and extremely based on the instrumental understanding applying an appropriate remembered rule to the solution of a preposition problem without knowing why the rule works. The results from this study will give the information for effective teaching and learning of statements in college level mathematics, and give the direction for the future reforming the unite of statements in high school mathematics curriculum as well.

• Journal of the Korean housing association
• /
• v.24 no.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.

• Journal of Korean Society for Quality Management
• /
• v.18 no.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.

• Journal of Korean Port Research
• /
• v.13 no.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
• /
• v.48 no.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.

• IE interfaces
• /
• v.22 no.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.