• Title/Summary/Keyword: 프로그래밍 오류 분석

Search Result 59, Processing Time 0.025 seconds

Verification and Validation Framework to develop MMIS Software for Nuclear Power Plants (원전 MMIS 소프트웨어 개발을 위한 확인 및 검증 방법론)

  • Lee, Jong-Bok;Suh, Yong-Suk;Suh, Sang-Moon
    • Proceedings of the Korea Information Processing Society Conference
    • /
    • 2004.05a
    • /
    • pp.289-292
    • /
    • 2004
  • 원자력발전소 MMIS(Man-Machine Interface System)는 발전소 공정과 관련 장비들을 감시 및 제어하고, 필요시에 보호기능을 수행함으로써 발전소를 안전하고 신뢰성 있게 운전할 수 있도록 지원하고 있다. 그러한 MMIS의 설계에 소프트웨어기반의 컴퓨터 기술이 사용된 경우, 그 설계를 구현하기 위해 사용된 소프트웨어가 설계 및 프로그래밍 오류에 취약하여, 공통유형의 소프트웨어 오류로 인해 하드웨어로써 구축된 다중성 설계를 파기시킬 수 있기 때문에 원자력 발전소의 안전 및 안정 운전과 직결되게 된다. 또한 소프트웨어는 설계공정 결함이 일반적으로 최종 결과물에서 확인될 수 있다는 점 때문에 확인 및 검증기술을 정립하고 체계적인 적용이 필수적이다. 이에 따라 본 논문에서는 현재 설계를 진행중인 SMART(System-integrated Modular Advanced ReacTor) MMIS 소프트웨어를 개발하기 위해 적용되는 확인 및 검증 규제요건을 분석하고, 소프트웨어 개발생명주기에 따른 확인 및 검증을 체계적으로 수행하기 위한 프레임웍을 제시한다.

  • PDF

An Education Method of Computational Thinking using Microbit in a Java-based SW Lecture for Non-major Undergraduates (비전공자 대상 Java SW교육 강좌에서 마이크로비트를 이용한 컴퓨팅적 사고과정 교육 방법)

  • Hur, Kyeong
    • Journal of Practical Engineering Education
    • /
    • v.11 no.2
    • /
    • pp.167-174
    • /
    • 2019
  • In the case of Java programming education for non-major undergraduates, there are no examples of applying the physical computing education method. The advantage of physical computing education is that you can directly check the SW processing output result according to the input value of digital and analog sensor, so that you can quickly correct programming errors and improve learner's learning interest and satisfaction. In this paper, we use the microbits to combine physical computing education with basic Java programming education. In addition, according to the computational thinking process, we proposed an educational method for creating Java programs using microbits. Through block programming to control the microbits, we designed an algorithm and applied a training method to convert it into a Java program. In addition, the results of students' evaluations were analyzed in the course applying the education method, and the effectiveness of the education method using the microbit was analyzed.

Qualitative Case Study on Computational Thinking Patterns of Programming Processes for the Tower of Hanoi Task (하노이 탑 프로그래밍 경험에서 나타나는 정보과학적 사고 패턴에 관한 질적 사례 연구)

  • Jang, Jeongsuk;Jun, Youngcook;Yoon, Jihyun
    • The Journal of Korean Association of Computer Education
    • /
    • v.16 no.4
    • /
    • pp.33-45
    • /
    • 2013
  • This paper aims at exploring how a high school student is engaged with C computer programming language and explore deep aspects of programming experiences based on video recalled interview as part of portraiture. The single case was selected and several in-depth interviews and video recording were arranged after Oct 2011. The portrait of K reveals interesting strands of his computer programming experiences with his own thinking patterns and exploring ideas for more concrete ways of coding his thinking similar to scientific experiments; ie, design-development-implementation-debugging-revision. Overall, this case illustrates how the inner aspects of subjective programming experiences on the tower of Hanoi were integrated and unified within himself for inner growth. We discussed the student's inner faculties as part of the student's unity and suggested future research direction.

  • PDF

A study on the On-line Teaching system for Linux-based Programming Language (리눅스 기반 프로그래밍 언어의 온라인 학습 시스템 구성에 관한 연구)

  • Jun, Ho-Ik;Lee, Hyun-Chang
    • Journal of Software Assessment and Valuation
    • /
    • v.17 no.1
    • /
    • pp.67-73
    • /
    • 2021
  • In this paper, a system configuration method that can practice Linux-based programming language online is presented. The proposed system utilizes the web-server function, which is the biggest feature of the Linux operating system, and simulates the telnet and FTP functions without firewalls or other security restrictions, so that it is possible to practice similar to the actual Linux console. To do this, we analyzed the functional elements that a programming tool should have on the web and established an algorithm to implement it. In particular, a method was implemented in which an error message caused by a user's mistake can appear in the same form as the actual telnet screen. As a result of using the implemented learning system in the class for students, it is possible to practice the Linux programming language online, as well as the instructor can directly check and guide all the learners, so the learner's satisfaction is similar to that of the offline class was confirmed.

