• 논리연구
• /
• 제20권3호
• /
• pp.313-333
• /
• 2017

이 글에서 우리는 누승적 미아놈 논리 IMIAL의 몇몇 공리적 확장 체계의 표준 완전성을 다룬다. 이를 위하여, 먼저 누승적 미아놈에 바탕을 둔 일곱 개의 논리 체계를 소개한다. 각 체계에 상응하는 대수적 구조를 정의한 후, 이들 체계가 대수적으로 완전하다는 것을 보인다. 다음으로, 이 논리 체계들 중 네 체계가 표준적으로 완전하다는 것 즉 단위 실수 [0, 1]에서 완전하다는 것을 제네이-몬테그나 방식의 구성을 사용하여 보인다.

• 논리연구
• /
• 제18권2호
• /
• pp.197-215
• /
• 2015

이 글에서 우리는 누승적 미카놈 논리 IMICAL의 몇몇 공리적 확장 체계의 표준 완전성을 다룬다. 이를 위하여, 먼저 누승적 미카놈에 바탕을 둔 네 논리 체계를 소개한다. 각 체계에 상응하는 대수적 구조를 정의한 후, 이들 체계가 대수적으로 완전하다는 것을 보인다. 다음으로, 이 논리 체계들 중 두 체계가 표준적으로 완전하다는 것 즉 단위 실수 [0,1]에서 완전하다는 것을 제네이-몬테그나 방식의 구성을 사용하여 보인다.

• 한국지능시스템학회논문지
• /
• 제8권4호
• /
• pp.78-81
• /
• 1998

We introduce the concepts of coverings, direct products, cascade products and wreath products of fuzzy finite state machines and investigate their algebraic structures.

• 한국지능시스템학회논문지
• /
• 제10권2호
• /
• pp.103-106
• /
• 2000

We introduce the concepts of TL-finite state machines TL-transformation semigroups and coverings and several decompositions of transformation semigroups and investigate some their algebraic structures.

• Journal of the Korean Society for Industrial and Applied Mathematics
• /
• 제5권2호
• /
• pp.53-61
• /
• 2001

We introduce sums and joins of fuzzy finite state machines and investigate their algebraic structures.

• Korean Journal of Mathematics
• /
• 제32권1호
• /
• pp.27-42
• /
• 2024

In this paper we define generalized double group-groupoids and crossed modules over generalized group-groupoids. Also we prove that these algebraic structures are categorically equivalent.

• Structural Engineering and Mechanics
• /
• 제76권3호
• /
• pp.395-412
• /
• 2020

In this article, the values of internal force and deformation of a curved beam under any action with the firm or elastic supports are determined by using structural matrices. The article presents the general differential formulation of a curved beam in global coordinates, which is solved in an orderly manner using simple integrals, thus obtaining the transfer matrix expression. The matrix expression of rigidity is obtained through reordering operations on the transfer notation. The support conditions, firm or elastic, provide twelve equations. The objective of this article is the construction of the algebraic system of order twenty-four, twelve transfer equations and twelve support equations, which relates the values of internal force and deformation associated with the two ends of the directrix of the curved beam. This final algebraic system, expressed in matrix form, is divided into two subsystems: twelve algebraic equations of internal force and twelve algebraic equations of deformation. The internal force and deformation values for any point in the curved beam directrix are determined from these values in the initial position. The five examples presented show how to apply the matrix procedures developed in this article, whether they are curved beams with the firm or elastic support.

• Computers and Concrete
• /
• 제29권2호
• /
• pp.93-105
• /
• 2022

The degrees of freedom (DOFs) of high-rise structures increase rapidly due to the need for refined analysis, which poses a challenge toward a computationally efficient method for numerical analysis of high-rise structures using the finite element method (FEM). This paper presented an efficient iterative method, an algebraic multigrid (AMG) with a Jacobi overrelaxation smoother preconditioned conjugate gradient method (AMG-CG) used for solving large-scale structural system equations running on heterogeneous platforms with parallel accelerator graphics processing units (GPUs) enabled. Furthermore, an AMG-CG FEM application framework was established for the numerical analysis of high-rise structures. In the proposed method, the coarsening method, the optimal relaxation coefficient of the JOR smoother, the smoothing times, and the solution method for the coarsest grid of an AMG preconditioner were investigated via several numerical benchmarks of high-rise structures. The accuracy and the efficiency of the proposed FEM application framework were compared using the mature software Abaqus, and there were speedups of up to 18.4x when using an NVIDIA K40C GPU hosted in a workstation. The results demonstrated that the proposed method could improve the computational efficiency of solving structural system equations, and the AMG-CG FEM application framework was inherently suitable for numerical analysis of high-rise structures.

• 대한기계학회논문집
• /
• 제5권3호
• /
• pp.217-222
• /
• 1981

The stress analysis of two-orthotropic layer, adhesively bonded structures is considered. An orthotropic plate has a through-crack of finite length and is adhesively bounded by a sound orthotropic plate. The problem is resuced to a pair of Fredholm integral equations ofthe second kind. Using a numerical integration scheme to evaluate the intgrals, The integral equations are reduced to a system of algebraic equations. By solving these equations some numerical results for stress intensity factors are presented for various crack lengths.

• 한국지능시스템학회:학술대회논문집
• /
• 한국퍼지및지능시스템학회 1998년도 The Third Asian Fuzzy Systems Symposium
• /
• pp.80-82
• /
• 1998

we introduce the concept of coverings, direct products, cascade products and wreath products of T-fuzzy finite state machines and investigate their algebraic structures.