고등급 보안 시스템을 위한 IPSec 시스템 기능 명세

유희준,김영미,최진영,서동수,노병규 고려대학교 컴퓨터과학기술연구소 2001 JOURNAL OF COMPUTER SCIENCE & ENGINEERING TECHNOLO Vol.3 No.-

현대 사회는 인터넷 사용자의 증가와 제반 기술의 비약적인 발전으로 사회활동 전반에 대한 인터넷 기반 서비스가 이루어지고 있다. 이런 과정에서 발생한 중요한 문제중의 하나가 불특정 다수가 자유로이 통신을 하기 위해 개발된 인터넷상에서 사용자의 보안을 보장해주는 것이다. 최근에 와서 인터넷상에서 개인 정보유출로 인한 많은 피해가 발생하면서 정보보호에 대한 관심이 더욱 증가하고 있다. 현재 이 문제를 해결하기 위하여 많은 보안 관련 시스템들이 개발되고 있으며, 세계 각 국의 표준 기구에서는 이러한 시스템에 대한 등급을 평가하고 있다. 각 등급을 살펴보면, 시스템 개발 초기부터 정형기법을 이용하여 개발되어진 시스템들이 고등급을 획득하고 있다. 국내에서도 한국정보보호센터(KISA)에서 보안 시스템에 대한 등급을 평가를 수행하면서 정형기법을 이용하여 땅세 검증된 시스템에게 K5이상의 고등급을 부여하고 있다. 이러한 등급을 살펴보면, 시스템의 기능을 정형명세언어를 이용해서 명세하는 부분을 공통적으로 요구하고 있다. 본 논문에서는 높은 보안 등급의 IPSec 관련 시스템을 개발하기 위해서 정형명세언어인 Z를 이용해서 IPSec의 동작을 명세하였다. The modern community is moving across the whole areas based on Internet with the growing Internet users and the great technological development. One of the important things that can be problem in this community is that the Internet should assure secure networking and security mechanism for the many security-ignorant users. Recently, Due to a lot of damages like a personal drain, security concerns is growing very rapidly. Now, many security application system is developing to solve this problem and each of the world standard organizations is evaluating these security application systems. Considering the each levels, we found that system using formal methods from the initial system development process acquired the high-level. In domestic, KISA manages the evaluation of security system and gives the higher than K5 to the system that specified and verified using formal methods. In this all levels, it should be required the system specification part. In this paper, we specified IPSec using formal specification language Z to develope the high-level IPSec system.

심도 180m와 230m상당압의 He-O 포화잠수가 수면에 미치는 영향

서유진,박영만,박광박 慶南大學校 附設 基礎科學硏究所 1996 硏究論文集 Vol.9 No.-

심도 180m와 230m의 고압 He-O₂ 환경하에서의 두 종류의 simulated된 잠수 실험에 있어서, 4명의 다이버들에 대해서 각각 표준적인 polysomnograms를 총 188일의 밤에 걸쳐서 기록했다. 두 종류의 잠수 조건에 있어서 해저의 감압하에서는 전체 수면 시간의 단축, 수면 효율의 감소, 수면으로 들어가는 시간의 증가, 중도 각성 회수와 수면 단계 이행 회수의 증가, 1단계 수면의 증가, 더욱이 4단계 수면의 감소를 보였지만, 어느 쪽도 뚜렷한 변화는 보이지 않았다. 230m 잠수에 있어서의 수면은 180m 잠수에 비해서 4단계 수면만 유의한 감소를 보였다. 두가지의 잠수 조건 모두 잠수 기간 중에는 각성하기 쉬운 상황이었고, 기초적인 수면 패턴의 혼란은 없는 것으로 추측 되었다.

심도 20m Nitrox 포화잠수에 있어서 수면의 심리적 영향

서유진,박영만,박광박 慶南大學校 附設 基礎科學硏究所 1996 硏究論文集 Vol.9 No.-

세 종류의 시뮬레이션된 20m Nitrox 포화잠수 상태하에서 수면 구조에 대해 조사했다. 그리고, 장기간의 포화잠수에 대해 12명의 다이버들을 참가시켜서, 연속된 180일간의 밤 동안 분석했다. 3가지 잠수 모두, 감압 전야(前夜)부터 postdive 4일째 밤에 걸쳐서는 전체 수면시간의 단축, 중도 각성 시간의 증가, 입면잠시(入眠潛時)의 연장을 수반한 수면의 혼란함을 조금 보였다. 감압 속도가 빠른 NitroxⅡ에서는, 감압하는 밤부터 postdive 3일째 밤에 걸쳐서 4단계 수면만 조금 감소했다. 20대와 30대에서는 전체 수면 변수에 크게 다른 것은 보이지 않았지만, 50대의 다이버에서는, 해저 생활 후반부터 postdive 3일째 밤에 걸쳐서, 배뇨를 위한 각성 시간이나, 이른 아침의 각성, 입면 잠시의 증가를 보였다. 그리고, 본 연구에서는 이러한 결과를 감압과 폐쇄 환경하에서의 장시간 구속에 의한 심리적 스트레스의 면에 대해서도 고찰했다.

