• Journal of the Korea Society for Simulation
• /
• v.27 no.3
• /
• pp.37-44
• /
• 2018

In applying modeling and simulation (M&S) techniques to analyze complex discrete event dynamic systems, conventionally users had to use different simulation environments depending on the user-level. To solve the inconvenience, this paper proposes an integrated development environment for M&S depending on user-level and a formalized interface to manage the model in the development environment efficiently. The interface consists of an extended DEVS formalism and model making rules. The development environment is divided into a modeling environment and a simulation environment. In the modeling environment, three modeling methods are provided for each level of the users. Users inputs several parameters to the model generated as a result of the modeling process, and experiments in various cases by using the simulation environment. The case study shows the implementation of the proposed M&S environment, and using the implemented environment, it shows the M&S process of the complex defense combat system.

• Proceedings of the Korean Information Science Society Conference
• /
• 2006.06c
• /
• pp.115-117
• /
• 2006

웹에 대한 사용자의 다양한 요구와 더불어 시맨틱 웹에 대한 연구가 활발하게 이루어지고 있다. 이러한 연구 중에 대표적인 예가 바로 온톨로지의 구축에 대한 연구이다. ICS-FORTH는 온톨로지 구축을 위한 대표적인 시스템으로 SWIM을 이용한 분산된 환경에서의 독립된 온톨로지 즉, 관계형 데이터베이스와 XML로 된 온톨로지의 통합이 가능하도록 하였다. 또한, 통합된 온톨로지를 RDF/S를 기반으로 하는 뷰의 형태로 사용자에게 제공하여 추론이 가능한 질의 처리가 가능하도록 하였다. 이에 따라, 본 논문에서는 W3C에서 제안한 OWL을 통합의 대상으로 통합의 범위를 확장하기 위한 기법을 제안한다. 제안한 기법은 RDF/S를 확장한 다양한 관계의 기술이 가능하기 때문에 사용자가 RQL 형태의 질의를 미들웨어에서 처리할 수 있는 형태로의 변환하는 기존 기법의 확장된 형태이다. 이러한 확장을 통하여 기존 온톨로지 통합의 범위를 확장하여 보다 많은 사용자의 다양한 요구에 대응할 수 있다.

• Annual Conference of KIPS
• /
• 2013.11a
• /
• pp.1461-1463
• /
• 2013

최근 들어 근로자의 이동시간 단축을 통한 에너지 절감뿐만 아니라 저출산 고령화에 따른 노인 인구의 경제활동 유도, 출산여성에 대한 경력단축 방지, 장애인에 대한 근로활동 제공 등을 위한 근로 환경의 변화가 요구되고 있다. 이러한 근로환경을 제공하기 위한 스마트워크는 기존 사무실에서 근무하는 환경을 탈피하여 댁내, 스마트워크 센터, 또는 이동 중에도 마치 직장에서 근무하는 것처럼 업무를 효율적으로 수행할 수 있는 환경을 제공한다. 스마트워크는 현재 사용중인 여러 가지의 기술들을 근로환경에 맞게 채택하여 구현할 수 있으며, 특히 근로자의 업무 생산성을 높이기 위한 협업기능이 제공될 필요가 있다. 영상협업 기능은 영상, 음성 및 콘텐츠 공유를 통해 원격지 간에 효과적인 업무를 수행할 수 있도록 제공하는 기능이다. 본 논문은 스마트워크에서 영상협업을 제공하기 위하여 요구되는 상호연동 기능확장을 위한 표준화 이슈에 대하여 기술한다.

• Annual Conference of KIPS
• /
• 2003.05b
• /
• pp.907-910
• /
• 2003

본 논문에서는 에이전트의 효율적 이주를 제공하기 위한 전역 디렉토리 스킴을 제안한다. 제안된 스킴은 동적으로 삯은 변경을 갖는 분산 시스템에서 에이전트의 서비스 수행을 위한 에이전트 및 환경에 대한 트래킹을 통해 효율적인 이동 에이전트의 이주를 지원하는 것을 목적으로 한다. 본 연구에서는 이를 위해 대표적인 이동에이전트 시스템인 IBM's Aglets Software Development Kit을 확장하여 에이전트 수행 환경에 대한 모니터링 모듈을 구현하고 이를 기반으로 기존의 마스터-슬래이브 형태의 이동 에이전트 시스템을 확장하여 구현하였다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2003.10c
• /
• pp.154-156
• /
• 2003

