• Proceedings of the KIEE Conference
• /
• 2008.10b
• /
• pp.75-76
• /
• 2008

이산시간 모델로부터 시간응답 설계 명세를 만족시키도록 직접 디지털 제어기를 설계하는 새로운 방법을 제시한다 R-S-T형의 고정된 제어기 구조에서 폐루프 전달함수가 원하는 기준전달함수와 일치하도록 제어기 이득을 구한다. 시간 응답을 만족시키는 목표전달함수는 w-영역에서 CRA를 이용하여 선택되며 이 함수를 z-영역으로 변환시켜 얻는다. 예제를 통해 제시한 방법의 유용성을 보이고 극배치 방식과 비교한다.

• Bulletin of the Korean Mathematical Society
• /
• v.44 no.2
• /
• pp.351-358
• /
• 2007

For an entire function f whose Fourier transform has a compact support confined to $[-{\pi},\;{\pi}]$ and restriction to ${\mathbb{R}}$ belongs to $L^2{\mathbb{R}}$, we derive a nonuniform sampling theorem of Lagrange interpolation type with sampling points ${\lambda}_n{\in}{\mathbb{R}},\;n{\in}{\mathbb{Z}}$, under the condition that $$\frac{lim\;sup}{n{\rightarrow}{\infty}}|{\lambda}_n-n|<\frac {1}{4}$.

• Journal of KIISE:Software and Applications
• /
• v.31 no.7
• /
• pp.883-900
• /
• 2004

As object-oriented development technology that increases extensibility and reusability has been widely spread, it can shorten development period and enhance quality by reusing verified object-oriented artifacts. Thus we can construct high quality component-based system at short time transforming component-based model using verified object-oriented artifacts. In this paper, we propose techniques to transform available object-oriented design model into component-based model using formal specification techniques in order to increase accuracy of transformation. First, formal specification language for component is defined for formal specification of component-based design. And, techniques for formal specification of object-oriented design using Object-Z, a formal specification language, is proposed in structural, functional, and dynamic aspects. Next, we present techniques for transforming formal specification of object-oriented design into formal specification of component-based design. Through a case study we apply the proposed transformation techniques and show the transformation process of object-oriented formal specification into component-based formal specification.

• Design Convergence Study
• /
• v.14 no.4
• /
• pp.181-192
• /
• 2015

The layout includes various functions not only arrangement, connection, division of information but also affordance and information recognition as the important element that determine the whole structure of information. Recently, the layout of web interface design was gradually changing from the concept of the original Z-layout to F-layout, whereas, it is being changed again into the split layout as the transform of Z-layout. However, there can be lack of grounds as to the reason of the change of layout. Therefore, it needs to study on how the functional difference between the F-layout and Z-layout affects user experience. In this study, we conduct the study on the effect of each layout type on the user experience focusing on the product description of web-page by user test. The user test have shown that the user has better feeling on the split layout based on the Z-layout than F-layout. The Z-layout also has more advantages on the formation of the favorable attitude of user in efficiency, accessibility and concentration. This result is consistent with the trend of web-design to change into the split layout based on the Z-layout and we provided the objective reasons for the effective web-design layout by user test.

• Journal of the Korean Institute of Telematics and Electronics C
• /
• v.36C no.1
• /
• pp.49-58
• /
• 1999

This paper describes an integrated low pass filter fabricated by using $0.8{\mu}m$ single poly CMOS ASIC technology. The filter has been designed for a 5th-order elliptic switched capacitor filter with cutoff frequency of 5khz, 0.1dB passband ripple. The filter consists of MOS swiches poly capacitors and five CMOS op-amps. For the realization of the SC filter, continuous time transfer function H(s) is obtained from LC passive type, and transfered as discrete time transfer H(z) through bilinear-z transform. Another filter has been designed by capacitor scaling for reduced chip area, considering dynamic range of the op-amp. The test results of two fabricated filters are cutoff frequency of 4.96~4.98khz, 35~38dB gain attenuation and 0.72~0.81dB passband ripple with the ${\pm}2.5V$power supply clock of 50KHz.

• 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$.

• Restorative Dentistry and Endodontics
• /
• v.46 no.3
• /
• pp.39.1-39.12
• /
• 2021