농업용 저수지 퇴적물 준설과 처리 시범사업의 경제성 평가

유진채,여순식,공기서 忠北大學校 農業科學硏究所 2012 農業科學硏究 Vol.28 No.2

The objectives of this study were evaluating economic efficiency of pilot projects for dredging and treatment in agricultural reservoirs using methods of costs benefits analysis. The pilot projects areas included four locals: Giheung, Seolseong, Dogo and Habin. The projects period assumed 20 years. The net present value of whole pilot projects was estimated 9,143 million Won. The costs benefits ratio was estimated 3.08. The internal rate of returns was estimated 53.4%. The results of evaluating economic efficiency of pilot projects were feasible based on costs benefits analysis

폐쇄성 수면무호흡 환자의 상기도 형태의 특징과 압력강하에 관한 3차원 전산유체역학해석

모성서,안형택,이정선,정유삼,문윤식,배응권,성상진 대한치과교정학회 2010 대한치과교정학회지 Vol.40 No.2

폐쇄성 수면무호흡(obstructive sleep apnea, OSA)은 수면 중에 반복적으로 상기도의 완전폐쇄나 부분폐쇄가 일어나는 질환으로서 흡기된 공기는 반드시 상기도라는 연조직 관(tube) 구조를 통과해야 하므로 상기도의 폐쇄경향은 관의 형태 및 관을 통과하는 공기의 유체역학적 특성에 따라서도 큰 영향을 받을 수 있다. 본 연구에서는 OSA 환자 3인의 치료 전 상기도 CT 이미지를 이용하여 개별화된 3차원 유한요소모델 A, B, C를 제작하고, 비공 당 170, 200, 230 ml/s의 흡기유량에 대하여 3차원 전산유체역학 해석을 시행하였다. 상기도의 유속, 음압 그리고 압력강하를 측정한 결과 관찰된 3개의 모델에서 모두 단면적이 가장 작은 부위에서 유속이 증가하였고, 음압이 크게 나타났다. 기도의 형태는 구개인두와 구인두 부위에서 좁아지는 형태를 가지며, 최소 단면적 영역과 하인두 단면적의 차이가 클수록 유속과 음압의 변화가 크게 나타났다. 비강 부위의 최고 압력과 최소 단면적 영역의 최저 압력의 차이를 의미하는 압력강하는 상기도 저항을 종합적으로 판단할 수 있는 유용한 지표이며, 유량에 따라 증가하였다. Objective: Obstructive sleep apnea (OSA) is a common disorder which is characterized by a recurrence of entire or partial collapse of the pharyngeal airway during sleep. A given tidal volume must traverse the soft tissue tube structure of the upper airway, so the tendency for airway obstruction is influenced by the geometries of the duct and characteristics of the airflow in respect to fluid dynamics. Methods: Individualized 3D FEA models were reconstructed from pretreatment computerized tomogram images of three patients with obstructive sleep apnea. 3D computational fluid dynamics analysis was used to observe the effect of airway geometry on the flow velocity, negative pressure and pressure drop in the upper airway at an inspiration flow rate of 170, 200, and 230 ml/s per nostril. Results: In all 3 models, large airflow velocity and negative pressure were observed around the section of minimum area (SMA), the region which narrows around the velopharynx and oropharynx. The bigger the Out-A (outlet area)/ SMA-A (SMA area) ratio, the greater was the change in airflow velocity and negative pressure. Conclusions: Pressure drop meaning the difference between highest pressure at nostril and lowest pressure at SMA, is a good indicator for upper airway resistance which increased more as the airflow volume was increased.

Binding Energy of Oxigen and Methane Adsorbed on Bundles of Open-Ended Single-Wall Carbon Nanotubes

서주연,유대황,곽진성,황윤회,김형국 부산대학교 유전체물성연구소 2004 유전체 논문집 Vol.3 No.

The adsorption of oxygen and methane on the bundles of open-ended single wall carbon nanotube(SWNT) was studied using the volumetric adsorption qst was obtained from the adsorption isotherm measurements performed at different temperatures. The trend in the values of the methane isosteric heat of adsorption showed three regions, representative of the adsorption on the different types of adsorption sites. In case of oxygen, on the other hand, such distinguishable regions were not appeared in the N-qst graph. From the results of qst the binding energies of oxygen and methane adsorbed on open-ended SWITs were estimated.

平均流와 線形 溫度勾配의 影響을 고려한 4-端子 定數들의 考察

李焌瑞,兪炳玖,車京玉,朴鎭庸 明知大學校 産業技術硏究所 1995 産業技術硏究所論文集 Vol.14 No.-

From a knowledge of the source impedence, the radiation impedence to the atmosphere and the four-pole parameters of all the sections of a silencer, it is possible to determine the transmission loss of the silencer. Since the gas in exhaust system of engine is flowing with high temperature we have to consider mean flow and temperature gradient effects to obtain accurate results. In this paper we will compare four-pole parameters with mean flow and linear temperature gradient effects with several other simpler cases already in the literature and then evaluate the availability of these in exhaust system.

