• Proceedings of the Korean Information Science Society Conference
• /
• 2006.06b
• /
• pp.409-411
• /
• 2006

본 논문에서는 컴파일러 개발 시에 적용되었던 재목적 기술을 응용하여 다양한 플랫폼에 가상기계를 보다 원활히 탑재하기 위한 가상기계의 자동화 탑재 기술을 제안하고 이를 구현한다. 이를 위해, 가상기계를 플랫폼 독립적인 가상기계 핵심(Core) 부분과 플랫폼 의존적인 부분으로 재구성한 후 다음과 같은 세가지 부분을 설계하고 구현한다. 첫째. 플랫폼 의존적인 부분을 정형화된 방법으로 기술할 수 있는 플랫폼 디스크립션을 설계한다. 둘째. 설계된 플랫폼 디스크립션을 입력으로 받아 최적의 플랫폼 정보를 생성할 수 있는 탑재 점보 생성기를 구현한다. 마지막으로 탑재 정보 생성기의 출력과 가상기계의 핵심 부분을 결합하는 가상기계 생성기를 개발한다.

• Journal for History of Mathematics
• /
• v.17 no.4
• /
• pp.27-36
• /
• 2004

This paper addresses G$\ddot{o}$del's critique of Turing's mechanism that a configuration of the Turing machine corresponds to each state of human mind. The first part gives a quick overview of Turing's analysis of cognition as computation and its variants. In the following part, we describe the concept of Turing machines, and the third part explains the computational limitations of Turing machines as a cognitive system. The fourth part demonstrates that Godel did not agree with Turing's argument, sometimes referred to as mechanism. Finally, we discuss an oracle Turing machine and its implications.

• Journal of the KSME
• /
• v.29 no.3
• /
• pp.253-260
• /
• 1989

본 글에서는 다공질재료의 구성방정식의 개발을 위한 이론적 접근방법을 논하고자 한다. 여기서 부분적으로는 미소역학적인 중공구형 모델을 사용하고, 또 부분적으로는 경험적 방법 또는 현 상학적 방법들을 사용한다.

• Proceedings of the KSME Conference
• /
• 2005.11a
• /
• pp.98.2-98.2
• /
• 2005

• Proceedings of the Korean Society for Agricultural Machinery Conference
• /
• 1999.12a
• /
• pp.38-44
• /
• 1999

• Journal of the KSME
• /
• v.26 no.1
• /
• pp.4-9
• /
• 1986

오늘날의 생산, 가공기술을 공장자동화(FA: Factory Automation) 기술과 첨단 가공기술 두 방향으로 양극화 되어 나갈 것으로 보인다. 현재 각 기업에서 부분적으로 실시하고 있는 목 표원가관리 시스템도 그 실효를 거둘수 있기 위해서는 현업에서 실질적으로 관리할 수 있는 인 자를 지니고 있어야 한다. 이러한 인자로서 특히 공작기계 공업에서와 같이 다품종 소량생산 체제하에서는 부분별 개별원가 계산제를 들수 있고, 새로운 생산 시스템(FMS 등)과 기종의 전 문화에 맞는 직접원가제도가 유효하다. 이러한 기본인자를 쉽게 인식할 수 있는 것은 앞으로도 전산화가 이루워지지 않고는 생각할 수 없다는 점이다. 앞으로의 공작기계의 방향이 FMS를 전제로한 CNC 및 전용화 추세에 맞는 관리 시스템은 필연적으로 단순화를 요하고 그를 위한 전산소프트웨어의 개발이 시급하다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2003.11b
• /
• pp.809-812
• /
• 2003

가상 기계는 다양한 종류의 플랫폼에 대한 독립성을 지원하는 프로그램 실행 환경으로서 로더/링커, 인터프리터 및 가상 기계를 특정 시스템에 탑재하기 위한 어댑터로 크게 구성되어 있다. 본 논문에서는 가상 기계를 특정 시스템에 효율적으로 탑재하기 위한 어댑터를 개발하기 위해 기존 가상 기계의 탑재 부분을 고찰한 후 멀티플랫폼에 효과적으로 탑재할 수 있는 어댑터를 설계하였으며 제안된 어댑터는 정의 부분, 주 어댑터, 네이티브 인터페이스 부분으로 구성되어 있다. 또한 어댑터 개발시에 장치 특성, 입출력 등을 위한 API 작성에 필요한 요소들을 제시하였다.

• Transactions of the Korean Society of Mechanical Engineers
• /
• v.5 no.3
• /
• pp.193-198
• /
• 1981

Muskhelishvili 의 복소수방법에 의해 일반적 하중 즉 열 및 기계적 하중을 받는 무한 탄성체내에 공동을 가정하고 그 주위의 응력 및 변위를 유도하였다. 선형트랙(line rack)이 부분적으로 또는 완정히 닫힐 임계하중조건과 그때의 응력세기 계수 (stress intensity factor)를 McClintork와 Walsh 의 크랙닫힘에 관한 결정에 기초를 두고 해석학적으로 유도하였다.

• Journal of the KSME
• /
• v.42 no.12
• /
• pp.37-42
• /
• 2002

• Journal of the KSME
• /
• v.43 no.7
• /
• pp.70-73
• /
• 2003

이 글에서는 골프용품의 소재 및 그 형태의 발전상황을 살펴봄으로써 기계공학을 전공한 엔지니어가 국내 골프용품 산업을 키워 나아가지 위해 기여할 수 있는 부분들을 검토해 보고자 한다.