• 한국시뮬레이션학회논문지
• /
• 제18권3호
• /
• pp.113-122
• /
• 2009

사용자가 요구하는 기능과 특성에 대한 다양한 요구사항은 소프트웨어를 점점 더 복잡하게 만들고 이를 검증하고 검사하는 것은 어려운 문제이다. 게다가 개발된 소프트웨어 코드를 검증하고 검사를 수행하는 과정에서 트레이싱 혹은 로깅 코드를 삽입하는 과정과 검사가 완료되어 삭제하는 과정에서 사용자의 부주의로 버그가 삽일될 수 있는 문제점도 발생한다. 본 논문은 소프트웨어 개발 과정 중에서 검증 및 검사 과정을 지원할 수 있는 Aspect DEVS 검증 틀을 제시한다. Aspect DEVS 검증틀은 관점 지향 프로그래밍 기법을 사용하여 이미 구현되어 있는 소프트웨어와 사용자는 요구사항을 만족하는 지를 확인하는 동시에 소스 코드에 테스팅 코드를 삽입할 때 발생하는 문제들을 해결한다. Aspect DEVS 검증틀을 사용한 검증의 첫 번째 단계는 관찰 대상을 관점 지향 프로그래밍 기법을 사용하여 명세한 하고, 사용자의 요구사항을 DEVS 다이어그램을 명세한 후 이를 DEVSIM++로 구현한다. 마지막으로 프로그램의 수행 과정 중에서 발생하는 이벤트들을 대상으로 구현한 DEVS 모델의 이벤트 입력으로 넣어 소프트웨어가 사용자의 요구사항을 만족하는 지를 검사함으로써 검증 과정 중에 대상 소프트웨어의 수정 없이 검증 및 검사를 수행할 수 있다.

• 한국CDE학회논문집
• /
• 제16권5호
• /
• pp.351-360
• /
• 2011

Product systems are quickly and frequently changed because Product Life Cycle is continuously reduced and adopting new product is steadily fast. Thus, various studies are progressed using simulation which is one of digital manufacturing. The research that is concerning simulation of control verification for shorten the commissioning which has a lot of trial and error is in progress. Also, simulation of control verification has strength that it can catch the errors in advance. However, a control program in simulation needs virtual factory for representation of control information. For this reason, excessive time and energy is put into controlling the virtual factory. So, in this paper, we construct library which is using exist data, in order to overcome limitation of these problems. Furthermore, we suggest methodology which can model and verify the process more speedy using library. Especially, we give body to the BB/BR Line process which has many altering equipment and need high technology effectively using physical and logical modeling. We can set up a control simulation environment very rapidly, as well as cut process time down using our suggestion.

• 한국정밀공학회지
• /
• 제13권4호
• /
• pp.43-52
• /
• 1996

This paper describes interactive computer procedures for design the forming sequences in cold forging. This system is implemented on the personal computer and its environment is a commercial AutoCAD system. The programming language. AutoLISP, was used for the configuration of the system. Since the process of metal forming can be considered as a transformation of geometry, treatment of the geometry of the part is a key in process planning. To recognize the part section geometry, the section entity representation, the section coordinate-redius representation and the section primitive geometru were adopted. This system includes six major modules such as input module, forging design module, forming sequence design module, die design module, FEM verification module and output module which are used independently or in all. The sequence drawing wigh all dimensions, which includes the dimensional tolerances and the proper sequence of operations, can generate under the environment of AutoCAD. The acceptable forming sequences can be verified further, using the FE simulation.

• 한국IT서비스학회지
• /
• 제5권3호
• /
• pp.99-108
• /
• 2006

Public institutions are considering adoption of open-source software in the process of information projects. However, there doesn't exist reliable information about an adoption process for open-source software. Performance and stability problems of this software also persist, as a result, current open-source software is not widely used. As a software market and industry grows, Benchmark test has been performed more often than before in order to help customers understand and select the most appropriate product among myriad similar ones. It is certain that more objective and trustful data evidence should be obtained by way of utilizing the procedures and methods of Benchmark Test in decision making process for selecting an open-source software. For this research, Benchmark test was applied as a way of demonstrating performance verification of an open-source software in the public institutions. It is certain that more objective and trustful data evidence should be obtained by way of utilizing the procedures and methods of Benchmark Test in decision making process for selecting an open-source software. It also introduces a case study of a information system, which selected and implemented open-source software, in order to confirm the validity of this research. This research will serve as a guideline to adopt open-source software in governments as well as public institutions.

• 시스템엔지니어링학술지
• /
• 제19권1호
• /
• pp.44-55
• /
• 2023

