• 전자공학회논문지A
• /
• 제31A권5호
• /
• pp.149-157
• /
• 1994

This paper Presents an algorithm for synthesis of sequential statements described at RT level VHDL. The proposed algorithm transforms sequential statements in VHDL into data-flow description consisting of concurrent statements by local and global dependency analysis and output dependency elimination. Transformation into concurrent statements makes it possible to reduce the cost of the synthesized hardwares, thus to get optimal synthesis results that will befit the designer 's intention. This algorithm has been implemented on VSYN and experimental results show that more compact gate-level hardwares are generated compared with Power View system from ViewLogic and Design Analyzer from Synopsys.

• 한국전산유체공학회:학술대회논문집
• /
• 한국전산유체공학회 2010년 춘계학술대회논문집
• /
• pp.517-523
• /
• 2010

Recently, the rapid evolution of computational fluid dynamics (CFD) has enabled its key role in industries and predictive sciences. From diverse research disciplines, however, are there strong needs for integrated analytical tools for multi-phenomena beyond simple flow simulation. Based on the concurrent simulation of multi-dynamics, multi-phenomena beyond simple flow simulation. Based on the concurrent simulation of multi-dynamics, multi-physics and multi-scale phenomena, the multi-phenomena CFD technology enables us to perform the flow simulation for integrated and complex systems. From the multi-phenomena CFD analysis, the high-precision analytical and predictive capacity can enhance the fast development of industrial technologies. It is also expected to further enhance the applicability of the simulation technique to medical and bio technology, new and renewable energy, nanotechnology, and scientific computing, among others.

• 한국공간정보시스템학회 논문지
• /
• 제2권1호
• /
• pp.17-27
• /
• 2000

기존에 제작되어 있는 수치지도를 이용해서 공간 데이타베이스를 구축할 때 타일 기반의 분리된 수치지도를 Seamless Map으로 다시 제작하는 과정은 필수적이다. 기존의 반복적인 합병 방법은 작업의 동시성이 떨어지는 문제점이 있다. 이 논문에서는 다수 작업자에 의한 작업의 동시성을 유지할 수 있도록 하는 변형된 2PC 프로토콜에 기반한 동시 합병 처리기의 구현에 대해 다루고 있다. 작업자들은 처리기를 통하여 서로 간의 작업을 공유할 수 있으므로 합의에 의한 합병 작업을 동시에 진행할 수 있다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2000년도 봄 학술발표논문집 Vol.27 No.1 (A)
• /
• pp.573-575
• /
• 2000

COncurrent Design Approach for Real-Time System(CODARTS) 방법론은 Gomaa에 의해 제안된 실시간 소프트웨어 설계 방법론으로서 분석 단계에서 CORBA 방법을 사용하여 시스템의 객체와 함수들을 식별하고 행동 모델을 개발한다. 그리고 설계 단계에서는 병렬 태스크 구조화 지침 및 정보 은닉 모듈 구조화 지침을 적용하여 해동 모델의 객체와 함수들을 병렬 태스크와 정보 은닉 모듈들로 구조화한다. 마지막으로 병렬 태스크와 저오 은닉 모듈을 결합하여 소프트웨어 구조를 개발하고 구현 단계를 수행한다. 소프트웨어 구조를 개발하고 구현 단계를 수행하기 위해서는 병렬 태스크의 행동 특성이나 태스크간의 인터페이스가 정확히 명시되어야 한다. 이는 분석 단계에서 식별된 객체와 함수들에서 태스크에 대한 정보를 추출함으로써 이루어질수 있다. 본 논문에서는 행동 모델의 객체와 함수들로부터 병렬 태스크에 대한 행동 특성 정보 추출방법을 제안하고 태스크 사이의 인터페이스를 결정하는 방법을 보인다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제26권2호
• /
• pp.241-250
• /
• 1999

Gomaa에 의해 제안된 CODARTS(Concurrent Design Approach for Real-Time System)방법론은 COBRA(Concurrent Object-based Real-Time Analysis)을 사용하여 실시간 시스템의 행동 모델을 개발하고 행동 모델에서 병렬 태스크 구조로 변환하는 데 도움을 주는 태스크 구성 지침을 제공한다. CODARTS에서는 태스크 구성 지침을 RTSA(Real-Time System Analysis)표기법으로 표현된 행동 모델에 적용하여 태스크를 구성한다. 그러나 RTSA 표기법에는 태스크를 구성하는데 필요한 실행 성질 및 주기, 이벤트의 병렬성 및 순서와 같은 정보들을 기술하지 않기 때문에 직접 태스크 구성 지침을 적용하는 것은 어렵다. 본 논문에서는 CODARTS 방법론의 분석단게에서 태스크 구성에 필요한 정보를 통합적으로 나타낼 수 있는 STS (Specification for Task Structuring)를 제안한고 이를 이용하여 태스크를 자동적으로 구성할 수 있는 알고리즘과 적용 예제를 보인다.

