• 천문학회지
• /
• 제46권1호
• /
• pp.49-63
• /
• 2013

Nonthermal radiation from supernova remnants (SNRs) provides observational evidence and constraints on the diffusive shock acceleration (DSA) hypothesis for the origins of Galactic cosmic rays (CRs). Recently it has been recognized that a variety of plasma wave-particle interactions operate at astrophysical shocks and the detailed outcomes of DSA are governed by their complex and nonlinear interrelationships. Here we calculate the energy spectra of CR protons and electrons accelerated at Type Ia SNRs, using time-dependent, DSA simulations with phenomenological models for magnetic field amplification due to CR streaming instabilities, Alf$\acute{e}$enic drift, and free escape boundary. We show that, if scattering centers drift with the Alf$\acute{e}$en speed in the amplified magnetic fields, the CR energy spectrum is steepened and the acceleration efficiency is significantly reduced at strong CR modified SNR shocks. Even with fast Afv$\acute{e}$nic drift, DSA can still be efficient enough to develop a substantial shock precursor due to CR pressure feedback and convert about 20-30% of the SN explosion energy into CRs. Since the high energy end of the CR proton spectrum is composed of the particles that are injected in the early stages, in order to predict nonthermal emissions, especially in X-ray and ${\gamma}-ray$ bands, it is important to follow the time dependent evolution of the shock dynamics, CR injection process, magnetic field amplification, and particle escape. Thus it is crucial to understand the details of these plasma interactions associated with collisionless shocks in successful modeling of nonlinear DSA.

• 정보화연구
• /
• 제9권4호
• /
• pp.455-464
• /
• 2012

최근 데이터의 폭발적인 증가로 인해 대규모 데이터의 분석에 대한 요구를 충족할 수 있는 방법들이 계속 연구되고 있다. 본 논문에서는 맵리듀스를 이용한 분산 병렬 처리를 통해 대규모 데이터 큐브의 효율적인 계산이 가능한 MRIterativeBUC 알고리즘을 제안하였다. MRIterativeBUC 알고리즘은 기존의 BUC 알고리즘을 맵리듀스의 반복적 단계에 따른 효율적인 동작이 가능하도록 개발되었고, 기존의 대규모 데이터 큐브 계산에 따른 문제인 데이터 크기와 저장 및 처리 능력의 한계를 해결하였다. 또한, 분석자의 관심 부분에 대해서만 계산하는 빙산 큐브 개념의 도입과 파티셔닝, 정렬과 같은 큐브 계산을 분산 병렬 처리하는 방법 등의 장점들을 통해 데이터 방출량을 줄여서 네트워크 부하를 줄이고, 각 노드의 처리량을 줄이며, 궁극적으로 전체 큐브 계산 비용을 줄일 수 있다. 본 연구 결과는 맵리듀스를 이용한 데이터 큐브 계산에 대해서 상향식 처리와 반복적 알고리즘을 통해 다양한 확장이 가능하며, 여러 응용 분야에서 활용이 가능할 것으로 예상된다.

• 한국통신학회논문지
• /
• 제28권3B호
• /
• pp.183-190
• /
• 2003

인터넷 트래픽의 급증이 한정된 대역폭의 효율적인 운용을 요구하게 되면서 광 네트워크를 기반으로 하는 여러 가지 기술들이 소개되었다. 기존의 파장 다중화 개념에 merging 기술을 접목시킴으로써 제한된 파장의 효율적인 운용은 물론 망의 확장성을 제공한다. 광 도메인에서의 파장 merging 기술은 광 소자의 제약으로 인해 직접 구현될 수 없기 때문에 전자적인 도메인에서 수행된다. Merging이 구현됨에 따라 OXC (Optical Cross Connection)에서의 지연 시간은 증가하지만 대용량의 대역폭을 지원하는 광 채널(요구파장)을 감소시키게 되어 폭주하는 트래픽 처리 측면에서 처리율의 향상을 기대할 수 있다. 본 논문에서는 FEC merging 기능을 포함하는 이중 모듈구조인 OXC를 제안하였다. 최적의 merging 포인트 값은 시스템 성능 중 최대 값으로 산출하였으며 merging후의 결과 값은 모의 실험을 통해 확인하였다.

• 한국화재소방학회논문지
• /
• 제27권6호
• /
• pp.115-121
• /
• 2013

산업시설의 대형, 첨단화에 따라 각 산업현장에서 다양한 종류의 유해 위험물질이 대량으로 사용되고 있다. 이에 따라 독성누출, 화재, 폭발 등의 중대산업사고가 지속적으로 발생되고 있으며 그 위험은 점점 높아지고 있는 실정이다. 여러 예방 시스템 중 Process Safety Management (PSM, 공정안전관리)제도가 있지만 아직까지도 제도의 취지와는 다르게 자율적인 운영보다는 해당 관청의 지도 점검에 맞추어 PSM 제도가 운영되고 있어 보이지 않는 중대위험이 잠재한 대규모 PSM 사업장의 안전성 확보에는 한계가 있다고 할 수 있다. 사업장의 안전시스템을 검증하기 위해서는 기존 시스템의 보완이 절실히 요구된다. 이에 본 연구에서는 PSM 자체감사의 중요성을 강조하고, 현재 제도의 문제점을 분석하여, 이에 대한 시스템 검증으로 제도 개선의 제안과 효율적인 자체감사 운영을 통해 자율 안전성을 강화하도록 하였으며, 또한 제도적으로도 이를 뒷받침할 수 있는 방법을 연구하여 제안하였다.

