• Journal of applied mathematics & informatics
• /
• 제39권5_6호
• /
• pp.655-676
• /
• 2021

A parameter uniform numerical scheme is proposed for solving singularly perturbed parabolic partial differential-difference convection-diffusion equations with a small delay and advance parameters in reaction terms and spatial variable. Taylor's series expansion is applied to approximate problems with the delay and advance terms. The resulting singularly perturbed parabolic convection-diffusion equation is solved by utilizing the implicit Euler method for the temporal discretization and finite difference method for the spatial discretization on a uniform mesh. The proposed numerical scheme is shown to be an ε-uniformly convergent accurate of the first order in time and second-order in space directions. The efficiency of the scheme is proved by some numerical experiments and by comparing the results with other results. It has been found that the proposed numerical scheme gives a more accurate approximate solution than some available numerical methods in the literature.

• 한국전산유체공학회:학술대회논문집
• /
• 한국전산유체공학회 1999년도 추계 학술대회논문집
• /
• pp.59-64
• /
• 1999

The Equations of Chemical kinetics ate very stiff, which forces the use of an implicit scheme. The problem of implicit scheme, however, is that the jacobian must be solved at each time step. In this paper, we examined the approximate chemical jacobian methods such as Gauss-Seidel, Jacobi partial jacobian and diagonalized jacobian that can be stable without full jacobian, We show that Gauss-Seidel jacobian method is stable and accurate as well as full jacobian and that this is more efficient in supersonic combustion problem about $20\%$ than the full jacobian method with same accuracy,

• 전기학회논문지P
• /
• 제53권4호
• /
• pp.210-215
• /
• 2004

This paper proposes an implicit method for computing the minimum cost feedback vertex set for a graph. For an arbitrary graph, a Boolean function is derived, whose satisfying assignments directly correspond to feedback vertex sets of the graph. Importantly, cycles in the graph are never explicitly enumerated, but rather, are captured implicitly in this Boolean function. This function is then used to determine the minimum cost feedback vertex set. Even though computing the minimum cost satisfying assignment for a Boolean function remains an NP-hard problem, it is possible to exploit the advances made in the area of Boolean function representation in logic synthesis to tackle this problem efficiently in practice for even reasonably large sized graphs. The algorithm has obvious application in flip-flop selection for partial scan. The algorithm proposed in this paper is the first to obtain the MFVS solutions for many benchmark circuits.

• 한국추진공학회:학술대회논문집
• /
• 한국추진공학회 2004년도 제22회 춘계학술대회논문집
• /
• pp.391-397
• /
• 2004

The performance characteristics of partial admission supersonic turbines are analyzed by using the commercial CFD program FLUENT6.0. The governing equations were discretized with Euler implicit method in time and 2nd-order upwind scheme of FVM in space. The k-$\varepsilon$ turbulence model was utilized to describe the turbulent flow field. In order to investigate the nozzle--rotor interactions and the effect of partial admission, the flows in supersonic turbine rotor cascades with a nozzle are computed. Extensive computations of partial admission supersonic turbines provide the shock structures and flow patterns in the nozzle and rotor. It is clearly shown that the nozzle flow is highly affected by the shocks or expansion waves propagated from the rotor leading edge. And the rotor flow is also affected by the shocks or wakes originated from the nozzle.

• 전자공학회논문지C
• /
• 제35C권4호
• /
• pp.30-37
• /
• 1998

In this paper, we propose a test generation method for large scale sequential circuits based on circuit partitioning to increase the size of circuits that the implicit product machine traversal (IPMT) method can handle. Our method paratitions a circuit under test into subset circuits with only single output, and performs a partial scan design using the state transtition cost that represents a degree of the connectivity of the subset circuit. The IPMT method is applied to the partitioned partial scan circuits in test generation. Experimental results for ISCAS89 benchmark circuits with more thatn 50 flip-flops show that our method has generated test patterns with almost 100% fault coverage at high speed by use of 34%-73% scanned flip-flops.

• Structural Engineering and Mechanics
• /
• 제56권4호
• /
• pp.549-567
• /
• 2015

