시스템 다이내믹스 기반 해양구조물 분리시스템의 설계검증 방법에 관한 연구

황존규,고재용,이동건,박본영 해양환경안전학회 2020 海洋環境安全學會誌 Vol.26 No.6

본 연구는 시스템 다이내믹스를 기반으로 해양구조물 분리시스템(Separation system)의 설계검증 방법을 제안하였다. 해양구조물 분리시스템은 부가가치 측면에서 EPC 프로젝트의 성공 여부를 결정할 수 있는 상부구조(Topsides)의 가장 중요한 시스템 중 하나이다. 그럼에도 불구하고, 설계검증에 대한 지금까지의 실태는 설계 작업의 프로세스 진행이나 도면작성 및 제공에 국한되어 있어 기본설계 단계에서 설계검증의 미흡으로 인하여 계약 후 잦은 설계변경에 의한 기업손실이 발생되어 왔다. 이러한 맥락에서 본 연구의 목적은 해양구조물의 전체 프로젝트 수행 기간에 성공적인 사업수행을 도모하고자 설계검증 모델을 구축하여 적용하도록 하였다. 제안된 설계검증 방법은 상세설계의 효과적인 실행뿐만 아니라 초기설계 단계에서 기술적 오류나 불일치 사항을 미리 찾아냄으로써 해양구조물의 엔지니어링, 조달 및 건조에 대한 경쟁력을 향상시키는데 기여 할 것으로 예상한다. 본 연구에서는 먼저 건조한 실적선 자료를 바탕으로 설계검증을 수행하여 FPSO 분리시스템에 적용하고 ISO 15288 국제 표준을 준수하였다. 결과적으로, 제안된 설계검증 방법이 해양구조물의 FEED 검증 프로세스에 적용될 수 있으며, 향후 해양 프로젝트의 성공적인 수행에 의한 이익창출을 도모할 수 있을 것이다. 또한, 해양구조물 건조 시 설계변경에 의한 막대한 손실을 최소화 할 수 있을 것으로 기대한다. This paper proposes a design verification method based on system dynamics for offshore separation systems. Oil and gas separation systems are key components of offshore oil platforms; these systems determine the competitiveness of engineering, procurement, and construction (EPC) projects, especially in terms of added value. However, previous research on design verification has been limited to the process and deliverables of design. To address this, the study aims to develop a comprehensive design verification method and the associated functions from the perspective of project management, for the entire project life-cycle of offshore structures. The proposed methodology for design verification is expected to contribute toward effective and detailed designs as well as improve the competitiveness of EPC companies in constructing offshore structures during the early design stages. We first analyzed the separation system of the FPSO using the design verification method adopted by advanced countries and compared it with the system dynamics process formalized as ISO 15288. Subsequently, a tailored process for the design verification of the offshore structure was derived. It is shown that the proposed design verification method can be applied to the front-end engineering design process of offshore structures. Moreover, it can contribute toward the successful performance of offshore projects in the future and also minimize design changes and critical risks during the construction of these offshore structures.

기가 스케일 SoC를 위한 통합 설계 방법론 및 검증 플랫폼

김정훈(Jeonghun Kim) 대한전자공학회 2010 電子工學會論文誌-SD (Semiconductor and devices) Vol.47 No.2

본 논문은 기가 스케일 System on Chip(SoC)를 위한 통합 설계 및 검증 플랫폼을 제안한다. VLSI 집적도의 발달로 그 복잡도가 증가하여 기존의 RTL 설계 방식으로는 그 생산성 차이(Production Gap)를 극복할 수 없게 되었다. 또한, 검증 차이(Verification Gap)의 증가로 검증 방법론에도 커다란 변혁이 필요하게 되었다. 본 플랫폼은 기존의 상위 수준 합성을 포함하며, 그 결과물을 이용하여 저 전력 설계의 전원 인식 검증 플랫폼과 검증 자동화를 개발하였다. 상위 수준 합성 시 사용되는 Control and Data Flow Graph (CDFG)와 그 입력인 상위 수준 언어와 RTL를 기반으로 한 검증 플랫폼 자동화와 전원 인식검증 방법론을 개발하였다. 검증 플랫폼에는 자동 검사 기능을 포함하고 있으며 Coverage Driven Verification을 채택하고 있다. 특히 전원 인식 검증을 위하여 개발된 조건 랜덤 벡터 생성 알고리듬을 사용하여 랜덤 벡터의 개수를 최소 5.75배 감소시키는 효과를 가져왔고, 전원과 전원 셀에 대한 모델링 기법을 이용하여 일반적인 로직 시뮬레이터 툴을 통해서도 전원 인식검증을 가능하게 하였다. 이러한 통합된 설계 및 검증 플랫폼은 시스템 수준의 설계에서 검증, 합성에 이르는 전 설계 흐름을 완전 자동화 하여 상위 수준의 설계와 검증을 가능하게 하고 있다. We proposed an unified design methodology and verification platform for giga-scale System on Chip (SoC). According to the growth of VLSI integration, the existing RTL design methodology has a limitation of a production gap because a design complexity increases. A verification methodology need an evolution to overcome a verification gap. The proposed platform includes a high level synthesis, and we develop a power-aware verification platform for low power design and verification automation using it's results. We developed a verification automation and power-aware verification methodology based on control and data flow graph (CDFG) and an abstract level language and RTL. The verification platform includes self-checking and the coverage driven verification methodology. Especially, the number of the random vector decreases minimum 5.75 times with the constrained random vector algorithm which is developed for the power-aware verification. This platform can verify a low power design with a general logic simulator using a power and power cell modeling method. This unified design and verification platform allow automatically to verify, design and synthesis the giga-scale design from the system level to RTL level in the whole design flow.

