• Proceedings of the Korean Information Science Society Conference
• /
• 1998.10b
• /
• pp.582-584
• /
• 1998

객체 지향 설계 명세를 대상으로한 시스템의 안전성에 대한 검사를 하여, 표(Table)조작에 기초한 검증법을 제안하였다[4]. 제안한 검증법에서는 전문 분야별로 준비된 안정성 기준(Safety Standard)과 노우하우(Knowhow)를 이용하여, 안전성에 관한 이벤트(Event)와 액션(Action)의 관계표를 작성하였다. 그러나, 많은 실제 개발 현장에서는 실제 존재하는 안전성 기준의 부족 등으로 인하여, 이러한 검증법의 기용이 어렵다는 문제점이 있다. 이에 본 논문에서는 신뢰성 분석의 한 방법인 FTA(Fault Tree Analysis)의 FT(Fault Tree)도를 이용한 안정성 체크리스트(Check list)를 작성하여, 이를 바탕으로 관계표를 작성하는 새로운 방법을 제안하고자 한다.

• The Korean Journal of Applied Statistics
• /
• v.1 no.1
• /
• pp.68-74
• /
• 1987

To improve the quality of oral presentation of technical papers, this article suggests some guidances for the organization of contents and the presentation of materials. Some Suggestions are also made on the use of over-head projectors. Some comments are also given on the writing of statistical papers.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2003.11a
• /
• pp.295-298
• /
• 2003

인공지능 분야에서는 전문가 시스템으로써 식단작성에 대한 연구가 계속되고 있다. 본 논문에서는 기 구축한 식단작성 시스템을 검토한 후, 조리법을 기반으로 음식과 식품의 관계를 규명하여 보다 더 지적인 식단작성을 고려해 보았다. 이와 아울러, 실용적인 식단을 구성하기 위한 요인을 찾아 사용자의 식생활 관리기능을 향상시키고자 하였다. 이러한 요인으로는 기본적인 사용자 특성 외에 조리법 식품 구매량, 식품가격, 대치식품, 가족단위 구성 등을 생각하였다. 식품, 음식 및 식단의 의미적 관계는 사용자 특성과 취향을 적극 수용하는 지능적인 식단작성을 가능하게 한다. 또한, 제시한 실용적 요인들은 작성된 식단이 실생활에 보다 더 쉽게 적용될 수 있도록 한다. 이들은 식단작성을 위한 음식 및 식단 온톨러지로 그 활용가치가 기대된다.

• Communications of Mathematical Education
• /
• v.12
• /
• pp.509-526
• /
• 2001

이 글은 2001년 8월 24${\sim}$25일 강원대학교(춘천)에서 한국수학교육학회 주최로 개최되는 “제 27 회 전국수학교육연구대회”에서 있을 웍샵 “LATEX 의 설치 및 사용법”의 교안으로 만들었다. 이 웍샵은 LATEX을 써서 수학 교육에 관한 논문이나 순수 및 응용 수학에 관련한 논문을 작성하려는 사람을 도우려고 계획하였다. 특히 영문 LATEX(이것을 Non-local LATEX 이라 한다.)의 설치 방법, 참고 문헌의 작성과 참고 문헌을 본문에 인용하는 방법, 그리고 수식 환경에 대해서 집중적으로 다루어 보려고 한다. 시간의 여유가 있으면 한글 LATEX도 다루어 보려고 한다.

• Proceedings of the KIEE Conference
• /
• 2005.10b
• /
• pp.554-556
• /
• 2005

요즈음 인터넷은 사람들의 생활에 일부를 차지할 만큼 보급이 확산되었다. 하지만, 일반 사용자가 인터넷을 사용하여 원하는 문서를 작성하기에는 아직도 여러 가지 어려운 점이 많다. 인터넷을 사용하려면 HTML이라는 문서를 만들어야 사용할 수 있고 여러 가지 작성법을 배우기 위해서는 번거로움과 시간적 손실을 가만해야 한다. 본 논문에서는 멀티미디어와 HTML 문서를 일정한 문장 형식에 맞추어서 작성하는 것보다 보이는 그대로 입력, 수정하여 작성하는 WYSIWYG(What You See Is What Irou Get) 방식으로 만들어져 사용자가 이용하기에 간편하고, 직접 원하는 대로 테일러링하여 작성할 수 있도록 만든 툴인 멀티미디어 웹 에디터를 제안한다.

• 대한예방의학회:학술대회논문집
• /
• 2005.07a
• /
• pp.81-87
• /
• 2005

• KLA journal
• /
• v.12 no.5
• /
• pp.20-20
• /
• 1971

• 대한예방의학회:학술대회논문집
• /
• 2002.07b
• /
• pp.118-143
• /
• 2002

• 대한예방의학회:학술대회논문집
• /
• 2004.07a
• /
• pp.57-68
• /
• 2004

• 대한예방의학회:학술대회논문집
• /
• 2003.07a
• /
• pp.77-88
• /
• 2003