Earticle

Hardware-Software co-simulation of a multiple image encryption technique shall be described in this paper. Our proposed multiple image encryption technique is based on the Latin Square Image Cipher (LSIC). First, a carrier image that is based on the Latin Square is generated by using 256-bits of length key. The XOR operation is applied between an input image and the Latin Square Image to generate an encrypted image. Then, the XOR operation is applied between the encrypted image and the second input image to encrypt the second image. This process is continues until the nth input image is encrypted. We achieved hardware co-simulation of the proposed multiple image encryption technique by using the Xilinx System Generator (XSG). This encryption technique is modeled using Simulink and XSG Block set and synthesized onto Virtex 2 pro FPGA device. We validated our proposed technique by using the hardware software co-simulation method.

In this paper, the element combination algorithm for designing an arbitrary type of the automatic transmissions is proposed. The powertrain simulation software using this algorithm is then developed. The deliveries of the angular velocities and torques are only considered for the motion characteristics of the automatic transmissions. The effects of the vibration and noise are not considered. The automatic transmission is defined by the basic elements, i.e., planetary gear set, clutch, brake, shaft, general gear, and inertia. The transmission system is defined by the combination of these elements. The element combination matrices automatically generate the equations of motion for each shift. The self error-correcting algorithm is also developed to verify the element combination algorithm. This automotive powertrain simulation/design software with user-friendly graphic user interface has two main modules. The first module, the automatic powerflow generation module, mainly consists of the automatic powerflow and component generation algorithms. This paper covers the theory and application for the first module. The second module deals with the automatic system generation algorithm and will be discussed in the second paper.

In this paper, the automatic system generation algorithm based on the element combination algorithm discussed in the first part of this paper for designing an arbitrary type of the automatic transmissions is proposed. The powertrain design software using these algorithms is developed. This automotive powertrain design software with user-friendly graphic user interface has two main modules. The first module, the automatic power flow generation module, is already discussed in the previous paper. The second module dealing with the automatic system generation algorithm is discussed in this paper. The power-flow simulation software fur the arbitrary type of powertrain is then developed. The simulation and experimental results of the vehicle equipped with two planetary gear type automatic transmission are compared to validate the proposed algorithms and developed software. The simulation results demonstrate the good agreement with the experimental results.

It needs to accumulate a store of know-how on the design, precision processing and appraisement for metering pump which is a kind of gear pump fer synthetic fibers. But the period and cost fur development is not effective, because designers experience many trial and error for the pump design and manufacturing process. Therefore, in order to curtail the period and cut down expenses, the analysis and simulation system is required for a designed metering pump. In this study, the pump simulation software was developed with the visual C++ language and the image processing algorithm, and was investigated through a discharge test for the planetary gear type metering pump.

일반적으로 초고속 네트워크에서 실행되는 분산 시스템의 데이터 전달처리 효율은 시스템 구조 및 데이터의 전달처리 시스템에 의존한다. 분산 환경을 이용한 실시간 분산 시뮬레이션 시스템은 데이터전달처리의 실시간성과 시스템의 신뢰성 보장을 위하여 데이터 전달처리 시스템에 의하여 요구된 성능을 만족하고자 하였다. 그러나 실시간 시뮬레이션 시스템에 적용된 클라이언트/서버 기반의 데이터 전달처리 시스템은 시스템의 안정성 및 시스템의 변경에 따른 확장성과 유지보수성 확보가 어려웠다. 따라서 기존의 데이터 전달처리 시스템의 문제점을 해결하기 위하여 새로운 데이터 전달처리 시스템이 필요하다. 본 논문에서는 기존의 실시간 시뮬레이션 시스템을 분석하여 시스템 개선방향을 제시하고, 시스템 확장성, 상호운용성, 재사용성 및 유지보수성을 위하여 소프트웨어 디자인 패턴을 적용한 새로운 실시간 데이터 전달처리 시스템을 제안한다.

Usually, The data transmission processing efficiency of the distributed system running on high speed networks depends on the system architecture and the data transmission processing system. In order to secure the real-time rate and the system reliability, the real-time distributed simulation system on the distributed environment has tried to satisfy the performance required by the data transmission processing system. However, the client/server-based data transmission processing system in the real-time simulation system has been difficult to satisfy the system stability, extensibility and maintenability, especially when system changes. So, it is natural to study another improved data transmission processing system to solve the problems at the existing real-time simulation system. After analyzing the existing real-time simulation system, this paper will propose the improved real-time data transmission system by using Software Design Pattern, which enhances extensibility, interoperability, reusability and maintenability of the system.

