• Journal of the Korean Operations Research and Management Science Society
• /
• v.16 no.2
• /
• pp.128-147
• /
• 1991

We propose a dynamic incidence matrix (DIM) for reflecting states and time conditions of a timed Petri net (TPN) explicitly. Since a DIM consists of a conventional incidence matrix, two time-related vectors and two state-related vectors, we can get the advantages inherent in the conventional incidence matrix of describing a static structure of a system as well as another advantage of expressing time dependent state transitions. We introduce an algorithm providing the DIM with a state transition mechanism. Because the algorithm is, in fact, an algorithmic model for discrete event simulation of TPN models, we provide a theoretical basis of model transformation of a TPN model into a DEVS(Discrete Event system Specification) model. By executing the algorithm we can carry out performance analysis of computer communication protocols which are represented TPN models.

• Bulletin of the Korean Mathematical Society
• /
• v.54 no.2
• /
• pp.455-461
• /
• 2017

The Lie algebra analogue of Schur's result which is proved by Moneyhun in 1994, states that if L is a Lie algebra such that dimL/Z(L) = n, then $dimL_{(2)}={\frac{1}{2}}n(n-1)-s$ for some non-negative integer s. In the present paper, we determine the structure of central factor (for s = 0) and the factor Lie algebra $L/Z_2(L)$ (for all $s{\geq}0$) of a finite dimensional nilpotent Lie algebra L, with n-dimensional central factor. Furthermore, by using the concept of n-isoclinism, we discuss an upper bound for the dimension of $L/Z_n(L)$ in terms of $dimL_{(n+1)}$, when the factor Lie algebra $L/Z_n(L)$ is finitely generated and $n{\geq}1$.

• Journal of the Korean Mathematical Society
• /
• v.37 no.3
• /
• pp.359-369
• /
• 2000

Let X be an integral Gorenstein projective curve with g:=pa(X) $\geq$ 3. Call $G^r_d$ (X,**) the set of all pairs (L,V) with L$\epsilon$Pic(X), deg(L) = d, V $\subseteq$ H^0$(X,L), dim(V) =r+1 and V spanning L. Assume the existence of integers d, r with 1 $\leq$ r$\leq$ d $\leq$ g-1 such that there exists an irreducible component, , of $G^r_d$(X,**) with dim($\Gamma$) $\geq$ d - 2r and such that the general L$\geq$$\Gamma$ is spanned at every point of Sing(X). Here we prove that dim( ) = d-2r and X is hyperelliptic.

• Honam Mathematical Journal
• /
• v.40 no.2
• /
• pp.211-218
• /
• 2018

Let R be a commutative Noetherian ring, a be an ideal of R and M be an R-module. It is shown that if $Ext^i_R(R/a,M)$ is minimax for all $i{\leq}{\dim}\;M$, then the R-module $Ext^i_R(N,M)$ is minimax for all $i{\geq}0$ and for any finitely generated R-module N with $Supp_R(N){\subseteq}V(a)$ and dim $N{\leq}1$. As a consequence of this result we obtain that for any a-torsion R-module M that $Ext^i_R(R/a,M)$ is minimax for all $i{\leq}dim$ M, all Bass numbers and all Betti numbers of M are finite. This generalizes [8, Corollary 2.7]. Also, some equivalent conditions for the cominimaxness of local cohomology modules with respect to ideals of dimension at most one are given.

• Bulletin of the Korean Mathematical Society
• /
• v.60 no.4
• /
• pp.1071-1083
• /
• 2023

The main motivation of this paper is to introduce and study the notions of strong Dedekind rings and semi-regular injective modules. Specifically, a ring R is called strong Dedekind if every semi-regular ideal is Q₀-invertible, and an R-module E is called a semi-regular injective module provided Ext¹_R(T, E) = 0 for every 𝓠-torsion module T. In this paper, we first characterize rings over which all semi-regular injective modules are injective, and then study the semi-regular injective envelopes of R-modules. Moreover, we introduce and study the semi-regular global dimensions sr-gl.dim(R) of commutative rings R. Finally, we obtain that a ring R is a DQ-ring if and only if sr-gl.dim(R) = 0, and a ring R is a strong Dedekind ring if and only if sr-gl.dim(R) ≤ 1, if and only if any semi-regular ideal is projective. Besides, we show that the semi-regular dimensions of strong Dedekind rings are at most one.

• Bulletin of the Korean Mathematical Society
• /
• v.61 no.1
• /
• pp.273-280
• /
• 2024

Let I be an ideal of a commutative Noetherian semi-local ring R and M be an R-module. It is shown that if dim M ≤ 2 and Supp_R M ⊆ V (I), then M is I-weakly cofinite if (and only if) the R-modules Hom_R(R/I, M) and Ext¹_R(R/I, M) are weakly Laskerian. As a consequence of this result, it is shown that the category of all I-weakly cofinite modules X with dim X ≤ 2, forms an Abelian subcategory of the category of all R-modules. Finally, it is shown that if dim R/I ≤ 2, then for each pair of finitely generated R-modules M and N and each pair of the integers i, j ≥ 0, the R-modules Tor^R_i(N, H^j_I(M)) and Extⁱ_R(N, H^j_I(M)) are I-weakly cofinite.

