• 대한전기학회:학술대회논문집
• /
• 대한전기학회 1993년도 하계학술대회 논문집 A
• /
• pp.90-92
• /
• 1993

Stability analysis is an essential work in the operation and planning of power system. There are two categories, direct method and indirect method, and indirect method calculates the trajectories of states by numerical methods. Popular method using explicit integration has relatively low accuracy, so a more accurate method is requested. By the consideration of bus voltage variation, Runge-Kutta 4th order method can be made more accurate, but this scheme need much computation time. Through three recipes, computational cost of proposed method can be reduced. So the proposed method has improved accuracy and slight rise in cost. the method was tested on the IEEE 14 bus system.

• Kyungpook Mathematical Journal
• /
• 제56권2호
• /
• pp.311-327
• /
• 2016

In this paper, we propose an error embedded Runge-Kutta method to improve the traditional embedded Runge-Kutta method. The proposed scheme can be applied into most explicit embedded Runge-Kutta methods. At each integration step, the proposed method is comprised of two equations for the solution and the error, respectively. These solution and error are obtained by solving an initial value problem whose solution has the information of the error at each integration step. The constructed algorithm controls both the error and the time step size simultaneously and possesses a good performance in the computational cost compared to the original method. For the assessment of the effectiveness, the van der Pol equation and another one having a difficulty for the global error control are numerically solved. Finally, a two-body Kepler problem is also used to assess the efficiency of the proposed algorithm.

• Advances in aircraft and spacecraft science
• /
• 제3권1호
• /
• pp.77-93
• /
• 2016

In this paper, a zero-dimensional mathematical formulation for rapid and explosive decompression analyses of pressurized aircraft is developed. Air flows between two compartments and between the damaged compartment and external ambient are modeled by assuming an adiabatic, reversible transformation. Both supercritical and subcritical decompressions are considered, and the attention focuses on intercompartment venting systems. In particular, passive and active vents are addressed, and mathematical models of both swinging and translational blowout panels are provided. A numerical procedure based on an explicit Euler integration scheme is also discussed for multi-compartment aircraft analysis. Various numerical solutions are presented, which highlight the importance of considering the opening dynamics of blowout panels. The comparisons with the results from the literature demonstrate the validity of the proposed methodology, which can be also applied, with no lack of accuracy, to the decompression analysis of spacecraft.

• 한국정보통신학회:학술대회논문집
• /
• 한국정보통신학회 2016년도 추계학술대회
• /
• pp.762-764
• /
• 2016

ECQV(Elliptic Curve Qu-Vanstone)는 ECC(Elliptic Curve Cryptography) 기반의 묵시적 인증서(implicit certificate)를 생성하는 방법으로서 기존에 사용되던 명시적 인증서에 비해 크기가 작고 빠르기 때문에 메모리가 충분하지 않거나 대역폭이 작은 제한된 통신환경에서 유용하게 사용 될 수 있다. 또한, Butterfly key expansion 알고리즘은 하나의 공개키를 사용하여 여러 개의 인증서를 발급할 수 있도록 지원하는 방법이다. 본 연구에서는 기존 ECQV에 Butterfly key expansion 알고리즘을 적용하여, 추후 자동차 통신 환경에서 유용하게 사용될 수 있는 인증서 발급 방법을 제안한다.

• International Journal of Internet, Broadcasting and Communication
• /
• 제11권3호
• /
• pp.49-58
• /
• 2019

Efficient evidential reasoning is an important issue in the development of advanced knowledge based systems. Efficiency is closely related to the design of problems solving methods adopted in the system. The explicit modeling of problem-solving structures is suggested for efficient and effective reasoning. It is pointed out that the problem-solving method framework is often too coarse-grained and too abstract to specify the detailed design and implementation of a reasoning system. Therefore, as a key step in developing a new reasoning scheme based on properties of the problem, the problem-solving method framework is expanded by introducing finer grained problem-solving primitives and defining an overall control structure in terms of these primitives. Once the individual components of the control structure are defined in terms of problem solving primitives, the overall control algorithm for the reasoning system can be represented in terms of a finite state diagram.

• 대한토목학회논문집
• /
• 제3권4호
• /
• pp.21-31
• /
• 1983

흐름단면(斷面)이 급변화(急變化)하는 개수로(開水路)의 순환현상(循環現象)을 깊이에 대하여 적분(積分)한 2차원(次元) Navier Stockes 연속방정식(方程式)을 Galerkin 형(型) 유한요소법(有限要素法)을 이용(利用)하여 수치적(數値的)으로 해석하였다. 1차원구형수로(次元矩形水路)의 수치해석(數値解析)에서 implicit 방법(方法)과 explicit 방법(方法)을 적용(適用)한 결과(結果) 수치해(數値解)는 정확해(正確解)와 잘 맞았으며, 확대부(擴大部)가 있는 개수로(開水路)에서는 수치실험(數値實驗)에 의해 예상(豫想)된 흐름 상태(狀態)가 얻어졌으며 순환(循環)의 중심(中心)은 기하학적(幾何學的) 중심(中心)과 일치하였으나 유속(流速)의 크기는 작게 나타나 개선(改善)이 요망된다. 교각(橋脚) 등(等)의 장애물(障碍物)이 있는 수로(水路)에서 수치모형(數値模型)에 의해 계산(計算)한 수면곡선(水面曲線)은 수리모형실험결과(水理模型實驗結果)와 근사(近似)하게 나타나 배수영향(背水影響)을 해석할 수 있는 수단(手段)으로서 개발가능성을 제시하는 것으로 판단된다.

