• 대한수학회논문집
• /
• 제23권1호
• /
• pp.29-40
• /
• 2008

Here, some classes of regular order semigroups are discussed. We shall consider that the problems of the existences of (multiplicative) inverse $^{\delta}po$-transversals for such classes of po-semigroups and obtain the following main results: (1) Giving the equivalent conditions of the existence of inverse $^{\delta}po$-transversals for regular order semigroups (2) showing the order orthodox semigroups with biggest inverses have necessarily a weakly multiplicative inverse $^{\delta}po$-transversal. (3) If the Green's relation $\cal{R}$ and $\cal{L}$ are strongly regular (see. sec.1), then any principally ordered regular semigroup (resp. ordered regular semigroup with biggest inverses) has necessarily a multiplicative inverse $^{\delta}po$-transversal. (4) Giving the structure theorem of principally ordered semigroups (resp. ordered regular semigroups with biggest inverses) on which $\cal{R}$ and $\cal{L}$ are strongly regular.

• 대한수학회지
• /
• 제56권5호
• /
• pp.1159-1172
• /
• 2019

A semigroup S is called a weakly abundant semigroup if its every $\tilde{\mathcal{L}}$-class and every $\tilde{\mathcal{R}}$-class contains an idempotent. Our purpose is to study an analogue of orthodox semigroups in the class of weakly abundant semigroups. Such an analogue is called a left quasi-abundant semigroup, which is a weakly abundant semigroup with a left quasi-normal band of idempotents and having the congruence condition (C). To build our main structure theorem for left quasi-abundant semigroups, we first give a sufficient and necessary condition of the idempotent set E(S) of a weakly abundant semigroup S being a left quasi-normal band. And then we construct a left quasi-abundant semigroup in terms of weak spined products. Such a result is a generalisation of that of Guo and Shum for left semi-perfect abundant semigroups. In addition, we consider a type Q semigroup which is a left quasi-abundant semigroup having the PC condition.

• Kyungpook Mathematical Journal
• /
• 제61권2호
• /
• pp.223-237
• /
• 2021

Let n be a fixed natural number. Menger algebras of rank n can be regarded as a canonical generalization of arbitrary semigroups. This paper is concerned with studying algebraic properties of Menger algebras of rank n by first defining a special class of full n-place functions, the so-called a left translation, which possess necessary and sufficient conditions for an (n + 1)-groupoid to be a Menger algebra of rank n. The isomorphism parts begin with introducing the concept of homomorphisms, and congruences in Menger algebras of rank n. These lead us to establish a quotient structure consisting a nonempty set factored by such congruences together with an operation defined on its equivalence classes. Finally, the fundamental homomorphism theorem and isomorphism theorems for Menger algebras of rank n are given. As a consequence, our results are significant in the study of algebraic theoretical Menger algebras of rank n. Furthermore, we extend the usual notions of ordinary semigroups in a natural way.

• 대한수학회보
• /
• 제60권2호
• /
• pp.339-348
• /
• 2023

It is shown that every nilpotent-invariant module can be decomposed into a direct sum of a quasi-injective module and a square-free module that are relatively injective and orthogonal. This paper is also concerned with rings satisfying every cyclic right R-module is nilpotent-invariant. We prove that R ≅ R₁ × R₂, where R₁, R₂ are rings which satisfy R₁ is a semi-simple Artinian ring and R₂ is square-free as a right R₂-module and all idempotents of R₂ is central. The paper concludes with a structure theorem for cyclic nilpotent-invariant right R-modules. Such a module is shown to have isomorphic simple modules eR and fR, where e, f are orthogonal primitive idempotents such that eRf ≠ 0.

• 대한수학회논문집
• /
• 제38권3호
• /
• pp.847-863
• /
• 2023

We introduce the study of generic lightlike submanifolds of a semi-Riemannian product manifold. We establish a characterization theorem for the induced connection on a generic lightlike submanifold to be a metric connection. We also find some conditions for the integrability of the distributions associated with generic lightlike submanifolds and discuss the geometry of foliations. Then we search for some results enabling a generic lightlike submanifold of a semi-Riemannian product manifold to be a generic lightlike product manifold. Finally, we examine minimal generic lightlike submanifolds of a semi-Riemannian product manifold.

• Computers and Concrete
• /
• 제30권5호
• /
• pp.357-367
• /
• 2022

In this paper, we propose an efficient control method that can be transformed into a general building control problem for building structure control using these reliability criteria. To facilitate the calculation of controller H∞, an efficient solution method based on Linear Matrix Inequality (LMI) is introduced, namely H∞-based LMI control. In addition, a self-tuning predictive grey fuzzy controller is proposed to solve the problem caused by wrong parameter selection to eliminates the effect of dynamic coupling between degrees of freedom (DOF) in Self-Tuning Fuzzy Controllers. We prove stability using Lyapunov's stability theorem. To check the applicability of the proposed method, the proposed controller is applied and the control characteristics are determined. The simulation assumes system uncertainty in the controller design and emphasizes the use of acceleration feedback as a practical consideration. Simulation results show that the performance of the proposed controller is impressive, stable, and consistent with the performance of LMI-based methods. Therefore, an effective control method is suitable for seismic reinforcement of civil buildings.

