• The Transactions of the Korea Information Processing Society
• /
• v.1 no.2
• /
• pp.202-214
• /
• 1994

A functional reduction method of Petri nets is proposed. The method is based on interpretation of relations and transitions with functions which map one series of a relation a another. In particular, we propose CF-join which combines two transitions to new one after reduction of the common places, CE-join which superpose two transitions to one after superposition of the common places, and EQ-join which reduces the common places, after the Petri nets were explained be a relational scheme. A reduced net can be obtained without changing the properties such as liveness and boundness.

• Proceedings of the Korean Society of Developmental Biology Conference
• /
• 2003.10a
• /
• pp.79-79
• /
• 2003

세포에 대한 산화스트레스는 세포의 대사와 기능저하의 원인이 되고 있으며 이를 줄이기 위한 항산화 물질의 첨가가 연구되고 있다. 본 연구는 비특이면역증가제이며 다목적 고기능성 알칼리용액 조성물인 Barodon의 항산화 효과를 돼지정자를 이용하여 조사하여, 돼지 액상정액의 보존성 향상을 위한 Barodon의 이용성을 알기 위하여 시도하였다. 실험구로서 무첨가구와 활성산소 인위발생구(xanthine+xanthine oxidase, X-XO), X-XO구에 superoxide dismutase, cataiase, Barodon(2종류)의 단독처리구 및 X-XO구에 이들 항산산제의 복합처리구로 나누어 항산화제 처리효과에 따른 정자운동특성을 CASA로 분석하였다. 또한 돼지 액상정액에서 Barodon의 항산화 효과를 무첨가구, catalase구 및 Barodon구로 나누어 정액의 보존기간별 정액성상 변화(정자활력, 생존성, 첨체이상)를 조사하였다.

• Journal of Korean Society of Coastal and Ocean Engineers
• /
• v.6 no.1
• /
• pp.81-87
• /
• 1994

The mild slope equation has been directly derived from the energy equation, and the relation between energy equation and Green's first and second identities was also clarified. It is shown here that the mild slope equation of elliptic type in the wave-current interaction has to have the same form as the one derived by Berkhoff (1972), and its physical meaning was investigated through analytical solutions.

• 한국전산유체공학회:학술대회논문집
• /
• 2008.03a
• /
• pp.19-26
• /
• 2008

From numerical point of view on flow network system analyses, stagnation properties are not preserved along streamlines across geometric discontinuities. Hence, GJM and DTM using ghost cell and thermodynamic relations are developed to preserve the stagnation enthalpy for the boundaries, such as the interfaces between junction and branches and the interface between two pipes of different cross-sections in serial pipelines. Additionally, the resolving power and efficiencies of the 2nd order Godunov type FV schemes are investigated and estimated by the tracing of the total mechanical energy during calculating rapid transients. Among the approximate Riemann solvers, RoeM is more suitable with the proposed boundary treatments especially for junction than Roe's FDS because of its conservativeness of stagnation enthalpy across geometric discontinuities.

• 한국전산유체공학회:학술대회논문집
• /
• 2008.10a
• /
• pp.19-26
• /
• 2008

From numerical point of view on flow network system analyses, stagnation properties are not preserved along streamlines across geometric discontinuities. Hence, GJM and DTM using ghost cell and thermodynamic relations are developed to preserve the stagnation enthalpy for the boundaries, such as the interfaces between junction and branches and the interface between two pipes of different cross-sections in serial pipelines. Additionally, the resolving power and efficiencies of the 2nd order Godunov type FV schemes are investigated and estimated by the tracing of the total mechanical energy during calculating rapid transients. Among the approximate Riemann solvers, RoeM is more suitable with the proposed boundary treatments especially for junction than Roe's FDS because of its conservativeness of stagnation enthalpy across geometric discontinuities.

• Journal of computational fluids engineering
• /
• v.14 no.1
• /
• pp.35-44
• /
• 2009

To adequately analyze flows in pipe or duct network system, traditional node-based junction coupling methods require the junction loss which is specified by empirical or analytic correlations. In this paper, a new finite volume junction coupling method using a ghost junction cell is developed by considering the interchange of linear momentum as well as the important wall-effect at junction without requiring any correlation on the junction loss. Also, boundary treatment is modified to preserve the stagnation enthalpy across boundaries, such as pipe-end and the interface between junction and branch. Also, the computational accuracy and efficiency of the Godunov-type finite volume schemes are investigated by tracing the total mechanical energy of rapid transients due to sudden closure of valve at downstream end.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2005.11a
• /
• pp.983-986
• /
• 2005