A first-order moment method (FORM) reliability analysis is commonly used for structural stability analysis. It requires the values and partial derivatives of the performance to function with respect to the random variables for the design. These calculations can be cumbersome when the performance functions are implicit. A Gaussian process (GP)-based response surface is adopted in this study to approximate the limit state function. By using a trained GP model, a large number of values and partial derivatives of the performance functions can be obtained for conventional reliability analysis with a FORM, thereby reducing the number of stability analysis calculations. This dynamic renewed knowledge source can provide great assistance in improving the predictive capacity of GP during the iterative process, particularly from the view of machine learning. An iterative algorithm is therefore proposed to improve the precision of GP approximation around the design point by constantly adding new design points to the initial training set. Examples are provided to illustrate the GP-based response surface for both structural and non-structural reliability analyses. The results show that the proposed approach is applicable to structural reliability analyses that involve implicit performance functions and structural response evaluations that entail time-consuming finite element analyses.

• Steel and Composite Structures
• /
• 제47권5호
• /
• pp.569-585
• /
• 2023

This paper proposes an efficient approach for the structural topology optimization of bi-directional functionally graded structures by incorporating popular radial basis functions (RBFs) into an implicit level set (ILS) method. Compared to traditional element density-based methods, a level set (LS) description of material boundaries produces a smoother boundary description of the design. The paper develops RBF implicit modeling with multiquadric (MQ) splines, thin-plate spline (TPS), exponential spline (ES), and Gaussians (GS) to define the ILS function with high accuracy and smoothness. The optimization problem is formulated by considering RBF-based nodal densities as design variables and minimizing the compliance objective function. A LS-RBF optimization method is proposed to transform a Hamilton-Jacobi partial differential equation (PDE) into a system of coupled non-linear ordinary differential equations (ODEs) over the entire design domain using a collocation formulation of the method of lines design variables. The paper presents detailed mathematical expressions for BiDFG beams topology optimization with two different material models: continuum functionally graded (CFG) and mechanical functionally graded (MFG). Several numerical examples are presented to verify the method's efficiency, reliability, and success in accuracy, convergence speed, and insensitivity to initial designs in the topology optimization of two-dimensional (2D) structures. Overall, the paper presents a novel and efficient approach to topology optimization that can handle bi-directional functionally graded structures with complex geometries.

• 대한수학회지
• /
• 제59권6호
• /
• pp.1171-1184
• /
• 2022

We study the real-analytic continuation of local real-analytic solutions to the Cauchy problems of quasi-linear partial differential equations of first order for a scalar function. By making use of the first integrals of the characteristic vector field and the implicit function theorem we determine the maximal domain of the analytic extension of a local solution as a single-valued function. We present some examples including the scalar conservation laws that admit global first integrals so that our method is applicable.

• 수산해양기술연구
• /
• 제17권2호
• /
• pp.71-76
• /
• 1981

일차원 부정류 해석의 수치해석모형을 만들기 위하여 Preissmann형의 Implicit법을 Saint venant식에 도입하였으며 모형의 안정성과 정도에 관하여 검토하였고 수치실험을 실시하였다. 1. 보조관계식을 도입함으로써 Double Sweep알골이즘을 사용할 수 있었다. 2. 계산결과의 안정성과 정도에 큰 영향을 주는 인자는 $\Delta$t/$\Delta$x 및 $\theta$인 바 $\Delta$t/$\Delta$x은 1보다 너무 크거나 작은 경우를 피해야 하며 0.6<$\theta$<1.0일 때 무조건 안정이다. 3. 마찰계수와 $\theta$치를 적절히 조절하여 실제흐름에서의 에너지 소멸과 같은 효과를 얻게 됨으로써 이 모형은 일차원 부정류흐름의 해석에 있어 매우 유용함을 확인할 수 있었다. 4. 앞으로 실측자료에 의한 보정과 더불어 지류와 합류가 있는 하천 수계에 대한 System해석모형 또는 해안에서의 장파에 대한 일차원 해석모형 등의 개발에 응용될 수 있다.

• 한국경영과학회:학술대회논문집
• /
• 대한산업공학회/한국경영과학회 2004년도 춘계공동학술대회 논문집
• /
• pp.595-598
• /
• 2004

In recognizing knowledge as a new resource in gaining organizational competitiveness, knowledge management suggests a method in managing and applying knowledge for improving organizational performance. Much knowledge management research has focused on identifying, storing, and disseminating process related knowledge in an organized manner. Applying knowledge to decision making has a significant impact on organizational performance than solely processing transactions for knowledge management. In this research, we suggest a method of knowledge-based decision-making using system dynamics, with an emphasis to strategic problems. The proposed method transforms individual mental models into explicit knowledge by translating partial and implicit knowledge into an integrated knowledge model. The scenario-based test of the organized knowledge model enables decision-makers to understand the structure of the target problem and identify its basic cause, which facilitates effective decision-making. This method facilitates the linkage between knowledge management initiatives and achieving strategic goals and objectives of an organization.