본 논문에서는 ALT 보드와 NetLogo 확장 모듈을 개발하여 능동적 참여 모의실험 (Active Participatory Simulation: APS) 학습이 가능하도록 한다. 기존 참여 모의실험 학습에서도 실험이 수행되는 동안 학생들은 HubNet을 통하여 클라이언트로서 실험에 참여할 수 있다. 하지만 HubNet 서버만이 하나의 외부 모듈과 연결되기 때문에 다수의 클라이언트가 참여하는 이중초점 모델링 기반 학습이 불가능하다. 따라서 클라이언트의 참여와 실험 및 측정 데이터를 수집하기 위하여 ATmega32 기반의 ALT 보드를 개발한다. 또한 이 입력된 데이터를 HubNet 서버와 교환할 수 있는 TCP/IP 소켓 기반 Java 확장 모듈을 개발한다. ALT 보드와 확장 모듈을 통하여 APS 학습 환경 구축이 가능하다. 이를 위한 NetLogo 프로그래밍 방법을 소개하고 학습 예시를 보여 과학교육에 활용될 수 있는 방안을 모색한다.

In this paper, the ALT (ALTernative) board and a NetLogo extension module are developed for the active participatory simulation (APS) learning. Through the participatory simulation with HubNet each student can attend the experiment as one of clients. Only one HubNet server, however, is able to use an external device so that the bifocal modeling based learning with multiple users is impossible. In order to overcome the drawback, and enable clients participate into the experiment and collect the experimental data and the measured data, an ATmega 32 based board and its firmware are developed. In addition, Java extension module based on TCP/IP socket interfaces is developed to exchange the data with HubNet server. Finally, we show some NetLogo program examples to use the developed hardware and software for APS and seek the way to use them for science education.

본 논문에서는 기존 객체행위 설계방법에 의해 개발된 '시각적 실시간 객체모델'의 설계의미를 검증·확인하기 위한 시뮬레이션 기반 지원 시스템을 제안한다. 이 시스템은 실행 가능한 Ada 코드 생성에 의한 객체 프로세스들간의 동적이 상호작용을 시뮬레이션 할 수 있게 하며, 실제 시스템 구현에 앞서 여러 가지 논리적, 시간적 문제들을 검출할 수 있게 한다. 또한, 시뮬레이션에 의해 검증·확인된 명세서로부터 Ada 프로토타잎 코드를 직접 생성시켜 준다. 이 시스템은 Visual C++ 버전4.2로 개발되었다. 그리고, 시뮬레이션 코드로 Ada를 사용하였는데, 이것은 Ada의 병행 행위 및 시간 표현력 등의 실시간 시스템의 표현력에 있어 기존의 언어들에 비해 우수성을 가지고 있기 때문이다. 이 작업은 방법론 기반 시각적 모델과 자동화 된 정형기법 기반 시뮬레이션 시스템의 연결, 그리고 자동화된 명세 검증·확인 기술의 실현이라는 점에서 기여한다.

This paper presents a simulation-based system for verification and validation(V&V) of design implication of the Visual Real-time Object Model which is produced by existing object's behavior design method. This system can simulate the dynamic interactions using the executable Ada simulation machine, and can detect various logical and temporal problems in the visual real-time object model prior to the real implementation of the application systems. Also, the system can generate the Ada prototype code from the validated specification. This system is implemented by Visual C++ version 4.2. For simulation, this system is using the Ada language because Ada's real-time expression capabilities such as concurrent processes, rendezvous, temporal behavior expression, and etc, are competent compared to other languages. This work contributes to a tightly coupling of methodology-based visual models and formal-based simulation systems, and also contributes to a realization of automated specification V&V.

인공위성의 임무가 다양해지고 요구사항이 높아짐에 따라 탑재컴퓨터의 성능 향상이 필수적으로 대두되었으며, 인공위성 탑재컴퓨 터의 활용도를 높이기 위해 표준화 설계 및 시스템 재구성이 가능한 모듈화 기반으로 개발 되고 있다. 현재 한국항공우주연구원에서 개발 중인 차세대 인공위성의 탑재컴퓨터 경우 높은 성능을 제공하기 위해 SPARC v8 기반의 LEON2-FT/ AT697F 프로세서를 채택하였으며 SpaceWire, MIL-STD-1553B, CAN 등의 다양한 통신 디바이스들을 표준화 된 통신칩으로 구성하여 프로세서에서 PCI 통신을 통해 각종 디바이스들을 제어 및 통신 할 수 있도록 개발 하고 있다. 본 논문에서 차세대 탑재컴퓨터의 LEON2-FT 프로세서와 PCI 기반에서의 시스템 소프트웨어 개발 방안에 대해서 기술하며, PCI 소프트웨어 컴포넌트 설계 및 실시간 운영체제인 VxWorks 6.5 포팅 그리고 개발 된 시스템 소프트웨어를 검증하기 위한 시뮬레이션 방안을 제시한다.

The need for high performance of on-board computer (OBC) is essential due to the growing requirements and diversified missions, and so OBC has been developed on the basis of the standard design and reconfigurable modularization in order to improve the utilization of OBC for different missions. The processor in OBC of next generation satellite which is currently developed by KARI is adopted the LEON2-FT/AT697F processor based SPARC v8 as main processor and controls various devices such as SpaceWire, MIL-STD-1553B and CAN through PCI on the standardized communication chips. This paper presents the architecture and design of system software for LEON2-FT processor based on PCI, and development of PCI software component. Also it describes the porting of VxWorks 6.5 for LEON2-FT and the test under the simulation environment for LEON2-FT and PCI with communication chips.