Analysis of Verification Methodologies Based on a SoC Platform Design

이제훈,김상춘 한국콘텐츠학회 2011 International Journal of Contents Vol.7 No.1

In a SoC (system-on-chip) design, a design complexity is a big bottleneck. In order to overcome the design complexity, platform based design method is widely adopted for designers. Most complex SoCs need a heterogeneous design development environment for hardware and software co-design. In this paper, we discuss about some kinds of verification approaches with platform based design methodology at various abstraction levels of SoC design. We separate the verification process to two steps according to the different levels of verification. We employ a flexible SoC design environment to support simultaneous hardware and software development. We demonstrate the verification strategy of a target SoC design, IEEE 802.11a WLAN SoC.

Analysis of Verification Methodologies Based on a SoC Platform Design

Je-Hoon Lee,Sang-Choon Kim 한국콘텐츠학회(IJOC) 2011 International Journal of Contents Vol.7 No.1

In a SoC (system-on-chip) design, a design complexity is a big bottleneck. In order to overcome the design complexity, platform based design method is widely adopted for designers. Most complex SoCs need a heterogeneous design development environment for hardware and software co-design. In this paper, we discuss about some kinds of verification approaches with platform based design methodology at various abstraction levels of SoC design. We separate the verification process to two steps according to the different levels of verification. We employ a flexible SoC design environment to support simultaneous hardware and software development. We demonstrate the verification strategy of a target SoC design, IEEE 802.11a WLAN SoC.

Analysis of Verification Methodologies Based on a SoC Platform Design

Lee, Je-Hoon,Kim, Sang-Choon The Korea Contents Association 2011 International Journal of Contents Vol.7 No.1

In a SoC (system-on-chip) design, a design complexity is a big bottleneck. In order to overcome the design complexity, platform based design method is widely adopted for designers. Most complex SoCs need a heterogeneous design development environment for hardware and software co-design. In this paper, we discuss about some kinds of verification approaches with platform based design methodology at various abstraction levels of SoC design. We separate the verification process to two steps according to the different levels of verification. We employ a flexible SoC design environment to support simultaneous hardware and software development. We demonstrate the verification strategy of a target SoC design, IEEE 802.11a WLAN SoC.

설계오류 자동검증을 위한 안전설계 Rule Library 기반 구축에 관한 연구

김덕한,최진우,김민주,천영우 한국위험물학회 2022 한국위험물학회지 Vol.10 No.2

Safety must be taken into account when designing plants that handle chemicals. There are a number of laws, rules, and standards related to safety to be observed in design, and the relevant laws and systems applied to large-scale plants are scattered across four government departments with 34 laws, notices, and standards. When designing typical buildings, the design criteria presented through Building Information Modeling (BIM) are quantitatively reviewed to minimize design errors from the beginning of the design and contribute to ensuring design quality. Whereas no case has been developed to systematically check whether manufacturing facilities that store or handle chemicals are designed in accordance with the safety design regulations at the time of initial design. Therefore, when designing chemical facilities at present, it is only possible to determine whether they were designed in compliance with the safety design rules through human knowledge and awareness. Therefore, there is a limitation in that there is a difference depending on the reviewer's competency and concentration. This study aims to establish a safety design rule library by presenting a logical review plan through safety design rule analysis to be reviewed when designing chemical facilities and facilities, and to lay the foundation for automatic design quality review in the future.