• 대한전자공학회논문지SP
• /
• 제46권1호
• /
• pp.79-86
• /
• 2009

본 논문에서는 자연지진음과 인공지진음 특성 분석을 위해 스펙트럼 기울기 파라미터 추출을 위한 알고리즘을 제안하였다. 신뢰성을 높이기 위해 다양한 지역에서 실험을 실시하였고 제안한 알고리즘을 이용하여 실험 데이터로부터 자연지진음과 인공지진음의 기울기 지수를 추출함으로써 특성을 분석하였다. 실험 및 분석결과 자연지진음이 인공지진음보다 스펙트럼에서 고주파 감쇠가 크고 저주파대역에 집중되어 있어 자연지진음의 기울기 지수가 인공지진음의 기울기 지수보다 높은 것으로 나타났다.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제13권10호
• /
• pp.4849-4864
• /
• 2019

Modern applications such as augmented reality, connected vehicles, video streaming and gaming have stringent requirements on latency, bandwidth and computation resources. The explosion in data generation by mobile devices has further exacerbated the situation. Mobile Edge Computing (MEC) is a recent addition to the edge computing paradigm that amalgamates the cloud computing capabilities with cellular communications. The concept of MEC is to relocate the cloud capabilities to the edge of the network for yielding ultra-low latency, high computation, high bandwidth, low burden on the core network, enhanced quality of experience (QoE), and efficient resource utilization. In this paper, we provide a comprehensive overview on different traits of MEC including its use cases, architecture, computation offloading, security, economic aspects, research challenges, and potential future directions.

• 대한안전경영과학회지
• /
• 제17권1호
• /
• pp.179-192
• /
• 2015

In an automated industry PLC plays a central role to control the automation system. Therefore, fault free operation of PLC controlled automation system is essential in order to maximize a firm's productivity. A prior test of control system is a practical way to check fault operations, but it is a time consuming job and can not check all possible fault operation. A formal verification of PLC program could be a best way to check all possible fault situation. Tracing the history of the study on formal verification, we found three problems, the first is that a formal representation of PLC control system is incomplete, the second is a state explosion problem and the third is that the verification result is difficult to use for the correction of control program. In this paper, we propose a transformation method to reproduce the control system correctly in formal model and efficient procedure to verify and correct the control program using verification result. To demonstrate the proposed method, we provided a suitable case study of an automation system.

• 전기학회논문지
• /
• 제66권6호
• /
• pp.916-922
• /
• 2017

Security systems for inland cargo truck transportation are mostly limited to route tracking for safe and efficient transportation. With this route tracking system, the status of cargo trucks can be monitored easily within inland boundaries. In case of oil transportation by land, however, security systems ensuring transportation of a designated quantity of products have been subject to extensive research since thefts and substitution by a similar product in the transportation process have emerged as a social problem. Security devices installed in an oil tank truck must meet the explosion-proof performance standards and be applicable to varying types of trucks. Accordingly, a wireless electronic seal with RF communication functions is considered to be the most appropriate method, but e-seals on moving vehicles require such levels of performance and reliability that can overcome certain challenges including changing radio waves and topographical impediments. Considering these characteristics of oil tank trucks, this study proposes an stabilization method to enhance the RF communication performance of e-seals, based on radio simulation and experiment findings.

• 대한설비공학회:학술대회논문집
• /
• 대한설비공학회 2008년도 하계학술발표대회 논문집
• /
• pp.1309-1314
• /
• 2008

I.G.G is abbreviation for Inert Gas Generator, High temperature in Cargo Tank it desulfurize, exhausted and froze the gas that combined brimstone element and soot, then supply Inert gas by blower, and mack tank inside incombustible range this is equipment that nip in the bud the explosion. The blower for suppling inactivated gas has big impeller with heavy weight to achieve the high pressure, it causes a delay for first operation time and too much load is delivered to motor, total destruction by fire of motor is happening frequently. On this research, we will reduce the size & weight of impeller and install it with several stage, it makes an effect for reducing the first operation time. We also intend to contribute to efficient IGG blower design by research a flowing & pressure specialty from the diameter of impeller, number of blade, and size of casing.

• 디지털융복합연구
• /
• 제12권9호
• /
• pp.169-175
• /
• 2014

모바일 SNS, 스마트 기기의 급성장과 ICT(통신기술) 패러다임의 변화는 라이프 스타일의 변화와 함께 데이터가 폭발적으로 증가하는 결과를 초래하였다. 한편, 대용량의 데이터의사용은 비용이나 기술적 측면에서 많은 어려움을 초래하였다. 그러나, 빅데이터는 하둡과 같은 효율적인 빅데이터 처리 플랫폼 기술의 등장으로 주목을 받기 시작하였다. 본 논문에서는 주요 시장 국의 특허 분석을 통해 빅데이터 플랫폼 연구 및 개발 동향을 살펴보고자 한다. 특히, 2010년 12월을 기준으로 4개국에 출원 및 등록되어 있는 2,568건을 대상으로 분석을 진행하였다.