• 논리연구
• /
• 제3권
• /
• pp.27-51
• /
• 2000

이글의 기본적인 목적은 2치를 포함한 다치 논리 체계들간의 관계를 검토하는 데 있다. 이를 위하여 여기서는 명제를 대상으로 한 형식 의미 해석체계들 간에 고러해야 할 의미론적 확장 개념을 분명히 하였다. 구체적으로 다음의 두 작업이 수행되었다 첫째로 2치와 다치 논리 또는 다치 논리들간에 적용될 만한 의미론적 확장 개념을 의미해석의 바탕을 이루는 진리치 함수와 진리연산에 맞게 정의하였다. 둘째로 정의의 적합성을 확장, 비확장 사례 증명을 통해 예증해 보였다.

• 선박안전
• /
• 통권26호
• /
• pp.4-23
• /
• 2009

선체용 복합재료 및 구조용 접착제와 신공법인 진공 성형법으로 건조한 레저선박에 강화플라스틱 구조기준을 그대로 적용하기에는 무리가 있으며, 따라서 복합재료, 수지, 접착제 및 진공 성형법 등 현장조사를 토대로 복합소재 및 접착제를 이용한 시험편을 제작하여 복합재료의 기계적 특성, 구조용 접착제에 대한 신뢰성 평가 및 국내외 기준 비교 검토를 통한 국내 실정에 적합한 검사기준을 제안하고자 한다.

• 한국콘크리트학회:학술대회논문집
• /
• 한국콘크리트학회 1994년도 가을 학술발표회 논문집
• /
• pp.435-440
• /
• 1994

It is considered to pressing problem that the develpment of the rapid and simple method and measuring instrument, can evaluate for quality of concrete at early period. Accordingly in this paper proposed to earlier evaluation method on quality of concrete using resistance method and ultra-sonic pulse velocity test. It was found to the possibility of development on test method and instrument through a series of fundmental investigation.

• 한국정보보호학회:학술대회논문집
• /
• 한국정보보호학회 1998년도 종합학술발표회논문집
• /
• pp.277-287
• /
• 1998

본 논문에서는 먼저 인증에 대한 개념, 인증 서비스를 하기 위한 사용원칙, 그리고 인증 메커니즘의 분류를 살펴보고 특히, 일회용 패스워드를 이용한 인증 시스템의 현황과 기 제안 방식들의 특장점 등을 논의한다. 그리고, 이러한 논의를 바탕으로 국내 실정에 적합한 일회용 패스워드시스템의 표준화를 위한 표준화 방향을 검토하여 표준 시스템을 제안하고 이의 실용성과 안전성을 평가해 보기로 한다.

• 지구물리와물리탐사
• /
• 제14권2호
• /
• pp.176-178
• /
• 2011

• 한국콘크리트학회:학술대회논문집
• /
• 한국콘크리트학회 2009년도 춘계 학술대회 제21권1호
• /
• pp.497-498
• /
• 2009

저온경화성이 우수한 것으로 알려진 메틸메타크릴레이트(MMA) 모노머를 각각 10, 20, 30%를 혼입하여 제작한 수지의 점도, 가사 및 경화시간, 강도 등의 물성을 평가하여 하수관거 전체보수용 라이닝 수지로서 적합한지를 검토하였다.

• 한국경영과학회:학술대회논문집
• /
• 한국경영과학회 1996년도 추계학술대회발표논문집; 고려대학교, 서울; 26 Oct. 1996
• /
• pp.190-193
• /
• 1996

B-ISDN의 전송망으로서 핵심적인 역할을 수행하게 될 SDH망은 재난에 의한 망의 물리적인 손상에도 생존해야 하며, 증가하는 수용에도 유연하게 대처할수 있어야 한다. 생존도를 보장하기 위한 시스템은 다수 개발되었고, 이에 관련된 연구도 활발하게 진행되었으나, 상대적으로 망의 진화방안에 대해서는 연구가 미비한 상태이다. 본 논문에서는 생존도를 고려한 기존의 시스템들의 수요증가에 대한 적합성을 검토하고, 전형적인 진화유형에 대해서 논의하며, 이와 관련된 최적화모형을 도출한다.

• 응용통계연구
• /
• 제12권1호
• /
• pp.261-274
• /
• 1999

층화임의추출에서 표본크기가 층의 수보다 작은 경우 또는 조사단위들이 넓게 펴져있어 조사비용이 증가하거나 조사의 관리가 어려운 경우에 관리적 선정을 사용한다. 그러나 관리적 선정을 실제조사에 적용할 때 많은 어려움이 있다. 이에 본 논문에서는 관리적 선정을 실제조사를 적용하기 위한 체계적 절차를 제시하였고, 바람직하지 않은 표본들을 순차적으로 제외하고 관리적 선정계획을 세우기 위해서 다양한 측도를 사용하였다. 그러나 예제를 통하여 본 논문에서 제시한 절차의 사용 적합성을 검토하고 측도들을 비교하였다.

• 한국대기환경학회:학술대회논문집
• /
• 한국대기환경학회 2000년도 춘계학술대회 논문집
• /
• pp.203-205
• /
• 2000

본 연구의 목적은 우리 나라의 환경기초시설 중 하·폐수처리시설에서 발생하는 온실가스 배출량(inventory)을 산출하는 것이다. 이를 위하여 IPCC에서 제안하고 있는 지침을 중심으로 온실가스 배출량 산출방법을 검토하고, 우리 나라의 특성을 반영할 수 있도록 관련변수를 조사하였다. 또한 관련 변수의 적합성을 판단하고 기초 자료를 확보하기 위하여 일부 관련 시설에 대한 배출농도 측정을 실시하였다. (중략)

• 한국에너지공학회:학술대회논문집
• /
• 한국에너지공학회 1994년도 춘계학술발표회 초록집
• /
• pp.78-85
• /
• 1994

ASPEN(Advanced System Process ENgineering) 코드를 이용하여 오리멀젼(orimulsion)을 이용한 가스화기의 성능을 예측하고, 발전 연료로서의 적합성 등을 살펴보았다. 오리멀젼은 역청(bitumen)에 물을 섞은 연료로 중유와 석탄의 중간 정도의 성질을 가지고 있다. 본 연구에서는 오리멀젼 가스화기의 운전 특성을 파악하고 주입되는 산화제 양을 변화시켜 산화제의 가스화기 운전온도에 미치는 영향과 생성되는 주요 합성가스 성분에 미치는 영향 등을 예측하고 새로운 연료로서의 타당성 여부를 검토하였다.