• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.11 no.11
• /
• pp.4597-4603
• /
• 2010

A factorization is a very important part of multi-level logic synthesis. The number of literals in a factored form is an estimate of the complexity of a logic function, and can be translated directly into the number of transistors required for implementation. Factored forms are described as either algebraic or Boolean, according to the trade-off between run-time and optimization. A Boolean factored form contains fewer number of literals than an algebraic factored form. In this paper, we present a new method for a Boolean factorization. The key idea is to identify two-cube nonkernel Boolean pairs from given expression. Experimental results on various benchmark circuits show the improvements in literal counts over previous other factorization methods.

• Proceedings of the Korea Institutes of Information Security and Cryptology Conference
• /
• 2001.11a
• /
• pp.117-120
• /
• 2001

본 논문에서는 약한 키를 가지는 대화식 영지식 증명을 이용한 인증 프로토콜의 안전성을 강화하는 방법을 제시한다. 일반적으로 대화식 영지식 증명을 이용한 인증 프로토콜은 충분히 길고 랜덤한 비밀키를 가정하고 그 비밀키에 대한 영지식 증명을 수행하게 된다. 하지만 때에 따라서 충분히 길지 않거나 랜덤하지 않은 비밀키가 선택될 수 있다. 즉, 좋지 않은 난수 발생기를 써야 하는 경우, 또는 패스워드처럼 의도적으로 약한 키를 사용하는 경우가 생기며, 대화식 영지식 증명은 이에 적합하지 않다고 알려져 있다. 본 논문에서는 비밀 동전 던지기(Secret Coin Tossing)라는 개념을 제시해서, 일반적인 영지식 증명을 이용한 인증 프로토콜을 약한 키를 가지는 영지식 증명 기반 인증 프로토콜로 쉽게 변환할 수 있는 프레임웍을 제안한다. 또한, 이 프레임웍을 이용해서 설계된 인증 프로토콜이 ideal cipher model에서 안전함을 보인다.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2007.05a
• /
• pp.1503-1506
• /
• 2007

수공구조물의 설계를 위해서 주로 사용되는 강우강도식은 연최대치 강우자료를 이용하여 빈도별 혹은 지속기간별 확률강우량을 구한 후 이 값들을 선형 혹은 비선형식의 형태로 회귀분석하여 구하게 된다. 그러나, 이와 같이 회귀분석을 이용하여 추정된 강우강도식은 원래의 강우자료가 가지고 있는 확률적인 특성을 재현한다고 하기는 어렵기 때문에, 본 연구에서는 연최대치 강우자료에 대한 적정 확률분포형으로부터 직접 강우 강도식을 유도하는 방법을 적용하여 대상지역 강우강도식의 매개변수를 산정하였다. 선정된 적정 확률분포형을 이용하여 강우강도식의 매개변수를 추정하는데 있어서, 평균제곱오차의 제곱근을 최소화하는 형태의 목적함수를 구성한 후 유전자알고리즘을 이용하여 적절한 매개변수를 산정하였다. 산정된 매개변수를 사용한 강우강도식으로 구한 결과값과 기존의 강우강도식에 의한 결과값 그리고 지점빈도해석에 의한 결과값을 비교하여 본 연구에서 산정된 강우강도식의 적용성을 평가해 보았다.

• Proceedings of the KOR-BRONCHOESO Conference
• /
• 1978.06a
• /
• pp.3.1-3
• /
• 1978

Esophageal perforation tend to occur more frequently today because of the increased use of therapeutic and diagnostic endoscopy. Even the slightest trauma to the esophageal can be fetal. Thus, esophageal perforation carries a very high mortality and morbidity unless early diagnosis and prompt therapy are instituted. We have had two cases of esophageal perforation associated with periesophageal abscess due to esophagoscopy after removal of foreign body with good results. Therefore these two cases of esophogoscopic esophageal perforation are reported with a review of the literature.

• Proceedings of the Korean Reliability Society Conference
• /
• 2006.05a
• /
• pp.345-353
• /
• 2006

전력량계가 기계식에서 전자식으로 변화되면서 전력량계 교체주기의 재설정이 요구되고 있다. 현재까지는 기계식 전력량계의 교체주기를 적용하여 7년으로 교체주기를 정하고 있으나 기계식과 전자식은 차이가 있으므로 전자식 전력량계의 적정한 교체주기를 결정하여야 한다. 적정한 교체주기를 결정하기 위해서는 전자식 전력량계의 수명평가가 선행되어야 한다. 본 연구에서는 전자식 전력량계의 부품 분석을 통하여 전자식 전력량계의 수명에 영향을 미칠 수 있는 부품을 선정하고, 선정된 부품에 대하여 가속수명시험을 실시하였다. 가속수명시험 결과로부터 부품들의 수명을 추정하고, 수명이 가장 짧아서 전자식 전력량계의 수명을 결정하는 부품의 종류를 확인하였다. 전력량계의 수명은 가장 짧은 수명을 갖는 부품의 수명에 의존하므로 부품들의 수명 추정 결과로부터 전력량계의 수명을 평가할 수 있었다. 또한, 수명이 가장 짧은 부품에 대하여 목표 수명 이상의 수명을 가짐을 보증하기 위한 시험기준을 설계하였다.

