• 한국시뮬레이션학회논문지
• /
• 제15권4호
• /
• pp.29-39
• /
• 2006

센서 네트워크는 감지, 처리 그리고 무선 통신 능력을 갖는 작은 노드들로 구성되어 있다. 최근에는 기지 노드와 센서 노드들 간의 데이터 전송을 위한 수많은 라우팅 프로토콜이 개발되었으며, 특히 Intanagonwiwat가 제안한 디렉티드 디퓨젼은 기지 노드에서 특정 지역에 요청 메시지를 전달하여 각 노드들로부터 데이터를 수집하기 위한 대표적인 라우팅 프로토콜이라고 할 수 있다. 그러나 디렉티드 디퓨젼은 네트워크 내에 배치된 모든 노드들을 향하여 요청 메시지를 전달하기 때문에 많은 에너지를 소비시킨다. 따라서 본 논문에서는 센서 네트워크의 에너지 소비를 줄이기 위하여 특정한 임계값을 이용하여 데이터 전달 영역을 제한할 수 있는 새로운 데이터 전송 기법을 제안한다. 여기서 임계값은 네트워크에 배치된 모든 노드들의 에너지와 밀도 정보를 고려하여 사전에 설계된 퍼지 로직에 의해서 결정된다. 시뮬레이션 모델은 이산 사건 시뮬레이션 모델을 이론적으로 표현해 놓은 DEVS 형식론을 기반으로 설계하고 구현하였다.

• 한국시뮬레이션학회논문지
• /
• 제23권2호
• /
• pp.1-6
• /
• 2014

CPS는 네트워크로 연결된 다수의 임베디드 시스템들이 물리 시스템과 연동하는 새로운 개념의 시스템 이다. 기존의 시스템은 일반적으로 물리 시스템 부분을 고려하지 않았다. 그러나 CPS에서 우리는 물리 시스템에서의 변화와 움직임을 고려해야 한다. 따라서 CPS의 복잡도가 증가로 시스템에서 잠재적인 문제 발생 역시 증가 한다. 본 논문에서 우리는 CPS의 신뢰성을 위하여 실행 가능한 모델 기반 설계 방법론을 적용하고 이를 검증하기 위한 분산 실시간 시뮬레이션 기법을 사용한다. 이산과 연속 요소를 갖는 하이브리드 시스템의 설계를 위하여 우리는 DEV&DESS 형식론을 적용하고 DDS 미들웨어 기반 분산 시뮬레이션 환경에서 시뮬레이션을 수행한다. 또한 우리는 개발한 모델링 도구를 이용한 CPS 응용분야의 모델링 및 시뮬레이션 수행 결과를 보여준다.

• Bulletin of the Korean Chemical Society
• /
• 제35권2호
• /
• pp.494-500
• /
• 2014

Indium-doped zinc oxide nanocrystals (IZO NCs), capped with stearic acid (SA) of different sizes, were synthesized using a hot injection method in a noncoordinating solvent 1-octadecene (ODE). The ligand exchange process was employed to modify the surface of IZO NCs by replacing the longer-chain ligand of stearic acid with the shorter-chain ligand of butylamine (BA). It should be noted that the ligand-exchange percentage was observed to be 75%. The change of particle size, morphology, and crystal structures were obtained using a field emission scanning electron microscope (FE-SEM) and X-ray diffraction pattern results. In our study, the 5 nm and 10 nm IZO NCs capped with stearic acid (SA-IZO) were ligand-exchanged with butylamine (BA), and were then spin-coated on a thermal oxide ($SiO_2$) gate insulator to fabricate a thin film transistor (TFT) device. The films were then annealed at various temperatures: $350^{\circ}C$, $400^{\circ}C$, $500^{\circ}C$, and $600^{\circ}C$. All samples showed semiconducting behavior and exhibited n-channel TFT. Curing temperature dependent on mobility was observed. Interestingly, mobility decreases with the increasing size of NCs from 5 to 10 nm. Miller-Abrahams hopping formalism was employed to explain the hopping mechanism insight our IZO NC films. By focusing on the effect of size, different curing temperatures, electron coupling, tunneling rate, and inter-NC separation, we found that the decrease in electron mobility for larger NCs was due to smaller electronic coupling.

• 한국전산구조공학회논문집
• /
• 제27권3호
• /
• pp.173-182
• /
• 2014