Evaluation of Practical Requirements for Automated Detailed Design Module of Interior Finishes in Architectural Building Information Model (건축 내부 마감부재의 BIM 기반 상세설계 자동화를 위한 실무적 요구사항 분석)

  • Hong, Sunghyun;Koo, Bonsang;Yu, Youngsu;Ha, Daemok;Won, Youngkwon
    • Korean Journal of Construction Engineering and Management
    • /
    • v.23 no.5
    • /
    • pp.87-97
    • /
    • 2022
  • Although the use of BIM in architectural projects has increased, repetitive modeling tasks and frequent design errors remain as obstacles to the practical application of BIM. In particular, interior finishing elements include the most varied and detailed requirements, and thus requires improving its modelling efficiency and resolving potential design errors. Recently, visual programming-based modules has gained traction as a way to automate a series of repetitive modeling tasks. However, existing approaches do not adequately reflect the practical modeling needs and focus only on replacing siimple, repetitive tasks. This study developed and evaluated the performance of three modules for automatic detailing of walls, floors and ceilings. The three elements were selected by analyzing the man-hours and the number of errors that typically occur when detailing BIM models. The modules were then applied to automatically detail a sample commercial facility BIM model. Results showed that the implementations met the practical modeling requirements identified by actual modelers of an construction management firm.

Analysis of HTML Structure in E-commerce Websites Using Tree Representation (트리 표현을 사용하는 전자상거래 웹 사이트의 HTML 구조 분석)

  • Ventura, Jose E.;Park, Jeong-Sun
    • Journal of the Korea Safety Management & Science
    • /
    • v.13 no.4
    • /
    • pp.201-205
    • /
    • 2011
  • 개인화된 제품과 서비스에 대한 소비자의 요구는 성공적인 전자상거래 플랫폼을 기반으로 하고 있다. 성공적인 전자상거래 플랫폼을 개발함에 있어 자주 간과되고 있는 중요한 요소는 바로 웹 페이지의 HTML 구조이다. HTML 구조는 전자상거래 웹사이트의 속도와 랭킹을 결정짓는 기본적인 요소이다. 본 논문은 HTML 구조를 분석하기 위한 효율적이고 다소 생소한 시각화 기법을 제안하는데, 이러한 기법을 사용하여 개발자는 잠재적인 프로그래밍 오류와 개선 사항을 발견할 수 있다. 본 논문은 하나의 사례를 이용하여 제안된 기법을 더욱 구체화 시킨다.

Error Correction of Interested Points Tracking for Improving Registration Accuracy of Aerial Image Sequences (항공연속영상 등록 정확도 향상을 위한 특징점추적 오류검정)

  • Sukhee, Ochirbat;Yoo, Hwan-Hee
    • Journal of Korean Society for Geospatial Information Science
    • /
    • v.18 no.2
    • /
    • pp.93-97
    • /
    • 2010
  • This paper presents the improved KLT(Kanade-Lucas-Tomasi) of registration of Image sequence captured by camera mounted on unmanned helicopter assuming without camera attitude information. It consists of following procedures for the proposed image registration. The initial interested points are detected by characteristic curve matching via dynamic programming which has been used for detecting and tracking corner points thorough image sequence. Outliers of tracked points are then removed by using Random Sample And Consensus(RANSAC) robust estimation and all remained corner points are classified as inliers by homography algorithm. The rectified images are then resampled by bilinear interpolation. Experiment shows that our method can make the suitable registration of image sequence with large motion.

