Earticle

초등학교 도형 학습에 컴퓨터 프로그램을 활용하면 도형에 대한 다양한 조작 기능을 제공하여 학습의 효과를 높일 수 있으며, 탐구적 환경을 조성함으로써 교실 환경의 한계를 극복할 수 있다. 지금까지의 연구는 컴퓨터 프로그램을 활용한 도구들을 개발하였지만 콘텐츠 없이 도구이다. 본 연구는 Van Hieles의 기하 학습 수준이론에 기초하여 초등학교 수학과 교육과정의 도형 영역을 분석하고, 초등학생들의 인지 수준에 적합한 도형 학습 문제 해결 도구(Geometry For Kids : GeoKids)를 개발한다. 학생들의 인지 수준을 고려하여 자와 컴퍼스를 대신할 수 있도록 만들었고, 원과 직선을 마우스를 사용하여 쉽게 그릴 수 있고, 보다 정확한 작도를 위하여 점과 원의 경계를 자동으로 인식하도록 구성하였다. 수학과 교육과정의 도형 학습 주제에 따라 GeoKids의 기능을 연계한 학습을 할 수 있다.

Using a geometric computer program achieve learning effects as handling various function and has advantage to overcome the environment of classroom through providing an inquiring surroundings in the figure learning at an elementary school. There are many software for drawing the geometric. But currently most is focus on how to use the softwares without contents. So, It is necessary to develope a geometric software adapted cognitive development of primary schoolchildren. This study is aim to analyze elementary mathematic curriculum based on Van Heiles theory, to develope the software(Geometry for Kids : GeoKids) considering cognitive level of the primary schoolchildren. This software is developed to substitute a ruler and a compass considering cognitive level of the primary schoolchildren. Using mouse, GeoKids software help a child to draw easily lines and circles and this software notice another lines and circle automatically for a more accurate drawing figures. Children can use practically this software in connection with subjects of elementary mathematic curriculum.

본 논문은 음성 소프트웨어 기술의 사용을 통해 영어의 내부 영역 내에서 음성 상호 작용의 영향을 검토한다. 기본주 파수(F0)는 국적, 연령, 성별을 기준으로 원어민(연령 30-55세) 음성 효과를 분석해 얻었다. 이 연구에서 밝혀진 바에 따르 면, 백인 영국 여성(33세)과 백인 미국인 남성(55세)이 가장 많은 대화형 연설을 했다는 것이다. 기여 요인은 학생들이 언어 습득 연구를 통해 다양한 언어 스타일을 경험한 것이다. 이 연구의 결과는 평균 이상의 연속적인 말이 학생의 참여와 상호작용에 가장 중요하다는 데 동의한 Traunmüeller & Eriksson(1995) 및 이전 연구와 양립할 수 있다.

Through the use of speech software technology, this paper examines the effects of voice interactions within the inner circle of English. The fundamental frequency (F0) was obtained by analyzing native speakers (aged 30-55) speech effects based on nationality, age, and gender. The findings within this study reveal that the Caucasian British female (age 33) and the Caucasian American male (age 55) produced the most interactive speech. The contributing factor is the students’ experience with various language styles throughout their language acquisition studies. The results of this study are compatible with Traunmüller & Eriksson (1995) and previous studies which agree that continuous speech above average is paramount towards student engagement and interactions.

Software industry still has many deep-seated problems. As a natural consequence, it may have to learn from best practices in more mature industry like manufacturing. An example is ‘ean’™ software development which is defined as translation of ‘ean manufacturing’principles to the software development domain. The principles include ‘liminate waste’and ‘mplify learning.’™ It was much asserted that these principles are worth applying. Not much study, however, was done on how to practically implement these principles into software development practice. In this study we attempt to present a method in which project lead time and software defects are regarded as major targets of management and are visualized using Cumulative Flow Diagram. We further applied this method on actual projects. The result confirms that agile is positively effective on reducing wastes.

