• 논리연구
• /
• 제19권1호
• /
• pp.107-126
• /
• 2016

이 글에서 우리는 약화 없는 비교환적인 퍼지 논리의 크립키형 의미론을 다룬다. 이의 한 예로, 우리는 가-유니놈에 기반한 퍼지 논리 HpsUL의 한 확장 체계인 $CnHpsUL^*$을 위한 대수적 크립키형 의미론을 고려한다. 이를 위하여 먼저 $CnHpsUL^*$ 체계를 소개하고 그에 상응하는 $CnHpsUL^*$-대수를 정의한 후 $CnHpsUL^*$이 대수적으로 완전하다는 것을 보인다. 다음으로 $CnHpsUL^*$을 위한 크립키형 의미론을 소개하고 이를 대수적 의미론과 연관 짓는다.

• 논리연구
• /
• 제15권1호
• /
• pp.1-16
• /
• 2012

이 글에서 우리는 퍼지 논리들을 위한 크립키형 의미론을 다룬다. 이를 위한 한 예로 UL을 위한 크립키형 의미론을 다룬다. 이를 위하여 먼저 UL 채계를 소개하고 그에 상응하는 UL-대수를 정의한 후 UL이 대수적으로 완전하다는 것을 보인다. 다음으로 UL을 위한 크립키형 의미론을 소개하고 이를 대수적 의미론과 연관 짓는다.

• Journal of applied mathematics & informatics
• /
• 제19권1_2호
• /
• pp.57-75
• /
• 2005

Quasigroups are algebraic structures closely related to Latin squares which have many different applications. There are several classifications of quasigroups based on their algebraic properties. In this paper we propose another classification based on the properties of strings obtained by specific quasigroup transformations. More precisely, in our research we identified some quasigroup transformations which can be applied to arbitrary strings to produce pseudo random sequences. We performed tests for randomness of the obtained pseudo-random sequences by random walks on torus. The randomness tests provided an empirical classification of quasigroups.

• 논리연구
• /
• 제12권1호
• /
• pp.89-110
• /
• 2009

This paper investigates generalizations of weakening-free uninorm logics not assuming associativity of intensional conjunction (so called fusion) &, as non-associative fuzzy-relevance logics. First, the strong t-associative monoidal uninorm logic StAMUL and its schematic extensions are introduced as non-associative propositional fuzzy-relevance logics. (Non-associativity here means that, differently from classical logic, & is no longer associative.) Then the algebraic structures corresponding to the systems are defined, and algebraic completeness results for them are provided. Next, predicate calculi corresponding to the propositional systems introduced here are considered.

• International Journal of Precision Engineering and Manufacturing
• /
• 제3권4호
• /
• pp.54-63
• /
• 2002

In recent years, mechanical systems such as high speed vehicles and railway trains moving on elastic beam structures have become a very important issue to consider. In this paper, a general approach, which can predict the dynamic behavior of a constrained mechanical system moving on a flexible beam structure, is proposed. Various supporting conditions for the foundation support are considered for the elastic beam structure. The elastic structure is assumed to be a non-uniform and linear Bernoulli-Euler beam with a proportional damping effect. Combined differential-algebraic equation of motion is derived using the multi-body dynamics theory and the finite element method. The proposed equations of motion can be solved numerically using the generalized coordinate partitioning method and predictor-corrector algorithm, which is an implicit multi-step integration method.

• 대한수학회논문집
• /
• 제31권2호
• /
• pp.247-259
• /
• 2016

We first give the constructions of (Jordan) higher derivations on a trivial extension algebra and then we provide some sufficient conditions under which a Jordan higher derivation on a trivial extension algebra is a higher derivation. We then proceed to the trivial generalized matrix algebras as a special trivial extension algebra. As an application we characterize the construction of Jordan higher derivations on a triangular algebra. We also provide some illuminating examples of Jordan higher derivations on certain trivial extension algebras which are not higher derivations.

• Structural Engineering and Mechanics
• /
• 제5권3호
• /
• pp.283-295
• /
• 1997

This paper presents a high precision integration method for the dynamic response analysis of structures with holonomic constraints. A detail recursive scheme suitable for algebraic and differential equations (ADEs) which incorporates generalized forces is established. The matrix exponential involved in the scheme is calculated precisely using $2^N$ algorithm. The Taylor expansions of the nonlinear term concerned with state variables of the structure and the generalized constraint forces of the ADEs are derived and consequently, their particular integrals are obtained. The accuracy and effectiveness of the present method is demonstrated by two numerical examples, a plane truss with circular slot at its tip point and a slewing flexible cantilever beam which is currently interesting in optimal control of robot manipulators.

• Journal of Applied and Pure Mathematics
• /
• 제5권1_2호
• /
• pp.1-8
• /
• 2023

This study is on a Boolean B or Boolean lattice L in abstract algebra with closed binary operation *, complement and distributive properties. Both Binary operations and logic properties dominate this set. A lattice sheds light on binary operations and other algebraic structures. In particular, the construction of the elements of this L set from idempotent elements, our definition of k-order idempotent has led to the expanded definition of the definition of the lattice theory. In addition, a lattice offers clever solutions to vital problems in life with the concept of logic. The restriction on a lattice is clearly also limit such applications. The flexibility of logical theories adds even more vitality to practices. This is the main theme of the study. Therefore, the properties of the set elements resulting from the binary operation force the logic theory. According to the new definition given, some properties, lemmas and theorems of the lattice theory are examined. Examples of different situations are given.

• 논리연구
• /
• 제20권2호
• /
• pp.273-292
• /
• 2017

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

• Journal of the Korean Society for Industrial and Applied Mathematics
• /
• 제20권1호
• /
• pp.37-50
• /
• 2016

A large eddy simulation (LES) of a turbulent channel flow is performed by using the third order low-storage Runge-Kutta method in time and second order finite difference formulation in space with staggered grid at a Reynolds number, $Re_{\tau}=590$ based on the channel half width, ${\delta}$ and wall shear velocity, $u_{\tau}$. To reduce the calculation cost of LES, algebraic wall model (AWM) is applied to approximate the near-wall region. The computation is performed in a domain of $2{\pi}{\delta}{\times}2{\delta}{\times}{\pi}{\delta}$ with $32{\times}20{\times}32$ grid points. Standard Smagorinsky model is used for subgrid-scale (SGS) modeling. Essential turbulence statistics of the flow field are computed and compared with Direct Numerical Simulation (DNS) data and LES data using no wall model. Agreements as well as discrepancies are discussed. The flow structures in the computed flow field have also been discussed and compared with LES data using no wall model.