Enhancement of SATEEC GIS system using ArcP (ArcPy를 이용한 SATEEC모델의 개선)

  • Lee, Gwanjae;Shin, Yongchul;Jung, Younghun;Lim, Kyoung Jae
    • Proceedings of the Korea Water Resources Association Conference
    • /
    • 2015.05a
    • /
    • pp.515-515
    • /
    • 2015
  • 토양유실량을 산정하기 위한 모델로 Universsal Soil Loss Equation(USLE)가 전 세계적으로 가장 많이 사용되고 있다. USLE 모형은 농경지에서 면상침식(Sheet erosion)과 세류침식(Rill erosion)을 모의할 수 있는 시험포단위 모형(Field-scale)으로 농경지에서 유실된 토양이 하류 하천으로 얼마나 흘러 들어가 하류 수계의 탁수발생과 이에 따른 수질악화에 얼마나 기여하는지, 즉, 유역단위의 토양유실량을 평가하는데 이용될 수 없다. 이러한 단점을 극복하기 위하여 Sediment Assessment Tool for Effective Erosion Control (SATEEC) ArcView 시스템이 개발되어 사용되고 있다. SATEEC ArcView 시스템은 USLE모형의 입력자료와 DEM만으로 유역면적에 따른 유달률을 산정하여 유역에서 유실된 토양이 얼마만큼 하류로 유달되는지를 모의할 수 있으며, 유역 경사도에 의한 유달률도 산정할 수 있어 지형적인 특성을 좀 더 다양하게 분석 할 수 있게 개발 되었다. 그러나 ArcView는 출시한지 오래되어 사용자가 많지 않고, 프로그램상의 오류가 많고, 대용량의 데이터 처리가 가능한 64비트 운영체제에서는 설치가 불가능한 단점이 있다. 또한, ArcView의 프로그래밍 언어인 Avenue는 클래스를 정의한다거나 상속을 한다거나 하는 문법을 제공하지 않기 때문에 객체지향 언어로 보기에는 부족하다고 할 수 있다. 또한, 최근의 ArcGIS 기반의 많은 모델들이 서로 연계하여 사용하고 있으나, Avenue는 기타 다른 프로그래밍 언어와 연계하여 사용하기가 쉽지 않은 단점이 있다. 그러나 최근 ArcGIS 버전들의 프로그래밍 언어인 Python은 간결하고 확장성이 좋으며, 다른 언어와의 연계가 쉽다. 또한, ArcGIS 10.x버전부터 제공되는 arcpy 모듈은 사용자와의 접근성이 매우 향상되었다. 따라서 SATEEC ArcView 버전을 ArcGIS 10.1 기반의 Python 으로 재개발하여 기존의 불편한 접근성과 대용량 데이터의 처리가 불가능했던 부분을 개선하였다.

  • PDF

WebER: Web Based Statistical Tool Interfacing R for Teaching Purposes (WebER: R을 이용한 웹 기반의 교육용 통계 분석 시스템 구현)

  • Ko, Young-Jun;Park, Yong-Min;Kim, Jin-Seog
    • Communications for Statistical Applications and Methods
    • /
    • v.19 no.2
    • /
    • pp.257-266
    • /
    • 2012
  • R is a free software for statistical analysis that provides simple interfaces to other application programs. Many people are trying to learn R, but it is difficult to learn R compared to commercial software such as SPSS or SAS, and it is cumbersome to provide an environment to teach R. Thus, it is essential to provide a new web-based R environment for novice users or for laboratory use. We developedWebER (a web-based R environment) using PHP on the Linux apache server. WebER can be easily used by any R user because we implemented the same functions as the basic Rgui such as editing R program, generating the text, image outputs, errors and warnings. It is also possible for multi-users to access WebER.

Interconnection Network Interfaces in Parallel Computer Systems (병렬 컴퓨터 시스템에서의 상호연결망 인터페이스)

  • Mo, Sang-Man;Sin, Sang-Seok;Han, U-Jong;Yun, Seok-Han
    • Electronics and Telecommunications Trends
    • /
    • v.12 no.5 s.47
    • /
    • pp.62-72
    • /
    • 1997
  • 상호연결망 인터페이스는 병렬 컴퓨터 시스템에서 노드 또는 프로세서를 상호연결망에 연결하는 다리 역할을 수행하는 정합 장치로서, 상호연결망으로 메시지를 송수신하는 기능을 수행한다. 본 논문에서는 상호연결망 인터페이스의 구조와 동작, 프로세서와의 인터페이스, 여러 종류의 상호 연결망 인터페이스에 대한 사례조사 결과, 상호연결망 인터페이스의 성능 및 설계 고려사항 등을 기술 한다. 상호연결망 인터페이스 설계의 초점은 상호연결망 인터페이스가 시스템의 병목지점이 되지 않도록 하는데 맞추어져야 하며, 이를 위하여 응용 분야를 충분히 고려하고 전송 대역폭을 극대화하고 지연 시간을 최소화하도록 구현되어야 한다. 또한, 오류 제어를 통하여 높은 전송 신뢰도를 제공하고, 효율적인 프로세서 인터페이스 및 프로그래밍 인터페이스를 제공해야 한다.