A Study on the Design Verification Process of a Control System for Construction Equipment

( Jae Hak Yoon ),( Sung Ki Kim ),( Yon Min Kwon ) 한국품질경영학회 2014 한국품질경영학회 학술대회 Vol.2014 No.2

Recently, the electric control system has been widely used in the construction equipment. Therefore, the quality and the reliability of the control system have become important design elements at the design stage. Furthermore, the functional safety requirements of the electric control system are expected to be a compulsory regulation as an international standard. In this paper, a design process for the control system of construction equipment is presented. This process is possible not only to prepare the solution of the functional safety requirement but also to improve the quality and the reliability of the control system at the design stage. To establish the design process, several design steps are added to the design process that already exists. This verification steps are based on the ISO 15998 and ISO 26262. The overall process is possible to reduce the design terms and the dependence on experienced designers. The proposed process will be applied to newly developing control system to identify and modify its problems. And then it will be used as a basic reference to establish the design process of the electrical control system for the construction equipment.

CMOS 기반 회로 설계 자동화 시스템

봉하윤(Hayun Bong),최수름(Sureum Choi),한대진(Daejin Han),서영교(Yeongkyo Seo) 한국정보기술학회 2022 Proceedings of KIIT Conference Vol.2022 No.6

대부분 Layout의 DRC(Design Rule Check) Verification 과정은 Circuit Designer 들의 설계 시간을 증가시키는 Critical 한 요인이 된다. 이러한 문제점을 개선하기 위해서 Design Rule을 보장하고 있는 Template 사용하고 추상 좌표계에서 Grid를 기반으로 하는 배치 및 배선을 사용해서 Python 코드 기반 Layout 설계 자동화시스템을 제안한다. 본 방법을 사용해 Transmission Gate D flip-flop의 Layout을 Cadence Virtuoso Tool에서 Python 기반 코드를 설계해 직접 생성하면서 해당 Tool에서 설계한 Layout의 DRC 보장 여부를 확인한다. 또한, 코드 기반 Layout 도면과 직접 생성한 Layout 도면을 통해 면적을 비교하거나, Post Simulation을 진행하여 timing specification 값들을 비교함으로써 자동화 시스템을 기반으로 생성된 Layout의 성능을 확인한다. In most cases, Layout’s Design Rule Check (DRC) Verification process is a critical factor that increases the design time of Circuit Designers. To improve this problem, we propose a Python code-based Layout design automation system using a template that guarantees a Design Rule and a Grid-based layout and wiring in an abstract coordinate system. Using this method, we design and generate Python-based code directly from the Cadence Virtuoso Tool for the Layout of the Transmission Gate D-flip-flop to determine whether the Layout designed by the tool is DRC guaranteed. In addition, the performance of the generated layout based on the automation system is verified by comparing the area through the code-based layout drawing and the directly generated layout drawing, or by performing Post Simulation and comparing the timing specification values.

지속가능성의 관점에서 본 커뮤니티디자인 평가지표 개발

경리,윤지영 한국콘텐츠학회 2022 한국콘텐츠학회논문지 Vol.22 No.5

The purpose of this study is to develop community design evaluation factors for sustainable urban regeneration and to suggest considerations for sustainable community design by analyzing excellent community design cases. Through literature review, previous studies on the concept and core items of sustainable urban regeneration, and the concept and components of community design were considered. In addition, evaluation indicators for sustainable community design were developed in the socio-economic, physical, environmental, historical and cultural dimensions through the analysis of the linkage with the evaluation factors of community design through the analysis of previous studies. The evaluation index consists of 3 evaluation items and 9 items including social performance and participation at the social level, economic feasibility at the economic level, environmental characteristics at the physical and environmental level, accessibility, contextuality, locality at the historical and cultural level, identity, and artistry. Includes dog evaluation factors. Reliability and effectiveness are secured through the developed evaluation index and detailed description and expert verification. Exploratory factor analysis and expert interviews were conducted through the survey, and as a result of the analysis, the stability and Cronbach'α coefficients were verified, and the validity of the community design evaluation index considering sustainable urban regeneration was recognized through expert interview. The results of this study are considered meaningful in that they can provide basic data for the improvement of community design for sustainable urban regeneration in the future. 사례를 분석하여 지속가능한 커뮤니티디자인을 위한 고려사항을 제안하는 것을 목적으로 한다. 문헌조사를 통해 지속가능한 도시재생에 대한 개념 및 핵심항목, 커뮤니티디자인의 개념과 구성요소에 대한 선행연구를 고찰했다. 또한 선행연구 분석을 통한 커뮤니티디자인의 평가요소와의 연계성 분석을 통해 사회·경제적, 물리·환경적, 역사·문화적 차원에서 지속가능한 커뮤니티디자인을 위한 평가지표를 개발하였다. 평가지표는 사회적 차원에서의 사회성, 참여성, 경제성, 물리·환경적 차원에서의 환경성, 접근성, 맥락성, 역사·문화적 차원에서의 지역성, 정체성, 예술성 등 3개 평가항목과 9개 평가요소를 포함한다. 개발된 평가지표와 세부내용 설명은 전문가 검증을 통해 신뢰성과 효용성을 확보한다. 설문조사를 통해 탐색적 인자 분석과 전문가 인터뷰를 진행하였고, 분석 결과 안정도(stability)와 Cronbach'α 계수의 검증을 통과하였고, 전문가 인터뷰를 통해 지속가능한 도시재생을 고려한 커뮤니티 디자인 평가지표의 타당성을 검증하였다. 본 연구 결과는 향후 지속가능한 도시재생을 위한 커뮤니티디자인 향상 및 개선에 기초적인 자료를 제공할 수 있다는 점에서 의의가 있다고 판단된다.

