• Proceedings of the Korea Water Resources Association Conference
• /
• 2005.05b
• /
• pp.1244-1248
• /
• 2005

최근 몇 년 사이에 자연친화적인 하천복원의 관심이 고조되면서 자연형 하천공법의 적용 초기단계를 걷고 있는 우리나라에서는 생태계 복원과 더불어 인명과 재산을 보호할 수 있는 안전한 자연형 하천 공법의 개발을 위해 수리적 안전성을 지속적으로 관찰하고 분석할 필요가 있다. 그러나 아직까지 우리나라에서는 수리적 및 치수 방재적 측면에서 자연형 하천공법의 안전성에 대한 표준화되고 일관된 분석체계가 아직 구성되지 못하여 자연형 하천정비 공법의 실무적용에 많은 어려움을 겪고 있다. 더구나 소하천 유역은 지역적 특성이 두드러지고 계절에 따른 유량변화가 심하여 하천의 수리적 안전에 대한 분석체계가 적절하게 갖추어지고 있지 못하는 실정이다. 따라서, 본 연구에서는 자연형 하천공법에 따른 소하천의 수리적 안전성과 하천정비 전$\cdot$후의 치수기능의 변화를 Hec-Ras(river analysis system)를 이용하여 적용대상 유역의 수리$\cdot$수문학적. 기하학적, 기상학적 자료들 기본으로 대상유역에 모의해 보았으며 그 결과로부터 자연형 하천정비 전$\cdot$후의 수리적 안전성을 해석하고 하천의 치수기능에 대한 자료를 얻고자 하였다. Hec-Ras를 이용한 연구의 결과 값들은 국내에서의 자연형 하천공법 적용에 따른 하천의 수리적 안전성을 판단하는 표준화된 분석체계를 마련하는데 기초 자료를 제공할 것이며 자연형 하천정비의 기준과 적용을 확립하는데 중요한 의미를 가질 것으로 판단된다.

• Journal of Gastric Cancer
• /
• v.5 no.4 s.20
• /
• pp.288-294
• /
• 2005

Purpose: Superficially spreading (SS) early gastric cancer (EGC) is characterized by wide horizontal extension without deep vertical invasion. It is a relatively rare form of EGC, and it's clinicopathological (C-P) characteristics are not evident. This study aimed to clarify their C-P characteristics. Materials and Methods: We defined SS EGC as invading less than the submucosal layer that measured more than 60 mm in diameter or wider than $5{\times}5cm \;(25cm^2)$ in width. The C-P characteristics and prognosis were compared between 69 patients with SS EGC and 319 patients with the common type EGC (EGC except SS type). Results: For SS EGC lymph node metastases, Lauren's diffuse type, lymphatic invasion were significantly higher than in common type EGC. In patients with SS EGC, all of the metastatic lymph nodes were anatomically distributed within the paragastric region, with fewer along the left gastric artery and common hepatic artery. In 6 cases of SS EGC with resection marqins less than 10 mm, there was no death during the follow-up period (4 to 13 years after operation) if margins were not involved. Age (>58 yrs), tumor site (upper 1/3), lymph node metastasis, submucosal invasion were statistically significant poor prognostic factor in univariate survival analysis. In multivariate survival analysis, age and lymph node metastasis were independent prognostic factors. However, tumor diameter or width was not a significant prognostic factor. Conclusion: Although SS EGC has histologically distinct properties, gastrectomy with free surgical margins and appropriate lymph node dissection $(D1+{\beta})$ could be a suitable treatment.

• Journal of the Korea Society of Computer and Information
• /
• v.16 no.12
• /
• pp.1-10
• /
• 2011

As requirements of embedded system get complicated, the tool for analyzing the reliability of embedded software is being needed. A probabilistic modeling is used as the way of analyzing the reliability of a software and to apply it to embedded software controlling multiple devices. So, it is necessary to specialize that to embedded software. Also, existing reliability analyzers should measure the transition probability of each condition in different ways and doesn't consider reusing the model once used. In this paper, we suggest a reliability analyzer for embedded software using embedded software Markov chin model and a unit testing tool. Embedded software Markov chain model is model specializing Markov chain model which is used for analyzing reliability to an embedded software. And a unit testing tool has host-target structure which is appropriate to development environment of embedded software. This tool can analyze the reliability more easily than existing tool by automatically measuring the transition probability between units for analyzing reliability from the result of unit testing. It can also directly apply the test result updated by unit testing tool by representing software model as a XML oriented document and has the advantage that many developers can access easily using the web oriented interface and SVN store. In this paper, we show reliability analyzing of a example by so doing show usefulness of reliability analyzer.

• The KIPS Transactions:PartD
• /
• v.12D no.6 s.102
• /
• pp.863-868
• /
• 2005

