• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2003년도 봄 학술발표논문집 Vol.30 No.1 (B)
• /
• pp.37-39
• /
• 2003

본 연구에서는 만족성 검사기를 이용하여 두 유한 상태 기계의 행위가 동치인지를 검사한다. 기존의 동치 검사는 대부분 BDD를 기반으로 했었기 때문에 변수 순서 배열 및 내부 BDD노드 폭발 문제에 시달렸었다. 하지만 여기서는 BDD대신 명제 논리를 이용하기 때문에 위와 같은 문제점을 피할 수 있다. 하지만 논리식을 만족성 검사기의 입력 형태인 논리곱 정규형으로 변환하는 과정에서 절의 3기는 식의 크기에 지수적으로 증가하였다.

• 한국음향학회지
• /
• 제17권6호
• /
• pp.23-28
• /
• 1998

고분자 압전 필름인 PVDF를 이용하여 단일막과 이층막의 초음파 변환기를 제작하 여 임펄스 응답특성을 이론식에서 계산하여 실험적으로 확인하여 보았다. 또한 RF 펄스를 이용하여 초음파 변환기의 다층막에 따른 주파수 특성을 조사하였다. 그 결과 임펄스 응답 특성은 이론식과 잘 일치하였으며, 단일막의 변환기가 이층막에 비하여 지속시간이 짧은 펄 스를 나타내었다. RF펄스에 대한 주파수특성은 이층막의 변환기가 단일막에 비하여 광대역 의 특성을 나타냄을 알 수 있었다.

• 한국음향학회:학술대회논문집
• /
• 한국음향학회 1996년도 영남지부 학술발표회 논문집 Acoustic Society of Korean Youngnam Chapter Symposium Proceedings
• /
• pp.35-41
• /
• 1996

본 연구에서는 PZT를 이용한 Bimorph Cantilever형 진동센서의 동특성을 모달해석하고 이를 압전세라믹의 센서방정식과 연계하여 센서출력의 정밀해를 구하였다. 그리고 이론식에 대한 시간응답 특성 및 주파수응답 특성을 알아보고 각각의 특성을 만족시키기 위한 센서의 최적설계 기법을 컴퓨터 Simulation을 통하여 알아보았다. 그리고 PZT를 이용한 Bimorph Cantilever형 진동센서를 직접 제작하고 그 실험적 데이터를 수식적 데이터와 비교하여 이론식의 타당성을 검증하였다.

• 한국지능시스템학회논문지
• /
• 제8권3호
• /
• pp.26-32
• /
• 1998

