• Journal of Advanced Navigation Technology
• /
• v.22 no.2
• /
• pp.154-162
• /
• 2018

The multiplier circuit is necessary to estimate degradation status of electronic cards in nuclear power plant, but its accuracy is not easy in processing those functions to multiply two input signals. What is important in multiplier circuit is that the multiplication result must be accurate and its linearity must be perfect. We developed and proposed excellent linearity multiplier circuit using operational amplifiers and transistor characteristics, and then proved its validity in this paper. We have made efforts to eliminate nonlinearity components of semiconductors with this circuit in order to ensure excellent linearity of developed multiplier circuit. We conducted multiplication operations through simulation, applying adequate values to each component in order to verify the circuit composed of that method. We showed step-by-step output signals, and then compared the logical analyses and measuring results as simulation results. We confirmed that this method is superior to existing multiplication or linearity.

• The Journal of the Acoustical Society of Korea
• /
• v.18 no.4
• /
• pp.71-77
• /
• 1999

Exact forward modeling of acoustic propagation is crucial in MFP such as inverse problems and various other acoustic applications. As acoustic propagation in shallow water environments become important, range dependent modeling has to be considered of which PE method is considered as one of the most accurate and relatively fast. In this paper higher order numerical rode employing the PE method is developed. To approximate the depth directional operator, Galerkin's method is used with partial collocation to lessen necessary calculations. Linearization of tile depth directional operator is achieved via expansion into a multiplication form of (equation omitted) approximation. To approximate the range directional equation, Crank-Nicolson's method is used. Final1y, numerical self stater is employed. Numerical tests are performed for various occan environment scenarios. The results of these tests are compared to exact solutions, OASES and RAM results.

• The Journal of Information Technology
• /
• v.2 no.2
• /
• pp.145-161
• /
• 1999

This paper proposes a high speed back propagation neural networks which uses the residue number system. making the high speed operation possible without carry propagation Consisting of MAC(Multiplication and Accumulation) operator unit using Residue number system and sigmoid function operator unit using Mixed Residue Conversion is designed, The Designed circuits are descripted by VHDL and synthesized by Compass tools. Result of simulations shows that critical path delay time is about 19nsec and the size can be reduced to 40% compared to the neural networks implemented by the real number operation unit. The proposed design circuits can be implemented in parallel distributed processing system with desired real time processing.

• International Journal of Concrete Structures and Materials
• /
• v.2 no.2
• /
• pp.123-136
• /
• 2008

A new plastic-damage constitutive model applicable to lightweight concrete (LWC) and normal weight concrete (NWC) is proposed in this paper based on both continuum damage mechanics and plasticity theories. Two damage variables are used to represent tensile and compressive damage independently. The effective stress is computed in the Drucker-Prager multi-surface plasticity framework. The stress is then computed by multiplication of the damaged part and the effective part. The proposed model is coded as a user material subroutine and incorporated in a finite element analysis software. The constitutive integration algorithm is implemented by adopting the operator split involving elastic predictor, plastic corrector and damage corrector. The numerical study shows that the algorithm is efficient and robust in the finite element analysis. Experimental investigation is conducted to verify the proposed model involving both static and dynamic tests. The very good agreement between the numerical results and experimental results demonstrates the capability of the proposed model to capture the behaviors of LWC and NWC structures for static and impact loading.

• Journal of Elementary Mathematics Education in Korea
• /
• v.17 no.3
• /
• pp.431-455
• /
• 2013

In this thesis, I classified various meanings of fraction into two categories, i.e concept(rate, operator, division) and model(whole-part, measurement, allotment), and surveyed appearances which is shown in Korea elementary mathematics textbook. Based on this results, I derived several implications on learning-teaching of fraction in elementary education. Firstly, we have to pursuit a unified formation of fraction concept through a complementary advantage of various concepts and models Secondly, by clarifying the time which concepts and models of fraction are imported, we have to overcome a ambiguity or tacit usage of that. Thirdly, the present Korea's textbook need to be improved in usage of measurement model. It must be defined more explicitly and must be used in explanation of multiplication and division algorithm of fraction.

