• Nuclear Engineering and Technology
• /
• 제41권7호
• /
• pp.875-884
• /
• 2009

We present three nuclear/hydrogen-related R&D activities being performed at KAIST: air-ingressed LOCA analysis code development, gas turbine analysis tool development, and hydrogen-production system analysis model development. The ICE numerical technique widely used for the safety analysis of water-reactors is successfully implemented into GAMMA, with which we solve the basic equations for continuity, momentum conservation, energy conservation of the gas mixture, and mass conservation of 6 species (He, N2, O2, CO, CO2, and H2O). GAMMA has been extensively validated using data from 14 test facilities. We developed a tool to predict the characteristics of HTGR helium turbines based on the throughflow calculation with a Newton-Raphson method that overcomes the weakness of the conventional method based on the successive iteration scheme. It is found that the current method reaches stable and quick convergence even under the off-normal condition with the same degree of accuracy. The dynamic equations for the distillation column of HI process are described with 4 material components involved in the HI process: H2O, HI, I2, H2. For the HI process we improved the Neumann model based on the NRTL (Non-Random Two-Liquid) model. The improved Neumann model predicted a total pressure with 8.6% maximum relative deviation from the data and 2.5% mean relative deviation, and liquid-liquid-separation with 9.52% maximum relative deviation from the data.

• Steel and Composite Structures
• /
• 제10권3호
• /
• pp.207-222
• /
• 2010

Fire incident in buildings is common, so the fire safety design of the framed structure is imperative, especially for the unprotected or partly protected bare steel frames. However, software for structural fire analysis is not widely available. As a result, the performance-based structural fire design is urged on the basis of using user-friendly and conventional nonlinear computer analysis programs so that engineers do not need to acquire new structural analysis software for structural fire analysis and design. The tool is desired to have the capacity of simulating the different fire scenarios and associated detrimental effects efficiently, which includes second-order P-D and P-d effects and material yielding. Also the nonlinear behaviour of large-scale structure becomes complicated when under fire, and thus its simulation relies on an efficient and effective numerical analysis to cope with intricate nonlinear effects due to fire. To this end, the present fire study utilizes a second-order elastic/plastic analysis software NIDA to predict structural behaviour of bare steel framed structures at elevated temperatures. This fire study considers thermal expansion and material degradation due to heating. Degradation of material strength with increasing temperature is included by a set of temperature-stress-strain curves according to BS5950 Part 8 mainly, which implicitly allows for creep deformation. This finite element stiffness formulation of beam-column elements is derived from the fifth-order PEP element which facilitates the computer modeling by one member per element. The Newton-Raphson method is used in the nonlinear solution procedure in order to trace the nonlinear equilibrium path at specified elevated temperatures. Several numerical and experimental verifications of framed structures are presented and compared against solutions in literature. The proposed method permits engineers to adopt the performance-based structural fire analysis and design using typical second-order nonlinear structural analysis software.

• Journal of the Korean Data and Information Science Society
• /
• 제25권5호
• /
• pp.1025-1038
• /
• 2014

가족 자료를 활용한 연속형 표현형의 전장유전체분석 (genome-wide association analysis)은 주로 선형혼합모형을 이용하며, 분산공분산행렬은 가족 구성원간의 유전적 거리를 고려하여 결정된다. 그러나 가족 구성원들의 표현형의 유사성은 유전적 요인과 환경적 요인에 의하여 발생함에도 불구하고, 표현형의 유사성은 단지 유전적 요인에 의해서 발생한다고 가정한다. 예를 들어 키의 경우 부부 사이에 양의 상관관계가 존재하나 유전적 요인만 고려하여 독립으로 가정한다. 선형혼합 모형에서 분산공분산 구조를 잘못 가정하는 경우, 검정통계량의 1종 혹은 2종의 오류를 적절히 관리할 수 없다. 본 논문에서는 다양한 유형의 분산공분산구조를 가정할 수 있는 선형혼합모형과 이를 기반으로 한 검정통계량을 제안하였다. 모의실험을 통하여 제안한 방법이 기존의 모형보다 통계적 검정력이 우수함을 확인하였다. 또한 체질량지수 (body mass index; BMI)의 전장유전체 분석에 적용하여 기존에 알려지지 않은 새로운 원인 유전자를 규명하였다.

• 지능정보연구
• /
• 제16권2호
• /
• pp.55-72
• /
• 2010