Knowledge about academic writing is important to be promoted among the community in Institutes of Teacher Education Malaysia (ITEMs) as the teacher trainees will need to teach these academic writing skills to their students in the future. Additionally, the amalgamation of digital technologies and instructional practice is known to be able to ignite the change in the teacher trainees’ learning of academic writing. As such, this study was conducted by adopting a single group quasi-experimental research design to investigate the effects of digital writing software as a tool for process approach to writing on teacher trainees’ academic writing performance. The study was done on 10 teacher trainees at one ITEM using pre- and post-tests, observation, and reflective journal. Findings indicate that the use of digital writing software as a tool for process approach to writing does improve the teacher trainees’ academic writing performance. The eclectic approach proposes an effective way of enhancing the writing process and increasing the teacher trainees’ motivation to write digital conceptual papers. The use of digital writing software as a tool for process approach to writing can be carried out over an extended duration to develop better comprehension and practice of academic writing.

소프트웨어 재공학 툴은 소프트웨어 유지보수 생산성과 그작업의 품질 향상에 기 여한다. 재공학은 프로그램의 구성요소에 대한 기능 변경이 아닌 행위 변경(객체의 이 름과 정의, 재구성프로세스 논리)을 일반적으로 관리한다. 본 논문은 객체 지향 프로 그램언어(C＋＋)로 작성된 원시 코드의 유지 보수를 위한 소프트웨어 재공학 툴인 InMaC＋＋(Interactive Maintenance for C＋＋)의 개발에 대해 서술한다. InMaC＋＋ 는 원시 코드와 다이어그램(설계정보) 형태 모두를 표현할 수 있고 편집 기능이 가능 하며 원시 코드에서 다이어그램으로 다이어그램에서 원시 코드로의 변형이 가능하다. 따라서 이들 변형을 통해 기존 코드의 유지보수와 재공학이 가능하다. 특히 시스템의 검색기능은 그래픽 인터페이스로 구현되었으며 InMaC＋＋는 객체 지향 프로그램의 메 소트, 속성, 클래스등의 구성 요소를 기반한 데이터베이스를 포함 하고 있으며, 이 모 델은 구현과 사용의 편리성과 툴의 구성을 용이하게 하기 위해 4가지의 객체 클래스와 3가지 관계를 정의하고 이들 객체 클래스의 검색을 위해 시스템 제공 단순 질의어가 제공한다.

Re-engineering tools can substantially increase software maintenance productivity and the quality of maintenance work. Re-engineering usually involves changing the form(e.g.changining objects names and definitions, restructuring process logic) of a program. In this paper, we describe the design and implementation of InMaC＋＋ that is a software tool oriented towards maintenance of C＋＋ object oriented programs. With InMaC＋＋, programms can be displayed and edited in two forms : as the code and as the diagram InMaC＋＋ also contains transformations in both directions, i,e. from code to diagram and from diagram to skeletons of code. Hence, it is suitable for re-engineering and maintenance of existing code. Specially designed browsers implement the graphical interface. InMaC＋＋ contains a database that is based on a simple but effective data model of InMaC＋＋ programs. The model contains only four object classes and three relations, which makes the tool small, and easy to implement and use. A simple query language allows browsing through the database.

국제해사기구에서는 e-Navigation의 개발과정에 소프트웨어 품질에 대한 고려가 필수적으로 도입될 수 있도록 해양소프트웨어품질보증을 진행해오고 있다. 소프트웨어 품질 확보를 위해서는 소프트웨어 개발 프로젝트 전반에 걸쳐 정해진 절차를 따르고, 각 절차를 수행한 결과로 산출물의 작성이 필요하다. 이를 지원하는 도구의 활용은 소프트웨어 개발의 생산성에 중요한 요소가 될 수 있다. 본 논문에서는 실시간 모니터링과 문서의 자동화가 가능한 도구를 활용하여 해양 소프트웨어 개발에 적용하기 위한 사례를 소개한다. 도구 활용에 대한 기대효과 및 해양 SQA에 적용하기 위한 절차의 개선에 대해서 논의한다. 개선된 절차를 도구에 반영하여 해양 SQA에 맞춤형 도구를 개발하는 것을 향후 목표로 한다.

IMO has been proceeding in the maritime SQA for software quality is considered to be essential for the development of the introduction of the e-Navigation In order to ensure software quality, follow the prescribed procedures throughout the software development project and create the output as a result of executing the respective steps. This paper is introduced a case for applying to maritime software development using the tool that is capable of real-time monitoring and automated documentation. Also, It is discussed the improvement of procedures for applying the expected effects and maritime SQA for the tool utilization. The Development of customized tools for maritime SQA that is reflected an improved procedure for tool is the future goals.

