• 대한전자공학회:학술대회논문집
• /
• 대한전자공학회 2002년도 ITC-CSCC -2
• /
• pp.920-923
• /
• 2002

In this paper, we propose Class Diagram With Constraints (CDWC) as an object oriented modeling technique which makes validation possible in software development. CDWC is a simple and basic model for the object oriented analysis, and has a reasonable strictness for software developers. CDWC consists of class diagrams and constraints (invariant and pre/post conditions), using UML and a subset of OCL.. We introduce a method of validation of CDWC using the verification technique of algebraic formal specification language CafeOBJ.

• 전기전자학회논문지
• /
• 제17권3호
• /
• pp.346-351
• /
• 2013

모바일 시스템에서는 비용 및 전력 효율이 중요하기 때문에 부동소수점 연산기 개발 시 32-비트 데이터 형식대신 24-비트 데이터 형식을 사용하는 것이 좋다. 하지만 24-비트 데이터 형식을 사용할 경우 32-비트 데이터 형식에 비해 연산기의 정확도가 낮아질 수 있다. 3D 그래픽과 같이 연속적인 부동소수점 연산 처리가 많이 요구될 경우 연산기의 정확도에 대한 논의와 검증이 중요하다. 나눗셈은 3D 그래픽에 사용되는 연산 중 OpenGL에서 규정한 정확도를 만족하기 가장 어려운 연산 중 하나이다. 현재까지 OpenGL에서 규정한 정확도를 만족하는 것이 대수적으로 검증된 24-비트 부동소수점 제산기는 알려진 바가 없다. 본 논문에서는 24-비트 부동소수점 제산기를 분석하고, OpenGL ES 3.0에서 규정한 $10^{-5}$의 정확도를 만족함을 대수적으로 검증한다.

• 한국소음진동공학회논문집
• /
• 제23권11호
• /
• pp.943-950
• /
• 2013

This paper discusses a harmonic response estimation method on the L$\acute{e}$vy plate with two opposite edges simply supported and the other two edges having free boundary conditions. Since the equation of motion of the plate is not self-adjoint, the modes are not orthogonal to each other on the domain. Noting that the L$\acute{e}$vy plate can be expressed using one term sinusoidal function that is orthogonal to other sinusoidal functions, this paper suggested the calculation method that is equivalent to finding a least square error minimization solution of the finite number of algebraic equations. Example problems subjected to a distributed area loading and a distributed line loading are defined and their solutions are provided. The solutions are compared to those of the commercial code, ANSYS. According to the verification results, it is expected that the suggested method will be useful to predict the forced response on the L$\acute{e}$vy plate with the distributed area or line loading conditions.

• 한국습지학회지
• /
• 제15권4호
• /
• pp.609-618
• /
• 2013

Curve number (CN), originally developed, compiled by 'The Natural Resources Conservation Service (NRCS)', and has been widely used throughout the world. However, there is the uncertainty of CN derived from the use of antecedent moisture condition (AMC)/Antecedent Runoff Condition (ARC). As in Korea where nearly 70% covered by mountainous area, it is still not sufficient handbook precedent to guide or support the estimation of AMC/ARC. The failure to develop formal criteria of applying AMC/ ARC will be a gaping profession and results not only in uncertainty of CN estimation in particular, but also in designing appropriate structures in Korea as a whole. This paper is aiming at presenting a critical review of AMC/ARC and deriving a procedure to deal more realistically with event rainfall-runoff over wider variety of initial conditions. Proposed methods have been developed. It is based on modifying estimated runoff to observed runoff with coefficient of determination and then applying different algebraic expression with the verification of AMC by antecedent rainfall table of NEH-1964. The result shows that algebraic expression by Arnold et al. (1996) is the most appropriate for AMC/ARC and the results of AMC/ARC estimation criteria are generally very close to each other. Therefore, this algebraic expression might be applied in South Korea condition properly.

• 대한기계학회논문집A
• /
• 제27권3호
• /
• pp.409-415
• /
• 2003

The purpose of this paper is to develop the 2-Dim Lagrangian Hydrocode for the analysis of large deformations of solids with implementation of the contact algorithm. First, th e governing equations are discretized into a system of algebraic equations. For more accurate and robust contact force computation. the defense node contact algorithm was adopted and implemented. For the verification of the code developed, two cases are carried out; the Taylor-Impact test and two bodies impact. The von -Mises criterion is implemented into the code with the Shock equation of state. The simulation results show a good agreement compared with the published experimental data and results from the commercial code. It is necessary to implement several material models and failure models for applications to different impact and penetration problems.

• 한국소음진동공학회논문집
• /
• 제25권10호
• /
• pp.653-659
• /
• 2015

