• Korean Journal of Construction Engineering and Management
• /
• v.20 no.4
• /
• pp.104-113
• /
• 2019

Construction dispute about Extension of Time are complexly intertwined with various issues. The duration delay analysis defines the impact the issue has on the duration variation. And The international court and the arbitrator use the results of the analysis as a basis for reasonable duration judging. However, most of the domestic Construction sites have not established a business process for Extension of Time litigation. Therefore, Analysis data are collected after the occurrence of the dispute, there is not enough basic data of analysis almost. This study sought to improve the management efficiency by organizing information requirement for delay analysis and suggesting a reasonable business process. As a result of applying the proposed process to actual construction duration extension disputes, about 33% of practitioners, 46% of contractors, and 48% of legal advisors were satisfied with the process application site And Matrix validation was 91% identical. This study suggests that it is possible to increase the efficiency of the construction duration analysis work used as a basis in the construction dispute. Finally, the Computer based system design for this process should continue in the future.

• The Journal of the Acoustical Society of Korea
• /
• v.28 no.8
• /
• pp.697-705
• /
• 2009

An unsupervised (blind) method is proposed aiming at extracting rhythmic sources from commercial polyphonic music whose number of channels is limited to one. Commercial music signals are not usually provided with more than two channels while they often contain multiple instruments including singing voice. Therefore, instead of using conventional modeling of mixing environments or statistical characteristics, we should introduce other source-specific characteristics for separating or extracting sources in the under determined environments. In this paper, we concentrate on extracting rhythmic sources from the mixture with the other harmonic sources. An extension of nonnegative matrix factorization (NMF), which is called nonnegative matrix partial co-factorization (NMPCF), is used to analyze multiple relationships between spectral and temporal properties in the given input matrices. Moreover, temporal repeatability of the rhythmic sound sources is implicated as a common rhythmic property among segments of an input mixture signal. The proposed method shows acceptable, but not superior separation quality to referred prior knowledge-based drum source separation systems, but it has better applicability due to its blind manner in separation, for example, when there is no prior information or the target rhythmic source is irregular.

• The Journal of the Institute of Internet, Broadcasting and Communication
• /
• v.15 no.3
• /
• pp.15-24
• /
• 2015

Jacket matrices which are defined to be $m{\times}m$ matrices $J^{\dagger}=[J_{ik}^{-1}]^T$ over a Galois field F with the property $JJ^{\dagger}=mI_m$, $J^{\dagger}$ is the transpose matrix of element-wise inverse of J, i.e., $J^{\dagger}=[J_{ik}^{-1}]^T$, were introduced by Lee in 1984 and are used for Digital Signal Processing and Coding theory. This paper presents some square matrices $A_2$ which can be eigenvalue decomposed by Jacket matrices. Specially, $A_2$ and its extension $A_3$ can be used for modifying the properties of hyperbola and hyperboloid, respectively. Specially, when the hyperbola has n times transformation, the final matrices $A_2^n$ can be easily calculated by employing the EVD[7] of matrices $A_2$. The ideas that we will develop here have applications in computer graphics and used in many important numerical algorithms.

• Transactions of the Korean Society of Mechanical Engineers A
• /
• v.35 no.9
• /
• pp.999-1005
• /
• 2011

The effects of strain-induced crystallization (SIC) on the mechanical properties of elastomeric composites as functions of extension ratio (${\lambda}$), multiwalled carbon nanotube (CNT) content, and carbon black (CB) content are investigated. The differential scanning calorimetry (DSC) analysis shows that the degree of crystallinity increases with the increase in the CB and CNT content. As ${\lambda}$ increases, the glass transition temperature (Tg) of the composites increases, and the latent heat of crystallization (LHc) of the composites is maximum at ${\lambda}$=1.5. It is found that the mechanical properties have a linear relation with LHc, depending on the CNT content. According to the TGA (thermogravimetric analysis), the weight loss of the composite matrix is 94.3% and the weight of the composites decreases with the filler content. The ratio of tensile modulus ($E_{comp}/E_{matrix}$) is higher than that of tensile strength (${\sigma}_{comp}/{\sigma}_{matrix}$) because of the CNT orientation inside the elastomeric composites.

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