토양환경지도 자료를 이용한 콩밭 토양의 화학성 비교

박지숙,이민진,정재원,김미혜,이서연,지윤미,한준호,김유학,공명석,한광현,노희명 忠北大學校 農業科學硏究所 2015 農業科學硏究 Vol.31 No.2

It is important to interpret the soil chemical properties in order to effectively manage the farmland. This study was conducted to investigate the soil chemical properties of upland soybean field according to the soil series at 32 upland fields located in the parts of Gangwon-do. Soil sampling sites were selected by using the National Statistics DB and KSIS DB that is a soil environment information system provided by the Rural Development Administration. Soil samples were collected from 0~15 cm of top soil before seeding or transplanting, air-dried, passed through a 2 mm sieve, and analyzed for soil pH, EC, organic matter, available phosphorus (P2O5), exchangeable potassium, exchangeable calcium and exchangeable magnesium. The average chemical properties have exceeded the each nutrient optimum range level of RDA, except the organic matter in experimental soil 2015. And despite application of conventional fertilization, each soil series nutrient contents were change respectively. The results of this study suggest that conventional fertilization should be applied based on the analysis about the amount of accumulated nutrient contents in the soil.

경구면역을 통한 항원 특이적 IgA 항체 합성에 있어 Cholera Toxin과 Alginate-Microsphere의 효과

송민형,유진수,권명상,성승룡,김용희,권익찬,정서영,양재명,김평현 大韓免疫學會 1996 大韓免疫學會誌 Vol.18 No.3

Secretory (S-IgA) isotype antibody (Ab) is known to play an essential role in the primary defense against various infectious agents in mucosal tissue. However, it has been mostly unsuccessful in the induction of antigen (Ag)-specific IgA Ab response in this site by peroral vaccination. In the present study, we investigated the effect of cholera toxin (CI) as a mucosal adjuvant and alginates-microspheres as a carrier on BSA-specific IgA Ab response in gut-associated lymphoid tissue`(GALT). Peroral immunization of BSA plus CT conferred a great BSA-specific IgA response but IgG response on intestinal fluid (IF). In contrast, intraperitoneal immunization of BSA with Freund's adjuvant readily induced BSA-specific IgG response but IgA response in IF. Further, number of CT specific IgA-secreting cells was substantially increased in mesenteric lymph node when CT-encapsulated-VI alginates-microspheres was administered perorally. Taken together, these results indicate that peroral immunization of soluble antigen in combination of CT or microspheres significantly enhances antigen-specific IgA response in GALT.

한일학생 및 일본 근로자에 대한 아침-저녁형과 수면습관에 대한 비교

박영만,서유진,박광박,Kazuya, Matsumoto 慶南大學校 附設 基礎科學硏究所 1996 硏究論文集 Vol.9 No.-

한국대학생 533명 및 468명의 일본 대학생, 동일 연령대의 311명의 일본근로자에 대해 아침-저녁형 설문지 및 생활 습관 조사를 실시했다. 점수분포는 정규 분포였으나, 일본대학생 그룹은 약간 야간형으로 기울어진 분포를 보였다. 세 그룹 전부 기상시각 및 취침시각은 아침형,중간형,저녁형 순으로 늦었다. 그러나 일반적으로 한국대학생이 일본 대학생 보다 빠른 기상시각을 보였다. 근로자 집단은 학생보다 빠른 기상과 취침을 보였다. 세개 그룹 모두 아침형,중간형,저녁형 순으로 취침기상시각 및 수면시간의 변동성이 크고, 입면시각이 길고, 기상시 기분이 나빴다. 한국대학생이 일본 대학생 보다 약간 아침형으로 지우쳐 있지만 양국학생의 전반적인 수면습관은 비슷했다. 그리고 아침형 보다 저녁형의 수면 습관이 불규칙했다. 그리고 일본 근로자의 점수가 일본 학생 집단보다 약간 높고, 수면습관도 조금 달랐다. 이것은 사회생활의 제한으로 인한 수면습관의 변화가 M-E점수에 영향을 준다고 생각된다. The Morningness-eveningness questionnaire(MEQ) and life habits inventory were carried out with the three groups of 533 Korean students, 468 Japanese students, and 311 Japanese workers in the same age level. The distributions of score for these three groups look like normal, but the Japanese students distributions of is skewed to evening type. The self-reported waking times and bedtimes for the three groups was late the order of morning type, intermediate type, and evening type. However, generally the Korean students woke up earlier than the Japanese students. The workers always went to bed and woke up earlier than the students. For all the three groups, the variation in bedtime, waking time, and sleep length was large, the sleep latency was long, and the mood at waking was bad in the order of morning type, intermediate type, and evening type. The scores of the Korean student group on the questionnaire were distributed more to morning type than the Japanese student group, but sleep habits of the students of both countries were similar. The subjects of the evening type had more irregular sleep habits than those of the morning type. In comparison with the student group, the Japanese workers of the same age had higher scores on M-E and slightly different sleep habits. This means the change of sleep habits as a result of the demands of employment cause the change in the scores.