• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2011년도 추계학술발표대회
• /
• pp.1342-1345
• /
• 2011

A valid scenario generation is essential for model checking software. This paper suggests an automated scenario generation technique through the analysis of function called-by graphs and call graphs of the program source code. We provide the verification process including the scenario generation and show application results on the Trampoline operating system using CBMC as a back-end model checker.

• Journal of Information Technology Applications and Management
• /
• 제12권4호
• /
• pp.133-155
• /
• 2005

This Paper makes an attempt to suggest a process of automatically generating application software based on the Entity-Relationship model 1. The designer develops an E-R model of an real-world system. 2. The designer inputs the entity and relationship types, and attributes shown in the E-R model, and also the basic operations of the application system to the software generator. 3. The application generator produces database schema and link information between application programs, and then automatically generates a stereo-type application system. In order for the automated application generator to build the application system in a systematic way, four basic program generation rules have been suggested. A set of computer programs have been developed in order to show the applicability of the automated software generation process suggested in this paper. By following each rule with the generator, the designer can build an application in an efficient manner compared with traditional (manual programming) approaches. It has been demonstrated from the case study that the idea of applying an automated generator in systems development based upon the E-R model is feasible.

• International Journal of CAD/CAM
• /
• 제6권1호
• /
• pp.199-211
• /
• 2006

Practical automated flat pattern generation with inbuilt production features for doubly curved sheet metal components (SMCs) is addressed here utilizing a new and unique Point Transformation Algorithm (PTA). This is the third in the series of papers on practical Flat Pattern Development (FPD) [8] and Production Loft Generation Systems (PLGS) [9] complementing the pioneering work [6,7]. In the first two publications, automated loft generation programs have addressed sheet metal components having a Principal Flat Surface (PFS) only. The flat pattern development of 3-D components that do not have the flat surface(termed as Non-PFS components) having complex features of double curvature in addition to cutouts and nibbled holes typical of aircraft components were so far not addressed due to lack of relevant published algorithms. This paper traces the evolution of developments and provides the record of fully illustrated, automated loft generation scheme for aircraft SMCs including the Non-PFS components which underwent validation through production tests by sponsors. Details of some of the unique features of the system like simplified surface model generation, termed as topological model and powerful algorithms deployed with potential for CAD/CAM applications are included.

• 디지털콘텐츠학회 논문지
• /
• 제2권1호
• /
• pp.21-30
• /
• 2001

본 논문에서는 분산환경에서 MVC(Model View Controller) 모델을 기반으로 하는 Model 2 프레임 웍에 입각하여 소프트웨어 컴포넌트와 관련된 요소를 자동 생성하여 웹 애플리케이션 구축을 지원하는 방법에 대해 제시한다. Model 2 프레임웍은 웹 애플리케이션에서 Model, View, Controller를 이용하여 MVC 구조로 작성하는 방법으로 기능을 캡슐화하여 변경에 대해 영향을 최소로 하는 구조이기 때문에 확장성, 유지보수성 면에서 좋은 방법으론 인식되고 있다. Model 2 프레임웍 하에서 소프트웨어 컴포넌트와 관련된 요소를 자동 생성하기 위해 MVC 모델, 컴포넌트, Model 2 프레임웍, 디자인 패턴 등에 대해 살펴보고 구현 환경에 적용하기 위한 개선된 Model 2 프레임웍을 제시하고 제시된 프레임웍에 기반하여 소프트웨어 컴포넌트와 관련된 요소를 자동 생성하는 시스템을 설계하고 구현한다.

• 한국시뮬레이션학회논문지
• /
• 제23권4호
• /
• pp.21-29
• /
• 2014

일반적으로 시뮬레이션 프로젝트는 목적에 부합되는 수준에서 연구 대상 시스템과 유사하게 작동되는 모델을 개발해야 하기 때문에 시간과 비용이 많이 소요된다. 따라서 적절한 개념 모델 설계와 이를 바탕으로 시뮬레이션 모델을 자동 생성하여 모델 개발 과정의 시행착오를 최소화함으로써 모델링 시간을 단축하기 위한 연구가 요구되고 있다. 본 논문에서는 실무에서 많이 사용되고 있는 Microsoft Excel과 Visio를 활용하여 개념 모델을 개발하고 이를 Arena 모델로 자동으로 변환하는 툴을 제안하였다. 예제를 이용하여 본 논문의 모델 자동 생성 툴의 효용성을 보였다.

