• Journal of the Korean Society of Marine Environment & Safety
• /
• v.20 no.5
• /
• pp.543-551
• /
• 2014

This study has searched to find a program in order to manage simply and practically use the expelled AtoN database from the AtoN Simulator and to support the idea decision for the AtoN placement. It examines a program that manages AtoN database through the hierarchy structure, history card and endowment with condition same as a scenario. And accomplishes this study's goal owing to realizing AtoN operational software that helps for visual, hearing sense, fixed amount verification upon AtoN placement project. The AtoN operational software contributes not only flexible control like a newly establishment, relocation etc, but also supports idea decision for AtoN placement plan through many functions such as condition search, virtual sailing and fixed amount appraisal result exhibition, etc. Through utilization of this, it is to help upon the presupposition of the impact to ship or sailor about many designs and in addition, upon the judgment of whether or not for the efficiency and appropriation of the design. It is expected to reduce possible failure costs and management costs due to AtoN design and placement plans, because to compare more various designs thru the easier verification method.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.50 no.3
• /
• pp.181-192
• /
• 2022

Active vibration control system(AVCS) for helicopter enables to control the vibration generated from the main rotor and has the superb vibration reduction performance with low weight compared passive vibration reduction device. In this paper, FxLMS algorithm-based vibration control software of the light civil helicopter tansmits the control command calculated using the signals of the tachometer and accelerometers to the circular force generator(CFG) is developed and verified. According to the RTCA DO-178C/DO-331, the vibration control software is developed through the model based design technique, and real-time operation performance is evaluated in PILS(processor in-the loop simulation) and HILS(hardware in-the loop simulation) environments. In particular, the reliability of the software is improved through the LDRA-based verification coverage in the PIL environments. In order to AVCS to light civil helicopter(LCH), the dynamic response characteristic model is obtained through the ground/flight tests. AVCS configuration which exhibits the optimal performance is determined using system optimization analysis and flight test and obtain STC certification.

• Journal of Internet Computing and Services
• /
• v.25 no.1
• /
• pp.29-37
• /
• 2024

In this paper, we propose an efficient image processing system to detect and track the movement of specific objects such as patients. The proposed system extracts the outline area of an object from a binarized difference image by applying a thinning algorithm that enables more precise detection compared to previous algorithms and is advantageous for mixed-mode design. The binarization and thinning steps, which require a lot of computation, are designed based on RTL (Register Transfer Level) and replaced with optimized hardware blocks through logic circuit synthesis. The designed binarization and thinning block was synthesized into a logic circuit using the standard 180n CMOS library and its operation was verified through simulation. To compare software-based performance, performance analysis of binary and thinning operations was also performed by applying sample images with 640 × 360 resolution in a 32-bit FPGA embedded system environment. As a result of verification, it was confirmed that the mixed-mode design can improve the processing speed by 93.8% in the binary and thinning stages compared to the previous software-only processing speed. The proposed mixed-mode system for object recognition is expected to be able to efficiently monitor patient movements even in an edge computing environment where artificial intelligence networks are not applied.

• Journal of The Korean Institute of Defense Technology
• /
• v.5 no.3
• /
• pp.8-17
• /
• 2023

The current weapon system is operated as a complex weapon system with various standards and protocols applied, so there is a risk of failure in smooth information exchange during combined and joint operations on the battlefield. The interoperability of weapon systems to carry out precise strikes on key targets through rapid situational judgment between weapon systems is a key element in the conduct of war. Since the Korean military went into service, there has been a need to change the configuration and improve performance of a large number of software and hardware, but there is no verification system for the impact on interoperability, and there are no related test tools and facilities. In addition, during combined and joint training, errors frequently occur during use after arbitrarily changing the detailed operation method and software of the weapon/power support system. Therefore, periodic verification of interoperability between weapon systems is necessary. To solve this problem, rather than having people schedule an evaluation period and conduct the evaluation once, AI should continuously evaluate the interoperability between weapons and power support systems 24 hours a day to advance warfighting capabilities. To solve these problems, To this end, preliminary research was conducted to improve defense interoperability capabilities by applying natural language processing techniques (①Word2Vec model, ②FastText model, ③Swivel model) (using published algorithms and source code). Based on the results of this experiment, we would like to present a methodology (automated evaluation of interoperability requirements evaluation / level measurement through natural language processing model) to implement an automated defense interoperability evaluation tool without relying on humans.

• Culinary science and hospitality research
• /
• v.15 no.2
• /
• pp.188-204
• /
• 2009

