• Journal of Korean Society of Rural Planning
• /
• v.21 no.4
• /
• pp.177-186
• /
• 2015

The main objective of this study was to assess the applicability of IoT (Internet of Things)-based flood management under climate change by developing intelligent water level monitoring platform based on IoT. In this study, Arduino Uno was selected as the development board, which is an open-source electronic platform. Arduino Uno was designed to connect the ultrasonic sensor, temperature sensor, and data logger shield for implementing IoT. Arduino IDE (Integrated Development Environment) was selected as the Arduino software and used to develop the intelligent algorithm to measure and calibrate the real-time water level automatically. The intelligent water level monitoring platform consists of water level measurement, temperature calibration, data calibration, stage-discharge relationship, and data logger algorithms. Water level measurement and temperature calibration algorithm corrected the bias inherent in the ultrasonic sensor. Data calibration algorithm analyzed and corrected the outliers during the measurement process. The verification of the intelligent water level measurement algorithm was performed by comparing water levels using the tape and ultrasonic sensor, which was generated by measuring water levels at regular intervals up to the maximum level. The statistics of the slope of the regression line and $R^2$ were 1.00 and 0.99, respectively which were considered acceptable. The error was 0.0575 cm. The verification of data calibration algorithm was performed by analyzing water levels containing all error codes in a time series graph. The intelligent platform developed in this study may contribute to the public IoT service, which is applicable to intelligent flood management under climate change.

• Progress in Medical Physics
• /
• v.29 no.2
• /
• pp.53-58
• /
• 2018

This paper evaluates patient-specific quality assurance (PSQA) in the treatment of small and multiple tumors by the CyberKnife system with fixed collimators, using an ion chamber and EBT3 films. We selected 49 patients with single or multiple brain tumors, and the treatment plans include one to four targets with total volumes ranging from 0.12 cc to 3.74 cc. All PSQA deliveries were performed with a stereotactic dose verification phantom. The A16 microchamber (Standard Imaging, WI, USA) and Gafchromic EBT3 film (Ashland ISP Advanced Materials, NJ, USA) were inserted into the phantom to measure the point dose of the target and the dose distribution, respectively. The film was scanned 1 hr after irradiation by a film digitizer scanner and analyzed using RIT software (Radiological Imaging Technology, CO, USA). The acceptance criteria was <5% for the point dose measurement and >90% gamma passing rate using 3%/3 mm and relative dose difference, respectively. The point dose errors between the calculated and measured dose by the ion chamber were in the range of -17.5% to 8.03%. The mean point dose differences for 5 mm, 7.5 mm, and 10 mm fixed cone size was -11.1%, -4.1%, and -1.5%, respectively. The mean gamma passing rates for all cases was 96.1%. Although the maximum dose distribution of multiple targets was not shown in the film, gamma distribution showed that dose verification for multiple tumors can be performed. The use of the microchamber and EBT3 film made it possible to verify the dosimetric and mechanical accuracy of small and multiple targets. In particular, the correction factors should be applied to small fixed collimators less than 10 mm.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.45 no.2
• /
• pp.133-139
• /
• 2017

Flight control computer of tiltrotor UAV was designed by redundancy system with primary and secondary channels to improve reliability. The redundancy functions consist of channel switching and data recovery. The channel switching function consists of software method by using cross channel data link and hardware method by using watchdog timer. The data recovery is the function to maintain flight condition when the flight control computer is restarted exceptionally in operation. The redundancy system was verified by flight control computer bench test, system integration test and HILS test. This paper describes the redundancy function of tiltrotor UAV flight control computer and test-verification method.

• Journal of KIISE:Software and Applications
• /
• v.35 no.1
• /
• pp.12-21
• /
• 2008

As the usage of computer systems is increasing in our lives, the reliability and safely of these systems need to be thoroughly checked through the verification techniques. As a basic formalism for several modeling methods, the finite state machine (FSM) is widely used in specification and verification of system models. And there is a technique for ing internal events of FSM in order to effectively analyze the system. However, this technique does not handle the state explosion problem since it can be applied after completely generating all the state space of the system. In this research, we provide a new approach for efficiently representing concurrent properties of FSM, the slice model and provide an efficient transition reduction method based on the slice model. Our approach is effective in time and space perspective since it is peformed by partially generating the needed system states while the existing abstraction technique can be applied to all the system states.