• Proceedings of the KOR-BRONCHOESO Conference
• /
• 1983.05a
• /
• pp.13.1-13
• /
• 1983

Sudden esophageal obstruction by a bolus of food is not a rare phenomenon. The individual is frequently elderly and has ill-fitting dentures through others may initiate this by bolting food. In adult patient there is a frequent history of alcoholic intake, the consumption of meat with improper chewing. A common anatomic abnormality leading to meat impaction of the esophagus is hiatal hernia, which is often associated with a ring or stricture. Recently authors experienced a case of repeated esophageal foreign bodies in 10 days in the patient who had esophageal stricture.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2000.04a
• /
• pp.277-280
• /
• 2000

다중스레드 병렬기계(multithreaded parallel machine)를 위하여 함수 프로그램을 번역할 때 스레드 분할이란 수행 순서를 번역시간에 알 수 있어 정적 스케줄링이 가능한 프로그램의 부분을 식별하여 스레드로 모으는 작업을 말한다. 조건식에서 연산의 수행 순서는 판단식 -> 참실행식 또는 판단식 -> 거짓실행식이므로 번역시간에는 수행순서를 결정할 수 없다. 따라서 기존의 분할 알고리즘은 조건식의 판단식, 참실행식, 거짓실행식을 기본 블록으로 나누고 각각에 대하여 지역 분할을 적용한다. 이러한 제약은 스레드의 정의를 약간 수정하여 스레드 내에서의 분기를 허용한다면 좀더 좋은 분할을 얻을 수 있다. 스레드내에서의 분기는 병렬성을 감소시키거나 동기화의 횟수를 증가시키거나 또는 교착상태를 발생시키는 등의 스레드 분할의 기본 원칙을 어기지 않으며 오히려 스레드 길이를 증가시키거나 동기화 횟수를 줄이는 장점을 가질 수 있다. 본 논문에서는 조건식의 세 가지 기본 블록을 하나 또는 두 개의 기본 블록으로 병합함으로서 스레드 분할을 향상시키는 방법을 제안한다.

• Journal of Chest Surgery
• /
• v.34 no.1
• /
• pp.64-71
• /
• 2001

배경: 최근 치료법의 진보에도 불구하고 진행성 식도암의 예후는 5년 생존율이 10% 이하로매우 불량하기 때문에 식도암에 대한 새로운 치료방법의 하나로 암면역 치료가 대두되고 있다. 암면역 치료를 위해서 MAGE 등 종양 특이항원이 연구의 대상이 되고 있으나 국내에서는 아직 이에 대한 연구가 없다. 대상 및 방법: 1995년 1월부터 1998년 12월까지 고신대학교 복음병원 흉부외과에서 수술 치험한 125례의 식도암중 병리조직 보관상태가 양호한 편평세포암 79례를 병기에 따라(1병기 19례, IIa병기 19례, IIb병기 10례, III병기 21례, IV병기 10례) 무작위로 추출하고 대조군으로 평활근종 20례와 정상 식도점막 20례를 대조군으로 하여 DO7 단클론 항체와 항 MAGE-3 단클론 항체 57B를 이용하여 면역조직화학검사를 시행하여 변형 p53 단백과 MAGE-3 유전자 산물의 발현율을 조사하고 식도암 조직에서 질병의 진행도를 반영하는 병기에 따른 발현율 및 변형 p53 단백과 MAGE-3 유전자 산물의 발현율간의 상관관계를 조사하였다. 결과: 식도암조직에서 변형 p53 단백과 MAGE-3 유전자 산물의 발현율은 각각 51.9%, 60.8%의 발현율을 보였으나 식도평활근종과 정상 식도점막에서는 한례도 발현되지 않아 변형 p53 단백과 MAGE-3 유전자 산물은 대조군에 비해 식도암 조직에서 의미있게 발현되었다(p<0.001). 변형 p53 단백과 MAGE-3 유전자 산물의 발현은 I병기에서 68.4%, 52.6%, IIa병기에서 57.9%, 47.6%, IIb병기에서 60%, 70%, III병기에서 33.3%, 71.4%, IV병기에서 40%, 70% 각각 발현되어 병기에 따른 발현율의 차이는 없었다(p=0.193, p=0.452). 식도암 조직내에서 변형 p53 단백과 MAGE-3 유전자 산물의 발현간에는 상관관계가 없는 것으로 나타났다(p=0.679). 결론: 이상의 결과로 변형 p53 단백과 MAGE-3 유전자 산물의 발현은 식도암에서 예후인자로서의 역할은 할수 없으나 식도 편평세포 암조직에서만 특이하게 높은 빈도로 발현됨으로써 식도암도 면역치료의 대상이 될 수 있음을 확인하였다.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2019.05a
• /
• pp.42-42
• /
• 2019