최근 들어서 데이터 마이닝은 마케팅, 시장 분석, 사업전략 및 도시계획 수립 등 다양한 분야에서 폭넓게 활용되고 있으며, 새로운 분야로 그 활용 영역을 넓혀가고 있다. 하지만 데이터 마이닝은 그 과정에서 데이터 소유자들의 프라이버시가 침해될 수 있는 문제를 내포하고 있으며, 최근에는 이러한 문제를 해결하고자 하는 노력들이 나타나고 있다. 본 논문에서는 데이터 마이닝에서 이러한 문제를 해결하기 위한 프라이버시 보호 기술들에 대해서 살펴보고 각 방법의 특징에 대해서 기술한다. 특히, 안전한 다자간 계산(Secure multiparty computation)에 기반한 암호학적 프라이버시 보호 기술과 그 활용 가능성에 대해서도 기술한다.

• Journal of the Korean Society of Surveying, Geodesy, Photogrammetry and Cartography
• /
• v.13 no.2
• /
• pp.187-198
• /
• 1995

An aim of this study performs effective management of cultural properties by developing digital information system which unifies dualitied management system. This study used close range photogrammetry for acquisition of digital information and designed database using GSIS to join spatial and nonspatial data. The result of this study achives the high level management and provides quickly precise data.

• Journal of Advanced Marine Engineering and Technology
• /
• v.23 no.2
• /
• pp.176-183
• /
• 1999

This paper is aimed to investigate behaviour of vortex in 2-D step cavity with high Reynolds numbers$(3.2{\times}10^{3},\;10^{4},\;3{\times}10^{4},\;5{\times}10^{4}\;and\;7{\times}10^{4})$. The SOLA algorithm which is MAC type was adopted to solution method computing the flow field on irregular grid. In case of $Re=7{\times}10^{4}$ flow behavior is steady bu periodic unsteady sinusoidal fluctuation of local velocity and kinetic energy is found for $Re=10^{4}$ Continuous movements of small eddies in the secondary flow regions are discov-ered for $3{\times}10^{4}$ Generation of eddies and their active migrating behavior are detected over $Re=5{\times}10^{4}$ resulting in complete unsteady and non-linear flow characteristics Furthermore a typhoon-like vortex(TLV) appears intermittently and rotates along the separation regions and boundary layers.

• Proceedings of the Plant Resources Society of Korea Conference
• /
• 2023.04a
• /
• pp.27-27
• /
• 2023

최근 기후위기 등으로 인해 생물다양성 감소 우려가 높아지고 있으며, 식물유전자원 보존의 강화를 위해 수많은 국제협약이 체결되고 있다. 자국의 생물다양성을 보호하고, 전 세계의 기후위기 취약식물의 보존을 위해 대한민국 산림청은 세계 최초로 지하터널형 야생식물종자 영구저장시설인 '시드볼트(Seed Vault)'를 경상북도 봉화에 설립하였다. 시드볼트는 안전한 종자의 저장을 위해 온도 -20℃, 습도 RH 40% 이하를 유지하며, 환경 변화를 최소화하기 위해 매일 시설 점검을 진행하고 있다. 시드볼트의 미션은 '기후위기 대응 생물다양성 확보'이며, 전 세계 종자저장의 선도기관으로 2022년 12월 기준으로 5,424종 192,625점을 확보하였으며, 2030년까지 1만 종 30만 점을 목표로 하고 있다. 전 세계 식물 종의 보호를 위해 국제기구와 협력하고 있으나, 해외 종자의 저장이 더욱 강화되어야 하며, 향후 시드볼트 종자저장 네트워크 구축에 참고하기 위한 해외 사례를 조사하였다. 아시아에서는 중국이 다량의 식물종을 수집하고 있으나, 해당 자료에 대한 공개는 이루어지지 않고 있으며, 일본은 농업식량 식물자원 중심으로 종자를 보존하고 있으며, 태국, 대만, 싱가포르 및 몽골 및 중앙아시아 국가의 종자수집과 보존은 근래 확대되는 추세이다. FAO의 Plant Genetic Resources for Food And Agriculture 관련 수집 자료에 따르면, 아시아지역 25개 국가에서 984,019점의 식물유전자원을 보고하였다. 본 연구를 바탕으로 아시아지역의 종자보존 네트워크를 구축하여 해외 종자의 안전한 저장을 통해 아시아 야생식물자원 다양성 보전 가치를 통합하는 시설로 성장하고자 한다.