• 제어로봇시스템학회:학술대회논문집
• /
• 2001.10a
• /
• pp.170.5-170
• /
• 2001

As close competitions are being fought out among enterprises, they should accomplish their objectives such as reduction of cost, improvement of quality and condensation of due date, etc. For this objects, it becomes very important to manage the workflow harmoniously and to share the information efficiently between geographically dispersed users. We developed the collaborative design system, which manages various design process and enables to share design information. In this paper, Internal-based collaboration system for press die design process in the automobile manufacturer is developed with CORBA, Java and relational database system. After modeling real press die design process with UML language, workflow routing path is created by modeling data. Cost and time for ...

• Transactions of the Korean Society of Mechanical Engineers A
• /
• v.27 no.12
• /
• pp.2061-2071
• /
• 2003

The macro-parametric approach, which is a method of CAD model exchange, has recently been proposed. CAD models can be exchanged in the form of a macro file, which is a sequence of modeling commands. As an event-driven commands set, the standard macro file can transfer design intents such as parameters, features and constraints. Moreover it is suitable for the network environment because the standard macro commands are open, explicit, and the data size is small. This paper introduces the concept of the macro-parametric method and proposes its representation using XML technology. Representing the macro-parametric data using XML allows managing vast amount of dynamic contents, Web-enabled distributed applications, and inherent characteristic of structure and validation.

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 2003.06a
• /
• pp.1626-1629
• /
• 2003

The study is expressed on the web browser using virtual reality of developer manufacturing process and method or manufactured goods conviction for designer and developer with visualized model. This study purpose of basic feature with VRML file and Java and VRML with AWT to get WC code was presented. The study process is equal to the real thing modeling on using Pro/Engineer and exports on the VRML1.0. The condition converts VRML1.0 to VRML2.0 on the CROSS ROADS. And then Cosmo World is coding and manufacturing simulation is expressed on the Cosmo Player.

• International Journal of Precision Engineering and Manufacturing
• /
• v.9 no.3
• /
• pp.75-78
• /
• 2008

Tire molds are manufactured by aluminum casting, direct five-axis machining, and electric discharging machining. Master models made of chemical wood are necessary if aluminum casting is used. They are designed with a three-dimensional computer-aided design system and milled by a five-axis machine. In this paper, a method for generating and machining a tire surface model is proposed and demonstrated. The groove surfaces, which are the main feature of the tire model, are created using a parametric design concept. An automatically programmed tool-like descriptive language is presented to implement the parametric design. Various groove geometries can be created by changing variables. For convenience, groove surfaces and raw cutter location (CL) data are generated in two-dimensional drawing space. The CL data are mapped to the tread surface to obtain five-axis CL data to machine the master model. The proposed method was tested by actual milling using the five-axis control machine. The results demonstrate that the method is useful for manufacturing a tire mold.

• Proceedings of the KSR Conference
• /
• 2007.05a
• /
• pp.1000-1007
• /
• 2007

Recently, many critical control systems are developed using formal methods. When software applied to such systems is developed, the employment of formal methods in the software requirements specification and verification will provide increased assurance for such applications. Earlier error of overlooked requirement specification can be detected using formal specification method. Also the testing and full verification to examine all reachable states using model checking to undertake formal verification are able to be completed. In the comparison of other formal specification methods, we choose the Z formal language for applying to the train control system. Using Z is able to realize higher correctness in the requirement specification, and we propose the Statemate of the best solution in formal verification tools for the system modeling and verification. The Statemate makes it possible to prove thoroughly the system execution from the simple graphical modeling of the complicated train control system. Then we can expect that the model-based formal method combining Z with Statemate will be utilized widely for the railway systems due to various strong points.

• Journal of Power System Engineering
• /
• v.13 no.5
• /
• pp.46-51
• /
• 2009

