• Korean Journal of Logic
• /
• v.7 no.1
• /
• pp.1-22
• /
• 2004

The Kantian idea that some judgments are synthetic even in the area of a priori judgments cannot be accepted in its original version, but a modification of the notions 'analytic' and 'synthetic' discovers a rational core of that idea. The new definition of 'analytic' concerns concepts and makes it possible to distinguish between analytic concepts, which are effective ways of computing recursive functions, and synthetic concepts, which either define non-recursive functions, or define recursive functions in an ineffective way. To justify this claim we have to construe concepts as abstract procedures not reducible to set-theoretical entities.

• Proceedings of the Korea Concrete Institute Conference
• /
• 2001.11a
• /
• pp.1149-1154
• /
• 2001

A Seismic retrofit idea based on a first principle is proposed for existing RC walls under various level of axial loading. In application of the proposed retrofit method, designers can choose the size and shape of boundary elements of wall sections for a required level of ductility. For this axial load ratio, steel ratio, and strength of concrete and steel are considered as design parameters. In order to show the usage of the idea, several design charts are presented with an application example.

• Communications of the Korean Mathematical Society
• /
• v.10 no.1
• /
• pp.175-186
• /
• 1995

The concept of a fuzzy set, which was introduced in [9], provides a natural framework for generalizing many of the concepts of general topology to what might be called fuzzy topological spaces. The idea of fuzzy topological spaces was introduced by Chang [2]. The idea is more or less a generalization of oridinary topological spaces.

• Journal of the Korea Society for Simulation
• /
• v.3 no.2
• /
• pp.15-25
• /
• 1994

Efficient event evaluation and propagation techniques are proposed to enhance the advancement of simulation clocks of conservative and optimistic logic simulation protocols on parallel processing environments. The first idea of the techniques proposed in this paper is to allow more than one event evaluation per simulation cycle and to pack more than one propagation event in a single message. The second idea is to use advancement windows resulted in good performance in parallelism and execution times.

• 제어로봇시스템학회:학술대회논문집
• /
• 2005.06a
• /
• pp.119-122
• /
• 2005

Lego company created a set called Robotic Invention System as a kind of Mindstorm set. This system helps to understand the technology of both robot and programming language. It also improves creativeness by building and controlling the robot we make. This paper will introduce basic idea of controlling the RCX(Programmable Lego Block) in C language. Also, this paper will show different idea of teaching C language by using other types of robots.

• Journal of the Korean Society for Precision Engineering
• /
• v.5 no.2
• /
• pp.7-14
• /
• 1988

작업물(Work)을 기계에 장입출, 가공에 필요한 공구류의 공급 등이 완전 자동화 된 기존의 사출성형기 Series를 제조하는 FA Systme은, MAP 대응의 FA System 으로 개량되었다. 이 논문은, MAP 대응 새 FA 시스템의 MAP에서 분산.통괄의 역할을 하도록 개발된 Cell controller의 정보관리기능 가운데 하나의 응용으로서 제조공정을 자동적으로 Scheduling 하는데 Expert 시스템(전문가시스템)을 적용한 idea를 소개하는 것이다. 이 idea의 적용 으로 인하여 제조공정의 scheduling 작염은 종래의 주단위로 부터 일일단위의 작업으로 처리가 가능해졌고, 또, 공구수명관리기능의 부가로 무인운전시의 기계의 가공율도 종래보다도 녹일 수가 있었다.

• Proceedings of the Korea Institute of Applied Superconductivity and Cryogenics Conference
• /
• 2000.02a
• /
• pp.73-76
• /
• 2000

Superconductivity is key technology for 21st century. To suppress emission of green house effect gas, applied superconductivity is important. In this paper, the current status of superconducting power machines such as generatorand motor are described. Most of all studies are the step of demonstration of idea and possibility. There are large gap between physical idea and actual apparatus. Further collaboration between scientists and engineers has been required.

• International Journal of Fuzzy Logic and Intelligent Systems
• /
• v.4 no.2
• /
• pp.217-222
• /
• 2004

A person does communication between each other using language. But, In the case of disabled person, cannot communicate own idea to use writing and gesture. We embodied communication system using the EEG so that disabled person can do communication. After feature extraction of the EEG included facial muscle signals, it is converted the facial muscle into control signal, and then did so that can select character and communicate idea.

• Proceedings of the KSR Conference
• /
• 2008.06a
• /
• pp.883-891
• /
• 2008

The design shows the high-technology of the High Speed Train and its renovated services which is still to be solved. This research presents the process held in approaching the design of the streamline nose using the ‘Image Implementation Technique’. The image that has been brought out through the ‘Image Implementation Technique’ and applied to 'Idea-Creation' and 'Idea-Embodiment' is in order to embody the identity of the nose. We have drawn design and form elements through scientific and analytic approach, bringing up the image of the nose.

• Proceedings of the KSR Conference
• /
• 2004.10a
• /
• pp.1745-1750
• /
• 2004

If we free ourselves from the fixed idea that cultural activity is possible within specific cultural facilities including cultural space and are able to solve the architectural problem, achieving a new idea's railroad space will be possible, The purpose of this study is listed below. Present guide line and traffic policy for an omnibus of design as connected KTX which enables connected way within KTX, considering the situation that the users' traffic problem is increasing.