• Journal of Advanced Navigation Technology
• /
• v.23 no.5
• /
• pp.408-414
• /
• 2019

We developed a surveillance tool for collision avoidance of unmanned aerial vehicles (UAVs) in urban areas. In our tool, users can visualize the safety distance on the actual 3D map of urban area. The estimated positions of UAVs are assumed to be obtained based on the long-term evolution (LTE) signals. The safety distance is defined to include two or more signals with bias. The safety distance calculation method used in this paper enables simulation similar to the actual urban areas where signals are frequently biased due to multipath. In the simulation, the parameters were set based on the measured values, and the change of the safety distance according to the number of faulty signals was simulated. As a result, increasing the number of faulty signals led to a longer safety distance as expected.

• Journal of KIISE:Software and Applications
• /
• v.28 no.8
• /
• pp.551-559
• /
• 2001

정적 슬라이싱과 동적 슬라이싱의 차이는 동적 슬라이싱은 프로그램에 주어진 입력을 가정하는 반면에 정정 슬라이싱은 입력에 대한 가정을 하지 않는다는 점이다. 동적 슬라이싱은 실행-시간 정보를 이용할 수 있으므로 정적 슬라이싱보다 적은 슬라이스를 만들 수 있으나 특정 입력 상태에만 적용될 수 있다는 제한을 갖는다. 이 논문은 초기 상태들의 집합에 대해서 프로그래을 슬라이싱하는 요약 프로그램 슬라이싱이라는 새로운 기법을 제시한다. 이 방법은 프로그램으로부터 슬라이스를 구하는데 요약 해석을 이용한다. 요약 해석을 프로그램 실행 없이 프로그램의 실행-시간 동작에 대한 안전한 정보를 제공한다. 따라서 결과적으로 얻은 요약 슬라이스는 주어진 입력 상태들의 집합에 대해서 정적으로 계산되었다는 점에서 동적 슬라이스와는 다르다. 또한 요약 프로그램 슬라이싱은 배열과 같은 자료구조를 정적 슬라이싱보다 정확하게 다룰 수 있으며 슬라이스 크기도 줄일 수 있다.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.18 no.8
• /
• pp.55-63
• /
• 2017

Due to spatial problems and system size,conventional measurement methods used to acquire the information needed for existing electrical energy and management have been limited to new buildings or areas where replacement is possible. This electric load management method is problematic when applying it to energy and safety management of vulnerable areas or existing homes or offices. The problem with installing a measurement module in every branch is that the system is too large. Even if the measurement module is installed, the type of load is not recognized, and efficient management is not performed. In particular, it is very difficult to apply it to traditional markets and backward facilities in Korea. In this paper, we apply NIALM technology and arc detection technology to solve these problems and verify the feasibility of NIALM for normal arc generation. Also, based on the verification results, we propose a new smart home safety management system that can effectively manage electrical safety and that can be applied to conventional market and existing home safety management systems. The proposed system conducts a comparative performance test with an existing safety management system. In addition, it achieves 95% or more load recognition for four loads, which is impossible in 40% of the existing systems, and the arc detection function was confirmed.

• Information and Communications Magazine
• /
• v.24 no.9
• /
• pp.86-95
• /
• 2007

사무실과 가정의 컴퓨터, 대중화된 휴대폰 사용 그리고 인터넷으로 특징지어지는 정보통신 기술덕택에 현대인은 어느 정도 시간과 공간의 제약을 극복하고 있다. 그러나, 아직도 현대인은 예전에 비해 가까워진 지구촌을 여러 가지 이동체를 타고 이동을 하여야한다. 특히 현대인에게 있어서 자동차는 가정과 직장을 이어주고 업무 목적지와 휴식을 위한 휴양지를 찾아가기 위한 실질적인 이동 수단으로서 가정과 직장에 이은 또 하나의 정보통신기술이 필요한 중요한 영역이다. 따라서 미래형 자동차는 편의 주행, 쾌적 주행을 제공하고 그리고 안전 주행이 보장되는 지능형 자동차의 수요가 예견되고 있으며 이를 구현하기위해 첨단 정보통신, 전자, 제어기술이 요구되고 있다. [1][5][6] 이상과 같은 지능형 자동차 관련 응용 분야는 위 그림과 같이 자동차 여러 부위에 장착되는 첨단 전장품들에 의해서 구현이 된다. 그러나, 기존의 자동차와 달리 미래형 지능형 자동차에서는 많은 전장품들이 장착됨에따라 소요되는 전원의 용량이 증가하게되어 기존 12V에서 42V 시스템으로 바뀔 예정이다. 또한 각종 센서로부터 정보신호를 받아서 정보처리를 하고 Actuator를 제어하기 위해서 많은 전장품들간에 연결되는 신호선들의 배선이 복잡해짐에따라 생산부서에서의 공정비용이 증가하게된다. 또한 향후 석유 에너지의 고갈에 따른 전기 자동차로의 전환이 예상되는데 위에서 언급된 많은 전자장치들간 신호를 주고 받기위해 차량내 여러부위로 퍼져있는 배선들이 차지하는 무게가 상당하므로 차체의 무게를 가볍게 해야하는 차세대 전기 자동차의 성능 향상을 위해서 효율적인 In Vehicular Network 기술이 요구된다. 또한 향후 자동차에 장착된 많은 전자장치들의 고장 진단 및 내장된 SW를 효율적으로 갱신하기 위해서는 여러 전자장치들이 하나의 버스로 연결되는 In Vehicle network이 필수적이다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2003.10a
• /
• pp.598-600
• /
• 2003