A new formulation of the non-dimensional dynamic influence function method, which is a type of the meshless method, is introduced to extract highly accurate eigenvalues of clamped plates with arbitrary shape. Originally, the final system matrix equation of the method, which was introduced by the author in 1999, does not have a form of algebraic eigenvalue problem unlike FEM. As the result, the non-dimensional dynamic influence function method requires an inefficient process to extract eigenvalues. To overcome this weak point, a new approach for clamped plates is proposed in the paper and the validity and accuracy is shown in verification examples.

• 한국해안해양공학회지
• /
• 제7권3호
• /
• pp.248-256
• /
• 1995

표층밀도분류에 대한 수치계산에서 문제로 되는 것은 자유수면의 처리, 레이놀즈응력/플럭스항, 특히 난류변동성분에 미치는 부력효과 등에 관련된 것이며, 이것에 대한 보다 집중적인 연구가 필요하다. 또한, 농도장이나 온도장에서의 난류변동성분을 측정하는 데 있어서의 어려움으로 인한 실험자료의 부족으로 수치 계산으로부터 얻어진 예측결과의 충분한 검증은 이루어지지 않고 있다. 본 연구에서는 2차원 표층밀도분류에 대한 유동특성을 조사하기 위하여 난류의 비등방성을 고려하여 난류응력을 직접 계산하는 대수응력모델을 적용하여 수치계산을 행하고, 그 결과를 실험결과와 비교ㆍ검토하였다. 검토한 결과 대수응력모델은 전 영역모델은 전 영역에서 2차원 표층밀도분류의 유동특성을 양호하게 재현하였으며, 특히 부력효과로 인한 성층화가 발생하는 부력 탁월영역에서 난류유동장의 흐름특성을 합리적으로 예측함을 입증하였다.

• 한국정보통신학회논문지
• /
• 제17권10호
• /
• pp.2330-2336
• /
• 2013

사람이 만든 시스템들은 서로 상호 작용하는 여러 개의 요소 시스템들로 이루어지기 때문에, 시스템 오류로 인한 비정상적인 현상이 발생하였을 경우 그 논리적 오류를 분석하는 것이 매우 어렵다. 또한 높은 품질과 안정적인 시스템 개발을 위해서는 논리적 해석 방법이 반드시 적용되어질 필요가 있다. 본 논문에서는 시스템의 합성과 축소화 두 연산을 정의하고 이것을 기반으로 시스템을 해석하는 방법을 제안한다. 제안한 방법에서는 시스템의 합성과 축소화 과정을 반복적으로 수행하되 내부 이벤트들을 간소화 시킴으로써 주요 입출력 이벤트들의 응답이 같음을 확인하는 방법이다. 제안한 방법의 효용성을 보이기 위해 기존의 간단한 통신 프로토콜에 대하여 적용하여 보았으며, 전송매체에 전달된 메시지는 수신측에 반드시 전달된다는 것을 확인할 수 있었다.

• Nuclear Engineering and Technology
• /
• 제47권5호
• /
• pp.596-607
• /
• 2015

In this paper, we describe a computer program, iBEST (inverse Burnup ESTimator), that we developed to accurately estimate the burnup histories of spent nuclear fuels based on sample measurement data. The burnup history parameters include initial uranium enrichment, burnup, cooling time after discharge from reactor, and reactor type. The program uses algebraic equations derived using the simplified burnup chains of major actinides for initial estimations of burnup and uranium enrichment, and it uses the ORIGEN-S code to correct its initial estimations for improved accuracy. In addition, we newly developed a stable bisection method coupled with ORIGEN-S to correct burnup and enrichment values and implemented it in iBEST in order to fully take advantage of the new capabilities of ORIGEN-S for improving accuracy. The iBEST program was tested using several problems for verification and well-known realistic problems with measurement data from spent fuel samples from the Mihama-3 reactor for validation. The test results show that iBEST accurately estimates the burnup history parameters for the test problems and gives an acceptable level of accuracy for the realistic Mihama-3 problems.

• Journal of applied mathematics & informatics
• /
• 제11권1_2호
• /
• pp.215-241
• /
• 2003

In this paper, solute transport in heterogeneous aquifers using a modified Fokker-Planck equation (MFPE) is investigated. This newly developed mathematical model is characterised with a time-, scale-dependent dispersivity. A two-dimensional finite volume quadrilateral mesh method (FVQMM) based on a quadrilateral background interpolation mesh is developed for analysing the model. The FVQMM transforms the coupled non-linear partial differential equations into a system of differential equations, which is solved using backward differentiation formulae of order one through five in order to advance the solution in time. Three examples are presented to demonstrate the model verification and utility. Henry's classic benchmark problem is used to show that the MFPE captures significant features of transport phenomena in heterogeneous porous media including enhanced transport of salt in the upper layer due to its parameters that represent the dependence of transport processes on scale and time. The time and scale effects are investigated. Numerical results are compared with published results on the some problems.