• Nuclear Engineering and Technology
• /
• v.41 no.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
• /
• v.10 no.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
• /
• v.25 no.5
• /
• pp.1025-1038
• /
• 2014

Linear mixed model has often been utilized for genetic association analysis with family-based samples. The correlation matrix for family-based samples is constructed with kinship coefficient and assumes that parental phenotypes are independent and the amount of correlations between parent and offspring is same as that of correlations between siblings. However, for instance, there are positive correlations between parental heights, which indicates that the assumption for correlation matrix is often violated. The statistical validity and power are affected by the appropriateness of assumed variance covariance matrix, and in this thesis, we provide the linear mixed model with flexible variance covariance matrix. Our results show that the proposed method is usually more efficient than existing approaches, and its application to genome-wide association study of body mass index illustrates the practical value in real data analysis.

• Journal of Intelligence and Information Systems
• /
• v.16 no.2
• /
• pp.55-72
• /
• 2010

Recently, the battlefield environment has changed from platform-centric warfare(PCW) which focuses on maneuvering forces into network-centric warfare(NCW) which is based on the connectivity of each asset through the warfare information system as information technology increases. In particular, C4I(Command, Control, Communication, Computer and Intelligence) system can be an important factor in achieving NCW. It is generally used to provide direction across distributed forces and status feedback from thoseforces. It can provide the important information, more quickly and in the correct format to the friendly units. And it can achieve the information superiority through SA(Situational Awareness). Most of the advanced countries have been developed and already applied these systems in military operations. Therefore, ROK forces also have been developing C4I systems such as KJCCS(Korea Joint Command Control System). And, ours are increasing the budgets in the establishment of warfare information systems. However, it is difficult to evaluate the C4I effectiveness properly by deficiency of methods. We need to develop a new combat effectiveness evaluation method that is suitable for NCW. Existing evaluation methods lay disproportionate emphasis on technical factors with leaving something to be desired in human factors. Therefore, it is necessary to consider technical and human factors to evaluate combat effectiveness. In this study, we proposed a new Combat Effectiveness evaluation algorithm called E-TechMan(A Combat Effectiveness Evaluation Algorithm Considering Technical and Human Factors in C4I System). This algorithm uses the rule of Newton's second law($F=(m{\Delta}{\upsilon})/{\Delta}t{\Rightarrow}\frac{V{\upsilon}I}{T}{\times}C$). Five factors considered in combat effectiveness evaluation are network power(M), movement velocity(v), information accuracy(I), command and control time(T) and collaboration level(C). Previous researches did not consider the value of the node and arc in evaluating the network power after the C4I system has been established. In addition, collaboration level which could be a major factor in combat effectiveness was not considered. E-TechMan algorithm is applied to JFOS-K(Joint Fire Operating System-Korea) system that can connect KJCCS of Korea armed forces with JADOCS(Joint Automated Deep Operations Coordination System) of U.S. armed forces and achieve sensor to shooter system in real time in JCS(Joint Chiefs of Staff) level. We compared the result of evaluation of Combat Effectiveness by E-TechMan with those by other algorithms(e.g., C2 Theory, Newton's second Law). We can evaluate combat effectiveness more effectively and substantially by E-TechMan algorithm. This study is meaningful because we improved the description level of reality in calculation of combat effectiveness in C4I system. Part 2 will describe the changes of war paradigm and the previous combat effectiveness evaluation methods such as C2 theory while Part 3 will explain E-TechMan algorithm specifically. Part 4 will present the application to JFOS-K and analyze the result with other algorithms. Part 5 is the conclusions provided in the final part.

• Journal of Korea Water Resources Association
• /
• v.37 no.12
• /
• pp.1043-1054
• /
• 2004

An unsteady flow model for channel network including various internal boundaries if developed. It is a multiply-connected network model based on the Preissmann's four-point scheme and the Newton-Raphson method, where looped double-sweep algorithm is used. The model is capable of simulating flow through hydraulic structures such as dams and submerged weirs. It can also simulate automatic reservoir operation method (Auto ROM) for flood control, that is to maintain a target water level, by incorporating the strategy to the unsteady flow model as internal boundary condition. The model is applied to the Han River system that includes the downstream reaches of Choongju dam and Hwacheon dam as well as the downstream reach of the Paldang dam. Roughness coefficient for the downstream reach of Choongju dam is estimated. Automatic ROM is presumed for the Paldang, Chungpyung, Euiam, and Choonchun dams. The model is tested using historical flood records, and the flood control strategy is successfully simulated.

• Journal of computational fluids engineering
• /
• v.21 no.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.

• Transactions of the Korean Society of Mechanical Engineers A
• /
• v.24 no.2 s.173
• /
• 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.

• Journal of Information Technology Services
• /
• v.19 no.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.

• Korean Institute of Interior Design Journal
• /
• no.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.

• Journal of KIISE:Computer Systems and Theory
• /
• v.31 no.3_4
• /
• pp.247-256
• /
• 2004

This paper presents an efficient collision detection algorithm the performance of which is independent of animation speed. Most of the previous collision detection algorithms are incremental and discrete methods, which find out the neighborhood of the extreme vertex at the previous time instance in order to get an extreme vertex at each time instance. However, if an object collides with another one with a high torque, then the angular speed becomes faster. Hence, the candidate by the incremental algorithms may be farther from the real extreme vertex at this time instance. Therefore, the worst time complexity nay be $O(n^2)$, where n is the number of faces. Moreover, the total time complexity of incremental algorithms is dependent on the time step size of animation because a smaller time step yields more frequent evaluation of Euclidean distance. In this paper, we propose a new method to overcome these drawbacks. We construct a spherical extreme vertex diagram on Gauss Sphere, which has geometric properties, and then generate the distance function of a polyhedron and a plane by using this diagram. In order to efficiently compute the exact collision time, we apply the interval Newton method to the distance function.