본 논문은 파라미터 불확실성을 가지는 비선형 시스템을 안정화하는 견실 퍼지 제어기 설계 기법을 제시한다. 견실 퍼지 제어기를 설계하기 위하여, 비선형 시스템을 Takagi-Sugeon(T-S)모델로 표현하고 퍼지 제어기는 병렬 분한 보상(PDC : parallel distributed compensation)의 개념을 이용한다. Lyapunov함수를 이용하여 파라미터 불확실성을 가지는 T-S퍼지 모델의 안정성을 논하고, 견실 퍼지 제어기가 존재할 충분조건을 선형 행렬 부등식(LMI " linear materix inequality)을 이용하여 나타낸다. 이러한 선형 행렬 부등식의 해들로부터 견실 퍼지 제어기를 직접적으로 구할 수 있다.

• 한국에너지공학회:학술대회논문집
• /
• 한국에너지공학회 1999년도 추계 학술발표회 논문집
• /
• pp.67-70
• /
• 1999

최근에 들어서 태양에너지의 화학적 에너지로의 변환에 대한 연구는 에너지 부족에 대한 대안으로서 각광을 받고 있는 분야이다. 이런 관심을 바탕으로 한 다양한 연구는 연속식 또는 회분식 반응기를 이용한 불균일계 촉매를 이용함으로써 진행되고 있고, 특히 기-액, 기-고 그리고 기-액-고상 반응기를 응용하는 광촉매 반응에 관심이 증폭되고 있다. 그리고 광촉매 반응이 실제 산업계에서 활용되기 전에 먼저 불균일계 광촉매 반응기의 설계기준에 대한 연구가 선행되어야 하며 실제 산업적인 응용측면에서도 광촉매 반응의 충분한 이용가능성에 관심이 이루어져야 한다.(중략)

• 한국암반공학회:학술대회논문집
• /
• 한국암반공학회 1995년도 정기총회 및 학술발표회
• /
• pp.202-212
• /
• 1995

지리정보시스템은 1980년 이후에 자연자원 관리뿐만 아니라 환경관리를 비롯하여 현재에는 지하시설물 관리 및 도시정보 관리 등을 위한 수단으로써 여러 분야에서 필수적으로 활용되고 있는데 그러한 예로 한국의 사회기반 시설물 GIS 구축방안(이태식 외, 1994), GIS를 이용한 통신선로 시설관리(최지선, 1994), GIS를 이용한 하천공간 데이타베이스 구축에 관한 연구(이태식 외, 1994), 금강유역 토양 유실 분석을 위한 GIS 응용연구(김윤종 외, 1994)등 있다. (중략)

• 정보보호학회논문지
• /
• 제2권1호
• /
• pp.3-14
• /
• 1992

본 논문에서는 ZKIP의 랜덤 정보를 이용한 영지식 키 분배 프로토콜을 제안하였다.제안된 방식은 이미 안전하다고 입증된 ZKIP 을 이용한 개인 식별을 행하고 더 이상의 정보 교환 없이 키 생성을 할 수 있다. 또한 키 분배 프로토콜을 행할 때, 센터에 대한 의존도를 줄이기 위해 확장 Fist-Shamir방식과 Schnorr 방식을 결합하여 인증을 행하도록 하였다. 결합된 프로토콜은 제3자의 일반적인 위장을 방지할 수 있으며, 센터와 가입자의 결탁도 방지할 수 있다.

• 한국작물학회지
• /
• 제62권2호
• /
• pp.105-112
• /
• 2017

본 연구는 쌀과 현미의 연산 또는 신 구곡 판별법을 개발하기 위하여 쌀의 저장기간 동안 변화되는 지방의 일종인 인지질 성분을 지표물질로 이용하여 쌀과 현미의 신 구곡 판별식을 작성하였고 미지의 시료를 이용하여 판별식 검증을 수행하였다. 또한 벼의 저장 온도와 시기에 따른 인지질 지표의 판별정확도를 분석함으로써 인지질 지표의 실용적인 활용 가능성을 연구한 결과를 요약하면 다음과 같다. 1. 인지질 지표를 이용하여 쌀에 대한 판별식을 작성한 결과 쌀의 연산별 분류적중률은 90%, 신 구곡의 분류적중률은 97%로 나타나 연산 판별식보다 신 구곡 판별식의 적중률이 높게 나타났다. 따라서 신 구곡 판별식을 쌀의 판별식으로 확립하였고 연산을 알고 있는 미지의 시료를 이용하여 개발된 판별식의 정확도를 분석한 결과 판별식 정확도는 1차 분석에서는 82%, 2차 분석에서는 80%로 나타났다. 2. 현미에 대한 인지질 지표의 신 구곡 분류적중률은 96%로 나타나 95%이상의 적중률을 보여주었으므로 현미의 신 구곡 판별식을 확립하였다. 미지의 시료를 이용하여 개발된 판별식의 정확도를 분석한 결과 93%로 나타나 판별 정확도가 쌀에 비해 높게 나타났다. 현미는 백미에 비해 지방 함량이 많기 때문에 신곡과 구곡 간의 인지질 함량의 차이가 크게 나타나는 경향이었다. 3. 저장온도와 시기에 따른 쌀의 판별 정확도를 분석하기 위하여 벼 보관창고에서 동일한 시료를 수집하여 기확립된 쌀의 신 구곡 판별식에 대입하였을 때 상온 보관된 쌀의 정확도는 57.9~92.1%로 나타났고, 저온 보관된 쌀의 정확도는 86.8~94.7%의 범위로 나타났다. 쌀의 경우 저장 온도와 시기에 따라 판별되는 정확도가 달라졌고 저온 보관된 시료가 상온 보관된 시료에 비해 시기별 판별 정확도의 차이가 적은 것으로 나타났다. 4. 현미의 저장온도 및 시기에 따른 판별 정확도를 분석하기 위하여 벼 보관창고에서 동일한 시료를 수집하여 기 확립된 현미의 신 구곡 판별식에 대입하였을 때 상온 보관된 현미의 정확도는 94.7~100%로 나타났고, 저온 보관된 현미의 정확도는 92.1~100%의 범위로 나타났다. 현미의 경우 쌀에 비해 지방함량이 많고 강층의 존재로 산패가 더디게 진행되기 때문에 저장온도 및 시기에 상관없이 92%이상의 판별 정확도를 나타내었다.

• 한국해안해양공학회지
• /
• 제15권4호
• /
• pp.249-258
• /
• 2003

본 연구에서는 사석, cube및 tetrapod를 대상으로 불규칙파를 적용하여 경사식방파제의 피복재 안정성에 대한 2차원 실험을 수행하였다. 파복재 중량산정식으로는 Hudson식과 van der Meer식을 대상으로 하였으며, Hudson식은 규칙파, van der Meer식은 불규칙파를 적용한 실험으로부터 얻어진 식이다. 본 연구의 목적은 실험결과를 이용하여 Hudson식과 van der Meer식을 비교 검토하는 것이다

• 한국수자원학회:학술대회논문집
• /
• 한국수자원학회 2008년도 학술발표회 논문집
• /
• pp.367-372
• /
• 2008

본 연구는 감조하천에서 조위의 영향을 크게 받는 저 평수위의 수위-유량관계곡선식 개발의 한계를 극복하기 위해 조위의 영향을 고려한 다변수 복합 수위-유량관계곡선식을 개발하였다. 곡선식 개발은 수위-수면차-수위차-유량의 관계를 통해 지수형 곡선식을 개발하였다. 여기서 수면차는 조위와 수위와의 차이며, 이때 조석파의 전파시간에 대한 지체시간을 고려하였다. 수위차는 대상 수위관측소의 전 시간과의 수위차이다. 또한 조위에 의해 발생되는 역유량 자료를 이용한 지수형 곡선식을 개발하고자 유량 조정변수를 추가하였다. 개발된 수위-유량관계곡선식을 한강대교에 적용하여 자동유량측정시설에서 측정된 유량자료와 비교 검토한 결과 경향성에서 일치하였으며, (-)유량의 산정도 가능하였다. 분석기간내의 총 유출량 검토 결과 8.3%의 오차를 보여 본 과업에서 제시된 복합 수위-유량관계곡선식의 적정성을 파악할 수 있었다.