원자력발전소에서 디지털 계측제어 시스템 비중이 높아지면서 원자력발전소에 대한 확률론적 안정성 평가 시 소프트웨어에 대한 신뢰도 평가가 중요해졌다. 원전 소프트웨어 신뢰도 추정을 위한 방법들이 몇 가지 제안 되었지만 해당 방법의 효과적 적용을 지원하는 도구 지원이 미비하였다. 본 연구에서는 소프트웨어 개발 품질 및 검증 품질과 같은 정성적 정보와 통계적 시험 결과와 같은 정량적 정보를 활용하여 원전 소프트웨어 신뢰도를 정량적으로 측정할 수 있는 자동화 도구를 설계하였고 구현하였다. 개발된 도구를 산업용 원자로 보호 시스템 사례에 적용한 결과, 개발된 도구가 원전 소프트웨어의 신뢰성 평가를 효과적으로 지원할 수 있음을 확인하였다.

Since nuclear power plants (NPPs) increasingly employ digital I&C systems, reliability evaluation for NPP software has become crucial for NPP probabilistic risk assessment. Several methods for estimating software reliability have been proposed, but there is no available tool support for those methods. To support NPP software manufacturers, we propose a reliability measurement tool for NPP software. We designed our tool to provide reliability estimation depending on available qualitative and quantitative information that users can offer. We applied the proposed tool to an industrial reactor protection system to evaluate the functionality of this tool. This tool can considerably facilitate the reliability assessment of NPP software.

최근 대규모 소프트웨어 개발에 가독성이 높은 Unified Modeling Language (UML)을 활용한 개발 방법이 적용되고 있다. 소프트웨어 개발에 표준화된 UML 모델을 활용하면 불명확한 의사소통을 해결할 수 있어 소프트웨어 품질을 향상 시킨다. 하지만 기존 소프트웨어 개발에서는 모델 중심의 개발 방식이 아닌 코드 중심의 개발 방식이 적용되어 있다. 이로 인해 기존 소프트웨어를 활용하여 모델 중심의 소프트웨어를 개발 할 경우 수동으로 UML 모델을 적용해야 하기 때문에 모델 생성 작업 시간 증가 등의 문제가 발생한다. 또한, 개발자들의 모델 이해도 및 모델링 도구의 사용 능력, 소프트웨어 구조의 복잡도에 따라 모델 생성 작업 시간은 더욱 증가한다. 모델 생성 작업 시간의 증가는 결국 전체 소프트웨어 개발 시간을 증가시키는 요인이 된다. 이에 본 논문에서는 함정 전투체계 소프트웨어 개발에 UML 모델을 구조적으로 적용하기 위한 자동 모델 생성 도구를 제안한다. 자동 모델 생성 도구는 모델링 작업에 필요한 모델 구조 자동 생성과 UML 모델들을 자동으로 생성하는 기능을 제공한다. 본 논문에서 제안한 방법을 활용하면 자동화 기능을 통해 UML 모델을 구조적으로 적용할 수 있는 장점과 모델 생성 작업 시간 감소의 효율화를 가진다.

Recently, large-scale software development has been using the highly readable Unified Modeling Language (UML) development method. The use of standardized UML models in software development improves software quality by resolving unclear communication. However, in existing software development, a code-centric development method is applied rather than a model-centric development method. As a result, problems such as increased model creation work time arise because UML models must be manually handled when developing model-centric software using existing software. In addition, depending on the developer's understanding of the model, the ability to use modeling tools, and the complexity of the software structure, the time required to create the model increases further. The increase in model creation work time is a factor that increases the overall software development time. Therefore, this paper proposes an automatic model creation tool for structurally applying UML models to the development of naval combat system software. The Automatic Model Creation Tool provides features that automatically generate model structures and UML models needed for modeling tasks. Using the method proposed in this paper, it has the advantage of structurally applying UML models through automation functions and efficiency in reducing model creation work time.

한국전자통신연구원은 다양한 위성항법 응용프로그램과 항법알고리즘을 시험 및 평가하기 위한 소프트웨어 레벨의 환경을 제공하는 위성항법 신호생성 및 수신처리 시뮬레이터 툴을 개발하고 있다. 본 시뮬레이션 툴은 GPS 및 갈릴레오의 디지털 신호 생성하고 이를 수신처리하는 툴을 제공하게 된다. 본 논문에서는 이러한 위성항법 신호생성 및 수신처리 시뮬레이션 툴의 상세설계 및 모듈 구현에 대하여 기술하고 있다.