• The Journal of Information Technology
• /
• v.12 no.2
• /
• pp.39-47
• /
• 2009

Residue Number System is used for the purpose of increasing the speed of processing in the many application parts of Image Processing, Computer Graphic, Neural Computing, Digital Signal Processing etc, since it has the characteristic of parallelism and no carry propagation at each moduli. DRNS has the twice RNS Conversion, it is used to decreases the size of the operator in RNS. But it has a week point on the Second Residue to First Residue Conversion time. So, in this paper SRTFR(Second Residue to First Residue) Converter using MRC(Mixed Radix Conversion) is designed to decrease the size of RTB(Residue to Binary) Converter. Since the proposed SRTFR Converter using MRC(Mixed Rdix Convertion) has a pipeline processing. Also, modular operation is applied to at each partitioned SAM(Subtraction and Addition) and MA(Multiplication and addition). In the following study, the more effective design on MA is needed.

• Communications of the Korean Mathematical Society
• /
• v.35 no.1
• /
• pp.125-136
• /
• 2020

In this article, we discuss classes of generalized functions for certain modified integral operator of Bessel-type involving Fox's H-function kernel. We employ a known differentiation formula of Fox's H-function to obtain the definition and properties of the distributional modified Bessel-type integral. Further, we derive a smoothness theorem for its kernel in a complete countably multi-normed space. On the other hand, using an appropriate class of convolution products, we derive axioms and establish spaces of modified Boehmians which are generalized distributions. On the defined spaces, we introduce addition, convolution, differentiation and scalar multiplication and further properties of the extended integral.

• Journal of the Korean Mathematical Society
• /
• v.54 no.6
• /
• pp.1801-1816
• /
• 2017

We study some spectral properties of Volterra-type integral operators $V_g$ and $I_g$ with holomorphic symbol g on the Fock-Sobolev spaces ${\mathcal{F}}^p_{{\psi}m}$. We showed that $V_g$ is bounded on ${\mathcal{F}}^p_{{\psi}m}$ if and only if g is a complex polynomial of degree not exceeding two, while compactness of $V_g$ is described by degree of g being not bigger than one. We also identified all those positive numbers p for which the operator $V_g$ belongs to the Schatten $S_p$ classes. Finally, we characterize the spectrum of $V_g$ in terms of a closed disk of radius twice the coefficient of the highest degree term in a polynomial expansion of g.

• Communications of the Korean Mathematical Society
• /
• v.33 no.4
• /
• pp.1125-1140
• /
• 2018

Let A be a normed space, ${\mathcal{B}}(A)$ the algebra of all bounded operators on A, and V a family of strongly upper semicontinuous functions from a Hausdorff completely regular space X into ${\mathcal{B}}(A)$. In this paper, we investigate some properties of the weighted spaces CV (X, A) of all A-valued continuous functions f on X such that the mapping $x{\mapsto}v(x)(f(x))$ is bounded on X, for every $v{\in}V$, endowed with the topology generated by the seminorms ${\parallel}f{\parallel}v={\sup}\{{\parallel}v(x)(f(x)){\parallel},\;x{\in}X\}$. Our main purpose is to characterize continuous, bounded, and locally equicontinuous weighted composition operators between such spaces.

• Journal of the Korean Mathematical Society
• /
• v.58 no.1
• /
• pp.91-107
• /
• 2021

A bounded linear operator T on a separable infinite dimensional Banach space X is called strongly hypercyclic if $$X{\backslash}\{0\}{\subseteq}{\bigcup_{n=0}^{\infty}}T^n(U)$$ for all nonempty open sets U ⊆ X. We show that if T is strongly hypercyclic, then so are Tn and cT for every n ≥ 2 and each unimodular complex number c. These results are similar to the well known Ansari and León-Müller theorems for hypercyclic operators. We give some results concerning multiplication operators and weighted composition operators. We also present a result about the invariant subset problem.