• Title/Summary/Keyword: 수학적유일성

Search Result 19, Processing Time 0.02 seconds

A Hystesis Loop Modeling of Ferroelectric Thin Film Using Numerical Integration Method (수치적분을 이용한 강유전체의 이력곡선 모델링)

  • 강성준;정양희;유일현
    • Proceedings of the Korean Institute of Information and Commucation Sciences Conference
    • /
    • 2003.05a
    • /
    • pp.696-699
    • /
    • 2003
  • In this study, we suggested the model to precisely evaluate the ferroelectric hysteresis loop, using the modified Sawyer-Tower circuit and the ferroelectric capacitor with a MDFM(Metal-Dielectric-ferroelectric-Metal) structure. The mathematical expression of dipole polarization is applied to the numerical integration algorithm, and the fatigue property can be considered including the dielectric layer between ferroelectrics and bottom electrode. The validity of our model is proved comparing the estimated value of our model and the measured results of PLT(10) thin film.

  • PDF

Input Output Linearization Technique Analysis for Capacitive Sensor using Algebraic Loop (대수 루프를 이용한 용량형 센서의 입출력 선형화 기법 연구)

  • Sung, Sang-Kyung;Lee, Jang-Gyu
    • Proceedings of the KIEE Conference
    • /
    • 1999.11c
    • /
    • pp.564-566
    • /
    • 1999
  • 계측 시스템이나 시스템 식별을 수행할 때 정확히 모델링 되는 플랜트를 가정할 경우, 입출력 신호간 혹은 상태 변수들 사이의 비선형 함수 관계를 유도해 낼 수 있다. 그런데 특히 비선형 함수가 매우 복잡하여 해를 닫힌 형태로 구할 수 없을 경우 고려하는 변수들 양자간의 수학적 모델링을 기반으로 루프내 변수가 방정식의 해로 수렴하는 대수 루프를 구성할 수 있다. 이는 모델을 정확히 아는 시스템에 대하여 출력으로부터 입력을 추정하는 역시스템(inverse system)을 구성하는 것과 유사하다. 이러한 개념을 응용한 간단한 예로 용량형 센서의 입출력 비선형성을 제거해주는 역시스템을 대수 루프를 통하여 구현하였다. 또한 구현한 루프가 항상 유일한 해로 수렴할 수 있도록 하는 조건을 구하였다. 해석된 결과를 바탕으로 구현된 루프가 컴퓨터 시뮬레이션 및 아날로그 회로 실험에서도 잘 동작함을 검증하였다. 시뮬레이션 결과로 보인 잡음에 대한 강인성과 실제 회로 실험 결과는 대수 루프의 구현이 실제 용량형 센서 등에 용이하게 적용될 수 있음을 보여준다.

  • PDF

On the Security of Cryptosystems Based on Imaginary Quadratic Class Semigroups (복소 이차 류 반군위에서의 암호계의 안전성에 관한 소고)

  • Kim, Yong-Tae
    • The Journal of the Korea institute of electronic communication sciences
    • /
    • v.6 no.1
    • /
    • pp.90-96
    • /
    • 2011
  • In this paper, we propose a new discrete logarithm problem(DLP) based on the class semigroups of imaginary quadratic non-maximal orders using the special character of non-invertible ideal and analysis its security. To do this, we first explain the mathematical background explicitly and prove some properties of Cls (O) which relate to constructing the DLP and guaranteeing the security. To test the security of the proposed DLP, we compare the class number of the maximal order with that of the non-maximal order and investigate the unique factorization problems of ideals between class groups of the maximal orders and class semigroups of non-maximal orders to ensure the security of the cryptosystem.

Misunderstandings and Logical Problems Related to the Centroid of a Polygon (도형의 무게중심과 관련된 오개념 및 논리적 문제)

  • Hong, Gap-Ju
    • School Mathematics
    • /
    • v.7 no.4
    • /
    • pp.391-402
    • /
    • 2005
  • The purpose of this study is to resolve misunderstanding for centroid of a triangle and to clarify several logical problems in finding the centroid of a Polygon. The conclusions are the followings. For a triangle, the misunderstanding that the centroid of a figure is the intersection of two lines that divide the area of the figure into two equal part is more easily accepted caused by the misinterpretation of a median. Concerning the equilibrium of a triangle, the median of it has the meaning that it makes the torques of both regions it divides to be equal, not the areas. The errors in students' strategies aiming for finding the centroid of a polygon fundamentally lie in the lack of their understanding of the mathematical investigation of physical phenomena. To investigate physical phenomena mathematically, we should abstract some mathematical principals from the phenomena which can provide the appropriate explanations for then. This abstraction is crucial because the development of mathematical theories for physical phenomena begins with those principals. However, the students weren't conscious of this process. Generally, we use the law of lever, the reciprocal proportionality of mass and distance, to explain the equilibrium of an object. But some self-evident principles in symmetry may also be logically sufficient to fix the centroid of a polygon. One of the studies by Archimedes, the famous ancient Greek mathematician, gives a solution to this rather awkward situation. He had developed the general theory of a centroid from a few axioms which concerns symmetry. But it should be noticed that these axioms are achieved from the abstraction of physical phenomena as well.

  • PDF

