• 한국철도학회:학술대회논문집
• /
• 한국철도학회 2011년도 춘계학술대회 논문집
• /
• pp.910-917
• /
• 2011

CBTC(Communication Based Train Control) car-borne equipment, a part of the communication based train control system, mainly consists of automatic train protection(ATP) functions, automatic train operation(ATO) functions as well as the interface functions with other equipment including CBTC wayside equipment and train control management system etc. The CBTC car-borne software implementing ATP/ATO functions is a real-time embedded software requiring a high level of safety and reliability. To satisfy the requirements of the CBTC car-borne software, the model-based design techniques are applied with SCADE(Safety-Critical Application Development Environment) to the development of the CBTC car-borne software. In this paper, we illustrate the process modeling the car-borne ATP/ATO functions satisfying system requirement specification with system requirement management, modeling and document generation tools etc. supported by SCADE. In addition, the developed models corresponding to the ATP/ATO functions are applied to the train with CBTC car-borne equipment through its corresponding EN-50128 standards-compliant C code generated by the code generator. It is shown from the test result that the ATP/ATO models developed by SCADE work well while the trains are running in driverless operation mode.

• 정보과학회 논문지
• /
• 제43권9호
• /
• pp.974-982
• /
• 2016

프로그램 변이 분석은 분석대상 프로그램의 코드를 변형한 다양한 프로그램 변이를 활용해 분석대상 프로그램의 특성을 분석하는 기법이다. 효과적인 변이 분석을 위해서는 분석대상 프로그램의 동작을 다양하게 변화시키는 유용한 변형 연산자의 사용이 필수적이다. 현재까지 Java 프로그램을 대상으로 제안된 변이 생성 도구들은 변형 연산자의 종류가 제한적이거나, 최근 Java 언어 요소로 작성된 분석대상 프로그램의 경우 올바른 변이 생성을 지원하지 못하는 한계가 있다. 본 논문은 Java 프로그램을 위한 새로운 변이 생성 도구 Mutagen4J를 소개한다. Mutagen4J는 기존 연구를 통해 유용한 것으로 알려진 프로그램 변형 연산자를 추가로 지원하며, 최근 Java 언어요소를 처리함으로써, Java 프로그램에 대한 효과적인 변이 분석을 지원한다. 기존 Java 프로그램 변이 생성 도구와 비교 실험을 수행한 결과, Mutagen4J이 기존 도구보다 유용한 변이를 평균 2.3배 생성하였다.

• 한국정밀공학회:학술대회논문집
• /
• 한국정밀공학회 1994년도 추계학술대회 논문집
• /
• pp.689-694
• /
• 1994

In this paper, to develop a smart CAD/CAM system for systematically performing from the 3-D solid shape design of products to the CNC cutting operation of products by a machining center, a B-Rep solid modeler is realized based on the half edge data structure. Because the B-Rep solid modeler has the various capabilities related to the solid definition functions such as the creation operation of primitives and the translational and rotational sweep operation, the solid manipulation functions such as the split operation and the Boolean set operation, and the solid inversion function for effectively using the data structure, the 3-D solid shape of products can be easily designed and constructed. Also, besides the automatic generation of CNC code, the B-Rep solid modeler can be used as a powerful tool for realizing the automatic generation of finite elements, the interference check between solids, the structural design of machine tools and robots and so on.

• 한국정밀공학회:학술대회논문집
• /
• 한국정밀공학회 2004년도 추계학술대회 논문집
• /
• pp.850-853
• /
• 2004

The development of 3D CAM system for the manufacturing of end mills becomes a key approach to save the time and reduce cost for end mills manufacturing. This paper presents the calculation and simulation of end mill tools CNC machining bases on 5-axes CNC grinding machine tool. In this study describes the process of generation and simulation of grinding point data between the tool and the grinding wheels through the machined time. Depend on input data of end mill geometry, wheels geometry, wheel setting, machine setting the end mill configuration and NC code for machining will be generated and visualized in 3 dimension before machining. The 3D visualizations of end mill manufacturing was generated by using OpenGL in C++. The development software was designed by using Microsoft Visual C++, which has many advantages for users, saving time and reducing manufacturing cost.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2006년도 가을 학술발표논문집 Vol.33 No.2 (C)
• /
• pp.325-330
• /
• 2006