The important factors of a food festival are divided into hardware and software programs. In this respect, this research aims to study the relationships among the composites of the food festival and its relationship with the visitors' revisit intention. Since the visitors' evaluation is a presumption of their satisfaction, it lies in a constant relationship with satisfaction and the reason why they revisited the festival. Thus, this research examined the influence of the composite factors on visitors' evaluation (operation, experience) and the relationship between operation evaluation and experience evaluation. In addition, it examined the relationship between evaluation factors and the intent of revisits. In conclusion, visitors' evaluation showed a positive effect on the survey about whether they would consider revisiting the food festival. In this context of continuative relationship, the research suggests that it would be necessary to examine the relationship between composite factors, visitors' evaluation, satisfaction and intent of revisits in future research.

• Journal of KIISE:Software and Applications
• /
• v.31 no.6
• /
• pp.773-783
• /
• 2004

This paper presents a method for real-time verification of Statecharts. Statecharts has been widely used for real-time reactive systems, and supports two time models: synchronous and asynchronous. However, existing real-time verification methods for them are incompatible with the asynchronous time model or increase state space by introducing new variables to the target models. We solved these problems by extending existing model checking algorithms. The extended algorithms can be used with both time models of Statecharts because they consider time increasing transitions only. In addition, they do not increase target state space since they count those transitions internally without additional variables. We extended an existing model checker, NuSMV, based on the proposed algorithms and conducted some experiments to show their advantage.

• Journal of KIISE:Software and Applications
• /
• v.27 no.3
• /
• pp.201-209
• /
• 2000

Recent works regarding video shot change detection algorithms show that abrupt shot changes are detected fairly well. However, gradual shot changes including wipes and dissolves are often missed or falsely detected. A robust shot change detection system, therefore, must include a shot verification step to further enhance the overall system performance. In this paper, we introduce the concept of the visual rhythm which is a single image, a subsampled version of a full video. On the visual rhythm, the different video edit effects such as cuts, wipes and dissolves manifest themselves as different patterns. Using this characteristic, it becomes possible, without sequentially playing the entire video, to find false positive shots as well as undetected shots. Thus, inclusion of the visual rhythm in the shot boundary verification process will aid the operator to exclude falsely detected shots as well as to find undetected shots fast and efficiently. For this purpose we have developed a new tool, a shot verifier incorporating the visual rhythm. The usefulness of the visual rhythm during the shot verification process will be presented.

• Journal of the Institute of Electronics Engineers of Korea SD
• /
• v.45 no.6
• /
• pp.68-73
• /
• 2008

In this paper, we propose watermark algorithm called TDWA(Time-Division Watermarking Algorithm) and we applied the proposed algorithm to H.264 video coding standard. We establish that a proposed algorithm is applied to H.264 baseline profile CODEC. The proposed algorithm inserts a watermark into the spatial domain of several frames. We can easily insert strong and invisible watermarks into original pictures using this method. For verification of the proposed algorithm we design hardware core using Verilog-HDL and Excalibur for JM 8.7 code with hardware & software co-simulation. As a result of verification, the PSNR between watermarked pictures and original pictures are more than 60dB and we found the watermark is kept more than 80% after encoding of H.264/AVC with quantization parameter of 28 in baseline profile.

• The Journal of Korean Association of Computer Education
• /
• v.23 no.1
• /
• pp.45-52
• /
• 2020

The purpose of this study is to develop a game developer career experience program that promotes student participation and to verify its effectiveness. The game developer career experience education program currently operated by Job World is composed of passive course, which makes students less interesting and only passive activities are possible. In this study, we improved the existing coursework type program to experience actual game development using scratch to promote learner participation. Scratch can be created and shared, giving students the opportunity to create their own work. Therefore, this study developed the game developer career experience education program using scratch and verified its effect. Two Delphi tests were conducted to develop the training program and one expert council was held. In addition, pilot classes were conducted from 22 elementary school students and 30 middle school students, and the satisfaction test was conducted. As a result, the developed educational program showed positive results in terms of help, satisfaction, effectiveness, and awareness.

• Journal of KIISE:Software and Applications
• /
• v.31 no.2
• /
• pp.213-223
• /
• 2004

In this paper, we propose a new face detection method for real-time applications. It is based on the template-matching and appearance-based method. At first, we apply Min-max normalization with histogram equalization to the input image according to the variation of intensity. By applying the PCA transform to both the input image and template, PC components are obtained and they are applied to the LDA transform. Then, we estimate the distances between the input image and template, and we select one region which has the smallest distance. SVM is used for final decision whether the candidate face region is a real face or not. Since we detect a face region not the full region but within the $\pm$12 search window, our method shows a good speed and detection rate. Through the experiments with 6 category input videos, our algorithm shows the better performance than the existing methods that use only the PCA transform. and the PCA and LDA transform.