• 한국컴퓨터정보학회논문지
• /
• 제10권2호
• /
• pp.39-47
• /
• 2005

본 논문에서는 전송되는 메시지의 무결성과 출처 인증을 위해 광범위하게 사용되는 메시지 인증 코드 (Message Authentication Code :MAC) 알고리즘을 제안하고 안전성을 분석한다. 제안된 MAC 알고리즘은 기본 블록 암호로 64-비트 블록과 56-비트 키를 가진 64비트 블록 암호 알고리즘을 이용하여 MAC 값의 길이를 64-비트와 32-비트를 사용하였을 경우의 안전성을 비교한다. 또한, 128-비트 블록과 128-비트 키를 가진 128비트 블록 암호 알고리즘을 이용하여, MAC 값의 길이를 128비트와 64-비트를 사용하였을 경우의 안전성을 비교한다 그래서 메시지의 길이와 MAC값의 길이에 따른 위장 공격의 안전성을 분석한다.

• 전기학회논문지
• /
• 제56권2호
• /
• pp.311-316
• /
• 2007

This paper proposes the algorithm which estimates moment of the inertia and friction coefficient of friction for high performance speed control of electric motor. The proposed algorithm finds the moment of inertia and friction coefficient of friction by observing the speed error signal generated by the speed observer and using Recursive Least-Mean-Square method(RLS). By feedbacking the estimated inertia and estimated coefficient of friction to speed controller and full order speed observer, then the errors of the inertia and coefficient of friction and speed due to the inaccurate initial value are decreased. Inertia and coefficient of friction converge to the actual value within several times of speed changing. Simulation and actual experiment results are given to demonstrate the effectiveness of the proposed parameter estimator.

• Nuclear Engineering and Technology
• /
• 제4권1호
• /
• pp.11-22
• /
• 1972

최대치(또는 최소치) 원리의 기본개념을 써서 제어함수 u(t)를 찾는데는 2점간 경계치 문제의 해결이 요구된다. 그런데 최근에는 2점간 문제를 푸는 방법으로 초기 costate vector를 찾아 문제를 해결하는 여러가지 편법이 개발되고 있다. 여기에서는 최적제어 함수를 찾는 새로운 방법의 하나로써 고안된 Newton's sequential방법을 써서 여러가지 공학적 문제를 풀어 봄으로써 이 방법이 매우 유효하다는 것을 알아냈다.

• Nuclear Engineering and Technology
• /
• 제1권2호
• /
• pp.79-85
• /
• 1969

최대치 (또는 최소치)원리의 기본개념을 써서 제어함수 u(t)를 찾는데는 2점간 경계치 문제의 해결이 요구된다. 그런데 최근에는 2점간 문제를 푸는 방법으로 초기 costate vector를 찾아 문제를 해결하는 여러 가지 편법이 개발되고 있다. 여기에서는 최적제어함수를 찾는 새로운 방법의 하나로써 Newton's Sequential 방법을 적용하였다. 그리고 일차적으로 주어진 문제의 수학적인 전개를 시도하였다. 앞으로 이 방법의 물리적인 의의와 공학적인 가치는 Computer에 의해서 여러 가지 응용문제를 해결함으로써 밝혀질 것이다.

• 반도체디스플레이기술학회지
• /
• 제16권3호
• /
• pp.36-40
• /
• 2017

In this paper, a new method of laser trimming of thick film heater is studied. Various laser waves (IR, Green, UV) are used to ablation the heater and the process parameters are also presented. For given initial printed resisters, the cutting length should be prepared to obtain the target resister value in advance. Therefore, the cutting model is very important. The well-known model was tested and proven that it is valid only within a certain range of cutting length. A new model is proposed for a wide range of resister laser trimming. The cutting lengths and resister variation was obtained and formulated. To verify the presented method, the cutting lengths of each resister are calculated for various target resister value and laser trimming using UV is conducted.

• Steel and Composite Structures
• /
• 제46권6호
• /
• pp.719-729
• /
• 2023