최근, NCW에 적합한 C4I 체계의 전투력 상승효과 평가의 필요성이 제기되고 있다. 기존의연구는 체계 자체에 중점을 두었으며, 인적 요소를 중요한 요소로 고려하지 않았다. 따라서, C4I 체계의 전투력 상승효과 평가 시 기술 및 인적 요소를 고려하여 평가하는 것이 필요한 시점이라고 할 수 있다. 이에 본 연구에서는 E-TechMan(A Combat Effectiveness Evaluation Algorithm Considering Technical and Human Factors in C4I System)이라 불리는 전투력 상승효과 평가 알고리즘을 제안한다. E-TechMan 알고리즘은 합동화력체계(Joint Fire Operating System-Korea)에 적용되어 전투력 상승효과를 평가해보았다. 또한, 기존의 연구방법인 C2 이론 및 고전 역학에 의한 결과와 비교를 하였다. 본 연구는 인적요소에 의한 영향을 반영함으로써 기존의 연구보다 현실적인 전투력 상승효과 결과를 제시했다는데 가치가 있다.

• 한국수자원학회논문집
• /
• 제37권12호
• /
• pp.1043-1054
• /
• 2004

다양한 내부경계를 포함하는 폐합형 하천수계에 대한 부정류 계산모형을 개발하였다. 계산모형은 폐합형 수계모형으로서, 계산기법으로는 Preissmann의 4점 음해법과 폐합형 double sweep 알고리즘에 근거한 모형을 사용하였다. 또한 댐 및 수중보 등의 수공구조물에서 발생할 수 있는 월류흐름, 오리피스형 흐름 등에 대한 모의가 가능하도록 하고, Auto ROM에 의한 댐에서의 홍수조절 방안을 내부경계 조건으로 포함하여 홍수시 운영조건에 대한 모의가 가능하도록 하였다. 팔당댐 하류부와 충주 조정지댐 하류의 남한강 구간 및 화천댐 하류의 북한강 구간을 포함하도록 한강 수계에 대한 계산모형을 수립하였다. 또한 과거에 발생한 총 11개의 홍수사상을 사용하여 남한강 구간에 대한 조도계수를 추정하였다. 홍수기간 중 목표수위를 유지하도록 하는 팔당댐 및 북한강 수계 댐들의 홍수조절 방안을 설정하고, 수립된 방법을 사용하여 과거에 발생한 홍수사상에 대한 모의계산을 수행한 결과, 설정된 홍수조절 방안이 잘 모의되는 것으로 나타났다.

• 한국전산유체공학회지
• /
• 제21권2호
• /
• pp.112-119
• /
• 2016

NEXTSat-1 is the next-generation small-size artificial satellite system planed by the Satellite Technology Research Center(SatTReC) in Korea Advanced Institute of Science and Technology(KAIST). For the control of attitude and transition of the orbit, the system has adopted a RHM(Resisto-jet Head Module), which has a very simple geometry with a reasonable efficiency. An axisymmetric model is devised with two coil-resistance heaters using xenon(Xe) gas, and the minimum required specific impulse is 60 seconds under the thrust more than 30 milli-Newton. To design the module, seven basic parameters should be decided: the nozzle shape, the power distribution of heater, the pressure drop of filter, the diameter of nozzle throat, the slant length and the angle of nozzle, and the size of reservoir, etc. After quasi one-dimensional analysis, a theoretical value of specific impulse is calculated, and the optima of parameters are found out from the baseline with a series of multi-physical numerical simulations based on the compressible Navier-Stokes equations for gas and the heat conduction energy equation for solid. A commercial code, COMSOL Multiphysics is used for the computation with a FEM (finite element method) based numerical scheme. The final values of design parameters indicate 5.8% better performance than those of baseline design after the verification with all the tuned parameters. The present method should be effective to reduce the time cost of trial and error in the development of RHM, the thruster of NEXTSat-1.

• 대한기계학회논문집A
• /
• 제24권2호
• /
• pp.329-337
• /
• 2000

An investigation has been performed to develop an analysis tool based on a nonlinear beam theory, which can be used to predict the long-term behavior of an artificial hip joint. The nonlinear behav ior of the femur arise from the coupled dependence of the bone density and the mechanical properties on each other. The beam theory together with its numerical algorithm is developed to take into account the nonlinear bone remodeling process of the femur that is long enough to be assumed as a beam. A piecewise linear curve for the bone remodeling rate is used in the bone remodeling theory and the surface area density of bone is modeled as the third order polynomial function of bone density. At each section of the beam, a constant curvature is assumed and the longitudinal strains are also assumed to vary linearly across the section. The Newton-Rhapson iteration method is used to solve the nonlinear equations for each cross section of the bone and a backward method is used to march along the time. The density and the remodeling signal ar, calculated along with time for the various time steps, and the developed beam theory has been verified by comparing with the results of finite element analysis of a remodeling bone with an artificial hip joint of titanium prosthesis subjected to uni-axial loads and pure bending moment. It is concluded that the developed beam theory can be used to predict the long-term behavior of the femur and thus to design the artificial hip prosthesis.

