• Journal of the Korean Mathematical Society
• /
• v.49 no.5
• /
• pp.1083-1096
• /
• 2012

For a given ideal I of a Noetherian ring R and an arbitrary integer ${\kappa}{\geq}-1$, we apply the concept of ${\kappa}$-regular sequences and the notion of ${\kappa}$-depth to give some results on modules called ${\kappa}$-Cohen Macaulay modules, which in local case, is exactly the ${\kappa}$-modules (as a generalization of f-modules). Meanwhile, we give an expression of local cohomology with respect to any ${\kappa}$-regular sequence in I, in a particular case. We prove that the dimension of homology modules of the Koszul complex with respect to any ${\kappa}$-regular sequence is at most ${\kappa}$. Therefore homology modules of the Koszul complex with respect to any filter regular sequence has finite length.

• Bulletin of the Korean Mathematical Society
• /
• v.59 no.3
• /
• pp.643-657
• /
• 2022

Let R be a ring and S a multiplicative subset of R. An R-module T is called u-S-torsion (u-always abbreviates uniformly) provided that sT = 0 for some s ∈ S. The notion of u-S-exact sequences is also introduced from the viewpoint of uniformity. An R-module F is called u-S-flat provided that the induced sequence 0 → A ⊗_R F → B ⊗_R F → C ⊗_R F → 0 is u-S-exact for any u-S-exact sequence 0 → A → B → C → 0. A ring R is called u-S-von Neumann regular provided there exists an element s ∈ S satisfying that for any a ∈ R there exists r ∈ R such that sα = rα². We obtain that a ring R is a u-S-von Neumann regular ring if and only if any R-module is u-S-flat. Several properties of u-S-flat modules and u-S-von Neumann regular rings are obtained.

• Honam Mathematical Journal
• /
• v.41 no.4
• /
• pp.725-744
• /
• 2019

In this paper we introduce some new types of double difference sequence spaces defined by a new definition of convergence of double sequences and a double series with the help of sequence of Orlicz functions and a four dimensional bounded regular matrices A = (a_rtkl). We also make an effort to study some topological properties and inclusion relations between these sequence spaces. Finally, we compute the closed ideals in the space 𝑙²_∞.

• KIISE Transactions on Computing Practices
• /
• v.23 no.2
• /
• pp.97-103
• /
• 2017

Many hardware-based regular expression matching architectures have been proposed for high-performance matching. In particular, regular expression processors, which perform pattern matching by treating the regular expressions as the instruction sequence like general purpose processors, have been proposed. After instruction sequence and data are provided in the instruction memory and data memory, respectively, a regular expression processor can perform pattern matching. To use a regular expression processor as a coprocessor, we need the host interface to transfer the instruction and data into the memory of a regular expression processor. In this paper, we design and implement the host interface between a host and a regular expression processor in the DE1-SoC board and the application program interface. We verify the operations of the host interface and a regular expression processor by executing the application programs which perform pattern matching using the application program interface.

• Bulletin of the Korean Mathematical Society
• /
• v.31 no.1
• /
• pp.105-113
• /
• 1994