웹 서버의 처리 용량을 향상시키기 위한 가장 보편적인 접근방안은 서버 시스템을 중복하여 여러 개 설치하는 것이다. 하지만 이러한 물리적인 증설은 확장이 용이한 반면 비용이나 공간 등의 측면에서 큰 부작용을 동반하기 마련이다. 이와 같은 물리적인 확장 외에 운영체제 환경이나 응용 프로그램의 작은 개선에 의해서도 뜻밖의 큰 성능효과를 얻을 수 있는 경우가 있다. 이 논문에서는 이미지나 데이터 파일 등 고정된 파일을 내려 받을 때 웹 서버에서 일반 파일 대신 Memory Mapped File 입ㆍ출력을 사용한 웹 서비스 성능 향상 방법을 설계ㆍ구현하고 이를 통해서 얻어지는 이득을 실 서비스 환경에서 검증한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2002.10e
• /
• pp.688-690
• /
• 2002

최근 인터넷의 성장과 함께 인터넷을 이용한 사설망인 VPN의 필요성이 커지고 있다. 본 논문에서는 확장된 NAT 기능을 이용한 VPN 기능을 임베이드 리눅스 환경에서 구현하여 기존 VPN의 단점을 보완하고 VPN 장비의 크기를 최소화 할 수 있도록 한다. 제안된 VPN 기능은 실제 인터넷 환경에 적용하기 쉬우며 보안 프로토콜이나 암호화 알고리즘을 생략하고도 강한 보안성을 제공하고, 기존의 공개망을 최대한 활용할 수 있어 그 활용가치가 높을 것으로 생각된다. 또한, 임베이드 시스템에서 VPN을 구현함으로써 장비의 소형화, 안정성 및 경제성을 실현하여 그 활용가치가 높을 것으로 생각된다.

• Annual Conference of KIPS
• /
• 2004.11a
• /
• pp.797-800
• /
• 2004

유비쿼터스 컴퓨팅 환경은 공통적으로 재사용 가능하고, 확장성이 강력한 컨텍스트 모델이 필요하다. 본 논문에서는 엔티티(Entity), 컨텍스트 타입(Context Type), 값(Value)으로 구성된 트리플을 기반으로 한 유비쿼터스 컴퓨팅 환경의 컨텍스트를 모델을 제안하였다. 컨텍스트 정보를 주어, 동사, 목적어에 해당하는 (Entity, Context Type, Value) 트리플로 표현함으로써 재사용성과 확장성을 제공한다.

• 정보화사회
• /
• s.87
• /
• pp.12-17
• /
• 1995

개방형 시스템의 표준 운영체계인 유닉스는 클라이언트 서버 컴퓨팅 환경의 중심요소로 자리잡고 있다. 유닉스를 근간으로 네트워크를 구축할 경우 다양한 이점이 있다. 개방성, 확장성, 이식성, 상호운용성 등 유닉스가 갖고 있는 특징으로 대변되는 유닉스 환경에서의 네트워크에 대해 살펴본다.

• Journal of IKEEE
• /
• v.11 no.3
• /
• pp.95-99
• /
• 2007

In this study, the electrical characteristics of Symmetric and Asymmetric High Voltage MOSFET(HV-MOSFET) under high temperature were investigated. And, the specific on-resistance, threshold voltage, transconductance, drain current of the HV-MOSFETs were measured over a temperatures range of 300K ${\leq}$ T ${\leq}$400K. From the result of measured data, specific on-resistance increases slightly with increasing temperature. Especially, at high temperature(at 400K) specific on-resistance was increased about 30% than that in room temperature. And, in high temperature condition (at 400K), drain current was decreased about 30%, Also, transconductance(gm) was decreases with increasing temperature.

• Journal of KIISE
• /
• v.43 no.6
• /
• pp.692-699
• /
• 2016

C compilers for 8-bit MCUs used in washing machines and refrigerators often do not follow the C standard to improve runtime performance. Developers who are unaware of the difference between C compilers following the C standard and the C compilers for 8-bit MCU can cause bugs that do not appear in the standard C environment but appear in the embedded systems using 8-bit MCUs. It is difficult for bug detectors that assume the standard C environment to detect such bugs. In this paper, we introduce integer promotion bugs caused by the different integer promotion rules of the C compilers for 8-bit MCU from the C standard and propose 5 bug patterns where the integer promotion bugs occur. We have developed an integer promotion bug detection tool and applied it to the washing machine control software developed by the LG electronics. The integer promotion bug detection tool successfully detected 27 integer promotion bugs in the washing machine control software.