Development of Decision Support System for the Design of Steel Frame Structure (강 프레임 구조물 설계를 위한 의사 결정 지원 시스템의 개발)

  • Choi, Byoung Han
    • Journal of Korean Society of Steel Construction
    • /
    • v.19 no.1
    • /
    • pp.29-41
    • /
    • 2007
  • Structural design, like other complex decision problems, involves many trade-offs among competing criteria. Although mathematical programming models are becoming increasingly realistic, they often have design limitations, that is, there are often relevant issues that cannot be easily captured. From the understanding of these limitations, a decision-support system is developed that can generate some useful alternatives as well as a single optimum value in the optimization of steel frame structures. The alternatives produced using this system are "good" with respect to modeled objectives, and yet are "different," and are often better, with respect to interesting objectives not present in the model. In this study, we created a decision-support system for designing the most cost-effective moment-resisting steel frame structures for resisting lateral loads without compromising overall stability. The proposed approach considers the cost of steel products and the cost of connections within the design process. This system makes use of an optimization formulation, which was modified to generate alternatives of optimum value, which is the result of the trade-off between the number of moment connections and total cost. This trade-off was achieved by reducing the number of moment connections and rearranging them, using the combination of analysis based on the LRFD code and optimization scheme based on genetic algorithms. To evaluate the usefulness of this system, the alternatives were examined with respect to various design aspects.

Application of A Local Preconditioning Method for 3-D Compressible Low Mach Number Flows (3차원 저속 압축성 유동 해석을 위한 국소 예조건화 기법 적용 연구)

  • Yoo, Il-Yong;Jin, Min-Suk;Kwak, Ein-Keun;Lee, Seung-Soo
    • Journal of the Korean Society for Aeronautical & Space Sciences
    • /
    • v.36 no.10
    • /
    • pp.939-946
    • /
    • 2008
  • Euler codes or Navier-Stokes codes for compressible flows suffer severe degradation in convergence as Mach number approaches zero. The convergence problem arose from the wide disparity in characteristic speeds can be solved using preconditioning methods without large modifications. In this paper, a preconditioned RANS(Reynolds Averaged Navier-Stokes) solver is developed for analysis of low Mach number flows. In order to validate the method, computational examples are chosen and the results are compared with the experimental data and the existing computed results showing a good accuracy and convergence characteristics for steady inviscid, laminar and turbulent flows at low Mach number.

A Historical Inquiry about Rayleigh's Research on the Perception of the Direction of Sound (Rayleigh의 소리의 방향 지각 연구에 대한 과학사적 고찰)

  • 구자현
    • The Journal of the Acoustical Society of Korea
    • /
    • v.21 no.8
    • /
    • pp.695-702
    • /
    • 2002
  • The question how man can perceive the direction of a sound is one of the traditional psychoacoustical problems. Rayleigh already began to investigate this subject in 1870s and kept on interesting himself intermittently throughout his research career. Rayleigh was only concerned with this subject among those of perception of sound and focused more interest on it than any other acoustical problems. At first he insisted on the perception of the direction of a sound by the difference of intensity of a sound in two ears. but was phased in accepting that by the difference of phase of a sound there. Thus he arrived at the modern view that the perception of the sound direction is caused by the difference of intensity in high frequencies and the difference of phase in low frequencies. Rayleigh presented his ability as an excellent experimenter by employing very cautious and ingenious experimental settings and acquired persuasive results by linking the consequences of his mathematical theorization with his experiments.

Proof of equivalence of solutions of boundary integral and variational equations of the linear elasticity problem (선형 탄성 문제의 경계적분식 해와 변분해의 동등성 증명)

  • 유영면;박찬우;권길헌
    • Transactions of the Korean Society of Mechanical Engineers
    • /
    • v.11 no.6
    • /
    • pp.1001-1004
    • /
    • 1987
  • In this study mathematical properties of variational solution and solution of the boundary integral equation of the linear elasticity problem are studied. It is first reviewed that a variational solution for the three-dimensional linear elasticity problem exists in the Sobolev space [ $H^{1}$(.OMEGA.)]$^{3}$ and, then, it is shown that a unique solution of the boundary integral equation is identical to the variational solution in [ $H^{1}$(.OMEGA.)]$^{3}$. To represent the boundary integral equation, the Green's formula in the Sobolev space is utilized on the solution domain excluding a ball, with small radius .rho., centered at the point where the point load is applied. By letting .rho. tend to zero, it is shown that, for the linear elasticity problem, boundary integral equation is valid for the variational solution. From this fact, one can obtain a numerical approximatiion of the variational solution by the boundary element method even when the classical solution does not exist.exist.

Improved Differential Fault Analysis on Block Cipher PRESENT-80/128 (PRESENT-80/128에 대한 향상된 차분 오류 공격)

  • Park, Se-Hyun;Jeong, Ki-Tae;Lee, Yu-Seop;Sung, Jae-Chul;Hong, Seok-Hie
    • Journal of the Korea Institute of Information Security & Cryptology
    • /
    • v.22 no.1
    • /
    • pp.33-41
    • /
    • 2012
  • A differential fault analysis(DFA) is one of the most important side channel attacks on block ciphers. Most block ciphers, such as DES, AES, ARIA, SEED and so on., have been analysed by this attack. PRESENT is a 64-bit block cipher with 80/128-bit secret keys and has a 31-round SP-network. So far, several DFAs on PRESENT have been proposed. These attacks recovered 80, 128-bit secret keys of PRESENT with 8~64 fault injections. respectively. In this paper, we propose an improved DFA on PRESENT-80/128. Our attack can reduce the complexity of exhaustive search of PRESENT-80(resp. 128) to on average 1.7(resp. $2^{22.3}$) with 2(resp. 3) fault injections, From these results, our attack results are superior to known DFAs on PRESENT.