• Kyungpook Mathematical Journal
• /
• v.57 no.4
• /
• pp.581-600
• /
• 2017

A classical result of A. Cohn states that, if we express a prime p in base 10 as $$p=a_n10^n+a_{n-1}10^{n-1}+{\cdots}+a_110+a_0$$, then the polynomial $f(x)=a_nx^n+a_{n-1}x^{n-1}+{\cdots}+a_1x+a_0$ is irreducible in ${\mathbb{Z}}[x]$. This problem was subsequently generalized to any base b by Brillhart, Filaseta, and Odlyzko. We establish this result of A. Cohn in $O_K[x]$, K an imaginary quadratic field such that its ring of integers, $O_K$, is a Euclidean domain. For a Gaussian integer ${\beta}$ with ${\mid}{\beta}{\mid}$ > $1+{\sqrt{2}}/2$, we give another representation for any Gaussian integer using a complete residue system modulo ${\beta}$, and then establish an irreducibility criterion in ${\mathbb{Z}}[i][x]$ by applying this result.

• International Journal of Vascular Biomedical Engineering
• /
• v.2 no.2
• /
• pp.16-26
• /
• 2004

The object of this study is to develop a mathematical model of the hemodialysis system including the mechanism of solute kinetics, water exchange and also cardiovascular dynamics. The cardiovascular system model used in this study simulates the short-term transient and steady-state hemodynamic responses such as hypotension and disequilibrium syndrome (which are main complications to hemodialysis patients) during hemodialysis. It consists of a 12 lumped-parameter representation of the cardiovascular circulation connected to set-point models of the arterial baroreflexes, a kinetic model (hemodialysis system model) with 3 compartmental body fluids and 2 compartmental solutes. We formulate mathematically this model in terms of an electric analog model. All resistors and most capacitors are assumed to be linear. The control mechanisms are mediated by the information detected from arterial pressoreceptors, and they work on systemic arterial resistance, heart rate, and systemic venous unstressed volume. The hemodialysis model includes the dynamics of urea, creatinine, sodium and potassium in the intracellular and extracellular pools as well as fluid balance equations for the intracellular, interstitial, and plasma volumes. Model parameters are largely based on literature values. We have presented the results on the simulations performed by changing some model parameters with respect to their basal values. In each case, the percentage changes of each compartmental pressure, heart rate (HR), total systemic resistance (TSR), ventricular compliance, zero pressure filling volume and solute concentration profiles are represented during hemodialysis.

• Water for future
• /
• v.18 no.2
• /
• pp.153-161
• /
• 1985

The methods for hydrologic prediction of streamflows for more efficient and functional operations and automation of the flood warning and forecasting system have been studiedand which have been widely used in the control engineering have been studied and investigated for representation of the dynamic behavior of rainfall-runoff precesses, and formulated into mathematical model form. The applicabilities of the model using the adaptive Kalman filter algorithm to the on-line, real-time prediction of river flows have been worked out. The computer programs in FORTRAN which are developed here can be utilized for more efficient operations and better prediction abilities of flood warning and forecasting systems, and also should be modified for better model performance.

• Earthquakes and Structures
• /
• v.4 no.2
• /
• pp.203-217
• /
• 2013

In recent decades, it has been realized that increasing the lateral stiffness of structure subjected to lateral loads is not the only parameter enhancing safety or reducing damage. Factors such as ductility and damping govern the structural response due to lateral loads. Despite the significant contribution of damping in resisting lateral loads, especially at resonance, there is no accurate mathematical representation for it. The main objective of this study is to develop a damping identification procedure for linear systems based on a mixed numerical-experimental approach, assuming viscous damping. The proposed procedure has been applied to a laboratory experiment associated with a numerical model, where a hollow rectangular steel cantilever column, having three lumped masses, has been fixed on a shaking table subjected to different exciting waves. The modal damping ratio has been identified; in addition, the effect of adding filling material to the hollow specimen has been studied in relation to damping enhancement. The results have revealed that the numerically computed response based on the identified damping is in a good fitting with the measured response. Moreover, the filling material has a significant effect in increasing the modal damping.

• Korean Journal of Computational Design and Engineering
• /
• v.2 no.1
• /
• pp.60-67
• /
• 1997

CAD systems offer a variety of techniques for designing and rendering models of static 3D objects and even of mechanisms, but relatively few tools exist for interactively specifying arbitrary movements of rigid bodies through space. Such tools are essential, not only for artistic animation, but also, for planning and demonstrating assembly and disassembly procedure of manufactured products. A rigid body motion is a continuous mapping from the time domain to a set of positions. To relieve the designers from the burden of specifying this mapping in abstract mathematical terms, combinations of simple rigid motion primitives, such as linear translations or constant axis rotations, are often used. These simple motions are planar and thus ill-suited for approximating arbitrary motions in 3D-space. Instead, we propose the screw motion primitive, a special combination of linear translations and constant axis rotations, which has a simple geometric representation that can be automatically and unambiguously computed from the starting and ending positions of the moving body. Although, any two positions may be interpolated by an infinity of motions, we chose the screw motion for its relative generality and its computational advantages. The paper covers original algorithms for computing the screw motions from interpolated positions and envelopes of swept regions to predict collisions.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.6 no.2
• /
• pp.288-293
• /
• 2002

