• Journal of the Korean Institute of Telematics and Electronics
• /
• v.25 no.10
• /
• pp.1252-1262
• /
• 1988

This paper describes a functional-level design and simulation of Graphics Processor(GP) which can be used in various graphics systems. GP is divided into two parts: One is CPU, and the other is the interface to I/O peripherals. In order to achieve fast execution of graphics instructions, the CPU has special ALU, barrel shifter and window comparator and a FIFO for instruction prefetch. I/O part controls the DRAM and VRAM which constitute the GP's local memory, generates the signals to drive monitor, and communicates with the host processor. The functional simulation of CPU was done on Daisy workstation while the I/O part was designed using GENESIL, a silicon compiler.

• Journal of Digital Contents Society
• /
• v.10 no.4
• /
• pp.605-614
• /
• 2009

The software-defined radio (SDR) is a radio communication technology that can reconfigure necessary application software on a common hardware platform to deal with several kind of radio communication environment. It is necessary for a system that can control and analyze functionalities of a system in order to verify the SCA-based reconfigurable middleware platform, SCARLET that implements the SDR technology. In this paper, we propose and implement the architecture of the waveform manager that is connected with SCARLET and performs management and control functionalities. We verify the performance of the waveform manager by testing each functionality of the overall system that uses the SCARLET middleware platform.

• Journal of the Korea Society of Computer and Information
• /
• v.16 no.4
• /
• pp.243-252
• /
• 2011

The study was to test hypothesis that social support and family function affect on life satisfaction, suggested the policy implications. I established research model based on reference review and took a questionnaire on the life satisfaction to the middle-aged and old-aged people over the age of fifty, who live in G city among the attendants at the program that was held by the local government. According to analytical results, social support and family function affected on social participation and life satisfaction. This study suggested theoretical and policy implications based on analytical results.

• Journal of Korea Game Society
• /
• v.21 no.1
• /
• pp.67-80
• /
• 2021

The purpose of this study were to develop VR-based cooking serious game(VR-Cook) for students with intellectual disabilities and to validate effectiveness. The VR-Cook was developed using the ASSURE model. Twenty students with intellectual disabilities were participated to verify effectiveness. Ten students were assigned to the experimental group and the others to the control group. The control group received traditional interventions, and the experimental group participated in the intervention combining traditional intervention with VR-Cook. Evaluations were made at three times, and evaluation data were analyzed with repeated two-way ANOVA. The experimental group has improved more than control group in cooking activities and class attitudes.

• Proceedings of the Korean Information Science Society Conference
• /
• 2002.04a
• /
• pp.70-72
• /
• 2002

본 논문에서는 기존 파일 시스템의 일관성 검사 프로그램 및 클러스터 파일 시스템의 특징 분석을 통해 클러스터 파일 시스템의 일관성을 검사하는데 필요한 프로그램 설계 요소 및 구현 방법에 관해 논한다. 나아가 이러한 설계 방법에 따라 구현된 프로그램을 실제 상용화된 클러스터 파일 시스템에 적용함으로써 검사 프로그램의 기능을 검증한다 이를 위해 뮤테이션 테스트(Mutation Test) 기법을 도입하여 일관성 검사 프로그램의 신뢰성 검증 방법을 고찰하고 그에 따른 테스트 결과를 살펴본다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2002.04a
• /
• pp.253-255
• /
• 2002

무선 자원 제어 프로토콜에서는 각 기지국 영역을 벗어나 다른 기지국으로 이동할 때 통화의 단절 없이 계속 유지하는 핸드오버 기능이 필수적이다. 핸드오버는 이동 통신 네트웍에서 필수적인 하나의 수단으로 현재 서비스 중인 연결의 협상된 서비스의 질을 유지하면서 단말기의 이동성 보장을 목표로 한다. 본 논문에서는 Telelogic 사의 통신 시스템 통한 개발 도구인 SDT와 ITEX를 이용하여 현재 3GPP 진영에서 개발중인 IMT-2000/비동기방식 무선 인터페이스 중 무선 자원 제어 프로토콜의 핸드오버 절차를 SDL로 명세하고, 정확성을 검증한다. 그리고 검증된 핸드오버 절차의 적합성 시험을 수행한다.

• Proceedings of the KIEE Conference
• /
• 2009.07a
• /
• pp.1634_1635
• /
• 2009

국산 개발 분산 제어시스템의 발전 설비에의 적용을 위해서는 시뮬레이터를 이용한 제어 시스템의 기능 및 신뢰성 등의 검증이 요구되어진다. 본 논문에서는 제어시스템 검증용 시뮬레이터를 개발하는데 있어서, 제어 모델 중 기동 초기와 급격한 부하 변동시 활용되어지는 터빈 바이패스 계통의 제어 로직을 구현하고, 발전소 모델과의 연계를 통한 시뮬레이션을 통해 구현한 제어 로직의 효용성을 보인다.

• Proceedings of the Korea Multimedia Society Conference
• /
• 2003.05b
• /
• pp.310-313
• /
• 2003

PDA를 이용한 무선 네트워크에 대한 활용도가 높아짐에 따라, PDA상에서 이루어지는 무선 네트워크 보안에 대한 관심이 증가하고 있다. PDA 무선 네트워크 보안 문제를 해결하기 위해 많은 연구 및 솔루션 개발이 진행되고 있으나, 이들의 신뢰성을 검증할 만한 시스템 및 연구는 제대로 이루어지지 않고 있다. 본 논문에서는 PDA환경의 무선 네트워크 응용계층 보안모듈들이 무결성 기능을 제대로 제공하는지를 검증 및 관리할 수 있는 시스템을 설계 및 구현하였다.

• Annual Conference of KIPS
• /
• 2018.05a
• /
• pp.253-255
• /
• 2018

기술발전에 따라, 보다 다양한 분야와 영역에 다양한 형태의 임베디드 시스템이 사용됨에 따라, 그에 대한 신뢰성과 안전성에 대한 요구가 증가하면서, 하드웨어 뿐만 아니라 소프트웨어까지도 포함한 부분에 대한 철저한 명세와 그에 따른 검증이 요구되고 있어, 임베디드 시스템 및 소프트웨어의 요구사항 검증을 위해 요구사항 시뮬레이션이라는 기법을 적용하고, 그 효용성을 확인하고자 한다.

• Journal of the Institute of Electronics Engineers of Korea SC
• /
• v.48 no.4
• /
• pp.25-32
• /
• 2011

A control system has been developed by korean engineers for 500MW korean standard type fossil power plant with the advent of retrofit of old control system. The developed control system is required to verify in terms of function and reliability prior to application to a power plant because a power plant is a very important facility in the industry. It is difficult to secure the enough period for installing the control system and commissioning due to the gradual increase of power demand and competitive power market environment. It is essential to verify the control system in order to reduce trial and error cases during overhaul period for application of control system to the power plant. This paper shows the case study of a functional test of a station of control system for power plant.