• 충청수학회지
• /
• 제21권1호
• /
• pp.61-69
• /
• 2008

For a real subextension of some cyclotomic function field with a non-cyclic Galois group order $l^2$, l being a prime different from the characteristic of function field, we compute the index of the Sinnott group of circular units.

• 충청수학회지
• /
• 제27권2호
• /
• pp.183-203
• /
• 2014

We examine fundamental units of quadratic function fields from continued fraction of $\sqrt{D}$. As a consequence, we give another proof of geometric analog of Ankeny-Artin-Chowla-Mordell conjecture and bounds for class number, and study real quadratic function fields of minimal type with quasi-period 4.

• 한국멀티미디어학회논문지
• /
• 제24권3호
• /
• pp.468-480
• /
• 2021

Realistic real-time rain streaks rendering has been treated as a very difficult problem because of various natural phenomena. Also, in creating and managing a large number of particles, a large amount of computer resources had to be used. Therefore, in this paper, we propose a more efficient real-time rain streaks rendering algorithm by generating view-dependent rain particles and expressing a large amount of rain even with a small number. By creating a 'rain space' dependent on the field of view of the camera moving in real time, particles are rendered only in that space. Accordingly, even if a small number of particles are rendered, since the rendering is performed in a limited space, an effect of rendering a very large amount of particles can be obtained. This enables very efficient real-time rendering of rain streaks.

• 대한수학회보
• /
• 제50권4호
• /
• pp.1357-1365
• /
• 2013

We find a lower bound on the number of real/inert imagi-nary/ramified imaginary quadratic extensions of the function field $\mathbb{F}_q(t)$ whose ideal class groups have an element of a fixed order, where $q$ is a power of 2.

• 대한산업공학회지
• /
• 제28권4호
• /
• pp.368-378
• /
• 2002

As more companies are equipped with data aquisition systems for their products, huge amount of field warranty data has been accumulated. We focus on the case when the field data for a given product comprise with the number of sales and the number of the first failures for each period. The number of censored items and their ages are assumed to be given. This type of data are incomplete in the sense that the age of a failed item is unknown. We construct a model for this type of data and propose an algorithm for nonparametric maximum likelihood estimation of the product reliability. Unlike the nonhomogeneous Poisson process(NHPP) model, our method can handle the data with censored items as well as those with small population. A few examples are investigated to characterize our model, and a real field warranty data set is analyzed by the method.

• 한국정밀공학회지
• /
• 제21권9호
• /
• pp.174-181
• /
• 2004

Recently, many studies have been undergoing to reduce working time in field of machine tool. There are two ways of reducing working time to reduce actual working time by heighten spindle speed and to reduce stand-by time by shortening tool exchange time. Auto tool changer belongs to latter case. Fixed address type auto tool changer can store more number of tools in small space than magazine transfer Ope and can shorten tool exchange time. This study focuses on the topology optimization to reduce the weight of the fixed address type ATC. The optimization program using a real number coding genetic algorithm is developed and is applied to the 10-bar truss optimization problem to verify the developed program. And, it is shown that the developed program gives better results than other methods. Finally, The developed program applied to optimize the fixed address type ATC.

• 대한기계학회:학술대회논문집
• /
• 대한기계학회 2001년도 춘계학술대회논문집E
• /
• pp.530-535
• /
• 2001

Variations of temperature field in a Hele-Shaw convection cell (HSC) were measured using a holographic interferometry with varying Rayleigh number. Experimental results show a steady flow pattern at low Rayleigh numbers and a time-dependent periodic flow at high Rayleigh numbers. Especially, the period of oscillation at $Ra = 6.35{\times}10^6$ was 62 seconds. Two different measurement methods of holographic interferometry, double-exposure method and real-time method, were employed to measure the temperature field variations of HSC convective flow. In the double-exposure method, unwanted waves can be eliminated and reconstruction images are clear, but transient flow structure cannot be observed clearly. On the other hand, transient flow can be observed and reconstructed well using the real-time method. However, the fringe patterns reconstructed by the real-time method contain more noise, compared with the double-exposure method. The two holographic interferometer techniques employed complementary in this study were proved to be useful for analyzing the temperature field variations of unsteady thermal fluid flows.

• 대한기계학회논문집B
• /
• 제25권11호
• /
• pp.1624-1631
• /
• 2001

Variations of temperature field in a Hele-Shaw convection cell (HSC) were measured using a holographic interferometry with varying Rayleigh number. Experimental results show a steady flow pattern at low Rayleigh numbers and a time-dependent periodic flow at high Rayleigh numbers. Especially, the period of oscillation at Ra = 6.35 $\times$ 10$^{6}$ was 62 seconds. Two different measurement methods of holographic interferometry, double-exposure method and real-time method, were employed to measure the temperature field variations of HSC convective flow. In the double-exposure method, unwanted waves can be eliminated and reconstruction images are clear, but transient flow structure cannot be observed clearly. On the other hand, transient flow can be observed and reconstructed well using the real-time method. However, the fringe patterns reconstructed by the real-time method contain more noise, compared with the double-exposure method. The two holographic interferometer techniques employed complementary in this study were proved to be useful fur analyzing the temperature field variations of unsteady thermal fluid flows.

• Korean Journal of Mathematics
• /
• 제7권2호
• /
• pp.227-233
• /
• 1999

Let $k$ be a real abelian field and $k_{\infty}={\bigcup}_{n{\geq}0}k_n$ be its $\mathbb{Z}_p$-extension for an odd prime $p$. For each $n{\geq}0$, we denote the class number of $k_n$ by $h_n$. The following is a well known theorem: Theorem. Suppose $p$ remains inert in $k$ and the prime ideal of $k$ above $p$ totally ramifies in $k_{\infty}$. Then $p{\nmid}h_0$ if and only if $p{\nmid}h_n$ for all $n{\geq}0$. The aim of this paper is to generalize above theorem: Theorem 1. Suppose $H^1(G_n,E_n){\simeq}(\mathbb{Z}/p^n\mathbb{Z})^l$, where $l$ is the number of prime ideals of $k$ above $p$. Then $p{\nmid}h_0$ if and only if $p{\nmid}h_n$. Theorem 2. Let $k$ be a real quadratic field. Suppose that $H^1(G_1,E_1){\simeq}(\mathbb{Z}/p\mathbb{Z})^l$. Then $p{\nmid}h_0$ if and only if $p{\nmid}h_n$ for all $n{\geq}0$.

• 대한임베디드공학회논문지
• /
• 제2권2호
• /
• pp.95-100
• /
• 2007

Recently ubiquitous application services are developed plentifully using RFID techniques in the field of distribution and security industries. However, except these field the applications using RFID are not mature yet. In this study, we proposed a real-time context service model of the u-conference based on the real-time contextual information acquired from conference and exposition. With collection of real-time contextual information for u-conference, the model can provide a lot of information services on the state of session attendee, doorway control, affairs, user certification, presentation progress etc. For the verification of proposed real-time context service model of u-conference, we design and implement the conference progress state service included the state of session attendee, user certification and presentation progress etc. This service provides the presentation state information included the current presenter, the paper list, the number of session attendee, the schedule and place of each session using the collecting RFID tag and the related information.