이동 Ad Hoc 네트워크는 무선 채널 특성으로 인해 많은 보안상 위협에 노출될 수 있으므로 인증, 무결성, 기밀성 등의 보안 서비스를 제공하기 위한 키 관리 메커니즘이 요구된다. 그런데 Ad Hoc 네트워크는 중앙 집중적인 관리 노드의 부재, 동적인 위상 변화, 통신 자원의 제약 등의 특성을 고려하여 키 관리 메커니즘을 설계하도록 요구하고 있다. 따라서 본 논문에서는 클러스터 기반의 Ad Hoc 네트워크에서 ID 기반의 임계치 암호화 기법을 사용하여 공개키의 사전 분배 가정을 제거함으로써 토폴로지의 확장성과 유연성을 반영하고, 분산적이며 확장성있는 키분배 서비스가 가능하게 하였다. 또한 클러스터간에 교환되는 메시지의 무결성을 보장하기 위한 클러스터 MAC키 협상 방안, 헤드와 클러스터 내 특정 멤버간의 보안 채널 구축 통신하고자 하는 클러스터 멤버 호스트간에 안전하게 세션키를 생성, 분배하는 메커니즘 등을 제안하였다.

• Journal of The Institute of Information and Telecommunication Facilities Engineering
• /
• v.3 no.1
• /
• pp.46-55
• /
• 2004

방송과 통신이 융합됨에 따라 다양한 멀티미디어 서비스가 출현하고 있으며 가정에서도 다양하고 질 좋은 홈서비스에 대한 요구가 증대하고 있다. 이러한 다양한 홈 서비스 환경을 제공하기 위해 지능형 홈네트워크 플랫폼이 제안되고 구축되고 있으나 댁내부의 홈게이트웨이나 홈서버 등의 가입자 장치를 통한 응용 프로그램만으로는 다양한 서비스 제공에는 한계가 있다. 따라서, 외부에서 제공되는 다양한 디지털 홈서비스를 사용자에게 편리하고 안전하게 전달하고 사용자의 개입 없이 외부의 서비스 제공자가 개발한 홈서비스를 제공 수 있는 개방형 서비스 관리 구조가 요구된다. 본고에서는 다양한 홈서비스가 서비스 제공자로부터 사용자 장치에 분배, 운용, 관리될 수 있는 환경인 개방형 디지털홈 서비스 분배관리 체계를 소개하고, 홈네트워크 상의 서비스 사용자 뿐 아니라, 외부에서 댁내의 서비스를 이용하고자 하는 사용자에게 편리하고 안전하게 서비스를 제공할 수 있는 디지털 홈 서비스 플랫폼인 분배관리시스템 플랫폼을 제안한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2005.07a
• /
• pp.220-222
• /
• 2005

전자지불 시스템의 활용성 중대와 더불어 상거래의 안전성을 보장하는 문제가 중요한 핵심 사항으로 간주되고 있다. 본 논문에서는 이러한 전자지불 시스템의 암호화 키는 안전하다는 가정 하에 전자지불 프로토콜을 통해 소비자와 상인, 은행간의 상거래의 정확성을 중점으로 NetBill 프로토콜을 명세, 검증했다. 프로토콜의 명세를 위해서는 실시간 개념이 포함되어 있는 UPPAAL을 사용했다.