• 한국전산구조공학회논문집
• /
• 제25권6호
• /
• pp.549-558
• /
• 2012

본 논문에서는 레벨셋 방법을 이용하여, 소음을 차단하기 위한 음향 구조물의 형상 최적설계를 수행하였다. 형상 최적설계의 목적은 특정한 각도와 각속도로 입사되는 입사파에 대해서 음향 투과율(acoustic transmittance)이 최소가 되도록 음향 결정의 형상(inclusion shape)을 결정하는 것이다. 음향 결정 구조에서는 음향이 흩어져 있는 결정 구조에 의해서 굴절되기 때문에 결정 모양을 조정함으로써, 음향 거동을 제어할 수 있다. 본 연구에서는 음향 구조물로 결정이 수평방향으로는 주기적으로 무한히 분포하고 수직방향으로는 유한한 층간 구조를 가지고 있는 소음 방어벽(Noise barrier)을 고려한다. 주기적 구조물을 고려하기 때문에 결정의 좌와 우에 Bloch 이론을 적용해 주기적 경계조건을 부과하였고, 소음 방어벽 위와 아래에는 임피던스 행렬(impedance matrix)를 이용하여, 무한 균질 영역과 소음 방어벽 사이의 음파 투과를 모사하였다. 결정의 위상과 형상변화를 묘사하기 위해서 레벨셋 방법(level set method)을 사용하였다. 레벨셋 방법에서는 초기 영역을 고정시킨 상태에서, 레벨셋으로 표현되는 임시적 경계(implicit moving boundary)를 변화시킴으로써 복잡한 형상을 다룰 수 있다. 몇몇 수치적 예제를 통해, 제시된 방법의 적용성을 검증하였다.

• Structural Engineering and Mechanics
• /
• 제74권6호
• /
• pp.789-807
• /
• 2020

Multiple earthquakes that occur during short seismic intervals affect the inelastic behavior of the structures. Sequential ground motions against the single earthquake event cause the building structure to face loss in stiffness and its strength. Although, numerous research studies had been conducted in this research area but still significant limitations exist such as: 1) use of traditional design procedure which usually considers single seismic excitation; 2) selecting a seismic excitation data based on earthquake events occurred at another place and time. Therefore, it is important to study the effects of successive ground motions on the framed structures. The objective of this study is to overcome the aforementioned limitations through testing a two storey RC building structural model scaled down to 1/10 ratio through a similitude relation. The scaled model is examined using a shaking table. Thereafter, the experimental model results are validated with simulated results using ETABS software. The test framed specimen is subjected to sequential five artificial and four real-time earthquake motions. Dynamic response history analysis has been conducted to investigate the i) observed response and crack pattern; ii) maximum displacement; iii) residual displacement; iv) Interstorey drift ratio and damage limitation. The results of the study conclude that the low-rise building model has ability to resist successive artificial ground motion from its strength. Sequential artificial ground motions cause the framed structure to displace each storey twice in correlation with vary first artificial seismic vibration. The displacement parameters showed that real-time successive ground motions have a limited impact on the low-rise reinforced concrete model. The finding shows that traditional seismic design EC8 requires to reconsider the traditional design procedure.

• 대한수학회보
• /
• 제34권3호
• /
• pp.385-394
• /
• 1997

In this paper, we prove in p-uniforlmy convex space a fixed point theorem for a class of mappings T satsfying: for each x, y in the domain and for n = 1, 2, 3, $\cdots$, $$ \left\$\mid$ T^n x - T^n y \right\$\mid$ \leq a \cdot \left\$\mid$ x - y \right\$\mid$ + b(\left\$\mid$ x - T^n x \right\$\mid$ + \left\$\mid$ y - T^n y \right\$\mid$) + c(\left\$\mid$ c - T^n y \right\$\mid$ + \left\$\mid$ y - T^n x \right\$\mid$, $$ where a, b, c are nonnegative constants satisfying certain conditions. Further we establish some fixed point theorems for these mappings in a Hilbert space, in $L^p$ spaces, in Hardy spaces $H^p$ and in Sobolev spaces $H^{p,k}$ for 1 < p < $\infty$ and k $\leq$ 0. As a consequence of our main result, we also the results of Goebel and Kirk [7], Lim [8], Lifshitz [12], Xu [20] and others.

• International Journal of Aeronautical and Space Sciences
• /
• 제14권1호
• /
• pp.75-84
• /
• 2013

In this paper, the guidance law for formation flight and collision avoidance of multiple Unmanned Aerial Vehicle (UAV)s is proposed. To construct the physically comprehensible guidance law for formation flight, the virtual structure approach is used. To develop a guidance law for collision avoidance considering both other UAVs and unknown static obstacles, a geometric approach using information such as a relative position vector is utilized. Through the Lyapunov theorem, the stability of the proposed guidance law is proved. To combine guidance commands, the concept of the elastic weighting factor inspired by the elastic behavior of shape memory polymer, which tends to regain its original shape after deformation, is introduced. By using the concept of elastic weighting factor, multiple UAVs are able to cope actively with the situation of a collision between both UAVs and static obstacles during the formation flight. To verify the performance of the proposed method, numerical simulations are performed.