• Journal of KIISE:Software and Applications
• /
• v.36 no.1
• /
• pp.82-91
• /
• 2009

Sign language spotting is the task of detecting and recognizing the signs in a signed utterance. The difficulty of sign language spotting is that the occurrences of signs vary in both motion and shape. Moreover, the signs appear within a continuous gesture stream, interspersed with transitional movements between signs in a vocabulary and non-sign patterns(which include out-of-vocabulary signs, epentheses, and other movements that do not correspond to signs). In this paper, a novel method for designing a threshold model in a conditional random field(CRF) model is proposed. The proposed model performs an adaptive threshold for distinguishing between signs in the vocabulary and non-sign patterns. A hand appearance-based sign verification method, a short-sign detector, and a subsign reasoning method are included to further improve sign language spotting accuracy. Experimental results show that the proposed method can detect signs from continuous data with an 88% spotting rate and can recognize signs from isolated data with a 94% recognition rate, versus 74% and 90% respectively for CRFs without a threshold model, short-sign detector, subsign reasoning, and hand appearance-based sign verification.

• Journal of the Institute of Convergence Signal Processing
• /
• v.12 no.4
• /
• pp.286-290
• /
• 2011

LBS(Location Based System) is the essential technology of ubiquitous market and utilizes the GNSS(Global Navigation Satellite). GNSS includes GPS of USA, Galileo of Europe Union, QZSS of Japan, Compass of China, and IRNSS of India. Related researches have recently been conducted. Once the satellite is launched, the maintenance such as modification and verification of its function is difficult. Therefore, before the launch of satellites, more precise and concrete verification of performance and operations are needed. In order to do this, hardware testbed may be developed. but software simulators can provide more flexible and cost effective simulation results. These simulators should provide the essential function handling all kinds of error features experienced upon propagation of the GNSS signal. In this paper, we present a design and implementation results of a window-based simulator applying the modeling of various error features for several GNSS.

• Journal of KIISE:Computing Practices and Letters
• /
• v.5 no.4
• /
• pp.385-394
• /
• 1999

제품을 설계하는 디자이너나 엔지니어는 많은 시간과 노력을 들이지 않고서 그들이 설계한 3차원 제품 모델에 대한 사실적인 이미지를 원한다. 디자인 프로세스의 초기인 개념 설계에서부터 설계검증, 그리고 가공 과정에서 사실적인 이미지가 매우 유용하므로, 대부분의 주요 CAD 제작사는 그들의 CAD 소프트웨어에 고급 렌더링 기능을 추가하고 있다. 상용의 CAD/CAM 모델러에서는 NURB 곡면을 기초로 모델링을 수행하므로, NURB 곡면을 렌더링할 수 있는 패키지가 필요하다. VIF(Visual InterFace) 렌더링 라이브러리는 A-buffer 방식과 Ray tracing 방식의 두 가지 고급 렌더링 모드를 제공한다. 다각형은 물론 NURB 곡면을 입력으로 받아 사용자가 설정한 표면의 각종 계수, 원하는 view와 설정된 광원에 따라 이미지를 만들고 다양한 형태로 출력시킬 수 있는 다양한 기능을 제공한다. 본 논문에서는 VIF 렌더링 라이브러리에 대한 구조와 기능별로 분류된 함수에 대하여 설명하며, 실제로 CAD/CAM 시스템과 통합되어 구상설계에서부터 3차원 설계 모델링에 이르기까지의 제조공정에서 설계검증 툴로써 어떻게 활용되고 있는가에 대하여 기술한다.Abstract Engineers and industrial designers want to produce a realistic-looking images of a 3D model without spending a lot of time and money. Photo-realistic images are so useful from the conceptual design, through its verification, to the machining, that most major CAD venders offer built-in as well as add-on photo-realistic rendering capability to their core CAD software. Since 3D model is consists of a set of NURB surfaces in commercial CAD packages, we need a renderer which handles NURB surface as well as other primitives.A new rendering library called VIF (Visual InterFace) provides two photo-realistic rendering modes: A-buffer and Ray tracing. As an input data it takes NURB surfaces as well as polygonal data and produces images in accordance with the surface parameters, view and lights set by user and outputs image with different formats. This paper describes the overall architecture of VIF and its library functions classified by their functionalities, and discusses how VIF is used as a graphical verification tool in manufacturing processes from the conceptual design to 3D modeling.