• Journal of Korean Society of Transportation
• /
• v.16 no.3
• /
• pp.59-72
• /
• 1998

교통신호기는 다양한 교통 통행에 우선권을 부여하는 교통안전시설물로써, 교통소통에 지대한 영향을 끼치는 매우 중요한 통제시설이다. 그러나 현행 부적절한 신호기 설치 및 미설치로 차량 교통의 흐름을 방해하거나 교통사고를 증가시키는 경우가 있다. 본 연구 는 교통안전시설실무편람에 제시된 9가지 신호기 설치기준중 보행자 신호기 설치 기준에 대하여 국내 도로상황 및 보행자 특성 등에 맞는 새로운 설치기준을 제시하는데 목적이 있다. 보행자가 보도상에서 기다릴 수 있는 최대한도 대기시간은 단일로상의 무신호 횡단보도에 교통신호기가 설치되었을 경우를 가정하여 설정하였으며, 보행자 신호기 설치를 위한 차량 교통량과 보행자 교통량을 도로폭 관련 차로수별로 도출하였다. 왕복 2차로 도로인 경우 차량 교통량은 시간당 990대, 4차로인 경우 420대, 6차로인 경우 120대를 보행자 신호기 설치를 위한 최소 차량 교통량 기준값으로 하고, 차로수에 무관하게 보행자 교통량은 시간당 150명을 최소 기준값으로 제시하였다. 또한 차량 교통량과 보행자 교통량 상관관계에 의한 신호기 설치, 설치고려, 미설치 영역을 그래프로 작성하여 실무자의 편의를 도모하고자 하였다.

• Journal of the Korea Safety Management & Science
• /
• v.11 no.4
• /
• pp.35-42
• /
• 2009

본 연구는 급수전('tap'과 'faucet'은 호환사용)의 종류에 따른 사용자의 조작방향에 대해 우리나라와 다른 나라의 문화적인 차이를 비교한 연구결과이다. 이를 위하여 우리들이 가정과 공공시설의 화장실이나 욕실 등에서 많이 사용하고 있는 냉 온수 일체형 레버형 손잡이 급수전과 냉 온수 분리형 손잡이 급수전을 선정하여 이의 열림 방향에 대한 스테레오타입을 파악하였다. 또한 본 실험결과와 다른 문화권의 자료를 비교하여 이의 차이를 규명함으로써 서로 다른 사용자들이 공감하는 설계방향에 대해 언급하였다. 국외 자료는 연구문헌을 참조하였으며 국내자료는 직접 10대에서 60대 이상까지 6개 연령계층의 남 여 50명씩 총 600명을 할당표본추출 방식으로 선정하여 실험을 통하여 수집하였다. 조사 결과는 각 항목별로 통합 자료, 성별, 연령별, 주손에 따라 빈도분석을 실시하였으며 카이제곱검정을 통해 성별, 연령계층별, 주손(hand dominance)별로 스테레오타입의 기대특성(expectation characteristics)에 대해 문헌을 통해 조사된 연구결과와 상호비교 분석하였다. 분석결과 우리나라 사람은 비교 분석된 다른 나라 사람과 같이 스테레오타입에 대한 통상적인(그러나 동일하진 않음) 문화적인 배경을 공유하고 있음을 알 수 있다. 본 연구결과는 급수전 손잡이 설계에 있어서 서로 다른 문화적인 배경에 따른 보편적 기대와 일치된 설계지침으로서 사용상의 편리성과 안전성을 향상시키는데 유용하게 이용될 수 있을 것이다.

• Journal of the Korean Society of Marine Environment & Safety
• /
• v.21 no.5
• /
• pp.577-582
• /
• 2015

This paper is the fundamental study for the application of cold storage system to the transportation equipment by sea and land. This numerical study presents the solid-liquid phase change phenomenon of calcium chloride solution of 30wt %. The governing equations are 1-dimensional unsteady state heat transfer equations of $1^{st}$ order partial differential equations. This type of latent heat storage material is often usable in fishery vessel for controlling the temperature of container with constant condition. The governing equation was discretized with finite difference method and the program was composed with Mathcad program. The main parameters of this solution were the initial temperature of heat storage material, ambient temperature of cold air and the velocity of cold air. The data of boundary layer thickness becomes thin with the increasing of cold air flowing velocity and also the heat storage completion time become shorten.