The defense M&S system, which has been classified as a weapon system between requirements determination and project implementation, is being developed by applying the weapon system development procedure of the Defense Acquisition Program Administration. The M&S system abstracts and models the real world to suit the intended use and proceeds with the process of developing it as a software-oriented system. Overseas, the conceptual model development stage is staged before entering the design stage after the requirements analysis. In addition, each step includes verification and validation processes. In Korea, while establishing and applying the weapon system development procedure based on the SE process, the M&S system is also applied in the same way as the general weapon system, limiting appropriate development outputs and verification and validation. In this study, the system development procedure of the M&S system is established and presented based on the relevant standards and SE process of developed countries.

• KEPCO Journal on Electric Power and Energy
• /
• 제7권1호
• /
• pp.115-123
• /
• 2021

Through machine learning-based load prediction, it is possible to prevent excessive power generation or unnecessary economic investment by estimating the appropriate amount of facility investment in consideration of the load that will increase in the future or providing basic data for policy establishment to distribute the maximum load. However, in order to secure the reliability of the developed load prediction model in the field, the performance comparison verification between the distribution line load prediction models must be preceded, but a comparative performance verification system between the distribution line load prediction models has not yet been established. As a result, it is not possible to accurately determine the performance excellence of the load prediction model because it is not possible to easily determine the likelihood between the load prediction models. In this paper, we developed a reliability verification system for load prediction models including a method of comparing and verifying the performance reliability between machine learning-based load prediction models that were not previously considered, verification process, and verification result visualization methods. Through the developed load prediction model reliability verification system, the objectivity of the load prediction model performance verification can be improved, and the field application utilization of an excellent load prediction model can be increased.

• 한국정보통신학회:학술대회논문집
• /
• 한국해양정보통신학회 2001년도 춘계종합학술대회
• /
• pp.345-348
• /
• 2001

본 논문은 디지털 비디오 방송 컴플라이언트 위성 수신칩에 대한 physical 설계 순서 및 검증에 대한 설계 기술에 관한 것으로서 각각의 설계 순서에 대한 고찰 및 문제점 그리고 물리적 레이아웃에 대한 검증 과정과 그 결과에 대하여 기술하였다.

• 방사성폐기물학회지
• /
• 제20권1호
• /
• pp.111-118
• /
• 2022

The denuclearization of North Korea was unpredictable and resulted in radical changes. Despite the skepticism and disappointment surrounding denuclearization, it is important for certain verification technologies to establish what is technically possible or practically impossible, and how reliable these technical means are. This article presents the technical hurdles in nuclear verification by systematically categorizing them into issues of correctness and completeness. Moreover, it addresses the safety and security risks during the denuclearization process, including the radiological impact on humans, environmental effects, and the illegal transfer of material, information, and technologies.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 2004년도 ICCAS
• /
• pp.960-964
• /
• 2004

During system resource improvement process that based on Object-Oriented technology could be affect to the continuous system performance if lack appropriate management and control objects mechanism. This paper proposes a methodology to support continuous system performance and its stability. The adoption is based on Java Container Framework and Collections Framework for object collection. Also includes Software Engineering, Object Migration and Multiple Class Loaders mechanism accommodate to construct Continuous Migration Container (CMC). CMC is a runtime environment provides interfaces for management and control to support upgrading object process. Upgrade object methodology of CMC can be divided into two phase are object equivalence checking and object migration process. Object equivalence checking include object behavior verification and functional conformance verification before object migration process. In addition, CMC use Multiple Class Loaders mechanism to support reload effected classes instead of state transfer in migration process while upgrading object. These operations are crucial for system stability and enhancement efficiency.

• Journal of Multimedia Information System
• /
• 제8권4호
• /
• pp.285-294
• /
• 2021

The development process of domestic CG (Computer Graphics) needs to be studied by classifying the technical part and the design part. This paper analyzes how early domestic broadcast equipment evolved and focused on what went through the development process. Domestic broadcasting companies have introduced and used overseas equipment and have begun to develop their own technology. The development process of the early domestic production technology of broadcasting stations was classified into Character Generator, On-line Real-Time Graphic and Sport Coder. It was found that the orientation of broadcasting technology was conclusively focused on visualization, with socio-cultural factors acting along with the evolution of hardware and software. This research is meaningful in reorganizing the history of the development process of domestic CG technology in the early days through previous research (primary verification), newspaper articles and news coverage (secondary verification). This paper looks at what is missing by regaining the past of CG, and argues that with the advent of new technologies today, we must develop through appropriate division of roles and collaboration between engineers and designers.