• Wind and Structures
• /
• 제15권3호
• /
• pp.209-221
• /
• 2012

The flutter reliability analysis of long span bridges requires use of a software tool that predicts the uncertainty in a flutter response due to uncertainties in the model formulation and input parameters. Existing flutter analysis numerical codes are not capable of dealing with stochastic uncertainty in the analysis of long span bridges. The goal of the present work is to develop a software tool (FREASB) to enable designers to efficiently and accurately conduct flutter reliability analysis of long span bridges. The FREASB interfaces an open-source Matlab toolbox for structural reliability analysis (FERUM) with a typical deterministic flutter analysis code. The paper presents a brief introduction to the generalized first-order reliability method implemented in FREASB and key steps involved in coupling it with a typical deterministic flutter analysis code. A numerical example concerning flutter reliability analysis of a long span suspension bridge with a main span of 1385 m is presented to demonstrate the application and effectiveness of the methodology and the software.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2001년도 하계학술대회 논문집 B
• /
• pp.1220-1222
• /
• 2001

We proposed a modularization design technique for implementing software of on-board train control system. We already proved the efficiency of CASE Tool(SCADE) for safety critical software design. The several functions of train are implemented on CASE tool each modules. We divided functions of train into modules based on the modularization design. We used MATLAB for design of on-board train control software. We proved that this technique is more useful for the software design of on-board train control for EMU.

• 한국산학기술학회논문지
• /
• 제1권1호
• /
• pp.55-62
• /
• 2000

기업의 공장자동화는 가장 중요한 경쟁력 화보 수단이 되고 있으며 생산자동화에서 품질은 소프트웨어의 기술적 품질에 지대한 영향을 받게 되었다. 따라서, 공장자동화 시스템의 품질 향상을 위해 자동화 소프트웨어에 대한 품질평가의 필요성이 대두되었다. 본 연구에서는 공장자동화용 소프트웨어에 대한 품질평가 체계와 평가 프로세스를 확립하고 평가 과정에서 활용되는 메트릭을 개발하였다. 또한, 이를 바탕으로 품질평가 자동화 도구를 설계·구현함으로써 공장자동화 산업의 핵심이 되고 있는 자동화 소프트웨어의 품질 향상을 지원할 수 있도록 하였다.

• Genomics & Informatics
• /
• 제21권1호
• /
• pp.15.1-15.4
• /
• 2023

Bioinformatics education can be defined as the teaching and learning of how to use software tools, along with mathematical and statistical analysis, to solve biological problems. Although many resources are available, most students still struggle to understand even the simplest sequence alignment algorithms. Applying visualizations to these topics benefits both lecturers and students. Unfortunately, educational software for visualizing step-by-step processes in the user experience of sequence alignment algorithms is rare. In this article, an educational visualization tool for biological sequence alignment is presented, and the source code is released in order to encourage the collaborative power of open-source software, with the expectation of further contributions from the community in the future. Two different modules are integrated to enable a student to investigate the characteristics of alignment algorithms.

• 컴퓨터교육학회논문지
• /
• 제7권6호
• /
• pp.27-35
• /
• 2004

자료구조 및 알고리즘 분야는 컴퓨터 프로그래밍 교육의 기반이 되는 과목이다. 그러나 교육방법이 헌재의 추세인 비주얼 프로그래밍과 윈도우 프로그래밍 방법을 따라가지 못하여 학생들의 흥미를 유발하지 못하고 있다. 정렬 프로그래밍도 다른 자료 구조와 상황은 마찬가지이다. 이러한 문제점을 해결하기 위하여 본 논문에서는 교육자가 효과적으로 정렬 알고리즘을 교육할 수 있는 VTSPI (Visualization Tool for Sorting Programming Instruction)를 개발하였다. 뿐만 아니라 VTSPI는 비주얼 프로그래밍에 기반을 둔 소프트웨어 컴포넌트이기 때문에 학생들이 쉽게 프로그래밍할 수 있고, 자신의 프로그램을 이해할 수 있고, 디버깅을 쉽게 할 수 있게 해준다.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2008년도 춘계학술대회 논문집 전기기기 및 에너지변환시스템부문
• /
• pp.163-165
• /
• 2008

A S/W testing for vital railway signaling system have been important because of the increase of software usage for signaling. And also the safety of vital signaling system is required by int'l std. such as IEC 61508. While much efforts have been reported to improve electronic hardware's safety, not so much systematic approaches to assessment software's safety. In this paper, we propose a automation schemen of software testing tool for railway signaling system. From that, we show the functional architecture and internal components of the tool.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2002년도 봄 학술발표논문집 Vol.29 No.1 (B)
• /
• pp.367-369
• /
• 2002

소프트웨어 프로젝트의 경쟁력 프로젝트의 생명 주기 전반에 걸친 체계적인 관리를 통하여 유지될 수 있으며, 이러한 체계적인 관리는 경쟁력 있는 프로젝트의 개발 및 유지를 위한 하나의 전략적 기술(strategic technology)이다 본 논문에서는 프로젝트 생명 주기 전반에 걸쳐 프로젝트를 체계적이고 효율적으로 관리하여 고품질의 결과물을 생성하고, 이를 통한 결과물의 기술 및 시장 경쟁력을 높이기 위하여 당 연구부에서 개발하여 사용하고 있는 프로젝트 관리 및 지원도구인 SMART (Software Management Assistant and Reference Tool) 시스템을 소개한다.

• 한국정밀공학회지
• /
• 제18권11호
• /
• pp.80-85
• /
• 2001

In Part 2, dynamic cutting force model, thermal behavior model, and feed drive model are presented for development of a virtual machine tool. Some relevant results with brief descriptions for each model are presented to verify the proposed models. Experimental results for each model agreed well with the estimated ones. The developed models in this two-part paper are partially integrated as a comprehensive software environment.

• International Journal of Precision Engineering and Manufacturing
• /
• 제4권3호
• /
• pp.42-47
• /
• 2003

In Part 2 of this paper, the dynamic cutting force model, thermal behavior model, and feed drive model used in the development of a virtual machine tool (VMT) are briefly described. Some results are presented to verify the proposed models. Experimental data agreed well with the predicted results fer each model. A comprehensive software environment to integrate the models into a VMT is also proposed.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 1997년도 하계학술대회 논문집 A
• /
• pp.358-360
• /
• 1997

The train control and monitoring system(TCMS) is an on board computer system in railway vehicles performing the control, supervisory and diagnostic functions of the complete train. This system replaces a lot of hardwired relays and minimizes the necessaries vehicle wiring thus increasing the reliability of the train. In this paper, we proposed a software design technique of TCMS using CASE tool (SAO+). The TCMS functions are implemented in software easily programmed, using a functional block, graphic programming language. We applied the compressor air module to a case study.