한국전자통신연구원은 다양한 위성항법 응용프로그램과 항법알고리즘을 시험 및 평가하기 위한 소프트웨어 레벨의 환경을 제공하는 위성항법 신호생성 및 수신처리 시뮬레이터 툴을 개발하고 있다. 본 시뮬레이션 툴은 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

This paper is concerned to develop a fluid pressure system for the control of artificial bladder urine discharge. The primary goal is to force the fluid into the space between the inner wall and the outer wall by using a pump in the artificial bladder having a double structure of inner and outer walls and to form the urine discharge pressure by the contraction of the bladder inner wall due to the movement of the fluid. The ANSYS_CFD analysis is used to confirm the delivery of fluid pressure in the artificial bladder model, and the ANSYS_FSI analysis is used to identify the deformation and internal pressure of the artificial bladder through the delivery of fluid pressure, and to identify the discharge of urine. As the design parameters of the modeling of the artificial bladder and the fluid flow field, the capacity of the flow field, and the pump pressure input value were selected.

Modeling method to render cloud on the simulation is divided into two schemes, static and dynamic, depending on the accessibility of the cloud. Two schemes show the complete dissimilar properties in the aspects of realism and real-time processing. Thus, in this paper, we propose a new scheme that merges two modeling methods of the cloud for flight simulation by using the L-system. Since the proposed scheme considers both realism and rendering speed, it is possible to be implemented the formation and growth of the cloud in real-time manner. Finally, the proposed method is evaluated by the experimental results of real implementation in the flight simulation software based on OpenSceneGraph(OSG).

This paper presents the conventional and multiband Orthogonal Frequency Division Multiplexing (OFDM) simulation software named Signal Modulation Simulator (SiMiSIM). A simulation system was built with a Graphical User Interface (GUI) to provide a more user friendly interface than contemporary or command line interfaces. Three basic frequency modulation techniques were made available in SiMiSIM: Binary Phase Shift Keying (BPSK), Quadrature Phase-Shift Keying (QPSK) and Quadrature Amplitude Modulation (QAM). Each of the signals had to face Forward Error Correction (FEC) encoder to enhance the signal robustness at the receiver end. The simulation was able to simulate Bit Error Rate (BER) and Power Spectral Density (PSD) for research purposes as well as educational purposes.

In this work we propose a development methodology aiming to bridge the gap between approaches used by (e)-science communities to develop their modeling frameworks, and model driven engineering approaches used to develop modeling frameworks with similar complexity. The proposed methodology relies on a sound integration of UML-MARTE, CSP-OZ, and PyCSP. We show, in this paper, how to exploit this similarity to bridge the gap between both approaches. A first contribution of this paper consists in proposing a sound software development methodology for the construction of critical reactive systems in general and multi-scale simulation frameworks in particular. A second contribution consists in adding a new sub-profile for MARTE, the so-called SSRM (Specific Software Resource Model), dedicated to the modeling of multi-scale simulation frameworks. MUSCLE [9], a recent distributed multi-scale simulation framework, serves as a case study in this work. The proposed SSRM sub-profile is intended to define specific software resources that capture a subset of MUSCLE core concepts. A third contribution consists in sketching a formal semantic framework for our software development methodology aiming at ensuring a sound integration (from a semantic point of view) of UML-MARTE, CSP-OZ and PyCSP.

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.

Three-dimensional (3D) computed tomography image models are helpful in reproducing the maxillofacial area; however, they do not necessarily provide an accurate representation of dental occlusion and the state of the teeth. Recent efforts have focused on improvement of dental imaging by replacement of computed tomography with other detailed digital images. Unfortunately, despite the advantages of medical simulation software in dentofacial analysis, diagnosis, and surgical simulation, it lacks adequate registration tools. Following up on our previous report on orthognathic simulation surgery using computer-aided design/computer-aided manufacturing (CAD/CAM) software, we recently used the registration functions of a CAD/CAM platform in conjunction with surgical simulation software. Therefore, we would like to introduce a new technique, which involves use of the registration functions of CAD/CAM software followed by transfer of the images into medical simulation software. This technique may be applicable when using various registration function tools from different software platforms.

Three-dimensional (3D) computed tomography image models are helpful in reproducing the maxillofacial area; however, they do not necessarily provide an accurate representation of dental occlusion and the state of the teeth. Recent efforts have focused on improvement of dental imaging by replacement of computed tomography with other detailed digital images. Unfortunately, despite the advantages of medical simulation software in dentofacial analysis, diagnosis, and surgical simulation, it lacks adequate registration tools. Following up on our previous report on orthognathic simulation surgery using computer-aided design/computer-aided manufacturing (CAD/CAM) software, we recently used the registration functions of a CAD/CAM platform in conjunction with surgical simulation software. Therefore, we would like to introduce a new technique, which involves use of the registration functions of CAD/CAM software followed by transfer of the images into medical simulation software. This technique may be applicable when using various registration function tools from different software platforms.