• Journal of the Institute of Electronics and Information Engineers
• /
• v.52 no.3
• /
• pp.3-12
• /
• 2015

Recently, various studies have been attempted to provide a biological information monitoring service through integrating with the web service. The medical information transmission standard ISO/IEEE 11073 PHD defines the optimized exchange protocol ISO/IEEE 11073-20601 based on the No-IP to exchange the biometric information between the ISO/IEEE 11073 agent and the manager. It's system structure based on the No-IP using ISO/IEEE 11073-20601 is not suitable for providing a remote biological information monitoring services. That is because it is difficult to provide to control and manage the biological information measurement devices, which have installed IP protocol stack at the remote. Furthermore, ACSE and CMDISE in ISO/IEEE 11073-20601 are not suitable to provide U-healthcare services based on IoT because they are complicated and difficult to implement it caused by the structural complexity. In order to solve the problems, in this paper, we propose the biological information monitoring architecture based on ISO/IEEE 11073 DIM/REST of IoT environment to provide the biological information monitoring service based on IoT. To do this, we designed biological information monitoring system architecture based on IoT and the message exchange protocol of ISO/IEEE 11073 DIM/REST between the ISO/IEEE 11073 agent and the ISO/IEEE 11073 manager. In order to verify the realistic possibility of the proposed system architecture, we developed the service prototype.

• Journal of the Institute of Electronics and Information Engineers
• /
• v.52 no.6
• /
• pp.79-84
• /
• 2015

In a distribution of digital image, there is a serious problem that is a distribution of the altered image by a forger. For the problem solution, this paper proposes a median filtering (MF) image forensic decision algorithm using a feature vector according to the pixel value's gradients. In the proposed algorithm, AR (Autoregressive) coefficients are computed from pixel value' gradients of original image then 1th~6th order coefficients to be six feature vector. And the reconstructed image is produced by the solution of Poisson's equation with the gradients. From the difference image between original and its reconstructed image, four feature vector (Average value, Max. value and the coordinate i,j of Max. value) is extracted. Subsequently, Two kinds of the feature vector combined to 10 Dim. feature vector that is used in the learning of a SVM (Support Vector Machine) classification for MF (Median Filtering) detector of the altered image. On the proposed algorithm of the median filtering detection, compare to MFR (Median Filter Residual) scheme that had the same 10 Dim. feature vectors, the performance is excellent at Unaltered, Averaging filtering ($3{\times}3$) and JPEG (QF=90) images, and less at Gaussian filtering ($3{\times}3$) image. However, in the measured performances of all items, AUC (Area Under Curve) by the sensitivity and 1-specificity is approached to 1. Thus, it is confirmed that the grade evaluation of the proposed algorithm is 'Excellent (A)'.

• Journal of Animal Science and Technology
• /
• v.47 no.1
• /
• pp.11-18
• /
• 2005

The objective of this study was to estimate the effects of daily milk yield, somatic cell count(SCC), days in milk(DIM), and parity on the compositions of milk and blood in high or low producing dairy cows. To divide the high or low producing group, there were some restrictions in this study. 235 Holstein dairy cows had a average daily milk yield of 23.2 $\pm$ 6.8 kg were grouped into two classes with low producing(average daily milk 17kg) or high producing(average daily milk 29 kg). The other restrictions were two parities(first and second parity), two SCC groups(under $l{\times}10^5$cells/ml, and $l{\times}10^5$ to $7{\times}10^5$ celis/ml), and three DIM groups(under 80, 81 to 180, and 181 to 305DIM). The blood urea nitrogen(BUN), milk urea nitrogen(MUN) and glucose between two group with high and low somatic cell count were not affected by parity, DIM and SCC. But there were significantly different on BUN and glucose between high and low milk producing(p< 0.01), also was different on glucose between parities(p < 0.05). White blood cell(WBC) and lymphocyte were affected(p< 0.05) by SCC level, protein percent was also affected by DIM(p< 0.01). The least square means of protein in second parity was a 1.3 times higher than that in first parity(p < 0.05), and it showed a higher level in the low producing group than the high producing group(p < 0.0l). WBC and lymphocyte were lower in the $1{\sim}7{\times}10^5$ celis/ml than those under $1{\times}10^5$ celis/ml(p< 0.05). Neutrophil was a higher level in first parity than that in second parity(p < 0.05). Only protein and total solid were affected by parity, the other compositions were not affected by parity, DIM, SCC and milk yields. The results suggested that significant differences were in the blood components such as glucose, WBC, lymphocyte and neutrophil between high and low producing cows. The results also show that more studies are required to clarify the factors and markers related to milk yield, quality and mastitis.

• Journal of the Chungcheong Mathematical Society
• /
• v.8 no.1
• /
• pp.173-181
• /
• 1995

Let H and G be finite dimensional semisimple Hopf algebras and let A and B be left H and G-module algebras respectively. We use smash product algebras to show that 1) if A is right Artinian then $A^H$ is right Artinian, 2) $Soc\;V_A{\subset}Soc\;V_{A^H}$ and rad $V_A{\supset}\;radV_{A^H}$, 3) $K\;dim\;_BV_A=K\;dim\;_{B^G}V_{A^H}$.