동역학의 새로운 변분이론인 혼합 합성 변분이론은 수학물리학을 비롯한 공학에 있어 초기치-경계치 문제해석에 광범위하게 적용될 수 있는 기반을 제공하는 것으로, 본 논문은 이 이론을 토대로 시간에 대한 이차의 형상함수가 적용된 시간 유한요소해석법을 개발하고 그 해석법의 수치특성 확인을 통해 향후 다양한 동적시스템 해석의 적용에 대한 가능성을 살펴보았다. 이를 위해 가장 기본적인 선형탄성의 단자유도계가 고려되었다. 에너지 보존시스템의 경우(비감쇠 시스템에 외력이 작용치 않는 경우), 제안된 알고리즘 모두는 time-step에 관계없이 안정적이며 수치감쇠가 없이 에너지와 모멘텀이 보존되는 symplecticity property를 가지고 있음을 확인할 수 있었고, 감쇠시스템인 경우, time-step이 점점 작아질수록 정확한 해에 빠르게 수렴하는 것을 확인하였다.

• Nuclear Engineering and Technology
• /
• 제7권4호
• /
• pp.267-275
• /
• 1975

U-233에 관한 저에너지에 있어서의 분리가 가능한 공명구조를 다 준위 이론을 고려한 아들라-아들라 이론에 의하여 조사하였다. 아들라-아들라의 유효 공명 매개변수를 이용하여 60eV 이하의 에너지 영덕에 있어서의 U-233의 공명 흡수 및 핵분열 단면적을 계산하였다. 또한 상기 단면을 잘 표시하여 줄 수 있도록 정하여진 아들라-아들라 매개변수를 이용하여 U-233에 관한 무한 희석 공명적분을 구하였으며, 이는 여기서 고려한 대부분의 공명 에너지 영역에서 실험과 잘 일치하였다. 또한 원자고 계산에는 유용하나 다 준위 이론을 적응할 수는 없는 현존의 전자계산 코드들을 활용하기 위하여 아들라-아들자의 다 준위 이론에 따른 매개변수를 단일 준위 이론에 의한 가매개변수로 변환하여 이 결과를 표로 표시하였다.

• 한국경영과학회지
• /
• 제20권2호
• /
• pp.159-178
• /
• 1995

Supervisory control is an approach based on formal language. it is used to model and control discrete event systems in which each discrete event process is represented as an automation. A supervisor is a generator that switches control patterns in such a way that a given discrete evenet process behaves in obedience to various constraints. A flexible manufacturing cell (FMC) is one of discrete evenet systems. Functions necessary for the operation of an FMC are characterized by operational components and informational compoments. The operational components can be modeled using the finite state machines and the informational components can be modeled using the abstract formalism which describes supporting operations of the cell controller. In this paper, we addressed function required for FMC control specification, software engineering aspects on FMC control based on supervisory control, a concept of event queue for resolving synchronization problem, and complexity reduction. Based on the mathematical model of an FMC. we synthesized the controller by integrating a supervisor for FMC with control specification that specifies event-driven operation of the cell controller. The proposed control scheme is stable mathematically so that the system always behaves on a controlled way even under the existence of uncontrollable events. Furthermore, using an event queue concept, we can solve a synchronization problem caused by the violation of instantaneity assumption of supervisory control theory in real life situation. And also, we can propotype a control software rapidly due to the modularity of the proposed control scheme.

• 한국콘텐츠학회논문지
• /
• 제3권4호
• /
• pp.38-47
• /
• 2003

