• Bulletin of the Korean Mathematical Society
• /
• v.60 no.1
• /
• pp.83-91
• /
• 2023

A ring R is called a UN ring if every non unit of it can be written as product of a unit and a nilpotent element. We obtain results about lifting of conjugate idempotents and unit regular elements modulo an ideal I of a UN ring R. Matrix rings over UN rings are discussed and it is obtained that for a commutative ring R, a matrix ring M_n(R) is UN if and only if R is UN. Lastly, UN group rings are investigated and we obtain the conditions on a group G and a field K for the group algebra KG to be UN. Then we extend the results obtained for KG to the group ring RG over a ring R (which may not necessarily be a field).

• Journal of the Korean Mathematical Society
• /
• v.54 no.5
• /
• pp.1379-1410
• /
• 2017

Kang and Ko introduced a skew-symmetrizable matrix to describe a structure theorem for complete intersections of grade 4. Let $R=k[w_0,\;w_1,\;w_2,\;{\ldots},\;w_m]$ be the polynomial ring over an algebraically closed field k with indetermiantes $w_l$ and deg $w_l=1$, and $I_i$ a homogeneous perfect ideal of grade 3 with type $t_i$ defined by a skew-symmetrizable matrix $G_i(1{\leq}t_i{\leq}4)$. We show that for m = 2 the Hilbert function of the zero dimensional standard k-algebra $R/I_i$ is determined by CI-sequences and a Gorenstein sequence. As an application of this result we show that for i = 1, 2, 3 and for m = 3 a Gorenstein sequence $h(R/H_i)=(1,\;4,\;h_2,\;{\ldots},\;h_s)$ is unimodal, where $H_i$ is the sum of homogeneous perfect ideals $I_i$ and $J_i$ which are geometrically linked by a homogeneous regular sequence z in $I_i{\cap}J_i$.

• Journal of Korean Ophthalmic Optics Society
• /
• v.9 no.2
• /
• pp.481-489
• /
• 2004

Poly(triazine bissulfide)s were synthesized from 6-dibutylamino-1,3,5-triazine-2,4-dithiol with bis(4-chloro-3-nitrophenyl)sulfone in the presence of the phase transfer catalyst, and from m-dibromide xylene and p-dibromide xylene with 6-dibutylamino-1,3,5-triazine-2,4-dithiol in the presence of cetyltrimethyl ammonium bromide at $70^{\circ}C$ for 24h. We could acquire the good results about solubility, thermal property, and molecular weight to make cast film. These results are important as base for the synthesis of functionalization polymer material being optical plastic material. The maximum algebra viscosity was 0.57~1.40dl/g at the temperature more than $50{\sim}60^{\circ}C$.

• Bulletin of the Korean Mathematical Society
• /
• v.53 no.5
• /
• pp.1531-1548
• /
• 2016

Let C[0, t] denote the space of real-valued continuous functions on [0, t] and define a random vector $Z_n:C[0,t]{\rightarrow}\mathbb{R}^n$ by $Z_n(x)=(\int_{0}^{t_1}h(s)dx(s),{\ldots},\int_{0}^{t_n}h(s)dx(s))$, where 0 < $t_1$ < ${\cdots}$ < $ t_n=t$ is a partition of [0, t] and $h{\in}L_2[0,t]$ with $h{\neq}0$ a.e. Using a simple formula for a conditional expectation on C[0, t] with $Z_n$, we evaluate a generalized analytic conditional Wiener integral of the function $G_r(x)=F(x){\Psi}(\int_{0}^{t}v_1(s)dx(s),{\ldots},\int_{0}^{t}v_r(s)dx(s))$ for F in a Banach algebra and for ${\Psi}=f+{\phi}$ which need not be bounded or continuous, where $f{\in}L_p(\mathbb{R}^r)(1{\leq}p{\leq}{\infty})$, {$v_1,{\ldots},v_r$} is an orthonormal subset of $L_2[0,t]$ and ${\phi}$ is the Fourier transform of a measure of bounded variation over $\mathbb{R}^r$. Finally we establish various change of scale transformations for the generalized analytic conditional Wiener integrals of $G_r$ with the conditioning function $Z_n$.

• Journal of Advanced Marine Engineering and Technology
• /
• v.39 no.2
• /
• pp.159-165
• /
• 2015