유량조절을 위한 자동수문은 설정된 관리수위 이하에서는 수문이 개방되지 않으며, 유량이 증가하여 관리수위 이상이 되면 수문이 개방되어 방류를 시작하여 일정 수위를 유지하는 것을 의미한다. 자동수문의 운영 중 수문의 거동과 자동 개폐 시점을 예측하는 것은 정밀한 수문 설계를 위해 매우 중요하다. 수문 하단으로 흐름이 발생하면 수문 선단을 포함한 주변에서의 압력 차이로 인한 동수압 하중이 발생하고 진동을 유발, 수문 개방을 억제하는 하향력 등의 효과로 수문 운영에 큰 영향을 미친다. 본 연구에서는 부력식 수문의 모형실험을 통하여 정수압 상태의 부력 이론에 의한 수문 개방률과 측정에 의한 수문 개방률을 비교하였으며, 이론과 측정 수문 개방고의 차이를 하향력에 의한 효과임을 확인하였다. 부력식 수문의 하향력을 검토하기 위해 기존 이론식을 이용한 결과, 이론식은 부력식 수문에 적용하기 어려운 것으로 나타났다. 따라서, 기존 이론식을 이용하여 부력식 수문의 하향계수 산정을 위한 매개변수 관계식을 개방률을 이용하여 제시하였다. 제시된 매개변수 관계식의 결정계수는 0.721, 수정된 결졍계수는 0.690으로 나타났다. 부력식 수문의 형상비에 따른 하향력을 검토하기 위해서 수치모의를 수행하였다. 모형실험에서 측정된 자료와 수치모형 ANSYS-Fluent의 사용성을 검증하였고, 부력식 수문의 형상비를 0.24, 0.49, 0.69, 0.89, 1.09로 총 5가지로 설정하여 하향계수와 하향력을 분석하였다. 부력식 수문의 하향계수와 하향력 검토는 부력체, 스커트로 구분하여 분석을 수행하였다. 하향계수 분석결과, 하향계수는 개방률이 증가함에 따라 감소하였으며 하향계수가 부력체 부분에서는 0.465~1.542, 스커트 부분에서는 0.058~1.148의 범위로 나타났다. 하향력 분석결과, 하향력은 개방률 0.300 이하에서는 개방률이 증가함에 따라 하향력은 증가하였나 개방율 0.300 초과하면서부터 개방률이 증가함에 따라 하향력이 감소하는 것으로 나타났다. 또한 부력체 부분에서는 형상비가 증가함에 따라 하향력이 감소하였으나, 스커트 부분에서는 형상비가 증가함에 따라 하향력이 증가하였다. 이는 형상비가 증가함에 따라 스커트 부분의 면적이 증가하기 때문이다. 부력식 수문의 전체적인 하향력을 계산한 결과, 부력식 수문의 하향력은 0.002~0.015 kN의 범위를 가지며 형상비가 증가함에 따라 부력식 수문에 발생하는 하향력은 증가하는 것으로 나타났다.

• Proceedings of the Korean Institute of Industrial Safety Conference
• /
• 2003.10a
• /
• pp.44-47
• /
• 2003

중소규모 사업장의 대부분은 회분식 반응공정을 이용하여 소량 다품종의 제품을 생산한다. 회분식 공정은 연속식 공정에 비해 수동운전의 비율이 높아서 인적오류에 의한 사고발생 가능성이 상대적으로 높으며, 사고 발생 시 인적 피해가 크게 나타날 수 있는 가능성을 내포하고 있다. 또한 대규모의 사업장에 비해 적절한 위험성평가나 안전관리가 이루어지기 어렵다. 따라서 회분식 공정에서의 위험특성을 구체적으로 규명하고, 이를 바탕으로 회분식 반응기에서의 사고를 예방하기 위한 일반적인 가이드를 제시하고자 한다. 이러한 회분식 공정의 위험성평가와 관련하여 영국 및 미국 화공학회에서는 화학반응 및 회분식 반응공정의 위험성평가 지침을 제시하고 있다.(중략)