분산 문제 해결 방법은 문제 해결 능력을 갖는 knowledge-sources(KS'S)들이 분산되지만 느슨한 연결을 유지하며 서로 협력하여 문제를 해결하는 수단을 제공한다. 계약망 프로토콜(Contract Net Protocol)은 이러한 분산 문제 해결 분야에서 KS 간의 통신과 제어를 위해 제안된 방법이다. 역할의 분담은 협상 과정에 의해서 결정이 되며 협상의 결과 주어진 역할을 수행하게 된다. 본 논문에서는 분산 침입 탐지 시스템 (Distributed Intrusion Detection System)의 침입 성능을 향상시키며, 침입 차단 시스템(firewall)과의 통신을 위해서 계약망프로토콜을 사용하여 연동하는 방법을 소개한다. IDS와 firewall의 모델을 계층적으로 구성하기 위해서 DEVS (Discrete Event system Specification) 방법론을 사용하였다. 각 침입 탐지 에이전트는 계약망 프로토콜을 사용하여 침입을 탐지하게 된다. 침입 탐지의 내용은 바로 방화벽에 알려지고 방화벽은 이러한 침입 사실을 바탕으로 유해 트래픽이 네트워크로 유입되는 것을 막는다. 즉 한 침입 탐지 시스템이 침입을 탐지하게 되면 이를 침입 차단 시스템에 알리게되어 해당 침입 패킷을 차단하게 된다. 이러한 방법을 사용하여 네트워크의 피해를 막게 된다.

• 한국시뮬레이션학회논문지
• /
• 제24권4호
• /
• pp.11-21
• /
• 2015

클라우드 컴퓨팅 환경은 다수의 가상서버 처리요청으로 인해 필요 자원을 충분히 제공하지 못한 경우, 특정 서버에 부하가 걸리는 문제가 발생할 수 있다. 이주관리자는 물리서버 내에 존재하는 가상서버들의 이주 효율성 향상을 위해 각 물리서버의 자원 정보를 모니터링 시스템으로부터 전달받고, 시뮬레이션 결과 값을 토대로 이주 목적지 물리서버를 결정한다. 하지만 모든 물리서버의 미래 자원 사용량을 예측하여 시뮬레이션 과정을 거쳐 이주 목적지 물리서버를 결정하는 것은 소수의 서버 네트워크 컴퓨팅 환경보다 거대하고 복잡한 클라우드 컴퓨팅 환경에서는 오버헤드가 크다. 본 논문에서는 퍼지로직 기반 이주 결정 모델(FPLM)을 제안하고 DEVS 형식론을 적용하여 이주 발생 횟수 및 성능을 비교 측정하였다. FPLM은 이주 발생 횟수 및 이주 목적지 결정 오버헤드를 감소시킴으로써 이주 발생으로 인한 물리서버 자원 사용 효율성을 증가시킨다.

• 한국시뮬레이션학회논문지
• /
• 제16권3호
• /
• pp.75-87
• /
• 2007

VoIP 서비스 품질이 개선되고 많은 문제점들이 극복되면서 이에 대한 사용자들의 관심이 높아지고 있다. VoIP는 인스턴트 메시징 서비스 등 사용자들의 편익을 위한 서비스를 제공하고 있지만 비용 및 보안 문제는 사용자들의 이러한 서비스 사용을 주저하게 만들고 있다. 본 논문은 이와 같은 문제 중 하나인 VoIP 스팸 문제를 다루고자 한다. 스팸 콜에서의 음성 메시지 신호 패턴을 고려하여 정상 콜과 Noise가 포함된 정상 콜, 스팸 콜 이 세 가지 음성 모델을 설계하고, 논문에서 제시하는 음성 신호 정보량 기반의 스팸 탐지 알고리즘에 적용해 보았다. 각 모델의 모델링 및 시뮬레이션은 DEVS-$Java^{TM}$를 이용하였다. 본 연구는 스팸 콜 음성 신호를 탐지하기 위한 방법을 제시하고 이를 모델링 및 시뮬레이션 방법론을 통해 검증하는 것에 기여점을 둘 수 있다.

• 한국통신학회논문지
• /
• 제35권1B호
• /
• pp.1-7
• /
• 2010

본 논문에서는 편향 자기 경로 제어 방법을 사용하는 새로운 고성능 고장 감내 스위칭 망을 제시한다. 기반이 되는 델타 망의 위상적 구조를 대수적 기법을 사용하여 해석한 결과로 부터, 편향 자기 경로 제어 알고리즘을 사용하는 다중 경로 스위칭 망인 다차원 링-델타 망을 유도한다. 제시된 스위칭 망에서는 델타 망의 링크들을 포함하는 모든 링크들이 결함 혹은 혼잡이 생긴 링크들을 우회하는 대체 경로들로써 사용된다. 본 연구에서 비균일 주소 분포를 가진 부하를 가했을 경우의 이 망의 성능을 시뮬레이션을 사용하여 분석하였다. 입력 셀의 도착률이 0.9이고, Hot Ratio가 0.8인 경우, $1024\;{\times}\;1024$ 크기의 제안된 스위칭 망의 통과율은 사이클릭 벤얀 망에 비해서 36.5% 우수하고, 2차원 링-벤얀 망에 비해서 13.3% 우수하다. 또한, $64\;{\times}\;64$ 크기의 제안된 스위칭 망의 신뢰도 는 Hui의 망에 비해 2.2배, 2차원 링-벤얀 망에 비해 46.6% 높다.