• 한국IT서비스학회지
• /
• 제19권1호
• /
• pp.145-158
• /
• 2020

With the development and widespread application of online shopping, the number of online consumers has increased. With one click of a mouse, people can buy anything they want without going out and have it sent right to the doors. As consumers benefit from online shopping, people are becoming more concerned about protecting their privacy. In the group buying scenario described in our paper, online shopping was regarded as intra-group communication. To protect the sensitive information of consumers, the polynomial-based encryption key sharing method (Piao et al., 2013; Piao and Kim, 2018) can be applied to online shopping communication. In this paper, we analyze security problems by using a polynomial-based scheme in the following ways : First, in Kamal's attack, they said it does not provide perfect forward and backward secrecy when the members leave or join the group because the secret key can be broken in polynomial time. Second, for simultaneous equations, the leaving node will compute the new secret key if it can be confirmed that the updated new polynomial is recomputed. Third, using Newton's method, attackers can successively find better approximations to the roots of a function. Fourth, the Berlekamp Algorithm can factor polynomials over finite fields and solve the root of the polynomial. Fifth, for a brute-force attack, if the key size is small, brute force can be used to find the root of the polynomial, we need to make a key with appropriately large size to prevent brute force attacks. According to these analyses, we finally recommend the use of a relatively reasonable hash-based mechanism that solves all of the possible security problems and is the most suitable mechanism for our application. The study of adequate and suitable protective methods of consumer security will have academic significance and provide the practical implications.

• 한국실내디자인학회논문집
• /
• 제11호
• /
• pp.57-63
• /
• 1997

In the early 20'c, scientific thoughts make a change the absolute and separate concept of space-time into relative concept of continual entity; a kind of ideal world. It suggests that the meaning of geometry as absolute truth with which has endowed human beings would changed to a relative meaning of accumulation in intellectual work on 'nature'. This cognitive changes appeared into absolute arts in 20'c like Cubism, Superematism or Constructivism. De Stijl movement which had recepted the relative concepts like Einstein's 'theory of relativity' as a developed thought from Newton-Cartesian cognition on the world. Abstration would be adequate method for expressing the dynamics and interrelationship between forms and for giving values to indivisual elements in a compositiov. This method had appeared Modern architectural form, as a common framework. The expression characteristics of geometrical design in Deconstructive and Experimental architecture were summerized in four features through the results of the analysis. First, the relation of architectural element and intertextuality is expressed in discontinuation of context and refusal of functional building. Second, the concept of trace expresses as connection of place, decomposing of excavation of trace, trace of axis, trace of fragments. Third, anti-gravity expression is there to express of open cubic, to outgrow of rectangular system, to outgrow of volume, to separate of ground connectiov. Fourth, the complex composition of abstracted geometric form is these to abstracted geometry about indefinite shape, to layer through the overlap and collage, to de-meaning and amusement of form through the pursuit of uncertainty, to indeterminate of formal meaning through operation and composition of similar form cause to the diverse of meaning.

• 한국정보과학회논문지:시스템및이론
• /
• 제31권3_4호
• /
• pp.247-256
• /
• 2004

본 논문에서는 애니메이션 속도에 무관한 충돌 탐지 알고리즘을 제안한다. 현재까지 개발된 대부분의 충들 탐지 알고리즘들은 점진적(incremental) 알고리즘들로서, 현 시점에서의 가까운 점(근점)을 찾기 위하여 이전 시점의 근점 주위를 먼저 찾는다. 그런데 만일 움직이는 물체가 충돌 반응에 의해서 큰 토크를 받게 된다면 회전 속도가 증가하게 되어, 다음 시점에서의 실제 근점은 현 시점에서의 근점과는 매우 동떨어져 있어 엉뚱한 위치에서 근점을 찾게 되는 단점을 가진다. 그러므로, 최악의 경우에는 각 시점에서 $O(n^2)$, 시간이 소요될 수 있다. 또한 애니메이션 속도에 따라 이러한 점진적 계산 회수가 변하게 되어 전체적인 알고리즘의 소요 시간이 변하게 되는 단점을 가지고 있다. 본 논문에서는 이러한 문제점을 근본적으로 해결하고자 새로운 방법을 제안하고자 한다. 먼저, 기하학 특성을 내포하는 구면 근점 다이아그램을 생성하고, 이를 이용하여 두 물체간의 단일 거리 함수를 생성한다. 충돌 시점을 효율적으로 찾기 위해서 구간 뉴튼 방법을 거리함수에 적용한다.