In the course of study of dendroids, Czuba [3] introduced a notion of $R^{i}$ -continua which is a generalization of R-arc [1]. He showed a new class of non-contractible dendroids, namely of dendroids which contain an $R^{i}$ -continuum. Subsecequently Charatonik [2] attempted to extend the notion into hyperspace C(X) of metric continuum X. In so doing, there were some oversights in extending some of the results relating $R^{i}$ -continua of dendroids for metric continua. In fact, Proposition 1 in [2] is false (see example C below) and his proof of Theorem 6 in [2] is not correct (Take Example 4 in [4] with K = [e,e'] as an $R^{1}$-continuum of X and work it out. Then one seens that K not .mem. K as he claimed otherwise.). The aims of this paper are to introduce a notion of w-regular convergence which is weaker than 0-regular convergence and to prove that the w-regular convergence of a sequence {Xn}$^{\infty}$$_{n=1}$ to $X_{0}$ of subcontinua of a metric continuum X is a necessary and sufficient for the sequence {C( $X_{n}$)}$^{\infty}$$_{n=1}$ to converge to C( $X_{0}$ ), and also to prove that if a metric continuum X contains an $R^{i}$ -continuum with w-regular convergence, then the hyperspace C(X) of X contains $R^{i}$ -continuum.inuum.uum.

• The Journal of the Korea Contents Association
• /
• v.9 no.5
• /
• pp.76-83
• /
• 2009

This paper presents a compression method for animated meshes or mesh sequences which have a shared connectivity and geometry streams. Our approach is based on static semi-regular mesh compression algorithm introduced by Khodakovky et al. Our encoding algorithm consists of two stages. First, the proposed technique creates a semi-regular mesh sequence from an input irregular mesh sequence. For semi-regular remeshing of irregular mesh sequences, this paper adapts the MAPS algorithm. However, MAPS cannot directly be performed to the input irregular mesh sequence. Thus, the proposed remesh algorithm revises the MAPS remesher using the clustering information, which classify coherent parts during the animation. The second stage uses wavelet transformation and clustering information to compress geometries of mesh sequences efficiently. The proposed compression algorithm predicts the vertex trajectories using the clustering information and the cluster transformation during the animation and compress the difference other frames from the reference frame in order to reduce the range of 3D position values.

• Structural Engineering and Mechanics
• /
• v.52 no.5
• /
• pp.919-935
• /
• 2014

In this study, the control of the shape of pre-stressed cable structures and the effective control element were examined. The process of deriving the displacement control equations using the force method was explained, and the concurrent control scheme (CCS) and the sequence control scheme (SCS) were proposed. To explain the control scheme process, the quadrilateral cable net model was adopted and classified into a regular model and an irregular model for the analysis of the control results. In the control analysis of the regular model, the CCS and SCS analysis results proved reliable. For the SCS, the errors occur in the control stage and varied according to the control sequence. In the control analysis of the irregular model, the CCS analysis result also proved relatively reliable, and the SCS analysis result with the correction of errors in each stage was found nearly consistent with the target shape after the control. Finally, to investigate an effective control element, the Geiger cable dome was adopted. A set of non-redundant elements was evaluated in the reduced row echelon form of a coefficient matrix of control equations. Important elements for shape control were also evaluated using overlapping elements in the element sets, which were selected based on cable adjustments.

• Kyungpook Mathematical Journal
• /
• v.54 no.2
• /
• pp.321-332
• /
• 2014

In this article we introduce different types of multiplier I-convergent double sequence spaces. We study their different algebraic and topological properties like solidity, symmetricity, completeness etc. The decomposition theorem is established and some inclusion results are proved.

• Bulletin of the Korean Mathematical Society
• /
• v.61 no.3
• /
• pp.621-635
• /
• 2024

An 𝑙-regular overpartition of n is an overpartition of n with no parts divisible by 𝑙. Recently, the authors introduced a partition statistic called r_𝑙-crank of 𝑙-regular overpartitions. Let M_r𝑙(m, n) denote the number of 𝑙-regular overpartitions of n with r_𝑙-crank m. In this paper, we investigate the monotonicity property and the unimodality of M_r3(m, n). We prove that M_r3(m, n) ≥ M_r3(m, n - 1) for any integers m and n ≥ 6 and the sequence {M_r3(m, n)}_|m|≤n is unimodal for all n ≥ 14.

• Bulletin of the Korean Mathematical Society
• /
• v.58 no.3
• /
• pp.711-720
• /
• 2021

Let R denote a commutative noetherian ring, and let 𝐱 := x1, …, xd be an R-regular sequence. Suppose that 𝖆 denotes a monomial ideal with respect to 𝐱. The first purpose of this article is to show that 𝖆 is irreducible if and only if 𝖆 is a generalized-parametric ideal. Next, it is shown that, for any integer n ≥ 1, (x1, …, xd)n = ⋂P(f), where the intersection (irredundant) is taken over all monomials f = xe11 ⋯ xedd such that deg(f) = n - 1 and P(f) := (xe1+11, ⋯, xed+1d). The second main result of this paper shows that if 𝖖 := (𝐱) is a prime ideal of R which is contained in the Jacobson radical of R and R is 𝖖-adically complete, then 𝖆 is a parameter ideal if and only if 𝖆 is a monomial irreducible ideal and Rad(𝖆) = 𝖖. In addition, if a is generated by monomials m1, …, mr, then Rad(𝖆), the radical of a, is also monomial and Rad(𝖆) = (ω1, …, ωr), where ωi = rad(mi) for all i = 1, …, r.