• International Journal of Railway
• /
• 제2권3호
• /
• pp.99-106
• /
• 2009

Checks and tests before putting safety facilities into service as well as the results of these tests are essential, time consuming and may show great variations between each other. Economic constraints and the increasing complexity associated with the development of computerized tools tend to limit the capacity of the classic approval process (manual or automatic). A reduction of the validation cover rate could result in practice. This is not compatible with the French national plan to renew the interlocking systems of the national network. The method and the tool presented in this paper makes it possible to formally validate new computerized systems or evolutions of existing French interlocking systems with real-time functional interpreted Petri nets. The aim of our project is to provide SNCF with a method for the formal validation of French interlocking systems. A formal proof method by assertion, which is applicable to industrial automation equipment such as interlocking systems, and which covers equally the specification and its real software implementation, is presented in this paper. With the proposed method we completely verify that the system follows all safety properties at all times and does not show superfluous conditions: it replaces all the indoor checks (not the outdoor checks). The advantages expected are a significant reduction of testing time and of the related costs, an increase of the test coverage rate, an answer to the new demand of railway infrastructure maintenance engineering to modify and validate computerized interlocking systems. Formal methods mastery by infrastructure engineers are surely a key to prove that more safety is not necessarily more expensive.

• 한국환경과학회지
• /
• 제27권7호
• /
• pp.509-518
• /
• 2018

Weather is the most influential factor for crop cultivation. Weather information for cultivated areas is necessary for growth and production forecasting of agricultural crops. However, there are limitations in the meteorological observations in cultivated areas because weather equipment is not installed. This study tested methods of predicting the daily mean temperature in onion fields using geostatistical models. Three models were considered: inverse distance weight method, generalized additive model, and Bayesian spatial linear model. Data were collected from the AWS (automatic weather system), ASOS (automated synoptic observing system), and an agricultural weather station between 2013 and 2016. To evaluate the prediction performance, data from AWS and ASOS were used as the modeling data, and data from the agricultural weather station were used as the validation data. It was found that the Bayesian spatial linear regression performed better than other models. Consequently, high-resolution maps of the daily mean temperature of Jeonnam were generated using all observed weather information.

• 조명전기설비학회논문지
• /
• 제12권4호
• /
• pp.37-46
• /
• 1998

본 논문에서는 배전계통에서의 순시전압변동에 의한 수용가측 영향의 현황을 분석하였다. 전력품질에 관한 수용가의 인식은 점차적으로 증대하고 있으며 무엇보다도 전압크기의 품질은 수용기측에 직접적인 영향을 줄 수 있으므로 가장 중요한 전력품질 문제이다. 특히, 자동화공정이 발달함에 따라 순시전압변동은 전자장비, 컴퓨터, 전자개폐기 둥의 민감부하를 가동정지 시키는 심각한 결과를 초래하고 있다. 본 논문에서는 순시전압변동에 의한 수용가측 설비의 정지율을 분석하기위해 전기적 외란에 민감한 부하에 대한 실험을 통해 부하별 CBEMA 곡선과 부하별 누적 CBEMA곡선을 제시하였다. 또한 수용가측 인식실태를 파악하기 위해 "전력품질에 관한 여론조사"를 실시하였으며 그 결과를 수록하였다.

• Journal of Welding and Joining
• /
• 제26권5호
• /
• pp.66-73
• /
• 2008

Welding work in pre-erection or erection stage of shipbuilding construction to be carried out in flat and vertical upward position mostly and Electrogas welding(EGW) is actively applied especially for vertical butt joint of thicker steel plate recently. In this study considered how to develope and improve mechanical properties of weld metal and HAZ in high heat input welding processes such as EGW and Electroslag welding(ESW) with its welding equipment in order to extend the application range to the longitudinal members and hatch coaming parts of container ship. Some components of welding system and parameters were modified to get the faster travel speed and reduce weld heat input, and also by adding additional filler rods or tubes increase the amount of deposited weld metal. With the test get some good date can apply to actual fabrication work and recommend items to manufacture welding materials make better. Above all things it's a fruition that to prepare the possibility of application of ESW to shipbuilding construction which fill up the gap of stoppage days of more than 20 years.

• 한국산업정보학회논문지
• /
• 제26권6호
• /
• pp.11-16
• /
• 2021

본 논문에서는 자동차 배선에 사용되는 커넥터의 조립 불량 상태를 식별하는 품질 검사 시스템을 개발하였다. 방수용 커넥터는 방수를 위하여 내부 Seal을 필수적으로 삽입하여야 하는데 생산 과정에서 누락되거나 이중 삽입되는 경우가 있다. 이를 구분하기 위하여 포토센서와 터치스위치를 사용하여 자동화 검사 지그를 설계하였다. 기존 육안검사의 경우 5인이 하루 8시간 검사하였을 때 6,400개의 커넥터를 검사하였으나 개발된 검사 지그를 사용할 때는 20,000개를 검사하므로 기존의 육안 검사와 비교하여 생산성이 크게 향상되었다.

• 한국전기전자재료학회논문지
• /
• 제35권2호
• /
• pp.143-148
• /
• 2022

For the purpose of treating health checkups and recovery of patients in a super-aged society, hospitals use devices designed with a reduction circuit of electromagnetic waves associated with the specific absorption rate of electromagnetic waves absorbed by the human body. In this paper, we proposed a filter improvement design method capable of reducing electromagnetic waves. As a result of confirming the validity of the proposed technique through simulation and experimental results, the following result values were obtained. Applying the common-mode (CM) inductor 4 mH to a calibration circuit, noise decreased in a multiband spectrum. Using the differential mode(DM) inductor 40 µH element in the primary calibration circuit, the noise decreased by 15 dB or more in the 3 MHz band spectrum. Also, applying the Admittance Capacitance (Y-Cap) 10 nF element in the secondary calibration circuit resulted in the decrease by more than 30 dB in the band spectrum before 2 MHz. After using a common-mode inductor 4 mH element in the tertiary calibration circuit, it decreased by more than 15 dB in the band spectrum after 2 MHz.