• 산업공학
• /
• 제7권3호
• /
• pp.77-90
• /
• 1994

Recently, it has been widely conceived that Concurrent Enginering (CE) can provide a competitive edge for companies that have confronted with rapidly changing market requirements, such as shortening of product life-cycles, high quality and low cost products, diversity of customer demand, and so on. CE is generally recognized as a practice to bridge the gap between designing a product and other various life-cycle activities, such as manufacturing, assembly, testing, and maintenance, at an early stage of design. In this paper the concepts of CE is first overviewed, and many of its supporting tools are discussed. It is then proposed an architecture of a CE support system that can provide a unifying view of the tools. Finally, a case that has successfully implemented the concepts is presented.

• 한국정밀공학회지
• /
• 제13권7호
• /
• pp.122-132
• /
• 1996

It can be expected that the tolerances of the parts are assigned systematically and thus the parts are designed considering the assemblability in advance in the design stage, if the tolerances can be stored together with the geometric model of the parts and the assemblability of the parts is verified in the computer. In other words, an example of the concurrent engineering is realized. To verify the concepts described above, a new method is proposed to verify the assemblability when the tolerance information and the geometric model of the parts of an assembly are given. This method determines the assemblability by subdividing the range of relative motion between parts until the subdivided region corresponding to free of interference can be found.

• 한국CDE학회논문집
• /
• 제12권1호
• /
• pp.50-57
• /
• 2007

In recent years, many robotics researches have been focused on developing human-friendly robots, that is, humanoid biped robots. The researches of humanoid robots include various areas such as hardware development, control of biped locomotion, artificial intelligence, human interaction, etc. The present work concerns the hardware development of a mid-size humanoid robot, BONOBO, focusing on rapid development of outer body parts with integrated application if CAD/CAM/CAE/RP. Most parts are three-dimensionally designed using 3D CAD, and effectively connected with CAE analyses using both kinematic simulation and structural analysis. In order to reduce lead time and investment cost for parts developments, Rapid Prototyping (RP) and CAM are selectively utilized for manufacturing body parts. These master parts are then replicated using the vacuum casting process, from which we can obtain plastic parts repeatedly. Through this integrated approach, the first prototype of BONOBO can be successfully developed with relatively low time and investment costs.

• 한국CDE학회논문집
• /
• 제9권4호
• /
• pp.406-415
• /
• 2004

The industrial environment for shipbuilding in 21st century requires increase in few type of ships and marine structures, international cooperation and globalization, while virtual enterprise environment is rapidly establishing. On the other hand, more and more efforts will be spent on internet based distributed and collaborative environment rather than being spent on unit level automations such as CAD, CAM and CAE, and the link between them. Recent internet technology and information technology in heterogeneous environment are being applied in shipbuilding industry as well as in other industries. While these technology are rapidly adopted in major shipyards, many small and medium-sized shipyards does not have enough resources to introduce system designed for large enterprise. In this paper, a prototype of Internet technology based basic planning system is implemented for the small and medium sized shipyards based on the internet technology and concurrent engineering concept. First, the system is designed from the user requirements. Then standardized development environment and tools are selected. These tools are used for defining and evaluating core application technologies for the system development. This can guarantee the survival of small and medium-sized shipyards in 21st century industrial environment.

• 한국CDE학회논문집
• /
• 제13권1호
• /
• pp.36-44
• /
• 2008

This paper proposes a modeling and simulation process of a panel production line (PPL) in a shipyard. The panel production line is an assembly process to produce a main panel of a flat block and a curved block. In this paper, its activity analysis is carried out using expression of IDEF0, and its process is qualitatively and quantitatively analyzed and modeled by Petri Nets. A commercial discrete event simulation tool, $QUEST^{TM}$, is used for virtual PPL and simulation. The modeling results by Petri Net are mapped to elements of the simulation tool. Finally, an integrated simulation environment of PPL is implemented in order to efficiently utilize the virtual PPL model. With the help of IDEF0 and Petri Nets, we could systematically analyze and describe the PPL process that are characterized as being concurrent, asynchronous, distributed, parallel, nondeterministic, and/or stochastic. Also, the dynamic and concurrent activities of a PPL system were able to be simulated. A timing concept can be included into the Petri nets model to evaluate performance and dependability issues of the system.