Recently, the shock resistance and dynamic characteristics of hard disk drives have become more important due to their highly increased storage density and miniaturization. In this study, we have developed an ANSYS/Mechanical/LS-DYNA based HDD vibration/shock simulation tool for design engineers. This simulation tool using ANSYS APDL can produce a parametric finite element modeling of HDD automatically and has GUI-based applications using the script program language Tcl/Tk. In the present tool, we adopt the reliable methodology of vibration/shock simulation, which is experimentally verified. It is expected that this simulation tool can make the repetitive computational efforts for the shock-proof design of HDD drastically reduced.

• Proceedings of the Korea Contents Association Conference
• /
• 2005.05a
• /
• pp.55-58
• /
• 2005

The existing game development way is adopting a direct engine design way. It was hard to learn game development, but it can learn the process that uses a script an abstraction. And it improves productivity and convenience anger because modeling does not do an engine directly and reduce a development cost and can solve a problem of a development human power security. The representative characteristic of this paper was able to change a development environment into an abstract script language with modeling having done an engine in the existing game development environment directly.

• Journal of the military operations research society of Korea
• /
• v.13 no.1
• /
• pp.19-27
• /
• 1987

This paper deals with the development of an expert system modeling by constructing a knowledge-based system of the dive recovery for anticrash on the ground or sea during the task of fighter aircraft. In an IBM PC / XT computer, a prototype dive recovery expert system is constructed using mu LISP-86 programming language, and is interconnected to the SAM SUNG RM-501 robot arm to test and simulate this model. The knowledge base of this model is composed of the dive recovery charts and the V-N envelope charts of F-4 D Phantom fighter aircraft. It is shown that the prototype expert system woks well and the feasibility of practical realization is valid.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2000.10a
• /
• pp.19-22
• /
• 2000

지리 정보와 속성 정보를 바탕으로 사용자에게 다양한 분석 기능을 제공하는 지리정보시스템은 많은 기능적인 향상과 사용자 인터페이스에서의 편리성을 제공하고 있다. 그러나, 초기의 지리정보 시스템 소프트웨어들은 패키지 형태로 제공되어 구축비용 및 다양한 사용자 요구 사항을 충족시키기에 많은 어려움을 가지고 있다. 본 논문에서는, OGC(Open GIS Consortium)의 개방형 지리정보시스템 서비스 아키텍쳐에 기반을 둔 지리정보시스템 서비스 컴포넌트의 설계 및 구현에 대하여 서술한다. 각 서비스 컴포넌트는 단위 기능을 컴포넌트 형태로 제공함으로써 구축비용 및 다양한 사양한 요구사항을 효율적으로 충족시킬 수 있다. 개발된 서비스 컴포넌트는 객체 지향형 모델링 툴인 UML(Unified Modeling Language)로 설계되었고, ATL/COM 과 C++ 환경에서 구축되었다. 이는 재사용성 뿐만 아니라 상호 운용성, 언어 독립성, 쉬운 개발환경 등을 제공한다.

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

최근의 인터넷은 기하급수적으로 폭증하는 트래픽을 원활히 수용하기 위하여 광인터넷으로 급속히 전환되고 있다. 이에 따라 새롭게 제시되는 네트워크 구조를 기반으로 네트워크 설계 단계에서 구축단계까지 새로운 운용관리 체계를 필요로 한다. 광인터넷 시뮬레이션 도구는 이러한 요구사항을 효과적으로 지원할 수 있는 도구로서 네트워크 요소시스템의 기능성 검증 및 네트워크 운용성 검증 등을 제공할 수 있다. 한편 광인터넷 시뮬레이션 도구에 있어서 광인터넷의 표현 및 모델링은 주요한 요구사항 중의 하나이며 이는 DML(Domain Modeling Language) 기반의 네트워크 모델링 컴포넌트를 통하여 구성될 수 있다. DML 은 간단하면서 고급의 모델 정의 기능을 제공하고 인터넷과 같은 대규모 모델로의 확장이 용이하며 이종 엔진과의 시뮬레이션 모델교환 형식으로도 사용이 가능하므로, 광인터넷 시뮬레이션 도구에서 시뮬레이션 모델의 표현에 매우 적합하다. 따라서 이 논문에서는 광인터넷 시뮬레이션 도구에 적용 가능한 DML 기반 네트워크 모델링 컴포넌트를 설계한다.