• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 2004.05a
• /
• pp.249-249
• /
• 2004

다양한 기계적인 제거 가공 공정에 있어서 발생되는 열의 냉각과 치핑 과정시의 원활한 윤활 및 칩의 효율적인 배출 작용 등을 위하여 필수적으로 적용되는 절삭유와 관련한 분야에 있어서 최근에 환경성과 경제성을 고려한 청정 생산 기술의 도입이 전 세계적으로 활성화되면서 사용량을 억제하거나 대체화하는 방식과 폐절삭유의 발생을 저감화하기 위한 수명 향상 방식 등을 위한 관련 연구들이 경쟁적으로 진행되고 있다. 그러나 현재까지 불가피하게 수용성 절삭유를 일반적으로 사용하는 국내 중소기업 형태의 영세한 생산 제조 작업 현장에 있어서는 비산, 분무되는 절삭유에 의하여 작업 환경이악화될 뿐만 아니라 점진적으로 부패되어 악취가 발생됨으로써 작업자가 기피하거나 산업 재해의 원인으로서도 작용되므로 우선적으로 절삭유의 사용량을 억제하기 위하여 최소한의 적정량만을 적용할 수 있는 기법을 채택하거나 절삭유의 수명을 극대화하기 위하여 적정한 상태를 유지할 수 있는 방식이 요구된다.(중략)

• Proceedings of the Korean Information Science Society Conference
• /
• 2000.04a
• /
• pp.489-491
• /
• 2000

본 논문은 ATM(Abstract Timed Machine)으로 명세된 실시간 시스템을 검증하기 위한 방법을 기술한다. ATM은 임무 위급 시스템인 실시간 시스템을 명세, 분석, 검증하기 위한 정형기법이다. ATM은 모드와 전이, 포트로 구성된다. 다른 정형기법과 비교하여 ATM은 소프트웨어의 순환공학 과정에서 사용하기 위해 설계되었다. 역공학 과정에서 ATM은 계산 논리 뿐만 아니라 실시간 시스템의 실제 소스코드에 있는 설계나 환경정보를 표현할 수 있다. 이러한 목적을 위해 ATM은 다양한 모드를 사용한다. ATM을 사용한 실시간 시스템의 검증은 도달성 그래프를 생성함으로써 수행한다. 도달성 그래프는 상태와 시간을 추상화되고 압축된 형태로 표현할 수 있으며 그 결과 시간 속성을 지닌 상태 공간을 감소시킬 수 있다. 또한 시스템의 교착상태를 쉽게 발견할 수 있다. 본 논문은 ATM과 실행 모델, 도달성 그래프, 검증을 위한 속성 등을 기술하며 이들을 다른 정형 기법들과 예제를 통하여 비교한다.

• Journal of The Korean Association For Science Education
• /
• v.15 no.3
• /
• pp.363-370
• /
• 1995

학생의 물리 개념 변화가 어려운 이유들 중의 하나는 학습자가 자신의 상태를 명확히 인식하지 못함으로써 자신이나 타인으로부터 되먹임을 받을 수 없다는 것이다. 본 논문은 학생이 자신의 학습 내용 이해 상태 또는 개념적 상태를 명확히 파악하여 드러내도록 하는 인지 방략적 질문 모형을 구안하고 이것이 고등 학생의 열과 온도의 개념 변화에 있어서 어떠한 역할을 할 수 있는가를 분석한 것이다. 이를 위하여 일반계 고등 학교 2학년 152명을 하나의 통제집단과 두 개의 실험집단으로 구성하였다.학생의 개념 변화를 ANOVA 분석한 결과 세 집단은 모두 수업 처치 전과 후에 유의 수준 0.05 이내에서 의미 있는 차이가 있는 것으로 나타났으나 세 집단들 사이에도 유의한 차이가 있었다. 그러므로 학생이 지필로써 인지 방략적 질문 활동을 한 처치 수업은 전통적인 수업보다 열과 온도에 관한 학생의 개념 변화에 더욱 효과적인 것으로 나타났다.