Hardware and software codesign framework called PeaCE(Ptolemy extension as a Codesign Environment) was developed. It allows to express both data flow and control flow which is described as fFSM which extends traditional finite state machine. While the fFSM model provides lots of syntactic constructs for describing control flow, it has a lack of their formality and then difficulties in verifying the specification. In order to define the formal semantics of the fFSM, in this paper, firstly the hierarchical structure in the model is flattened and then the step semantics is defined. As a result, some important bugs such as race condition, ambiguous transition, and circulartransition can be formally detected in the model.

• Proceedings of the Materials Research Society of Korea Conference
• /
• 1996.11a
• /
• pp.170-170
• /
• 1996

• Proceedings of the Korean Vacuum Society Conference
• /
• 1999.07a
• /
• pp.217-217
• /
• 1999

축전 결합 차폐막(Faraday shield)이 없는 평판형 유도 결합 플라즈마 장치에서 방전 모드 전이 중출력 결합 변화동안 전자 가열에 대한 연구가 행하여졌다. 전자 에너지 분포 함수(EEDF)의 전개가 RF 보상탐침을 사용, 교류 충첩 방법으로 측정된다. RF 출력에 따른 전자 밀도, 유효 전자 온도 및 특히, 플라즈마 전위의 동향이 제시된다. bi-Maxwellian EEDF를 가진 플라즈마에서 플라즈마 전위가 고 에너지 전자 그룹에 의해 결정됨을 보이고, 플라즈마 전위와 EEDF 상호 관계가 논의된다. 실험 결과로부터 RF출력에 따른 플라즈마 전위의 변화가 전자 가열에 있어 축전 출력 결합의 상대적인 기여의 변화를 반영함을 알 수 있다.

• Information and Communications Magazine
• /
• v.33 no.11
• /
• pp.8-15
• /
• 2016

본고에서는 최근 전 세계적인 화두로 떠오르고 있는 '제 4차 산업혁명'에 대해 살펴보고, 우리나라가 타국가 대비 경쟁우위에 있는 최첨단의 정보통신기술(ICT)을 활용하여 제조업 혁신을 선도하기 위한 방안에 대해 알아본다. 특히 국가 경제에 커다란 비중을 차지하고 있는 제조분야의 새로운 패러다임에 대응하고 선진국형 제조 산업 육성을 위해 CPS(Cyber-Physical Systems, 사물지능제어(事物知能制御)시스템)기술에 기반한 스마트팩토리 구현 기술을 제시하고자 한다.

• Proceedings of the Korean Radioactive Waste Society Conference
• /
• 2003.11a
• /
• pp.290-299
• /
• 2003

고준위 방사성 폐기물 처분장으로부터 유출된 핵종이 인간 생태계에 도달하여 어느 정도의 선량률로서 피폭을 일으키는가를 보이기 위한 생태계 피폭 모델링 및 평가 연구는 처분안전성 평가의 최종 단계로서 핵종 유출의 결과가 인간에게 어느 정도의 방사선 피폭을 주는가를 보이는 것이 그 주요한 내용이 된다. 이 연구를 통하여 도출된 시나리오 중에서 가장 기본이 될 수 있는 생태계에 대하여 AMBER를 사용하여 피폭 계산을 수행하여 선량 환산 인자 평가를 계산해 보았다. AMBER 코드는 핵종 이동 계산을 위해 여러 개의 구획을 설정하고 구획간의 핵종 이동은 핵종 전이 계수(mass transfer coefficient)를 이용하여 계산한다.

• The Monthly Diabetes
• /
• s.261
• /
• pp.22-23
• /
• 2011

당뇨병은 전 세계적으로 급격하게 증가하면서 심각한 대혈관 및 미세 혈관 합병증들의 원인이 되고 있으며 대다수 선진국에서 당뇨병은 만성 신질환 및 말기 신부전의 가장 중요한 원인으로 알려져 있다. 당뇨병성 신증은 단백뇨를 특징으로 하며 30% 정도의 환자에서는 혈뇨도 관찰된다. 그래서 당뇨병성 신증의 발병 검진은 미세알부민뇨 검사로 하는 것이 가장 이상적이며 제 1형 당뇨병환자는 일반적으로 당뇨병 발병 5년 이후에 하며 위험인자가 있는 환자는 더 조기에 한다. 제 2형 당뇨병환자는 당뇨병 진단 시점부터 매년 하는 것을 원칙으로 한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2002.10c
• /
• pp.634-636
• /
• 2002

인터넷과 내장형 시스템의 발전으로 인하여 가정내의 모든 정보가전들이 홈 네트워크를 통하여 인터넷과 연결되어 있고 원격에서 제어가 가능하다. 또한 휴대폰, PDA와 같은 무선단말기를 이용한 정보검색, 메일송수신, 증권거래, 은행거래와 같은 다양한 전자상거래가 활발히 진행되고 있다. 이와 반면에 이런 정보가 전이나 무선단말기에 대한 해킹 바이러스 사례가 갈수록 많아지고 있다. 본 논문에서는 내장형 시스템인 임베디드 리눅스에서 IPS(Intrusion Prevention System)를 설계하고 구현하여 이런 정보가전이나 무선단말기에 대한 보안 방안을 제시한다.