Motion control schemes are generally classified into three categories (point stabilization, trajectory tracking, and path following). This paper deals with the problem which is associated with the initial deployment of a group of Unmanned Surface Vehicle (USVs) and corresponding point stabilization. To keep the formation of a group of USVs, it is necessary to set the relationship between each vehicle. A forcing functions such as potential fields are designed to keep the formation and a graph Laplacian is used to represent the connectivity between vehicle. In case of fixed topology of the graph representing the communication between the vehicles, the graph Laplacian is assumed constant. However the graph topologies are allowed to change as the vehicles move, and the system dynamics become discontinuous in nature because the graph Laplacian changes as time passes. To check the stability in the stage of deployment, the system is modeled with Kronecker algebra notation. Filippov's calculus of differential equations with discontinuous right hand sides is then used to formally characterize the behavior of USVs. The stability of the system is analyzed with Lyapunov's stability theory and LaSalle's invariance principle, and the validity is shown by checking the variation of state norm.

• Electronics and Telecommunications Trends
• /
• v.36 no.2
• /
• pp.32-42
• /
• 2021

The rapid growth of deep-learning applications has invoked the R&D of artificial intelligence (AI) processors. A dedicated software framework such as a compiler and runtime APIs is required to achieve maximum processor performance. There are various compilers and frameworks for AI training and inference. In this study, we present the features and characteristics of AI compilers, training frameworks, and inference engines. In addition, we focus on the internals of compiler frameworks, which are based on either basic linear algebra subprograms or intermediate representation. For an in-depth insight, we present the compiler infrastructure, internal components, and operation flow of ETRI's "AI-Ware." The software framework's significant role is evidenced from the optimized neural processing unit code produced by the compiler after various optimization passes, such as scheduling, architecture-considering optimization, schedule selection, and power optimization. We conclude the study with thoughts about the future of state-of-the-art AI compilers.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.18 no.8
• /
• pp.361-366
• /
• 2017

For two given logical expressions and, when expression contains the same part of the logical expression as expression, substituting for that part of expression is called a substituted logic expression. If a substituted relation is established between the logical expressions, there is an advantage in that the number of literals used in the whole logical expression can be greatly reduced. However, if the substituted relation is not established, there is no simplification effect obtained from the substituted expression. Previous methods proposed a way to find substituted relations between logical expressions for the given logical expressions themselves, and to calculate substituted expressions if only substitution is possible. In this paper, a new method for performing substitution with addition and revision of logic terms is proposed in order to perform substitution, even though there is no substituted relation between two logic expressions. The proposed method is efficiently implemented using a matrix that finds terms to be added. Then, by covering the matrix that has added terms, substituted logic expressions are found. Experiment results show that the proposed method for several benchmark circuits can reduce the number of literals, compared to existing synthesis tools.

• Communications of Mathematical Education
• /
• v.23 no.4
• /
• pp.977-998
• /
• 2009

In this article, we give a comparative study on the last 300 years of USA and Korean tertiary mathematics. The first mathematics classes in United States were offered before July, 1638, but the real founding of tertiary mathematics courses was in 1640 when Henry Dunster assumed the duties of the presidency at Harvard. President Dunster read arithmetics and geometry on Mondays and Tuesdays to the third year students during the first three quarters, and astronomy in the last quarter. So tertiary mathematics education in United States began at Harvard which is the oldest college in USA. After 230 years since then, Benjamin Peirce in 1870 made a major and first American contribution to mathematics and got an attention from European mathematicians. Major change on the role of Harvard mathematics from teaching to research made by G.D. Birkhoff when he joined as an assistant professor in 1912. Tertiary mathematics education in Korea started long before Chosun Dynasty. But it was given to only small number of government actuarial officers. Modern mathematics education of tertiary level in Korea was given at Sungkyunkwan, Ewha, Paichai, and Soongsil. But all college level education opportunity, particularly in mathematics, was taken over by colonial government after 1920. And some technical and normal schools offered some tertiary mathematics courses. There was no college mathematics department in Korea until 1945. After the World War II, the first college mathematics department was established, and Rimhak Ree in 1949 made a major and first Korean contribution to modern mathematics, and later found Ree group. He got an attention from western mathematicians for the first time as a Korean. It can be compared with Benjamin Peirce's contribution for USA.