• Electrical & Electronic Materials
• /
• v.5 no.3
• /
• pp.310-319
• /
• 1992

LPCVD 방법으로 625.deg.C와 560.deg.에서 증착한 다결정 실리콘에 As이온주입량을 lx$10^{13}$-lx$10^{16}$/$cm^{2}$로 변화시키면서 열처리 전, 후의 미세구조와 전기적 특성 변화를 조사하였다. 625.deg.C에서 증착한 시편은 columnar구조를 하고 있어 표면이 매우 거칠었으며 900.deg.C, 30분 열처리 후에는 As doping 농도에 관계없이 결정립 크기는 200-300.angs.정도였다. 560.deg.C에서 증착한 시편은 비정질 상태로열처리 후에는 1000.angs.이상의 큰 결정립을 갖는 타원형의 결정립으로 성장하였으며 표면이 매우 smooth하였다. 같은 doping 농도에서 전기 전도도와 Hall mobility는 비정질 상태로 증착한 시편이 큰 결정립으로 인하여 다결정 상태로 증착한 시편에 비해 크게 되었다. Grain boundary trapping model에 의해 계산한 potential barrier height는 As doping 농도가 증가함에 따라 감소하였으며 grain boundary trap density는 증착 온도, As doping 농도 및 결정립 크기에 크게 관계없이 3.6~5*$10^{12}$/$cm^{2}$로 측정되었다.

• Annual Conference of KIPS
• /
• 2002.04a
• /
• pp.349-352
• /
• 2002

다단계 상호연결 네트워크 (multistage interconnection network : MIN) 동작 연구에 있어서 가장 중요한 것 중의 하나가 네트워크 사이클의 운영 방법이라 할 수 있다. 일반적인 MIN 기반 교환기 구조에서 최악의 경우는 수신 버퍼 모듈이 비어있어서 셀이 가장 앞쪽의 버퍼 위치로 움직여야만 하는 상황에서 발생한다. 그러나 실제적으로는 입력 로드의 실질적인 크기에 대해서 대부분의 버퍼 모듈들은 거의 항상 확 차게 된다. 그렇기 때문에 일반적인 체계의 긴 네트워크 사이클은 대역폭의 낭비를 가져오게 된다. 본 논문에서는 이런 문제점을 수정하여 고안한 단위 단계 버퍼링 체계를 사용하여 입력 버퍼에 관한 분석 모델을 제안하였다. 이 제안된 체계는 매개변수의 수와 상태전이 다이어그램에 있어서 기존의 모델링 기법들보다 매우 단순하다. 제안된 모델과 시뮬레이션의 처리율 및 지연시간의 비교를 통해서 제안된 모델의 정확성을 검증하였다.

• Proceedings of the Korean Society of Computer Information Conference
• /
• 2017.07a
• /
• pp.199-200
• /
• 2017

본 논문에서는 최근 황사 및 미세 먼지 등으로 늘어나는 환경적 오염으로부터 어린이들이 올바른 마스크 사용을 할 수 있도록 스마트 기능이 포함된 마스크를 제안하는 것이다. 제 4차 산업혁명으로 인하여 사물인터넷이나 스마트 제품은 날로 급증하고 있는 추세이다. 따라서, 어린이들이 많이 사용하는 마스크 제품에 스마트한 기능을 넣고자 한다. 스마트 밴드를 통해 미세먼제 오염도를 측정할 수 있고, 호흡 상태를 파악하고 분비물의 상태를 분석할 수가 있다. 따라서 의료기관을 방문하기 전까지 어린이들의 건강상태를 보다 즉각적으로 파악할 수가 있다.

• Magazine of the Korea Concrete Institute
• /
• v.10 no.5
• /
• pp.139-149
• /
• 1998

