• 한국경영과학회:학술대회논문집
• /
• 대한산업공학회/한국경영과학회 1990년도 춘계공동학술대회논문집; 한국과학기술원; 28 Apr. 1990
• /
• pp.42-48
• /
• 1990

Increasing concerns about model management system lead to studies of user friendliness and model executions. This paper presents model as object's method based on the Object-Oriented Concepts which makes it possible to represent model's operation and enables general decision makers to identify and select more appropriate models. This capability reduces the semantic gap between decision maker and model builder. This view is also able to execute models by way of automatic Ada code generation and specific LP formulation for LINDO. A prototype system is implemented in Pascal.

• 한국정밀공학회:학술대회논문집
• /
• 한국정밀공학회 1996년도 추계학술대회 논문집
• /
• pp.711-715
• /
• 1996

This paper describes an automated computer-aided engineering (CAE) system for micromachines whose size range 10 to 10$^3$${\mu}{\textrm}{m}$. An automatic finite element mesh generation technique, which is based on the fuzzy knowledge processing and computational geometry techniques, is incorporated into the system, together with one of commercial finite clement (FE) analysis codes, MARC, and one of commercial solid modelers, Designbase. The system allows a geometry model of concern to be a automatically converted to different FE models, depending on physical phenomena to be analyzed, i.e. electrostatic analysis, stress analysis, modal analysis and so on. The FE analysis models are then exported to the FE analysis code, and then analyses are performed. This system is successfully applied to an electrostatic micro actuator.

• Nuclear Engineering and Technology
• /
• 제33권1호
• /
• pp.34-45
• /
• 2001

We have needs to develop a performance analysis system that can be used in domestic nuclear power plants to determine performance status of turbine cycle. We developed new NOPAS system to aid performance analysis of turbine cycle . Procedures of performance calculation are improved using several adaptations from standard calculation algorithms based on ASME (American Society of Mechanical Engineers) PTC (Performance Test Code). Robustness in the performance analysis is increased by verification & validation scheme for measured input data. The system also provides useful aids for performance analysis such as graphic heat balance of turbine cycle and components, turbine expansion lines, automatic generation of analysis reports.

• 한국시뮬레이션학회논문지
• /
• 제11권3호
• /
• pp.13-22
• /
• 2002

This paper describes an automated evaluation of electrostatic field for micro motors whose sizes range 10 to 103um. Electric field modeling in micro motors has been generally restricted to in-plane two-dimensional finite element analysis (FEA). In this paper, the actual three-dimensional geometry of the micro motor is considered. An automatic FE mesh generation technique, which is based on the fuzzy knowledge processing and computational geometry techniques, is incorporated in the system, together with one of commercial FE analysis codes and one of commercial solid modelers. The system allows a geometry model of concern to be automatically converted to different FE models, depending on physical phenomena to be analyzed, electrostatic analysis and stress analysis and so on. The FE models are then exported to the FE analysis code, and then analyses are peformed. Then, analytical analysis and FE analysis about the torque generated by electrostatic micro motor are performed. The starting torque is proportional to $V^2$, the calculated starting torque from the two-dimensional analytical solutions are three times larger than those from the three-dimensional FE solutions.

• 대한기계학회논문집B
• /
• 제29권3호
• /
• pp.409-416
• /
• 2005

We need to develop a on-line thermal performance analysis system for nuclear power plant to determine performance status and heat rate of turbine cycle. We have developed PERUPS(PERformance Upgrade System) to aid the effective performance analysis of turbine cycle. Procedures of performance calculation are improved using several adaptations from standard calculation algorithms based on PTC(Performance Test Code). Robustness in the on-line performance analysis is increased by verification & validation scheme for measured input data. The system also provides useful web interfaces for performance analysis such as graphic heat balance of turbine cycle and components, turbine expansion lines, automatic generation of analysis report. The system was successfully applied for YongGwang nuclear plant unit #3,4.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2003년도 추계학술발표논문집 (하)
• /
• pp.1657-1660
• /
• 2003

엔터프라이즈 컴퓨팅 환경에서 넘쳐나는 다양한 플랫폼과 언어, 프레임워크가 소프트웨어 개발에 대한 중복 투자를 야기하고 있다. 이종 플랫폼, 나아가 이종 개발 플랫폼을 자유로이 연동시킬 수 있는 개발 방법에 대한 필요성이 대두되면서 등장한 MDA 개념은 개발된 모델을 특정 플랫폼에 알맞은 형태로 변환함으로써 개발 모델 및 코드의 재사용성을 극대화한다. 본 논문에서는 MDA 개발 방법에 있어서 특정 플랫폼에 알맞은 로드를 동적으로 생성하면서 PSM 이나 프로그래밍 언어에 대한 중립성을 가지기 위한 방안으로 템플릿과 언어 처리기를 복합적으로 사용하는 방안을 제시한다.

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

모니터링은 시스템의 문제 상황을 판단하기 위해서 아주 중요한 요소이다. 응답시간과 같은 외부적인 요인들은 쉽게 모니터링이 가능하지만, 시스템의 동작 상태와 같은 내부의 상태를 모니터링하도록 개발하는 것은 많은 노력이 든다. 본 논문에서는 UML을 이용하여 HB(Heart-Beat) 모니터링할 수 있는 모니터링 코드를 생성하는 방법을 제안한다. 본 방법론에서는 AOP를 이용한 모니터링 코드를 생성하여 기존 시스템의 코드를 수정하지 않고도 모니터링 기능을 추가할 수 있으며, UML을 기반으로 큰 노력 없이 자동으로 모니터링 코드 생성이 가능하다.