• 에너지공학
• /
• 제12권1호
• /
• pp.11-16
• /
• 2003

지상 정적 상태에 있는 항공기내 연료온도의 변화가 유한차분식에 의하여 해석되었다. 수정 Dufort-Frankel 기법의 explicit 방법에 의해 수치계산이 수행되었다. 항공기는 지상 정적상태에서 1% hot day 대기조건에 따른 태양의 복사 및 바람의 속도와 함께 반복되는 일일주기의 공기온도에 노출되어 있다고 가정되었다. 항공기는 난류유동장내에 있는 것으로 가정되었다. 항공기 표면과 외부대기사이의 열전달을 계산하기 위하여 Eckert에 의해 제안된 평판위의 난류 열전달계수가 사용되었다. 본 해석에 사용된 지배방정식은 연료에 대한 에너지방정식이다. 본 해석으로부터, 주익탱크의 연료온도가 다른 탱크들 가운데 가장 높게 나타났으며 온도변화율 또한 가장 크게 나타났다. 본 온도해석에 대한 결과는 여러 비행임무에 있어서 항공기내의 연료온도 변화 해석을 위한 초기치로서 사용될 수 있다. 또한, 본 해석방법은 항공기 열에너지 관리시스템의 해석 및 설계에 사용될 수 있다.

• 한국정보통신학회논문지
• /
• 제21권4호
• /
• pp.744-752
• /
• 2017

ECQV(Elliptic Curve Qu-Vanstone) 묵시적 인증서는 명시적 인증서와 다르게 전자서명을 검증하지 않고 인증서로부터 공개키를 복원시킨다. 이와 같이 공개키가 인증서로부터 복원되면 인증서와 공개키는 묵시적으로 검증된다. 그러므로 ECQV 묵시적 인증서는 전자서명과 공개키 대신에 공개키 복원 데이터만으로 구성되어 명시적 인증서보다 크기가 작고, 인증서로부터 공개키를 복원하는 것이 전자서명을 검증하는 것보다 빠르다. 또한 ECQV는 ECC 기반으로 동작되므로 다른 암호화 방식에 비해 키 길이가 짧고 속도가 빨라 메모리, 대역폭과 같은 자원이 제한된 환경 및 응용에 적합하다. 본 논문에서는 SECG SEC 4에 정의된 ECQV의 전제 조건과 묵시적 인증서의 발행, 묵시적 인증서로부터의 공개키 복원에 대해 설명하고, ECQV를 소프트웨어로 설계 및 구현하였으며 그 성능을 측정하였다.

• 한국항해항만학회지
• /
• 제27권5호
• /
• pp.539-546
• /
• 2003

유한요소기법을 이용하여 유동해석의 수치모델을 행하였다 공간을 이산화 할 때에는 Galerkin법을 적용하였으며, 시간의 함수를 이산화 할 때에는 많은 수의 요소와 비정상상태의 문제를 다루는데 있어 장점을 가진 2단계 양해법을 이용하였다. 이동경계조건을 고려한 2차원유통모델을 개발하였고, 직사자형 수조에서 개발된 유동모델을 적용하여 검증하였고, 유용성을 확인하였다. 제주항에 개발된 이동경계기법을 적용하여 계산한 결과, 본 이동경계기법의 좋은 적용성을 보여주었다. 본 연구로부터 이동경계처리 방법이 실해역에서의 유동해석에 있어 유용하고 효율적인 방법이라고 결론지을 수 있다.

• 한국전산구조공학회논문집
• /
• 제27권4호
• /
• pp.297-303
• /
• 2014

페리다이나믹스 이론과 이진분해 기법의 병렬연산을 이용하여 동적 균열진전 문제에 대한 애조인 형상 설계민감도 해석법을 개발하였다. 페리다이나믹스에서는 균열의 연속적인 분기를 다룰 수 있으며, Explicit 시간적분법을 채택한다. 설계민감도 해석은 애조인 변수법은 경로의존성 문제에는 적합하지 않으나 여기서는 응답해석의 경로를 이미 알고 있으므로 채택하여 사용할 수 있었다. 얻어진 해석적 설계민감도는 유한차분과 비교하여 그 정확성을 검증하였다. 유한차분법은 설계섭동량에 민감하여 비선형성이 강한 페리다이나믹스 문제에서 부정확한 설계민감도를 제시할 수 있다. 정확한 설계민감도 해석을 위해서는 이산화과정에서 $C^1$ 연속성을 가지는 체적율이 필요함을 알 수 있었다.