Software-Based GNSS Simulation Tool is being developed by ETRI as a part of development of software-based GNSS Test & Evaluation Facility which will provide test and evaluation environment for various software level application and navigation algorithm in GNSS. The simulation tool will provide digitized GNSS signal generator and receiver including GPS and Galileo. The detailed design and module implementation for the Software GNSS signal generation and signal processing simulation tool and its modular implementation is presented in this paper

본 연구의 목적은 SW융합교육을 위한 골드버그 장치 기반의 교육 도구를 개발하는 것이다. 2015개정교육과 정에서는 효과적인 SW교육을 위하여 다양한 교과와의 융합을 강조한다. 특히 물리 교과는 순차적인 움직임, 에 너지의 수치화, 시뮬레이션 등 컴퓨팅 사고력과 밀접한 연관성을 갖고 있어 SW융합교육의 소재로 자주 사용된 다. 본 연구에서는 물리적인 지식, 개념, 조작 등을 활용하는 골드버그 장치를 기반으로 한 교육용 프로그램을 개발하였다. 프로그램의 효과성 검증을 위해서 델파이 검증을 통해 설문 문항을 개발하였으며 이를 기반으로 기 초 만족도 조사를 실시하였다. 그 결과 개발된 프로그램은 SW융합교육을 위한 프로그램으로 효과적으로 활용될 수 있을 것으로 나타났다.

The purpose of this study is to develop a Goldberg device-based software(SW) convergence Education tool. The 2015 revised curriculum emphasizes convergence with various subjects for effective SW education. In particular, physics is often used as a material for SW convergence education because it is closely related to computational thinking such as sequential movement, quantification of energy and simulation. In this study, we developed an educational program based on the Goldberg device that utilizes physical knowledge, concepts and manipulation. In order to verify the effectiveness of the program, the survey questions were developed through Delphi verification and a basic satisfaction survey was conducted based on this. As a result, the developed program can be effectively used as a program for SW convergence education.

소프트웨어의 요구사항을 작성하면서 발생하는 모호성과 부적절성을 제거하기 위하여 요구사항에 대한 전문용어를 사용할 필요가 있다. 본 논문에서는 철도차량 시스템 소프트웨어 요구사항 분석을 통하여 요구사항 작성에 참조할 수 있는 전문용어를 정립하며, 이를 기반으로 올바르게 작성된 요구사항 문장들에 대한 템플릿을 도출한다. 다양한 템플릿 문장은 요구사항 적합성을 점검하기 위한 비지도 기계학습용 데이터로 사용된다. 군집화 모델을 활용하여 요 구사항 템플릿을 군집화 하며, 새로운 요구사항의 적합성 여부를 군집 기반으로 판별하는 요구사항 적합성 검증도구 를 개발한다. 특정한 요구사항이 군집화 모델에 의하여 생성된 군집의 템플릿과 정확하게 일치하면 적합한 요구사항 으로 판정한다. 반면에 요구사항 적합성에 실패하면, k-평균 군집화 알고리즘에 의하여 가장 유사한 템플릿을 자동 으로 추천한다. 클러스터링 기법에 의하여 군집화된 템플릿과 새로운 요구사항에 대한 적합성 여부를 검증하기 위한 실험을 수행하였다. 첫 번째는 군집화 기반의 요구사항 추천이 정상적으로 동작하는가에 대한 실험이었다. 새로운 요구사항이 입력되면 군집으로 분류되었으며, 특정한 군집내의 동일한 형태소의 배열을 가진 템플릿으로 정확하게 추천됨을 확인하였다. 두 번째 실험에서는 기존의 템플릿 데이터베이스에 없는 요구사항 문장을 입력한 경우에 입력 한 요구사항과 가장 유사한 템플릿을 추천하는 것을 확인하였다.

It is necessary for users to utilize a set of standard technical jargon for the soundness of requirements specification, while reducing its ambiguity and improperness as much as possible. Through the analysis of requirements specification, a standard technical Korean(STK) has been established in the domain of the railway vehicle system. Based upon STK, this paper also derives a type of templates for the guideline of requirements specification. A variety of templates in the railway vehicle system domain are fed into the input of unsupervised machine learning algorithms as training instances. The clustering models in an unsupervised way classify the templates into a several clusters. Our system that verifies the soundness of requirements specification has been developed in the basis of clusters. The system we have developed makes a new sentence of specification belonged into one of groups, and then, if it finds the identical template in a specific cluster, it confirms the new specification as a sound one. Otherwise, it autonomically returns the most similar template recommended by k-means clustering algorithm. We have tested our system to verify both cases. In the experiment, no matter what a new sentence exists in the knowledge base of templates, it turns out that our robust system confirms whether or not the new sentence is correctly written, based upon the clusters, and further provides the most similar template as being updated for the correct specification.