소프트웨어 설계 툴은 소프트웨어 개발을 위하여 실무에 도입되어 많이 이용되고 있다. 그러나 대부분의 소프트웨어 설계 툴이 코드를 자동으로 생성할 수 있는 기능을 제공하고 있어서 이를 잘 활용하면 개발시간을 단축하고 및 개발생산성을 향상 크게 향상 시킬 수 있음에도 불구하고, 많은 사용자들은 설계 툴을 단순한 모델링 툴로서만 이용하고 있다. 본 연구에서는 사용자들이 소프트웨어 설계 툴의 코드생성 능력을 잘 활용할 수 있도록, 몇 개의 선정된 설계 툴의 코드자동생성능력의 비교를 통해 설계 툴의 코드 생성능력을 비교 일 분석하였다. 자동 생성된 코드는 Java 소스코드이며, 언어지원능력, 난이도, 생성된 소스 코드의 레벨을 비교기준으로 평가를 수행하였다.

• 한국산학기술학회논문지
• /
• 제16권5호
• /
• pp.3407-3411
• /
• 2015

UML 모델을 사용하는 다양한 소프트웨어의 설계 및 구현 환경에서 UML 메타 모델의 규칙을 준수하고, 이를 통하여 확장하면 많은 장점을 가질 수 있다. 하지만 UML 메타 모델은 자체 규모가 점진적으로 방대해지고 있으며 UML 메타 모델을 사용하는 다양한 곳에서 UML 메타 모델의 확장 및 변환을 위해서는 반드시 Profile의 정의를 통하여 다이어그램을 재정립할 필요가 있다. 즉, UML 메타모델을 확장하여 사용하고자 하는 대상에 대하여 요소들만을 추출하여 사용할 필요가 있다. UML 메타모델의 확장과 Profile을 메타 저장소를 기반으로 재정의하여 사용함으로써 UML 모델링 도구나 분석도구를 좀 더 쉽고 빠르게 개발할 수 있고, 이러한 도구를 활용하여 SW 산업에서의 개발 품질을 높일 수 있다. 본 논문에서는 UML 메타모델의 확장을 통하여 Profile을 재정의 하는 알고리즘을 제시하고, 전자정부 표준 프레임워크에 실제로 적용한 결과를 코드 사이즈와 복잡도를 비교하여 향상된 성능을 보여준다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제29권8호
• /
• pp.555-564
• /
• 2002

디자인 패턴은 과거에 잘 정의된 설계정보를 활용하기 위한 목적으로 사용되어진다. 이러한 디자인 패턴의 활용은 객체지향 패러다임에서 재사용성과 개발시간의 단축 그리고 소프트웨어 품질의 향상을 가져온다. 그러나 이러한 디자인 패턴의 광범위한 활용에도 불구하고 대부분의 디자인 패턴 정보는 수작업에 의해 활용됨으로써 일관성이 없고 활용능력이 떨어진다. 또한 설계자에 의해 적용된 디자인 패턴정보는 소프트웨어에서 나타나지 않기 때문에 디자인 패턴에 대한 추적성에 대한 문제를 가진다. 이에 본 논문에서는 디자인 패턴지향 소프트웨어 개발 지원 도구를 제시한다. 이 시스템은 디자인 패턴의 관리와 소프트웨어 설계 및 자동화 소스코드 생성기능을 지원한다. 디자인 패턴 관리 기능은 존재하는 디자인 패턴을 저장관리 및 분석과 새로운 디자인 패턴 등록할 수 있는 기능을 담고 있으며, 소프트웨어 설계 기능은 UML 형태의 소프트웨어 설계기능과 디자인 패턴요소의 자동생성기능을 지원한다. 또한 이러한 설계정보를 이용한 소스코드 자동생성기능을 지원하는 소스코드 관리 기능을 가진다. 그 결과 기존의 CASE 도구에서 제시하지 못한 디자인 패턴요소의 추적성을 설계정보에 포함시킴으로서 소프트웨어 분석의 용이성을 제공하고 디자인 패턴 관리와 자동 소스코드 생성기능의 제공을 통해 보다 안정되고 효율적인 시스템을 구축할 수 있다.