• 한국축산시설환경학회지
• /
• 제12권1호
• /
• pp.21-28
• /
• 2006

국민의 소득 증대로 인해 육류 및 계란의 소비량이 점차적으로 증가하는 추세에 있다. 이로 인해 산란계사의 규모가 대형화됨에 따라 기계화되었고, 이 연구에서는 고단 직립식 케이지를 사용하는 무창계사에서 기계시설이 작동 시 발생되는 소음 및 진동이 산란계의 생산성에 미치는 영향을 구명하고자 산란계사내의 소음/진동 수준을 측정 분석하였다. 전국의 13개 산란계 농장을 대상으로 하여 평상시 및 기계시설(사료급이기, 사료분배기, 집란시스템, 환기장치, 계분벨트)의 작동시에 발생되는 소음/진동을 측정하였다. (1) 평상시 소음 최대 82dB, 진동 최대 0.2072 cm/s, (2) 사료급이기 작동 시 소음 최대 90dB, 최대 진동 2.8560cm/s, (3) 사료분배기 작동시 소음 최대 90dB, 최대 진동 2.022cm/s, (4) 집란시스템 작동 시 최대 소음 87dB, 최대 진동 0.1865cm/s, (5) 환기장치 작동 시 케이지에 미치는 최대 88dB, 계사 후면 벽면에 미치는 최대 진동 2.5364cm/s, (6) 계분벨트 작동 시 최대 소음 88dB, 최대 진동 0.2387cm/s 이었다. 따라서 산란계에게 직접적이고 가장 크게 영향을 미치는 장치는 급이 시스템이였다. 이 때의 소음은 최대 90dB로 가장 높게 발생하였으며, 진동은 최대 2.8560 cm/s 발생하였다.

• 디지털콘텐츠학회 논문지
• /
• 제12권4호
• /
• pp.567-574
• /
• 2011

본 논문에서는 공연장이나 야구장 등 다양한 분야에서 티켓을 발권하는데 있어서 필요한 보안성과 호환성 그리고 상업성까지 기존 문제를 해결한 미래형 웹 시스템을 설계하고 구현하였다. 보안 문제로 이슈가 되고 있는 우회 해킹 기법인 스크린 해킹을 방어하고 더 강력한 보안을 위해 모바일을 이용한 OTP(One Time Password)시스템을 제시하고 호환 문제를 해결하기 위해 ActiveX를 사용하지 않는 Non-ActiveX System과 다양한 환경이나 기기에서 이용이 가능하게 기존 반응형 하이브리드 웹을 개선한 스마트 발권 시스템을 제시한다. 또한 모바일 기기의 특징을 이용한 지능형 화면 전환 시스템과 자동 할인 시스템, 최단거리 공연장 안내 시스템으로 상업적인 부분까지 고려하여 완성도 높은 시스템을 제시하였다.

• 한국정보통신학회논문지
• /
• 제20권8호
• /
• pp.1615-1622
• /
• 2016

본 연구에서는 항해용 국제 표준 기반의 전자해도를 기본 맵으로 육상 연안 정보 및 해저 수심 데이터를 제공하고, 선박 내 설치 운용되고 있는 자이로컴퍼스, DGPS, AIS의 각종 항해 지원 장비와의 표준 인터페이스를 제공하여 자선 및 타선의 실시간 항로 감시 및 안전운항 정보를 지원할 수 있는 중소형 선박 항해 성능 모니터링 시스템을 개발하고자 한다. 이를 위해 차량의 필수 장비인 육상 네비게이션의 기능 및 사용 방법들을 적용하여 항해자들에게 친숙한 사용 환경, 메뉴 구성, 쉬운 작동법을 제공하여 중소형 선박들이 보다 안전한 항해를 할 수 있는 장비 개발을 목표로 한다. 개발된 항해 성능 모니터링 시스템은 선박에 설치되어 있는 다양한 항해장비와의 인터페이스를 지원하고, 기존 해상 항해장비와 달리 사용자 편의를 극대화함으로써 조기에 선박간의 충돌사고 예방 및 선박 사고로 인한 인명 피해를 줄일 수 있을 것으로 판단된다.

• 전자공학회논문지CI
• /
• 제45권6호
• /
• pp.60-67
• /
• 2008

RFID 시스템은 현재 다양한 분야에서 사용되어 지고 있는 바코드 인식 시스템이나 자기 인식 장치들이 근본적으로 내재하고 있는 실용성 및 보안성 문제점들을 보완할 수 있는 대체 시스템으로 각광받고 있다. 특히 RFID 시스템은 교통카드, 출입구 보안 및 출결 카드 분야를 포함한 상거래와 직접적인 관련이 있는 물류관리, 재고관리, 항만관리, 동물관리 등 물류 및 유통 분야에서도 빠르게 응용 및 확산되어 사용되어 지고 있다. 본 논문에서는 유비쿼터스 컴퓨팅의 한 예로서 RFID시스템을 TCP/IP를 이용하여 네트워크화하여 구성한 안전하고 효율적인 원격 출입 제어 시스템을 제안한다. 먼저 원격 출입 제어에 적합한 인증 프로토콜을 제안하며, 제안한 인증 프로토클 기반의 원격 보안 출입 제어 시스템이 원활한 자동문 제어가 가능함을 임베디드 시스템과 TCP/IP 기반의 RFID 시스템으로 구성된 자동문 세트를 활용한 모의실험을 통해 실용성을 증명한다.