생성형 AI 도구의 확산으로 AI·SW 교육에서 학습자의 활동은 단순한 코드 작성에서 AI 산출물의 이해, 실행, 검증, 수정, 설명으로 확장되고 있다. 본 연구는 생성형 AI 기반 코드 생성 활동에서 요구되는 AI 도구 활용 역량과 AI 산출물 검증 역량의 교육 요소를 탐색하는 데 목적이 있다. 이를 위해 UNESCO AI 역량 프레임워크, 생성형 AI 교육 지침, AI 리터러시 및 프로그래밍 교육 관련 연구를 검토하고, 초급·중급 프로그래밍 수업에서 활용 가능한 교육용 코드 생성 사례를 분석하였다. 연구 결과, 코드 생성 활동은 문제 이해, 프롬프트 구성, 코드 생성, 코드 해석, 실행 확인, 테스트 검증, 오류 수정, 윤리·보안 검토, 자기 설명의 단계로 구조화될 수 있었다. 또한 AI 도구 활용 역량, 코드 이해 역량, 실행·테스트 검증 역량, 오류 수정 역량, 근거 제시 역량, 책임 있는 활용 역량으로 구성된 AI·SW 코드 생성 검증 역량 프레임워크를 제안하였다. 본 연구는 코드 생성 사례와 검증 행동을 수업 활동 및 평가 루브릭으로 연결함으로써, 생성형 AI 활용 교육이 도구 사용 중심을 넘어 AI 산출물을 비판적으로 검토하고 책임 있게 활용하는 교육으로 확장될 수 있는 구체적 경로를 제시한다. 제안된 9단계 학습 과정, 6개 역량 범주, 5수준 루브릭은 프로그래밍 수업, AI 기초 수업, SW 융합 수업에서 생성형 AI 활용 과제를 설계할 때 참고할 수 있는 실행 가능한 틀을 제공한다. 본 연구는 생성형 AI 활용 교육을 프롬프트 작성과 코드 생성 중심에서 실행 검증, 테스트 설계, 오류 수정, 근거 제시, 책임 있는 활용을 포함하는 검증 중심 학습으로 확장하기 위한 교육 설계 기준을 제공한다.

The spread of generative AI tools is expanding learners’ activities in AI and software education from simply writing code to understanding, executing, verifying, revising, and explaining AI-generated outputs. This study explores the educational components of generative AI tool-use competency and AI-output verification competency in code generation activities for AI and software education. To this end, the study reviews UNESCO AI competency frameworks, guidelines for generative AI in education, AI literacy research, and prior studies on programming education with generative AI. It also analyzes illustrative educational code generation cases that can be used in introductory and intermediate programming courses. The findings structure generative AI-based code generation into nine learning stages: problem understanding, prompt construction, code generation, code interpretation, execution checking, test-based verification, error correction, ethical and security review, and self-explanation. Based on these stages, this study proposes a competency framework for verifying AI-assisted software code generation. The framework identifies six key competency areas: AI tool use, code comprehension, execution and testing, error correction, evidence-based explanation, and responsible use. By linking code generation cases with verification behaviors, instructional activities, and assessment criteria, the study provides a practical pathway for extending generative AI education beyond prompt writing and code production. The proposed nine-stage learning process, six competency categories, and five-level rubric offer instructional design guidance for AI-integrated tasks in programming, AI literacy, and software convergence courses. In doing so, the study shifts the focus of generative AI education toward verification-centered learning, including execution checking, test design, error correction, evidence-based explanation, and responsible use.