동적하중하에서 강섬유보강 콘크리트(SFRC)는 유연도 및 균열억제에서 우수한 재료로서 최근에 각종 구조물에 널리 사용되었으며, 특히 내진설계를 위한 강섬유보강 콘크리트 의 재료적 감쇠에 관한 규명이 절실히 요구되고 있다. 본 연구는 강섬유보강 콘크리트(SFRC)보의 재료적 감쇠효과증진을 실험적 및 수치해석적 방법으로 규명하는 데에 목적이 있으며, 일반적으로 강섬유 보강콘크리트(SFRC)보의 감쇠거동은 인장철근비, 강섬유의 혼입량과 형태, 콘크리트의 강도 그리고 응력의 크기에 좌우된다. 강섬유보강 콘크리트보의 감쇠비는 보의 균열상태 변화에따른 동적실험결과로부터 얻을 수 있으며, 일반적으로 강섬유보강 콘크리트는 증가된 에너지감쇠능력으로 인장철근이 소성전 상태에서 철근 콘크리트보의 경우보다 향상된 감쇠거동을 갖고 있는 것으로 판명되었다. 이들 결과의수치해석적인 입증을 위하여 curvature(곡률)와 감쇠값사이의 관계를 기초로 유한요소프로그램 (TICAL)을 개발하였으며, 결론적으로 0.44%인장철근비을 갖고 있는 강섬유보강 콘크리트의 감쇠비는 하중상태에 따라 철근 콘크리트보의 경우보다 약 5%에서 35%정도 향상된 감쇠비를 갖고 있는 것으로 조사되었다.

• Annual Conference of KIPS
• /
• 2002.04b
• /
• pp.829-832
• /
• 2002

공개키 기반구조의 응용이 네트워크 상의 전자 거래로 확대됨에 따라 통신 상대방의 인증을 위해 인증서의 사용이 증대되었으며, 이 인증서는 사용하기 전에 반드시 검증 과정을 거쳐야 한다. 본 논문에서는 시간정보(Time-stamp Information)를 포함한 인증서 검증 프로토콜을 제안한다. 본 논문에서는 긴 길이의 폐지 정보와 주기적으로 발행되는 특징을 가진 인증서 폐지 목록 등 기존의 인증서 검증 메커니즘들이 가지는 문제점을 분석하고 현재의 인증서 상태에 대한 유효성뿐만 아니라 인증서 검증 결과에 시간 정보를 추가하여 보다 신뢰할 수 있는 인증서의 상태 검증 정보를 제공할 수 있는 프로토콜을 제안한다.

• Transactions of the Korean Society of Mechanical Engineers
• /
• v.16 no.3
• /
• pp.443-452
• /
• 1992

본 연구에서는 소성가공 공정의 최적설계를 위한 새로운 접근 방법이 소개 된다.이방법은 소성가공 공정의 유한요소해석 기술과 기계시스템의 최적설계 기술 에 바탕을 두고 있다. 벌칙 강소성유한요소법, 정상 상태의 소성가공 공정(steady -state metal forming process)을 위한 최적설계 문제의 수식화, 설계민감도의 해석 방법, 설계민감도의 정확성에 관한 고찰, 구배투영법(gradient projection emthod)등 이 본 논문에서 상세하게 소개된다.

• Annual Conference of KIPS
• /
• 2014.04a
• /
• pp.135-137
• /
• 2014

최근 공공건물, 중대형 건물 등에서 전력 피크 시간대에 또는 안정적인 전력공급을 위해 사용할 에너지를 저장하는 방법으로 ESS 를 채택하고 있다. 그러나 대부분의 ESS 의 상태를 모니터링하기 위해서는 별도의 PC 에 소프트웨어를 설치하거나, EMS(Energy Management System)와 같은 별도의 솔루션의 한 기능으로 확인할 수 있다. 이럴 경우, 소프트웨어가 설치되어 있지 않은 현장에서 확인이 어렵고, 자연방전이 일어난 경우 과방전의 가능성도 배제할 수 없다. 따라서 ESS 의 랙 내부에 LCD 화면을 탑재하여 ESS 독립적으로도 상태를 확인할 수 있도록 모니터링 시스템을 개발하였다. 본 연구의 ESS 모니터링 시스템은 ESS 의 안전성올 높이고, 보다 직관적으로 ESS 의 상태를 확인할 수 있도록 구현 하였다.