• 식물분류학회지
• /
• 제46권3호
• /
• pp.288-294
• /
• 2016

Stephania subpeltata (방기과)의 베트남 분포를 처음으로 보고한다. 본 종은 형태적으로 S. japonica와 유사하지만 엽신이 방패모양에 가까운 난상삼각상 또는 넓은 삼각상이며, 엽병이 조금 더 짧고, 잎맥의 수가 적으며, 작은 화경에 산형모양의 취산화서가 달리지만 드물게는 복취산화서를 가지며, 꽃이 자색이고 내과피에 돌출된 열의 수가 적어 뚜렷하게 구별된다. 본 종의 분류학적 기재, 상세 분포 및 생태학적 정보와 함께 베트남에 분포하는 함박이속(Stephania) 식물의 종검색표를 제시하였다.

• 한국환경과학회:학술대회논문집
• /
• 한국환경과학회 2017년도 정기학술대회 발표논문집
• /
• pp.142-142
• /
• 2017

• 과학과기술
• /
• 10호통권449호
• /
• pp.57-61
• /
• 2006

• 과학과기술
• /
• 제18권9호통권196호
• /
• pp.25-28
• /
• 1985

• 과학과기술
• /
• 제22권2호통권237호
• /
• pp.13-19
• /
• 1989

• 정보과학회지
• /
• 제21권1호
• /
• pp.29-39
• /
• 2003

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2003년도 가을 학술발표논문집 Vol.30 No.2 (1)
• /
• pp.310-312
• /
• 2003

다중 쓰레드를 지원하는 실시간 운영체제 스케줄러의 time partitioning 속성을 프로세스 알제브라 언어인 ACSR을 이용하여 분석한다. 본 논문에서는 먼저 실시간 운영체제의 전반적인 스케줄러 동작에 대한 ACSR 모델을 작성하고, 이를 두 가지 시나리오에 대해 분석한다. 이러한 방법을 사용함으로써 실시간 시스템의 설계 및 구현 작업을 보다 쉽고 정확하게 수행할 수 있다.

• 한국농업기계학회:학술대회논문집
• /
• 한국농업기계학회 1999년도 하계 학술대회 논문집
• /
• pp.313-319
• /
• 1999

간접열식 LPG온풍난방기는 LP(Liquefied Petroleum)가스를 열원으로 한 온풍난방기를 말한다. LP가스는 프로판(Propane, $C_3$H$_{8}$)과 부탄(Butane, $C_4$H$_{10}$)을 주성분으로 하는 혼합물로 에탄, 프로필렌, 부틸렌 등이 약간 포함되어 있는 기체로 액화 및 기화가 쉬우며 기체상태에서는 비중이 공기보다 무겁고 액체상태에서는 물보다 가볍다. 또한, 기화할 때는 다량의 열과 연소시 많은 공기를 필요로 하고 온도에 따라 액체의 부피가 변하는 특성을 가지고 있으며 무색, 무취, 무독하다. LP가스의 발열량은 12,000kcal/kg으로 경유나 보일러등유 보다 약 30% 정도 높아 난방연료로서의 사용 및 취급성이 우수하다. (중략)

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2004년도 가을 학술발표논문집 Vol.31 No.2 (2)
• /
• pp.334-336
• /
• 2004

Statechart는 매우 널리 쓰이고 있는 명세 언어이다. 현재는 UML에 포함되어 않은 사랑들이 구현하고자 하는 시스템의 명세에 Statechart를 이용하고 있다. Statechart 명세는 구현될 시스템의 설계도 역할을 하기 때문에 오류가 있을 경우 매우 치명적일 수 있으며, 반대로 시스템의 오류를 명세 단계인 Statechart 영세에서 찾아내게 되면 수정에 필요로 하는 비용과 시간의 손실을 최소화 할 수 있다. 본 논문에서는 하드웨어 검증 분야에서 사용되고 있는 Assertion Based Verification (ABV) 방법론을 Statechart 명세에 적용하여 시뮬레이션 등으로는 찾아내기 힘든 오류를 찾아낼 수 있음을 보였다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 1998년도 가을 학술발표논문집 Vol.25 No.2 (3)
• /
• pp.116-118
• /
• 1998

본 논문에서 Holzmann이 제시한 커널 스케줄링 방식이 Liveness를 만족하지 못하며, 자원의 충돌이 일어남을 알제브라 ACSR-VP를 이용해서 확인하였고, SPIN과 LTL formula를 이용하여 검증하였다. 이것을 SPIN과 ACSR-VP를 이용하여하여 오류가 없는 새로운 모델을 제시하였다.