Fluid simulation is an important application of High Performance Computing. The hybrid atomistic-continuum coupling fluid simulation can effectively handle the contradictory of the reduction of the simulation scale and the increase of the computation load when trying to improve the accuracy. The pre-processing procedure of the coupling simulation is quite important in the whole simulation process and requires the support of an efficient, user-friendly interface. Under the demand of efficient coupling fluid simulation, in this paper we design and implement a visualized pre-processing framework HACP2 based on SALOME, for the unified molecular dynamic-computational fluid dynamics modeling and apply it into the coupling simulation process. The experimental verification indicates that our HACP2 framework can offer efficient, easy-to-use pre-processing for the hybrid atomistic-continuum coupling simulation, and effectively improve the efficiency of the coupling simulation.

Accepting too many software change requests could contribute to expense and delay in project delivery. On the other hand rejecting the changes may increase customer dissatisfaction. Software project management might use a reliable estimation on potential impacted artifacts to decide whether to accept or reject the changes. In software development phase, an assumption that all classes in the class artifact are completely developed is impractical compared to software maintenance phase. This is due to some classes in the class artifact are still under development or partially developed. This paper extends our previous works on developing an impact analysis approach for the software development phase in automating the approach which we call it CIAT (Change Impact Analysis Tool). The significant achievements of the tool are demonstrated through an extensive experimental validation using several case studies. The experimental analysis shows improvement in the accuracy over current impact analysis results.

The benefits of formal specification methodologies in software development have been identified and well researched. Their use in mainstream software development, however, continues to face a stiff resistance. A prominent reason for this resistance is the fact that there are generally not enough supporting tools to facilitate the development of software from formal specifications. This paper reports on the development of supporting tools for developing software from formal specifications in Real-Time Process Algebra (RTPA). An RTPA to Java Code Generator (RJCG) tool is developed, which combines the functionalities of the syntax checker, lexical analyzer, type checker, semantic analyzer and code generator in facilitating the development of Java code from a formal specification in RTPA. The paper demonstrates that the same concrete grammar rules combined with semantic actions can facilitate the development of a tool with multiple functionalities.

Lean software development is a new ray of hope for survival in the phases of recession. The term recession is like a nightmare for software companies. Here in this paper we are going to discuss how to sustain the business in the recession with the help of lean software development. Because in various cases we saw that during recession some companies were drowning due to the reason of MISSING DEADLINE, OVER DEVELOPMENT, INEFFECTIVE MANAGEMENT and many more. We knew that there are several reasons for the recession in the software market, but the most important thing is to survive in such recession phase by sustaining the customers, by performing orders as early as customer wants and many more. These are various points through which one can survive in recession phase. But here the question arises how to meet all such requirements….In answer to this question we are dealing with the term LEAN SOFTWARE DEVELOPMENT as a Survival tool in recession.

In the current marketplace, there are maturity models, standards methodologies and guideline that can help an organization improve the way it does business. Software process assessment models, ISO/IEC 15504 and CMMI provide a tool to assess your organization’s software development capability. Experienced assessors make these assessments. However these models don’t supply systematic metrics for software process assessment. Therefore the assessors have used their subjective estimations for quantitative measurement in their software process assessment. This paper defines the basic metrics and presents the standard metrics in categories of process defined by ISO/IEC 15504 to assess software process quantitatively and objectively. In addition, presents an essential guideline to identify your organization’s condition by suggesting a process maturity assessment metrics to apply the standard metrics to your organizations.

In order to construct the most suitable embedded software development environment, we design and implements the Retargetable Tool Suite for Embedded Software(RTS-ES) composed of target code generator, low power/energy optimizer, system simulator and debugger through the proposed Embedded Processor Description Language(EPDL).

When temporary spent fuel storage pools at nuclear power plants reach their capacity limit, the spent fuel must be moved to an alternative storage facility. However, radioactive materials must be handled and stored carefully to avoid severe consequences to the environment. In this study, the risks of three potential accident scenarios (i.e., maritime transportation, an aircraft crashing into an interim storage facility, and on-site transportation) associated with the spent fuel transportation process were analyzed using a probabilistic approach. For each scenario, the probabilities and the consequences were calculated separately to assess the risks: the probabilities were calculated using existing data and statistical models, and the consequences were calculated using computation models. Risk assessment software was developed to conveniently integrate the three scenarios. The risks were analyzed using the developed software according to the shipment route, building characteristics, and spent fuel handling environment. As a result of the risk analysis with varying accident conditions, transportation and storage strategies with relatively low risk were developed for regulators and licensees. The focus of this study was the risk assessment methodology; however, the applied model and input data have some uncertainties. Further research to reduce these uncertainties will improve the accuracy of this model.

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.