Objectives: This study analyzed the physical-chemical behavior of 2 bulk fill resin composites (BFCs; Filtek Bulk Fill [FBF], and Tetric-N-Ceram Bulk Fill [TBF]) used in 2- and 4-mm increments and compared them with a conventional resin composite (Filtek Z250). Materials and Methods: Flexural strength and elastic modulus were evaluated by using a 3-point bending test. Knoop hardness was measured at depth areas 0-1, 1-2, 2-3, and 3-4 mm. The translucency parameter was measured using an optical spectrophotometer. Real-time polymerization kinetics was analyzed using Fourier transform infrared spectroscopy. Results: Flexural strength was similar among the materials, while TBF showed lower elastic modulus (Z250: 6.6 ± 1.3, FBF: 6.4 ± 0.9, TBF: 4.3 ± 1.3). The hardness of Z250 was similar only between 0-1 mm and 1-2 mm. Both BFCs had similar hardness until 2-3 mm, and showed significant decreases at 3-4 mm (FBF: 33.45 ± 1.95 at 0-1 mm to 23.19 ± 4.32 at 3-4 mm, TBF: 23.17 ± 2.51 at 0-1 mm to 15.11 ± 1.94 at 3-4 mm). The BFCs showed higher translucency than Z250. The polymerization kinetics of all the materials were similar at 2-mm increments. At 4-mm, only TBF had a similar degree of conversion compared with 2 mm. Conclusions: The BFCs tested had similar performance compared to the conventional composite when used in up to 2-mm increments. When the increment was thicker, the BFCs were properly polymerized only up to 3 mm.

• Plant Biotechnology Reports
• /
• v.3 no.1
• /
• pp.87-93
• /
• 2009

To determine whether pattern recognition based on metabolite fingerprinting for whole cell extracts can be used to discriminate cultivars metabolically, leaves and fruits of five commercial strawberry cultivars were subjected to Fourier transform infrared (FT-IR) spectroscopy. FT-IR spectral data from leaves were analyzed by principal component analysis (PCA) and Fisher's linear discriminant function analysis. The dendrogram based on hierarchical clustering analysis of these spectral data separated the five commercial cultivars into two major groups with originality. The first group consisted of Korean cultivars including 'Maehyang', 'Seolhyang', and 'Gumhyang', whereas in the second group, 'Ryukbo' clustered with 'Janghee', both Japanese cultivars. The results from analysis of fruits were the same as of leaves. We therefore conclude that the hierarchical dendrogram based on PCA of FT-IR data from leaves represents the most probable chemotaxonomical relationship between cultivars, enabling discrimination of cultivars in a rapid and simple manner.

• Nuclear Engineering and Technology
• /
• v.52 no.4
• /
• pp.819-826
• /
• 2020

The method of the Laplace transform has been used to obtain an analytical solution of the three-dimensional steady state advection diffusion equation for the airborne radionuclide release from any nuclear installation such as the power reactor in an area source. The present treatment takes into account the removal of the pollutants through the nuclear reaction. We assume that the pollutants are emitted as a constant rate from the area source. This physical consideration is achieved by assuming that the vertical eddy diffusivity coefficient should be a constant. The prevailing wind speed is a constant in 𝑥- direction and a linear function of the vertical height z. The present model calculations are compared with the other models and the available data of the atmospheric dispersion experiments that were carried out in the nuclear power plant of Angra dos Reis (Brazil). The results show that the present treatment performs well as the analytical dispersion model and there is a good agreement between the values computed by our model and the observed data.

• Ocean Systems Engineering
• /
• v.2 no.3
• /
• pp.189-203
• /
• 2012

New experiments focusing on the evolution characteristics of nonlinear wave trains were conducted in a large wave flume. A series of wave trains with added sidebands, varying initial steepness, perturbed amplitudes and frequencies, were physically generated in a long wave flume. The experimental results show that the increasing wave steepness, increases the speed of sidebands growth. To study the frequency and phase modulation, the Morlet wavelet transform is adopted to extract the instantaneous frequency of wave trains and the phase functions of each wave component. From the instantaneous frequency, there are local frequency downshifts, even an effective frequency downshift was not observed. The frequency modulation increases with an increase in amplitude modulation, and abrupt changes of instantaneous frequencies occur at the peak modulation. The wrapped phase functions show that in the early stage of the modulation, the phase of the upper sideband first diverges from that of the carrier waves. However, at the later stage, the discrepancy phase from the carrier wave transformed to the lower sideband. The phase deviations appear in the front of the envelope's peaks. Furthermore, the evolution of the instantaneous frequency exhibits an approximate recurrence-type for the experiment with large imposed sidebands, even when the corresponding recurrence is not observed in the Fourier spectrum.