• International Journal of Advanced Culture Technology
• /
• 제7권3호
• /
• pp.158-165
• /
• 2019

Knowledge based system includes tools for constructing, testing, validating and refining the system along with user interfaces. An important issue in the design of a complete knowledge based system is the ability to produce explanations. Explanations are not just a series of rules involved in reasoning track. More detailed and explicit form of explanations is required not only for reliable reasoning but also for maintainability of the knowledge based system. This requires the explanation mechanisms to extend from knowledge oriented analysis to task oriented explanations. The explicit modeling of problem solving structures is suggested for explanation generation as well as for efficient and effective reasoning. Unlike other explanation scheme such as feedback explanation, the detailed, smaller and explicit representation of problem solving constructs can provide the system with capability of quality explanation. As a key step to development for explanation scheme, the problem solving methods are broken down into a finer grained problem solving primitives. The system records all the steps with problem solving primitives and knowledge involved in the reasoning. These are used to validate the conclusion of the consultation through explanations. The system provides user interfaces and uses specific templates for generating explanation text.

• Wind and Structures
• /
• 제20권3호
• /
• pp.423-448
• /
• 2015

In this paper the unsteady fluid-structure interaction (FSI) problems with large structural displacement are solved by partitioned solution approaches in the arbitrary Lagrangian-Eulerian finite element framework. The incompressible Navier-Stokes equations are solved by the characteristic-based split (CBS) scheme. Both a rigid body and a geometrically nonlinear solid are considered as the structural models. The latter is solved by Newton-Raphson procedure. The equation governing the structural motion is advanced by Newmark-${\beta}$ method in time. The dynamic mesh is updated by using moving submesh approach that cooperates with the ortho-semi-torsional spring analogy method. A mass source term (MST) is introduced into the CBS scheme to satisfy geometric conservation law. Three partitioned coupling strategies are developed to take FSI into account, involving the explicit, implicit and semi-implicit schemes. The semi-implicit scheme is a mixture of the explicit and implicit coupling schemes due to the fluid projection splitting. In this scheme MST is renewed for interfacial elements. Fixed-point algorithm with Aitken's ${\Delta}^2$ method is carried out to couple different solvers within the implicit and semi-implicit schemes. Flow-induced vibrations of a bridge deck and a flexible cantilever behind an obstacle are analyzed to test the performance of the proposed methods. The overall numerical results agree well with the existing data, demonstrating the validity and applicability of the present approaches.

• 한국전산구조공학회:학술대회논문집
• /
• 한국전산구조공학회 2010년도 정기 학술대회
• /
• pp.179-182
• /
• 2010

본 연구에서는 MLS 차분법을 이용하여 동역학 문제를 해석하기 위한 explicit 동적해석 알고리즘을 제시한다. 격자망이 없는 장점을 부각시키기 위해 이동최소제곱법에 근거한 Taylor 전개로부터 미분근사를 얻고 차분식을 구성했다. 지배 미분방정식의 시간항을 CDM(Central difference Method) 차분하여 빠른 속도로 동적해석을 수행하였다. 수치결과를 통해 본 연구에서 제시한 알고리즘의 정확성과 안정성을 확인할 수 있었다.

• 대한수학회지
• /
• 제50권3호
• /
• pp.509-527
• /
• 2013

A Krawtchouk polynomial is introduced as the classical Mac-Williams identity, which can be expressed in weight-enumerator-free form of a linear code and its dual code over a Hamming scheme. In this paper we find a new explicit expression for the $p$-number and the $q$-number, which are more generalized notions of the Krawtchouk polynomial in the P-polynomial schemes by using an extended version of a discrete Green's function. As corollaries, we obtain a new expression of the Krawtchouk polynomial over the Hamming scheme and the Eberlein polynomial over the Johnson scheme. Furthermore, we find another version of the MacWilliams identity over a Hamming scheme.

• Journal of applied mathematics & informatics
• /
• 제29권5_6호
• /
• pp.1477-1487
• /
• 2011

We propose a numerical method for solving Allen-Cahn equation, in both one-dimensional and two-dimensional cases. The new scheme that is explicit, stable, and easy to compute is obtained and the proposed method provides a straightforward and effective way for nonlinear evolution equations.

• 한국전산유체공학회지
• /
• 제8권4호
• /
• pp.1-5
• /
• 2003

A Thin-layer Wavier-Stokes equations are applied for the hypersonic flow over blunt bodies with applications to laminar as well as turbulent flows. The equations are expressed in the forms of flux-vector splitting and explicit algorithm. The upwind schemes of Steger-Warming and Van Leer are investigated to predict accurately the heating loads along the surface of the body. A mixed scheme has been presented for the differencing the convective terms and the mixed scheme is found to be less dissipative producing accurate solutions.

• East Asian mathematical journal
• /
• 제26권3호
• /
• pp.337-350
• /
• 2010

Strong convergence theorem of the explicit viscosity iterative scheme involving the sunny nonexpansive retraction for nonexpansive nonself-mappings is established in a reflexive and strictly convex Banach spaces having a weakly sequentially continuous duality mapping. The main result improves the corresponding result of [19] to the more general class of mappings together with certain different control conditions.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2003년도 봄 학술발표논문집 Vol.30 No.1 (A)
• /
• pp.257-259
• /
• 2003

본 논문에서는 전자화폐 시스템의 인출 프로토콜의 안전성에 관해서 고찰한다. 익명성을 제공하는 인출 프로토콜에서는 사용자 인증과 더불어 은닉 서명을 동시에 사용한다. 먼저 은닉 서명을 분류하고, 이들 은닉서명 프로토콜과 사용자 인증 프로토콜의 결합 방식 중에서 인증후 은닉서명 방식(Identification-then-Blind Signature)에 대한 공격을 설명한다. 그리고 인증과 은닉서명을 동시에 하는 방식(Identification-and-Blind Signature)을 이용해서 명시적 수신자 은닉 서명(Blind Signature Scheme with Explicit Identified Receiver)을 제안하며, 그것들의 안전성에 대해서 분석한다.

• 소성∙가공
• /
• 제3권1호
• /
• pp.84-96
• /
• 1994

Simulation of 3 dimensional large irregularly shaped stamping process by a dynamic approach, based on an explicit time integration scheme, has been shown to be highly efficient and robust in comparison to traditional, implicit, quasi-static ones. The objective of the work is to evaluate the results from explicit code in application to deep drawing of rectangular cup and stamping of automotive front fender, in which deformation, force, thickness distribution are calculated. The method of predicting spring back and formability by and explicit code are suggested and applied to the processes.

• 대한산업공학회지
• /
• 제16권2호
• /
• pp.63-70
• /
• 1990

This paper presents a new temporal reasoning scheme based on explicit expression of time intervals. The proposed scheme deals with the general problem of temporal knowledge representation and temporal reasoning and may be used in rule-based systems and qualitative models. Time intervals, not time points, are defined in terms of orders and/or numbers in a quantity space. As a result, the system behavior is represented in the form of partially ordered networks. Such explicit and qualitative description of temporal quantities enables both reduction of ambiguity and parsimonious used of temporal information. Based on the proposed temporal reasoning scheme, a new rule-based qualitative simulation system is being built and evaluated.