• Journal of the Korean Mathematical Society
• /
• v.40 no.4
• /
• pp.747-756
• /
• 2003

We establish a vanishing theorem on the square-integrable cohomology associated to the Cauchy-Riemann complex on some complete Kaehler manifolds. The hypothesis needed for this result is a growth condition on a primitive of the Kaehler form.

• Journal of applied mathematics & informatics
• /
• v.18 no.1_2
• /
• pp.287-300
• /
• 2005

In this paper, we analyze Pseudo-Noise (PN) sequences generated by a maximum-length 90/150 Null Boundary Cellular Automata and we give the relationship among minimum offsets.

• 대한두경부종양학회:학술대회논문집
• /
• 1999.12a
• /
• pp.271.1-271.1
• /
• 1999

• Bulletin of the Korean Mathematical Society
• /
• v.8 no.1
• /
• pp.9-15
• /
• 1971

The purpose of this note is to use primitive recursive functions and predicates similar to those presented by Davis [2] to show the well-known result first proved by Godel in [3] that the well-formed formulas of a pure functional calculus form a recursive set. The technique shown in this paper immediately suggests a unique approach to Theorem proving using a computer.

• Proceedings of the Korea Multimedia Society Conference
• /
• 2003.05b
• /
• pp.460-463
• /
• 2003

본 논문은 프리미티브 모델을 바탕으로 윤곽선 추출하여 효율적으로 홀 채워서 결과 영상의 질과 속도를 향상시키는 알고리즘을 제시한다. 이 알고리즘은 입력 영상에서 뷰의 위치와 방향이 바뀌어 홀이 발생하면 그 홀을 동일 프리미티브의 윤곽선을 이용하여 프리미티브 내의 영상 정보만을 이용하므로 이질감이 작고 홀 주위의 모든 점들의 영상 정보를 이용하여 결과 영상의 질을 향상 시켰다.

• Journal of Institute of Control, Robotics and Systems
• /
• v.14 no.10
• /
• pp.1038-1046
• /
• 2008

This paper presents a framework to generate human-like movements of a humanoid in real time using the movement primitive database of a human. The framework consists of two processes: 1) the offline motion imitation learning based on an Evolutionary Algorithm and 2) the online motion generation of a humanoid using the database updated bγ the motion imitation teaming. For the offline process, the initial database contains the kinetic characteristics of a human, since it is full of human's captured motions. The database then develops through the proposed framework of motion teaming based on an Evolutionary Algorithm, having the kinetic characteristics of a humanoid in aspect of minimal torque or joint jerk. The humanoid generates human-like movements far a given purpose in real time by linearly interpolating the primitive motions in the developed database. The movement of catching a ball was examined in simulation.

• Bulletin of the Korean Chemical Society
• /
• v.33 no.3
• /
• pp.901-905
• /
• 2012

In this study, we investigated the pure geometrical effect of porous materials in gas adsorption using the grand canonical Monte Carlo simulations of primitive gas-pore models with various pore geometries such as planar, cylindrical, and random pore geometries. Although the model does not possess atomistic level details of porous materials, our simulation results provided many insightful information in the effect of pore geometry on the adsorption behavior of gas molecules. First, the surface curvature of porous materials plays a significant role in the amount of adsorbed gas molecules: the concave surface such as in cylindrical pores induces more attraction between gas molecules and pore, which results in the enhanced gas adsorption. On the contrary, the convex surface of random pores gives the opposite effect. Second, this geometrical effect shows a nonmonotonic dependence on the gas-pore interaction strength and length. Third, as the external gas pressure is increased, the change in the gas adsorption due to pore geometry is reduced. Finally, the pore geometry also affects the collision dynamics of gas molecules. Since our model is based on primitive description of fluid molecules, our conclusion can be applied to any fluidic systems including reactant-electrode systems.

• Journal of the Korean Society for Precision Engineering
• /
• v.29 no.1
• /
• pp.33-40
• /
• 2012

The scaffold serves as 3D substrate for the cells adhesion and mechanical support for the newly grown tissue by maintaining the 3D structure for the regeneration of tissue and organ. In this paper, we proposed integrated scaffold fabrication system using multi-axis rapid prototyping (RP) technology. It can fabricate various types of scaffolds: arbitrary sculptured shape, primitive shape, and tube shape scaffolds by layered dispensing biocompatible/ biodegradable polymer strands in designated patterns. In order to fabricate the 3D scaffold, we need to generate the plotting path way for the scaffold fabrication system. We design a data processing program - scaffold plotting software, which can convert the 3D STL file, primitive and tube model images into the NC code for the system. Finally, we fabricated the customized 3D scaffolds with high accuracy using the plotting software and the fabrication system.

• Journal of the Korean Society for Precision Engineering
• /
• v.19 no.2
• /
• pp.195-202
• /
• 2002

An automated process planning system for cold forging of non-axisymmetric parts of comparatively simple shape was developed in this study. Programs for the system have been written with Visual LISP in the AutoCAD using a personal computer and are composed of four main modules such as input module, shape cognition and shape expression module, material diameter determination module and process planning module. The design rules and knowledges for the system are extracted from the plasticity theories, handbook, relevant reference and empirical knowledge of field experts. Generally, in forging, only front view is needed for expression of axisymmetric parts, but non-axisymmetric parts need front and plane view. At the plane, this system cognizes the external shape of non-axisymmetric, parts - number of sides of regular polygon and radius of a circle circumscribing the polygon of n sides. At the front view, the system perceives diameter of axisymmetric portions and height of primitive geometries such as polygon, cylinder, cone, concave, convex, etc.

• Journal of Educational Research in Mathematics
• /
• v.21 no.1
• /
• pp.57-65
• /
• 2011

The conceptions of definition and proof radically change in the transition from secondary to tertiary mathematics. Specifically this paper analyses the historical development of the axiomatic method from Greek to modern mathematics. To understand Greek and modern axiomatic method, it is important to know the different characteristics of the primitive terms, constant and variable. Especially this matter of primitive terms explains the change of conceptions of definition, proof and mathematics. This historical analysis is useful for introducing the meaning of formal definition and proof.