It is possible to classify image data into two types according to the internal representation: one is bitmap, the other is vector. A bitmap image is represented by the two dimensional pixels whereas a vector image is represented by mathematical functions to draw vector objects such as line, rectangle and circle on the two or three dimensional space. So it is necessary for users to use a individual application program for each different image. In this paper, we present a method for design and implementation of image editing tool based on combining of bitmap and vector image.

• The Journal of Korean Association of Computer Education
• /
• v.10 no.1
• /
• pp.97-105
• /
• 2007

In this paper, visualization of convolution operation is presented, which is implemented by scalable vector graphics (SVG). Convolution operation is one of the basic essential concepts in the area of signal and image processing. However, it is difficult for students to intuitively understand the operation of convolution since it is mainly based on mathematical representation. We present the visualization of convolution operation and its applications which are implemented by SVG. The effects of the proposed approach have been analyzed by interviews. It has been seen that the proposed visualization of convolution operation could be effectively applied to learn the convolution operation and its applications.

• Journal of the Korean Institute of Telematics and Electronics A
• /
• v.32A no.1
• /
• pp.14-25
• /
• 1995

The main contribution of this paper can be summarized in two items as follws. Firstly, a modelling of mobile communication channel with Rayleigh fading characteristics is presented. Actual signal environments can be approximated as being real measurements by a proper mathematical representation of fluctuation of channel parameters due to Doppler effect, that is determined by the relative speed between transmitter and receiver, and noises, that vary at each sampling time. Secondly, an alternative procedure of synthesizing an adaptive equalizers is presented for recovering original signals that have been corrupted through the modelled channel. In order to compute the optimal tap coefficients for a high speed data(512 k symbol/sec) on a real-time basis, the CGM that guarantees fast and stable convergency is adopted during the training period of each frame. The coefficients obtained by the CGM are used as initial values for the LMS algorithm to trace the optimal coefficients during the data period that vary at each sampling time due to the mobility and noise at the receiver. Using the modelling presented in this paper, distributions of received signal power in various signal environments are demonstrated. The performance of the eqalizer proposed in this paper is shown as a function of BER under the various signal circumstances of mobile communications.

• Journal of Mechanical Science and Technology
• /
• v.19 no.11
• /
• pp.1975-1987
• /
• 2005

An input time delay always exists in practical systems. Analysis of the delay phenomenon in a continuous-time domain is sophisticated. It is appropriate to obtain its corresponding discrete-time model for implementation via digital computers. In this paper a new scheme for the discretization of nonlinear systems using Taylor series expansion and the zero-order hold assumption is proposed. The mathematical structure of the new discretization method is analyzed. On the basis of this structure the sampled-data representation of nonlinear systems with time-delayed multi-input is presented. The delayed multi-input general equation has been derived. In particular, the effect of the time-discretization method on key properties of nonlinear control systems, such as equilibrium properties and asymptotic stability, is examined. Additionally, hybrid discretization schemes that result from a combination of the scaling and squaring technique (SST) with the Taylor series expansion are also proposed, especially under conditions of very low sampling rates. Practical issues associated with the selection of the method's parameters to meet CPU time and accuracy requirements, are examined as well. A performance of the proposed method is evaluated using a nonlinear system with time delay maneuvering an automobile.

• Journal of the Korean Institute of Telematics and Electronics A
• /
• v.31A no.7
• /
• pp.110-116
• /
• 1994

In this paper a Duty Effective Overlap Scanning method (DEOS) for the improvement of driving efficiency of LC displays which have the RMS voltage responding characteristics is proposed and new processing method of data signals for optimum application of this method is also proposed. Proposed method has a few advantages such as the increment of duty ratio the increment of driving power loaded on LC cell and the decrement of RMS voltage error rate caused by signal attenuation on electrodes composing of display when compared with the conventional method which is called as optimum voltage amplitude selection method. And also by adopting new data signal processing method which has 3 kinds of voltage levels additional advantage much improving crosstalk phenomenon which is the most serious problems of simple matrix structured display is obtained. For the characteristic estimation new mathematical representation for new overlap scanning method and data signal processing method are induced and defined. And by the defined formula and simulation the characteristics of the proposed method and the conventional method are compared and analyzed. As a result of estimation this new method being able to optimize the overlap rate of scan signal and using 3 levels of data signals has the characteristic which can improve the driving efficiency of LC displays.