• Proceedings of the Korean Environmental Sciences Society Conference
• /
• 2007.05a
• /
• pp.241-244
• /
• 2007

• 대한두경부종양학회:학술대회논문집
• /
• 1986.11a
• /
• pp.8.1-8.1
• /
• 1986

• Proceedings of the Korean Ceranic Society Conference
• /
• 2000.10a
• /
• pp.84.1-84
• /
• 2000

• Proceedings of the Korean Powder Metallurgy Institute Conference
• /
• 2005.11a
• /
• pp.102-102
• /
• 2005

• Proceedings of the Korean Society for Noise and Vibration Engineering Conference
• /
• 2013.04a
• /
• pp.200-201
• /
• 2013

• Proceedings of the KWS Conference
• /
• 1999.05a
• /
• pp.41-43
• /
• 1999

• Proceedings of the PSK Conference
• /
• 2001.10a
• /
• pp.151.2-152
• /
• 2001

• Defense and Technology
• /
• no.4 s.158
• /
• pp.34-41
• /
• 1992

우리나라의 국력은 미국이나 소련, 일본에는 당분간 미칠수 없는 것이 현실이다. 하지만 머지않아 이탈리아 수준에는 도달 할 수있고, 헬기를 중심으로한 육군 항공전력 소요는 2000천년대에도 계속 증가할 추세임을 감안 할 때, 우리도 이탈리아의 아구스타사와 같은 독자적 무기체계를 개발할 능력을 갖추기까지 일련의 과정을 배울 필요가 있다고 생각한다

• Proceedings of the KIEE Conference
• /
• 1985.07a
• /
• pp.234-237
• /
• 1985

본 논문은 득정한 하드웨어를 구성함에 앞서 그 시스템이 State-diagram으로 표현된 것을 입력으로 받아 state-diagram이 맞는지를 verify하는 방법을 제시하며 equivalence state를 찾아 reduce해준다. Program의 실현은 Prolog로 하였다.

• Proceedings of the Korean Radioactive Waste Society Conference
• /
• 2015.10a
• /
• pp.289-290
• /
• 2015