• Transactions of the Korean Society of Machine Tool Engineers
• /
• v.16 no.2
• /
• pp.78-83
• /
• 2007

In this paper, the digital model of the micro-factory has been established, inspected and evaluated by progress of assembly, manipulation and examination. The new paradigm of the system analysis is realized by digital simulation of the factory. The digital manufacturing system of the micro-factory was simulated through UML(Unified Modeling Language) with the object-oriented logical model analysis method and then the micro lens module assembly system was simulated with MST(Micro System Technology) Application Module.

• Transactions of the Korean Society of Machine Tool Engineers
• /
• v.16 no.3
• /
• pp.44-49
• /
• 2007

Recent manufacturing system requires development on new production technology to enable prompt manufacturing of diverse products. Most of the researchers have been working on micro-factory. Especially, focus on manufacturing of micro parts. Present manufacturing system consumes excessive resources in the form of energy and space to manufacture the micro parts. In this study, the micro lens module assembly system was modeled, analyzed with MST(Micro System Technology) Application Module and simulated through UML Language (Unified Modeling Language) with object-oriented logical model analysis method. Digital model of micro-factory was modeled, to execute the new paradigm of digitalization on products, resources and processes of micro-factory.

• Journal of the Korean Operations Research and Management Science Society
• /
• v.13 no.1
• /
• pp.51-64
• /
• 1988

A new approach to the logical design of 4NF database shceme, which can be easily automated, is proposed. The main features of the approach are : introduction of a single attribute right hand side, extension of the concept of independent relations, semantic analysis, and adaoption of dependency matrix. The underlying viewpoints of functional relationships of the approach are different from Fagin's in that we distinguish functional and multivalued dependency in terms of cardinality. An algorithm for automatic generation of fourth normal form is presented and implemented.

• Proceedings of the Korean Information Science Society Conference
• /
• 2002.04a
• /
• pp.4-6
• /
• 2002

최근 폭발적으로 증가하는 대량의 정보를 효율적으로 관리하기 위해서 서버에 개별적으로 연결되던 저장장치를 고속의 전용 네트워크에 직접 연결하고 이를 여러 서버가 공유하는 SAN(Storage Area Network)이 등장했다. SAN을 보다 효과적으로 활용할 수 있도록 SAN 운영체제들은 여러 저장장치를 하나의 커다란 저장장치로 보이게 하는 저장장치 가상화를 지원한다. 저장장치 가상화의 핵심적인 역할을 하는 것이 바로 논리볼륨 관리자이다. 논리볼륨 관리자는 논리주소 블록을 실제 디스크의 물리블록으로 매핑시키는 매핑 관리자를 통해 가상화를 실현한다. 이 논문에서는 효율적인 논리볼륨 관리자를 위해 매핑 관리자와 자유공간 관리자의 기능 향상에 대한 방법을 찾고 이를 반영한 매핑 관리자와 자유공간 관리자를 설계하고 구현한다. 더불어 이 논문의 매핑 관리기법은 특정 시점의 볼륨이미지를 유지할 수 있는 스냅샷과 시스템을 정지시키지 않고 SAN에 디스크를 추가할 수 있는 온라인 재구성 기능을 지원한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2003.04c
• /
• pp.624-626
• /
• 2003

본 논문에서는 가상환경을 구현할 때 환경에 논리적 객체를 등장시키는 것을 목적으로 하고 있다. 기존의 가상환경을 구현하는 시스템에서는 환경에 객체를 등장시킬 때 환경과 객체의 논리적 연관성을 고려하지 않고 있어, 가상환경의 사실성을 보장하지 못하고 있다. 본 논문에서는 논리적 객체 삽입을 위하여 가상환경에 필요한, 가상환경에서 요구하는 객체들을 환경과의 논리적 연관성을 고려하여 미리 모델링해 놓는 Nursery 모델을 제시한다. 이 Nursery는 Ontology를 기초로 하여 구축되어, 다양한 추상화 레벨에 따른 논리적 연관성을 보장하여 줄 수 있다. 이는 나아가 가상환경 자체의 사실성을 보장하여, 실제 환경에서 일어날 수 있는 다양한 이벤트들이 전개될 수 있게 한다.

• Journal of the Korean Society for Precision Engineering
• /
• v.16 no.1 s.94
• /
• pp.61-67
• /
• 1999