• 정보과학회 논문지
• /
• 제44권12호
• /
• pp.1307-1312
• /
• 2017

ICT 기술과의 융합으로 인해 산업 자동화 시스템은 복잡도와 신뢰성 요구 수준이 급격히 증가하고 있다. 최근에는 이러한 요구에 대응하기 위해 응용 개발 초기 과정에서부터 정형 기법을 활용하는 연구들이 주목받고 있다. 본 논문에서는 산업 자동화 응용을 위한 타임드 오토마타 모델 기반 네이티브 코드 자동 생성 프레임워크를 제안한다. 사례 연구로 산업용 네트워크를 사용하는 신호등 제어 시스템을 모델링하고, 탑재되는 응용의 타이밍 속성을 검증하였다. 제안하는 프레임워크의 유효성을 검증하기 위해 자동 변환된 네이티브 코드를 사용하여 EtherCAT 네트워크 기반 테스트베드의 동작을 확인한 결과, 모델 명세와 동일하게 동작하는 것을 확인하였다.

• 한국BIM학회 논문집
• /
• 제14권3호
• /
• pp.31-45
• /
• 2024

This study proposes a BIM-based space model generation framework for managing maintenance history in apartments. While BIM adoption in design and construction phases is increasing, its use in operation and maintenance remains limited, particularly in the continuous utilization of as-built BIM models. To address this, the study introduces a methodology for automated space model generation using DYNAMO, analyzing 1,875 maintenance records and long-term repair plans from two apartment projects over two years. The framework was applied to case projects, achieving a 100% space model creation rate for dedicated spaces and 108.91% for public spaces, proving its applicability. This suggests that the automated space model generation process proposed in this study is applicable. The significance of this study is that it presents a model transition framework for the operation and maintenance phase of the as-built BIM model. In addition, it is of research value that a simplified BIM space model is proposed to overcome the limitation of not being able to manage the history of each part in the current maintenance phase. This study can be utilized as a basis for future BIM guidelines applicable to operation and maintenance phases and delivery guidelines for as-built BIM models.

• 항공우주시스템공학회지
• /
• 제17권2호
• /
• pp.9-15
• /
• 2023

인공위성의 축소 열모델 생성 작업은 궤도 열해석의 시간 단축과 발사체 연동 열해석 수행을 위해 인공위성 제작 프로젝트에서 반드시 한 번 이상 수행하게 된다. 축소 열모델 생성 방법은 여러가지가 거론되고 있지만, 실무적으로는 직관적이면서도 편리한 등온격자생성법이 가장 많이 사용되고 있다. 그러나 아직까지 등온격자생성법의 자동화에 관한 연구는 부족한 실정이다. 본 논문에서는 온도 허용오차와 고정 노드를 고려한 등온격자생성법 기반 위성 축소 열모델 자동 생성 방법을 제안하였다. 서로 다른 세 가지의 온도 허용오차 케이스를 이용하여 방법론을 검증하였으며, 평균 온도 차이는 ECSS의 축소 열모델 생성 가이드라인(< 2 K)을 만족함을 확인할 수 있었다.

• KIEE International Transactions on Electrophysics and Applications
• /
• 제5C권1호
• /
• pp.14-17
• /
• 2005

In this paper, an automated methodology for generating model parameters considering real manufacturing processes is presented with verified results. In addition, the outcomes of applications to the next generation of flash memory devices using the parameters calibrated from the process specification decision are analyzed. The test vehicle is replaced with a well-calibrated TCAD simulation. First, the calibration methodology is introduced and tested for a flash memory device. The calibration errors are less than 5% of a full chip operation, which is acceptable to designers. The results of the calibration are then used to predict the I-V curves and the model parameters of various transistors for the design of flash devices.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2024년도 춘계학술발표대회
• /
• pp.753-756
• /
• 2024

This study integrates Rivet and Retrieved Augmented Generation (RAG) technologies to enhance automated report generation, addressing the challenges of large-scale data management. We introduce novel algorithms, such as Dynamic Data Synchronization and Contextual Compression, expected to improve report generation speed by 40% and accuracy by 25%. The application, demonstrated through a model corporate entity, "Company L," shows how such integrations can enhance business intelligence. Empirical validations planned will utilize metrics like precision, recall, and BLEU to substantiate the improvements, setting new benchmarks for the industry. This research highlights the potential of advanced technologies in transforming corporate data processes.