A wall-frame structure resists horizontal load by the interaction between the flexural mode of the shear wall and the shear mode of the frame, which implies that the frame deflects only by reverse bending of the columns and girders, and that the columns are axially rigid. However, as the height of frame increases the shear mode of frame changes to flexural mode, which is due to the extension and shortening of the columns. An approximate hand method for estimating horizontal deflection and member forces in high-rise shear wall-frame structures subjected to horizontal loading is presented. The method is developed from the continuous medium theory for coupled walls and expressed in non-dimensional structural parameters. It accounts for bending deformations in all individual members as well as axial deformations in the columns. The deformations calculated from the presented approximate method and matrix analysis by computer program are compared. The presented approximate method is more accurate for the taller structures.

• Journal of the Chungcheong Mathematical Society
• /
• v.19 no.4
• /
• pp.319-324
• /
• 2006

Let K be a finite cyclic extension of $k=\mathbb{F}_q(T)$ of prime degree ${\ell}$. Let ${\tilde{\mathcal{C}}}l_{K,{\ell}}$ be the Sylow ${\ell}$-subgroup of the ideal class group ${\tilde{\mathcal{C}}}l_K$ of $\mathcal{O}_K$. The structure of ${\tilde{\mathcal{C}}}l_{K,{\ell}}$ as $\mathbb{Z}_{\ell}[G]$/<$N_G$>-module is determined the dimensions $${\lambda}_i\;:=dim_{\mathbb{F}_{\ell}}({\tilde{\mathcal{C}}}l_{K,{\ell}}^{({\sigma}-1)^{i-1}}/{\tilde{\mathcal{C}}}l_{K,{\ell}}^{({\sigma}-1)^i})$$ for $i{\geq}1$. In this paper we investigate the dimensions ${\lambda}_1$ and ${\lambda}_2$.

• Journal of the Korean Society for Industrial and Applied Mathematics
• /
• v.3 no.2
• /
• pp.137-145
• /
• 1999

In this paper, We consider two-dimensional Maximum Length Cellular Automata (2-D MLCA) as an extension of the 1-D MLCA. 2-D MLCA can display much better random patterns than those generated by 1-D CA and LFSR. To generate random pattern, a CA should have a maximum length cycle. So, it is necessary to find MLCA that the characteristic polynomial of the transition matrix is primitive. New boundary conditions of 3 types are proposed and some rules having primitive polynomials of 2-D MLCA are found.

• Honam Mathematical Journal
• /
• v.32 no.1
• /
• pp.45-51
• /
• 2010

Let A be an abelian variety defined over a number field K and let L be a cyclic extension of K with Galois group G = <${\sigma}$> of order n. Let III(A/K) and III(A/L) denote, respectively, the Tate-Shafarevich groups of A over K and of A over L. Assume III(A/L) is finite. Let M(x) be a companion matrix of 1+x+${\cdots}$+$x^{n-1}$ and let $A^x$ be the twist of $A^{n-1}$ defined by $f^{-1}{\circ}f^{\sigma}$ = M(x) where $f:A^{n-1}{\rightarrow}A^x$ is an isomorphism defined over L. In this paper we compute [III(A/K)][III($A^x$/K)]/[III(A/L)] in terms of cohomology, where [X] is the order of an finite abelian group X.

• Journal of the Korean Operations Research and Management Science Society
• /
• v.13 no.1
• /
• pp.51-64
• /
• 1988

A new approach to the logical design of 4NF database shceme, which can be easily automated, is proposed. The main features of the approach are : introduction of a single attribute right hand side, extension of the concept of independent relations, semantic analysis, and adaoption of dependency matrix. The underlying viewpoints of functional relationships of the approach are different from Fagin's in that we distinguish functional and multivalued dependency in terms of cardinality. An algorithm for automatic generation of fourth normal form is presented and implemented.

• Journal of the Korean Mathematical Society
• /
• v.52 no.6
• /
• pp.1161-1178
• /
• 2015

In this paper, we investigate the insertion-of-factors-property (simply, IFP) on skew polynomial rings, introducing the concept of strongly ${\sigma}-IFP$ for a ring endomorphism ${\sigma}$. A ring R is said to have strongly ${\sigma}-IFP$ if the skew polynomial ring R[x;${\sigma}$] has IFP. We examine some characterizations and extensions of strongly ${\sigma}-IFP$ rings in relation with several ring theoretic properties which have important roles in ring theory. We also extend many of related basic results to the wider classes, and so several known results follow as consequences of our results.