A laser Doppler vibrometer based on the laser heterodyne interferometry is employed to measure the vibration velocity of vibrating objects. In this paper, we propose a real time analog signal processor of a laser Doppler vibrometer to reduce the degradation of Doppler signals mainly caused by environmental noises. In the proposed real time signal processor of an laser Doppler vibrometer, a pre-processor and a logical motion direction detector are designed to reduce the detection errors of the object motion direction. Also, a noise detection and rejection circuit is designed to reject the unfiltered noises.

• Korean Journal of Computational Design and Engineering
• /
• v.13 no.1
• /
• pp.27-35
• /
• 2008

Digital Virtual Manufacturing is a technology facilitating effective product developments and agile productions via digital models representing the physical and logical schema and the behavior of real manufacturing systems. A digital virtual factory as a well-designed and integrated environment is essential for successful applications of this technology. In this research, we construct a sophisticated digital virtual factory for the section steel shop in a Korean shipbuilding company by 3-D CAD and virtual manufacturing simulation. The NIST-AMRF CIM hierarchical model and workflow analysis using IDEF methodology are also applied. This digital virtual factory can be applied for diverse engineering activities in design, manufacturing and control of the real factory, and improvements in quality of engineering and savings in time from design to production in shipbuilding are possible.

• Journal of Information Processing Systems
• /
• v.4 no.2
• /
• pp.53-60
• /
• 2008

The Web Services infrastructure is a distributed computing environment for service-sharing. Mechanisms for Web services Discovery proposed so far have assumed a centralized and peer-to-peer (P2P) registry. A discovery service with centralized architecture, such as UDDI, restricts the scalability of this environment, induces performance bottleneck and may result in single points of failure. A discovery service with P2P architecture enables a scalable and an efficient ubiquities web service discovery service that needs to be run in self-organized fashions. In this paper, we propose an autonomic -interleaving Registry Overlay Network (RgON) that enables web-services' providers/consumers to publish/discover services' advertisements, WSDL documents. The RgON, doubtless empowers consumers to discover web services associated with these advertisements within constant D logical hops over constant K physical hops with reasonable storage and bandwidth utilization as shown through simulation.

• Korean Journal of Logic
• /
• v.3
• /
• pp.95-113
• /
• 2000

타르스키는 최근 발표된 그의 유고에서 흥미 있는 논리상항의 정의를 제공하였다. 그의 정의는 그가 1927년이래 린덴바움과 함께 연구하였고, 1935년에 강연으로 발표하였던 메타 논리적 탐구의 결과들에 근거하는 것으로서, 1966년과 1973년의 강연들에서 제공하였던 '논리적 개념들'(logical notions)의 정의에 바탕을 둔 것이었다. 타르스키의 논리상항의 정의는 역사적으로는 클라인의 에어랑겐 프로그램(Erlangen Programme)의 논리학에 대한 적용이라 할 수 있는 것으로서, 마우트너의 유사한 시도와 함께 주목할 만한 가치가 있다. 또한 그의 정의는 논리상항을 논리적 형식의 개념에 의존하지 않고, 보다 중립적인 '모든 변환에 있어 불변적임'(invariance under all transformations)이라는 개념을 사용하고 있다는 점에서도 흥미있는 시도로서 여겨질 수 있다. 본 논문에서는 타르스키의 논리상항의 정의와 그 확장에 대하여 논의한 뒤, 몇 가지 비판적인 논점을 제공하고자 한다. 특히 타르스키의 정의가 과연 중립적이고 순환적이지 않은가 하는 문제에 대한 논의를 통하여 논리상항의 정의에 대한 새로운 관점을 확보하고자 한다.

• Journal of Institute of Control, Robotics and Systems
• /
• v.9 no.2
• /
• pp.168-175
• /
• 2003

A new algorithm based on Genetic Algorithms is proposed f3r solving process optimization problems formulated in MINLP, GDP and hybrid MINLP/GDP. This work is focused especially on the design of the Genetic Algorithm suitable to handle disjunctive programming with the same level of MINLP handling capability. Hybridization with the Simulated Annealing is experimented and many heuristics are adopted. Real and binary coded Genetic Algorithm initiates the global search in the entire search space and at every stage Simulated Annealing makes the candidates to climb up the local hills. Multi-Niche Crowding method is adopted as the multimodal function optimization technique. and the adaptation of probabilistic parameters and dynamic penalty systems are also implemented. New strategies to take the logical variables and constraints into consideration are proposed, as well. Various test problems selected from many fields of process systems engineering are tried and satisfactory results are obtained.