• 한국정보과학회논문지:컴퓨팅의 실제 및 레터
• /
• 제14권6호
• /
• pp.609-613
• /
• 2008

대형 시스템은 각 컴포넌트가 여러 다른 개발자에 의하여 개발된다. 개발 과정에서 컴포넌트간의 인터페이스 관리의 효율성은 전체 개발 효율에 큰 영향을 미친다. 특히, 개발 초기 과정에서는 컴포넌트가 새롭게 정의되거나 변경되는 경우가 많다. 컴포넌트의 새로운 정의나 변경은 컴포넌트간의 인터페이스의 생성이나 변경을 필요로 한다. 이러한 인터페이스의 변경에 대한 관리가 효율적으로 이루어지지 않는 경우, 관련된 컴포넌트를 개발하는 서로 다를 개발자들이 서로 다른 인터페이스를 기반으로 개발을 진행하는 경우가 발생한다. 이는 개발의 효율이 저하되는 문제를 일으킨다. 이러한 문제를 해결하기 위하여 메시지 관리시스템은 메시지 기반의 인터페이스 관리를 위한 수단을 제공한다. 또한, 메시지에 대한 코드 생성을 통하여 구현의 편의성을 제공해 주며, 메시지 관리 시스템 내에 정의된 메시지 정보를 이용하여 인터페이스 설계 명세서(IDD)를 자동으로 생성해 준다. 문서 자동 생성은 메시지 변경으로 인한 실제 인터페이스와 문서와의 불일치를 방지한다. 또한, 메시지 관리 시스템은 전체 시스템의 각 컴포넌트 간 메시지를 관리함으로써 각 컴포넌트 간 메시지 흐름에 대한 종합적인 정보를 수집하는 것이 가능하다. 이러한 정보는 컴포넌트간 메시지 흐름의 병목 현상의 발생을 미리 방지하거나. 전체 시스템 성능의 조율을 지원하는데 응용할 수도 있다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제26권12호
• /
• pp.1531-1541
• /
• 1999

프로그래밍 언어의 의미를 정형적으로 표기하는 기법인 액션의미론을 기반으로 한 컴파일러 생성기는 프로그래밍언어의 액션의미구조가 주어지면 그 언어의 컴파일러를 자동으로 생성한다. 생성된 컴파일러는 먼저 원시 프로그램을 그에 상응하는 액션 프로그램으로 확장한 후, 목적 프로그램으로 컴파일 한다. 여기서 액션 프로그램은 일종의 중간코드로 쓰이므로, 효율적인 목적코드를 생성하기 위해서 중간코드의 성능향상이 필요하다. 본 논문에서는 액션 프로그램을 부분계산을 통해 효율적인 코드로 자동 변환해 주는 온라인 액션 부분계산기를 설계하고 구현한다. 선행 연구된 오프라인 방식에서 전역분석을 하지 않고는 불가능했던 요약캡슐의 몸통, 펼치기의 몸통에 대한 부분계산이 온라인 방법을 사용하면 가능함을 보이고, 명령형 액션의 부분계산도 추가적으로 수행할 수 있도록 확장한다. Abstract Action Semantics is a framework for formally defining the semantics of programming languages. Action semantics-directed compiler generators take an action semantics definition of a programming language and automatically generate a compiler of the language. The generated compiler first expands a source program into an action denotation of the program, and then compiles it to a target code. In these compiler-generation systems, it is important to statically process the expanded action denotation - used as an intermediate code - as much as possible so that the generated compiler can produce better target code. In this paper, we develop an automatic action-transformation method based on online partial evaluation. The previous off-line method was rather weak because it could not partially evaluate actions inside the body of abstraction and unfolding-action without performing separate global analysis. The proposed online method remedies the problem, thus naturally improves the quality of residual actions. Moreover, we also extend the method to partially evaluate imperative actions.

• International Journal of Automotive Technology
• /
• 제6권2호
• /
• pp.107-117
• /
• 2005

A distributed hardware-in-the-loop simulation (HILS) platform is developed for designing an automotive engine control system. The HILS equipment consists of a widely used PC and commercial-off-the-shelf (COTS) I/O boards instead of a powerful computing system and custom-made I/O boards. The distributed structure of the HILS system supplements the lack of computing power. These features make the HILS equipment more cost-effective and flexible. The HILS uses an automatic code generation extension, REAL-TIME WORKSHOP$^{ (RTW$^{) of MATLAB$^{ tool-chain and RT-LAB$^{, which enables distributed simulation as well as the detection and generation of digital event between simulation time steps. The mean value engine model, which is used in control design phase, is imported into this HILS. The engine model is supplemented with some I/O subsystems and I/O boards to interface actual input and output signals in real-time. The I/O subsystems are designed to imitate real sensor signals with high fidelity as well as to convert the raw data of the I/O boards to the appropriate forms for proper interfaces. A lot of attention is paid to the generation of a precise crank/ earn signal which has the problem of quantization in a conventional fixed time step simulation. The detection of injection! command signal which occurs between simulation time steps are also successfully compensated. In order to prove the feasibility of the proposed environment, a simple PI controller for an air-to-fuel ratio (AFR) control is used. The proposed HILS environment and I/O systems are shown to be an efficient tool to develop various control functions and to validate the software and hardware of the engine control system.