• Nuclear Engineering and Technology
• /
• 제52권12호
• /
• pp.2733-2742
• /
• 2020

This paper presents an assessment of applicability of the multigroup cross sections generated with Monte Carlo tools to the fast reactor analysis based on transport calculations. 33-group cross section sets were generated for simple one- (1-D) and two-dimensional (2-D) sodium-cooled fast reactor problems using the SERPENT code and applied to deterministic steady-state and depletion calculations. Relative to the reference continuous-energy SERPENT results, with the transport corrected P₀ scattering cross section, the k-eff value was overestimated by 506 and 588 pcm for 1-D and 2-D problems, respectively, since anisotropic scattering is important in fast reactors. When the scattering order was increased to P₅, the 1-D and 2-D problem errors were increased to 577 and 643 pcm, respectively. A sensitivity and uncertainty analysis with the PERSENT code indicated that these large k-eff errors cannot be attributed to the statistical uncertainties of cross sections and they are likely due to the approximate anisotropic scattering matrices determined by scalar flux weighting. The anisotropic scattering cross sections were alternatively generated using the MC²-3 code and merged with the SERPENT cross sections. The mixed cross section set consistently reduced the errors in k-eff, assembly powers, and nuclide densities. For example, in the 2-D calculation with P3 scattering order, the k-eff error was reduced from 634 pcm to -223 pcm. The maximum error in assembly power was reduced from 2.8% to 0.8% and the RMS error was reduced from 1.4% to 0.4%. The maximum error in the nuclide densities at the end of 12-month depletion that occurred in ²³⁷Np was reduced from 3.4% to 1.5%. The errors of the other nuclides are also reduced consistently, for example, from 1.1% to 0.1% for ²³⁵U, from 2.2% to 0.7% for ²³⁸Pu, and from 1.6% to 0.2% for ²⁴¹Pu. These results indicate that the scalar flux weighted anisotropic scattering cross sections of SERPENT may not be adequate for application to fast reactors where anisotropic scattering is important.

• 대한기계학회논문집A
• /
• 제37권1호
• /
• pp.97-103
• /
• 2013

본 연구는 원추대 가공과 등가인 동시 5 축 구동을 통한 볼바 측정용 경로 생성 기법을 소개하며 시스템 구조 형태(Structural configuration)에 관계없이 모든 5 축 공작기계에 대해 적용 가능한 일반화된 방법을 제시한다. 5 축 공작기계 시스템 정보와 원추형 정보, 그리고 볼바 측정 정보 등을 입력 받아 NC 코드 생성, 다양한 오차 평가 시뮬레이션 및 측정 시험을 쉽게 수행할 수 있도록 원호 경로 생성에 필요한 수학적 기계 입력 모델을 제시한다. 또한 제시된 원추형 경로 모델을 토대로 5 축 동시 구동 시 회전축의 이송 범위를 수학적으로 검토하며 반꼭지각 및 기울기각의 크기 차이, 볼바 틸팅 허용각 및 워크피스 볼의 오프셋 위치 등 여러 가지 조건이 이송 범위에 미치는 영향에 대해 분석한다.

• Journal of Computing Science and Engineering
• /
• 제3권2호
• /
• pp.127-141
• /
• 2009

In this paper, we describe our vision of a "Just-in-time" initiative to solve the Data Interoperability Problem (a.k.a. INTEROP.) We provide an architectural overview of our initiative which draws upon existing technologies to develop an immersive and collaborative approach which aims at empowering data stakeholders (e.g., data producers and data consumers) with integrated tools to interact and collaborate with each other while directly manipulating visual representations of their data in an immersive environment (e.g., implemented via Second Life.) The semantics of these visual representations and the operations associated with the data are supported by ontologies defined using the Common Logic Framework (CL). Data operations gestured by the stakeholders, through their avatars, are translated to a variety of generated resources such as multi-language source code, visualizations, web pages, and web services. The generality of the approach is supported by a plug-in architecture which allows expert users to customize tasks such as data admission, data manipulation in the immersive world, and automatic generation of resources. This approach is designed with a mindset aimed at enabling stakeholders from diverse domains to exchange data and generate new knowledge.