창의적 사고력 향상을 위한 디자인창의융합교육 모델 개발 및 검증

송영은,이정현 사단법인 한국브랜드디자인학회 2018 브랜드디자인학연구 Vol.16 No.4

In order to cultivate the creative-convergence talent suitable for the 4th industrial revolution era, the education should be developed into the convergence education led by the interdisciplinary convergence and the creative competitiveness. Thus, the objective of this study is to develop a design creative-convergence educational model that could be effectively used at educational site. As the research methods, to verify the matter of the improvement of creative thinking by dividing the subjects into ‘majors in design’ and ‘non-majors in design’, the pre-test on the design creativity through problem-solving was conducted before providing the design creative-convergence educational program. Based on the curriculum, the design creative-convergence educational program was performed for 15 weeks. Conducting the post-test after the program ended, the relation of differences between pre/post tests was verified in the significance probability through t-test. In the results of this study, in case of the ‘majors in design’, the p-value of ‘expressional diversity(t=1.297, p=.000)’ and ‘expressional originality(t=.962, p=.000)’ was 0.05 or lower, so that there were statistically significant differences. In case of the ‘non-majors in design’, the p-value of ‘expressional concentrativeness(t=3.962, p=.000)’ was 0.05 or lower, so that there were statistically significant differences. The results of this study show that the design creative-convergence education could be used as a useful program for the increase of creative thinking. In the future, it would be necessary to develop diverse educational programs for the cultivation of creative design thinking, and also to expansively use them in the actual educational site. 4차 산업혁명 시대에 걸맞은 창의융합인재를 양성하기 위해서는 학문 간 융합과 창조적 경쟁력이 주도하는 융합교육으로 발전해나가야 한다. 이에 본 연구는 교육현장에서도 효과적으로 활용될 수 있는 디자인창의융합교육 모델을 개발하는데 목적이 있다. 연구방법은 ‘디자인 전공자’와 ‘디자인 비전공자’ 그룹을 구분하여 창의적 사고력 향상 여부를 검증하기 위해 디자인창의융합교육 프로그램 시행 전 문제해결을 통한 디자인창의성 사전검사를 시행하였으며, 15주에 걸쳐 디자인창의융합교육 프로그램의 커리큘럼에 기반한 수업을 진행하였다. 프로그램 종료 후에는 사후검사를 시행하여 사전사후 검사의 차이를 t-검증을 통해 유의확률로 관계성을 입증하였다. 연구결과 ‘디자인 전공자’ 집단의 경우 ‘표현의 독창성(t=.962, p=.000)’과 ‘표현의 다양성(t=1.297, p=.000)’의 유의확률이 0.05이하로 나타나 통계적으로 유의미한 차이가 있다는 것을 알 수 있다. ‘디자인 비전공자’ 집단의 경우‘ 표현의 집중성(t=3.962, p=.000)’의 유의확률이 0.05이하로 나타나 통계적으로 유의미한 차이가 있는 것으로 나타났다. 본 연구는 디자인창의융합교육이 창의적 사고력 신장에 유용한 프로그램으로 활용될 수 있다는 조사 결과를 얻을 수 있었다. 향후에도 창의적 디자인사고 함양을 위한 다양한 교육프로그램이 개발되어 실제 교육 현장에서 널리 활용될 수 있길 기대한다.