• Proceedings of the Korea Information Processing Society Conference
• /
• 2008.05a
• /
• pp.378-381
• /
• 2008

최근 정형 검증 분야에서 만족가능성 처리기를 사용한 연구가 많아지면서 이를 적용한 사례들이 많이 나타나고 있다. 만족가능성 처리기를 사용하기 위해서는 검증 되어야 할 시스템을 CNF식으로 변환해야 한다. 우리는 루빅 큐브를 만족가능성 처리기를 통해 풀어보기 위해 이를 CNF식으로 변환해 보았다. 루빅 큐브는 정육면체로 이루어진 퍼즐의 일종으로 모든 면이 각각 한가지 색으로만 채워져야 하는 문제이다. 우리는 본 논문에서 만족가능성 처리기를 사용한 사례 중에 아직 적용한적이 없는 루빅 큐브를 CNF식으로 변환해 풀었음을 보여준다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2007.11a
• /
• pp.372-374
• /
• 2007

SW 자산 가치에 현저한 증가와 환경적 변화에 좌우되는 임베디드 SW의 재사용을 통한 생산성 강화의 필요성이 급격히 증가하는데 반해, 임베디드 SW의 자산화를 위한 구체적인 지침이나 사례연구의 제공이 전무하여 임베디드 SW의 생산은 항상 비용 소모적인 오류를 만들어 내고 있는 실정이다. 본 논문에서는 임베디드 SW 재사용 사례 구축을 통해 임베디드 SW의 자산화를 위한 임베디드 SW 지침을 검증하고, 실용적 지침으로 보급한다.

• The Microorganisms and Industry
• /
• v.16 no.2
• /
• pp.53-57
• /
• 1990

본고에서는 이제까지 개발되어 현재 산업적으로 사용되고 있는 에탄올 생산공정을 살펴보고 scale-up의 사례로서 KIST 유전공학센터에서 Z.mobilis airlift 발효조에서 수행한 연구결과를 중심으로 에탄올 발효에 있어서 scale-up시 나타나는 문제점과 고려해야 할 제반사항에 대해 살펴 보기로 한다.

• The Magazine of the Society of Air-Conditioning and Refrigerating Engineers of Korea
• /
• v.41 no.2
• /
• pp.24-30
• /
• 2012

빗물 이용시설에 대한 법규 및 설계사례를 소개하여 빗물 이용시설에 대한 이해를 돕고 빗물사용에 따른 영향 및 효과를 분석하고자 한다.

• Journal of the KSME
• /
• v.51 no.4
• /
• pp.41-44
• /
• 2011

이 글에서는 증기(steam)와 가압 열수(Pressurized heated Water)를 사용하는 급속가열/급속 냉각 성형기술에 대한 일반적인 기술적 내용을 소개하고 적용 사례에 대해 소개하고자 한다.

• The monthly packaging world
• /
• s.336
• /
• pp.68-79
• /
• 2021

• Journal of Korea Technology Innovation Society
• /
• v.3 no.1
• /
• pp.85-99
• /
• 2000

벤처기업의 활성화에 따라 제기된 지적재산권을 포함한 기술의 경제적 가치평가방법에 대한 새로운 접근방법을 제시하였다 본 연구에서 제시하고 있는 지적재산권 특히 특허기술의 가치평가방법은 기술의 특성을 반영한 개별기술별 기술이전가치 측정에 있으며 추상적인 논의보다는 구체적인 사례를 중심으로 방법론을 적용시키고 있다 이는 기존의 기술가치평가방법론으로 사용되어온 정서적 가치평가방법에서 정량적인 사례를 제시함으로써 새로운 기술평가기법연구의 발전적인 계기를 마련하였다.

• Proceedings of the Korean Institute of Navigation and Port Research Conference
• /
• 2011.11a
• /
• pp.105-107
• /
• 2011

국내의 플로팅 건축 사례의 경우 철근콘크리트 보다는 바지선과 같은 형식의 폰툰이 주로 사용되고 있다. 반면 유럽의 경우 철근콘크리트 폰툰의 사례가 많고 상대적으로 많은 장점을 갖고 있는 것으로 알려져 있다. 유럽 사례를 통해 철근콘크리트 폰툰의 유형을 구분하고 상부시설과의 상관성을 분석함으로써 플로팅 건축 계획에서 계획방법론으로서 활용 가능성을 검토 한다.

• The monthly packaging world
• /
• s.198
• /
• pp.98-107
• /
• 2009

한국환경산업기술원이 지난 달 11일 인증신청 기업의 탄소성적 산출 편의성을 제공하고 동일 품목간 탄소성적의 비교 가능성 증진을 위하여 탄소성적표지 인증을 받은 16개 품목에 대한 인증사례를 발표했다. 탄소성적표지는 제품과 서비스의 생산 및 수송, 유통, 사용, 폐기 등의 과정에서 발생하는 온실가스의 배출량을 제품에 표기하여 소비자에게 제공함으로써 시장주도로 저탄소 소비문화 확산에 기여하는데 그 목적이 있다. 본 고에서는 한국환경산업기술원이 발표한 제11차 탄소성적표지 인증 사례 가운데 식품 및 포장관련 사례를 중심으로 살펴보도록 한다.

• Proceedings of the Korea Institute of Fire Science and Engineering Conference
• /
• 2010.04a
• /
• pp.179-184
• /
• 2010

성능 위주 피난 설계에 있어서 요구피난시간(RSET)을 위한 Simulex 등 피난 시뮬레이션 툴이 사용하고 있는 근본적인 데이터베이스, 즉, 시설 및 군중 조건에 따른 이동 변수, 최대 비유동률(Maximum Specific Flows) 및 경계폭(Boundary Layer Width)을 살펴보고, 트래픽 방정식(Traffic Equation)을 통한 계산 사례 즉, 피난자의 이동 속도 계산 사례, 최소 피난 시간 계산 사례 및 총 유동 용량(Flow Capacity) 수식과 계산 사례를 살펴본다.