This paper studies electro-magneto-mechanical bending studying of the cylindrical panels based on shear deformation theory. The cylindrical panel is constrained with two simply-supported edges at longitudinal direction and two clamped boundary conditions at circumferential direction. The governing equations are derived based on the principle of virtual work in cylindrical coordinate system. Levy-type solution of the governing equations is derived to reduce two dimensional PDEs to a 2D ODEs. The reduced ordinary differential equation is solved using the Eigen-value Eigen-vector method for the clamped-clamped boundary condition. The electro-magneto-mechanical bending results are obtained to show that every displacement, rotation and electromagnetic potentials how change with changes of initial electromagnetic potentials and mechanical loads along longitudinal and circumferential directions.

• Structural Engineering and Mechanics
• /
• 제65권5호
• /
• pp.547-556
• /
• 2018

Based on the shaking table tests of a 1:3.52 scale one-bay and one-story ancient wooden structure, a simplified structural mechanics model was established, and the structural state equation and observation equation were deduced. Under the action of seismic waves, the damage rule of initial stiffness and yield stiffness of the joint was obtained. The force hammer percussion test and finite element calculations were carried out, and the structural response was obtained. Considering the 5% noise disturbance in the laboratory environment, the stiffness parameters of the mortise-tenon joint were identified by the partial least squares of singular value decomposition (PLS-SVD) and the Extended Kalman filter (EKF) method. The results show that dynamic and static cohesion method, PLS-SVD, and EKF method can be used to identify the damage degree of structures, and the stiffness of the mortise-tenon joints under strong earthquakes is reduced step by step. Using the proposed model, the identified error of the initial stiffness is about 0.58%-1.28%, and the error of the yield stiffness is about 0.44%-1.21%. This method has high accuracy and good applicability for identifying the initial stiffness and yield stiffness of the joints. The identification method and research results can provide a reference for monitoring and evaluating actual engineering structures.

• 한국IT서비스학회지
• /
• 제7권3호
• /
• pp.129-144
• /
• 2008

The uncertainty of software projects makes a big gap between the initial schedule/expense and the final one. Moreover, it is difficult for a project manager to reschedule and re-budget for reflecting the effects of changes in the software development. In this paper, we suggest EVM (Earned Value Management) to control the schedule and the expenses of an on-going software development project. In order to apply EVM to a software project, we consider turnkey contracts and propose the way to calculate the earned value for the software development. Finally, we illustrate our method with the case of N-company. We expect our EVM help to analyze and to predict the final schedule and the expense of a software development project.

• 대한전기학회논문지
• /
• 제33권11호
• /
• pp.440-446
• /
• 1984

This thesis investigates the quantitative aspect of epidemic phenomena utilizing the analytical method of discrete time systems based on the theory of Markov processes. In particular, the pattern on the epidemic character of Influenza was analyzed by the mathematical model of Influenza system, which is derived according to the ecologic relationship between five epidemiolgic states of individuals. The quantitative aspects of the model was characterized by digital computer simulations. The main results were obtained as follows: 1) A Markovian model of influenza system represents accurate spead curve. 2) The latent period of influenza has the standard deviation of 1.98 and also the incubation period is 2.68. 3) If the value of susceptibilities in the pre-epidemic period is less than 20% of the population, the epidemic will occur sporadically. 4) The initial value of susceptibilties obtained by this markov theory is less about 10% of total population than the obtained value according to the deterministic model.

• Kyungpook Mathematical Journal
• /
• 제62권4호
• /
• pp.699-713
• /
• 2022

This paper proposes a hybrid successive over-relaxation iterative method for the numerical solution of a nonlinear diffusion in a one-dimensional porous medium. The considered mathematical model is discretized using a computational complexity reduction scheme called half-sweep finite differences. The local truncation error and the analysis of the stability of the scheme are discussed. The proposed iterative method, which uses explicit group technique and modified successive over-relaxation, is formulated systematically. This method improves the efficiency of obtaining the solution in terms of total iterations and program elapsed time. The accuracy of the proposed method, which is measured using the magnitude of absolute errors, is promising. Numerical convergence tests of the proposed method are also provided. Some numerical experiments are delivered using initial-boundary value problems to show the superiority of the proposed method against some existing numerical methods.