• Journal of the Chungcheong Mathematical Society
• /
• v.29 no.3
• /
• pp.491-502
• /
• 2016

In this paper, as a generalization of symmetric bi-derivations and symmetric bi-f-derivations of a lattice, we introduce the notion of symmetric bi-(f, g)-derivations of a lattice. Also, we define the isotone symmetric bi-(f, g)-derivation and obtain some interesting results about isotone. Using the notion of $Fix_a(L)$ and KerD, we give some characterization of symmetric bi-(f, g)-derivations in a lattice.

• Journal of the Korean Mathematical Society
• /
• v.32 no.1
• /
• pp.141-149
• /
• 1995

Let N denote the set of positive integers. Fix $d_1, d_2 \in N with d = d_1 + d_2$. Let X and Y be real random variables and let ${X_i : i \in N^d_1} and {Y_j : j \in N^d_2}$ be independent families of independent identically distributed random variables with $L(X) = L(X_i) and L(Y) = L(Y_j)$, where $L(\cdot)$ denote the law of $\cdot$.

• Korean Journal of Mathematics
• /
• v.27 no.4
• /
• pp.1119-1131
• /
• 2019

In this paper, we introduce the notion of generalized f-derivation of lattice implication algebra and investigate some related properties. Also, we prove that if D is a generalized f-derivation associated with an f-derivation d of L, then D(x → y) = f(x) → D(y) for all x, y ∈ L.

• East Asian mathematical journal
• /
• v.36 no.1
• /
• pp.1-11
• /
• 2020

In this paper, we introduce the notion of symmetric bi-f-derivation of lattice implication algebra and investigated some related properties. Also, we prove that if D is a symmetric bi-f-derivation of L, then D(x → y, z) = f(x) → D(y, z) for all x, y, z ∈ L.

• Journal of the Chungcheong Mathematical Society
• /
• v.32 no.2
• /
• pp.179-189
• /
• 2019

In this paper, we introduce the notion of symmetric bi-generalized derivation of lattice implication algebra L and investigated some related properties. Also, we prove that a map $F:L{\times}L{\rightarrow}L$ is a symmetric bi-generalized derivation associated with symmetric bi-derivation D on L if and only if F is a symmetric map and it satisfies $F(x{\rightarrow}y,z)=x{\rightarrow}F(y,z)$ for all $x,y,z{\in}L$.

• Journal of Advanced Navigation Technology
• /
• v.24 no.6
• /
• pp.500-507
• /
• 2020

This paper presents a risk assessment methodology for standard flight procedures using recorded automatic dependent surveillance-broadcast (ADS-B) data. Utilizing the proposed methodology, the results of risk analyses in RKSI (incheon international airport) and RKSS (gimpo international airport) using trajectories that are regenerated based on 100 days of ADS-B data are presented. For the risk metric, detect and avoid well clear (DWC) is used. With this index, each procedure was evaluated for the sections with highest level of risk. Among the standard instrument departure (SID) of RKSI, the section between SI712 and RANOS of RNAV BOPTA 1L showed the highest level of risk. For the standard terminal arrival route (STAR) of RKSI, section between SI947 and DANAN of RNAV GUKDO 1N wasthe one with the highest level of risk. For RKSS, the segment between SS726 and SS727 of RNAV BULTI 1X and the segment between KAKSO and KALMA of RNAV OLMEN 1D showed the highest level of risk among the SIDs and STARs, respectivly.

• Journal of the Chungcheong Mathematical Society
• /
• v.35 no.2
• /
• pp.125-136
• /
• 2022

The goal of this paper is to introduce the notion of generalized symmetric bi-f-derivations in lattices and to study some properties of generalized symmetric f-derivations of lattice. Moreover, we consider generalized isotone symmetric bi-f-derivations and fixed sets related to generalized symmetric bi-f-derivations.

• Korean Journal of Mathematics
• /
• v.24 no.3
• /
• pp.345-367
• /
• 2016

The concept of derivations of BCI-algebras was first introduced by Jun and Xin. In this paper, we introduce the notions of (l, r)-derivations, (r, l)-derivations and derivations of UP-algebras and investigate some related properties. In addition, we define two subsets $Ker_d(A)$ and $Fix_d(A)$ for some derivation d of a UP-algebra A, and we consider some properties of these as well.

• Journal of the Korea institute for structural maintenance and inspection
• /
• v.23 no.2
• /
• pp.84-91
• /
• 2019

Recently, there has been a tendency to improve seismic performance of building structure by installing a steel hysteretic damping device which is economically efficient and easy to install and maintain. However, for a reinforced concrete building, a set of complicated connecting hardware and braces to fix the steel hysteretic damping device yields deteriorated reliability in damping performance. Therefore, this study presents a method of directly embedding a Kagome damper, which was investigated in previous researches, into a concrete structure without additional connecting hardware. Moreover, in this study, a series of experiments conducted to provide a basis of the Kagome damper by confirming the seismic behavior for various embedded lengths. As a result, in a group of the embedded length of $1.0l_d$, the dampers were pulled out, while concrete breakout occurs. In a group of $2.0l_d$, neither pull-out nor concrete breakout occurred, while the dampers show stable behavior. Moreover, the buried length of $2.0l_d$ has 1.3 times better energy dissipation capacity. The system presented in this study can reduce the cost and period for installing, omitting making additional hardware.

• Journal of Korean Association for Spatial Structures
• /
• v.16 no.1
• /
• pp.73-84
• /
• 2016

This study analyzes the four composition elements : profile, anchorage and connection, material and member rigidity, stability, as the main composition design elements of flexure structure systems, in order to explore possibilities for more various structure designs in architectures with flexure structure system. It also examines typical design methods that use the mentioned four composition elements. At the results, this research presents an understanding of the differences between funicular shape and non-funicular shape and mechanical features of the shapes in the profile element, regarding to the ratio of rise height to span length(f/l). Also, the typical design methods are presented for the designable usages of the hinge joints and the fix joints, and for the applications of member rigidity expressed by the index of the ratio of member depth to span length(d/l). And it was presented that connection styles, addition of brace members, placement of shear walls are the main design methods in the stability element. This data would be useful to architectural designs concerning integrated design with structures.