• Journal of Broadcast Engineering
• /
• v.12 no.3
• /
• pp.214-221
• /
• 2007

In this paper, we presents conformance test tools for the broadcast web site (BWS) service which is one of the data services for terrestrial digital multimedia broadcasting (T-DMB). First, the methodology for the conformance test is established for both transmitters and receivers of T-DMB BWS services. The test tools consist of three parts: BWS bitstream analyzer, BWS reference decoder (software) module, and BWS test bitstreams. For testing transmitted BWS bitstreams, we developed the bitstream analyzer. For testing BWS receivers, we developed the reference Ifecoder module and created the test bitstreams. Actually the bitstream analyzer developed in this paper was used for the verification of the test bitstreams. The same test bitstreams are fed to a BWS decoder module under test and the reference decoder module and the results from the two are compared for verification. The test tools can be used for the test of all the protocol and textual/image specifications related to BWS including MOT protocol, HTML, PNG, MNG, JPEG, and Ecma Script.

• Journal of Korean Society of Industrial and Systems Engineering
• /
• v.40 no.2
• /
• pp.145-149
• /
• 2017

One of the challenges facing precision manufacturers is the increasing feature complexity of tight tolerance parts. All engineering drawings must account for the size, form, orientation, and location of all features to ensure manufacturability, measurability, and design intent. Geometric controls per ASME Y14.5 are typically applied to specify dimensional tolerances on engineering drawings and define size, form, orientation, and location of features. Many engineering drawings lack the necessary geometric dimensioning and tolerancing to allow for timely and accurate inspection and verification. Plus-minus tolerancing is typically ambiguous and requires extra time by engineering, programming, machining, and inspection functions to debate and agree on a single conclusion. Complex geometry can result in long inspection and verification times and put even the most sophisticated measurement equipment and processes to the test. In addition, design, manufacturing and quality engineers are often frustrated by communication errors over these features. However, an approach called profile tolerancing offers optimal definition of design intent by explicitly defining uniform boundaries around the physical geometry. It is an efficient and effective method for measurement and quality control. There are several advantages for product designers who use position and profile tolerancing instead of linear dimensioning. When design intent is conveyed unambiguously, manufacturers don't have to field multiple question from suppliers as they design and build a process for manufacturing and inspection. Profile tolerancing, when it is applied correctly, provides manufacturing and inspection functions with unambiguously defined tolerancing. Those data are manufacturable and measurable. Customers can see cost and lead time reductions with parts that consistently meet the design intent. Components can function properly-eliminating costly rework, redesign, and missed market opportunities. However a supplier that is poised to embrace profile tolerancing will no doubt run into resistance from those who would prefer the way things have always been done. It is not just internal naysayers, but also suppliers that might fight the change. In addition, the investment for suppliers can be steep in terms of training, equipment, and software.

• Journal of Ocean Engineering and Technology
• /
• v.32 no.5
• /
• pp.402-409
• /
• 2018

This paper describes the plan and procedure of a development test and evaluation that will be performed to verify the performance and technology of multi-mission unmanned surface vehicles (MMUSVs). In order to verify the design requirement of MMUSVs, we designed and manufactured the common platform of MMUSVs, which have an overall length of8.4 m, a displacement of 3,100 kg, and a speed of more than35 kts. The platform is equipped with several sub-systems, including radar and an EOTS/IRS. The EOTS/IRS, along with the search radar, is used for effective detection, identification, and targeting. The core technologies of MMUSV for DT&E will be investigated. The common platform design technologies, remote operating and control system technologies, autonomous navigation technologies, and unmanned operational technology of sensors and equipment will be studied for the development of the MMUSV's core technologies. The system will be able to make precise observations and track targets both manually and automatically during day and night conditions. Currently, the verification tests for each of the technologies and for the integrated system are in the pipeline for DT&E, which will be performed next year. Also, software reliability and life tests will be performed.