• The Transactions of The Korean Institute of Electrical Engineers
• /
• 제58권9호
• /
• pp.1658-1666
• /
• 2009

This paper proposes an approach of Mult_HPSO based on the PC cluster system to reduce or remove the stagnation on an early convergence effect of PSO, reduce an execution time and improve a search ability on an optimal solution. Hybrid PSO(HPSO) is combines the PSO(Particle Swarm Optimization) with the mutation of conventional GA(Genetic Algorithm). The conventional PSO has operated a search process in a single swarm. However, Multi_PSO operates a search process through multiple swarms, which increments diversity of expected solutions and reduces the execution time. Multiple Swarms are composed of unsynchronized PC clusters. We apply to SCED(security constrained economic dispatch) problem, a nonlinear optimization problem, which considers line flow constraints and N-1 line contingency constraints. To consider N-1 line contingency in power system, we have chosen critical line contingency through a process of Screening and Selection based on PI(performace Index). We have applied to IEEE 118 bus system for verifying a usefulness of the proposed approaches.

• The KIPS Transactions:PartB
• /
• 제18B권3호
• /
• pp.109-116
• /
• 2011

In this paper, we introduce non-touch style interface system technology without any touch style controlling mechanism, which is called as "Air-interface". To develop this system, we used the full reflection principle of infrared (IR) light and then user's hand is separated from the background with the obtained image at every frame. The segmented hand region at every frame is used as input data for an hand-motion recognition module, and the hand-motion recognition module performs a suitable control event that has been mapped into the specified hand-motion through verifying the hand-motion. In this paper, we introduce some developed and suggested methods for image processing and hand-motion recognition. The developed air-touch technology will be very useful for advertizement panel, entertainment presentation system, kiosk system and so many applications.

• The Transactions of the Korea Information Processing Society
• /
• 제5권8호
• /
• pp.2075-2082
• /
• 1998

Rule-based knowledge representHtion is, the most popular technique for ,storage and manipulation of domain knowledge in expert system. By the way, the amount of knowledge increases more and more in this representatiun technique, it, relationship becomes complex, and even its contents can be modified. This is the reason why rule-based knowledge representation technique requires a verification ,system which can maintain consistency and completeness of knowledge base. This paper is to propose a verification system for consistency and completeness of knowledge base to promote the efficiency and reliability of expert system. After verifying the potential errors both in structure and in semantics whenever a new rule is added, this system renders knowledge base consistent and complete by correcting them automatically or by making expert correct them if it fails.

• The Journal of Korea Institute of Information, Electronics, and Communication Technology
• /
• 제14권2호
• /
• pp.161-167
• /
• 2021

Laboratory Information Management System(LIMS) is a centralized database for storing, processing, retrieving, and analyzing laboratory data, and refers to a computer system or system specially designed for laboratories performing inspection, analysis, and testing tasks. In particular, LIMS is equipped with a function to support the operation of the laboratory, and it requires workflow management or data tracking support. In this paper, we collect data on websites and various channels using crawling technology, one of the automated big data collection technologies for the operation of the laboratory. Among the collected test methods and contents, useful test methods and contents useful that the tester can utilize are recommended. In addition, we implement a complementary LIMS platform capable of verifying the collection channel by managing the feedback.

• Journal of KIISE:Software and Applications
• /
• 제34권9호
• /
• pp.785-796
• /
• 2007

In object-oriented systems, objects are organized in hierarchies such that subtypes Inherit and specialize the structure and the behavior of supertypes. Behavioral compatibility is a very crucial issue to permit the substitution between object types, which supports the extension and evolution of object oriented system. This paper proposes successive methods rule that extending methods rule for checking behavioral compatibility between objects on the basis of their dynamic behaviors expressed in finite state machine which is one of the most frequently used notations for expressing dynamic behaviors of object. Based on the classical methods rule, successive methods rule is used for guarantee behavioral compatibility by checking the traces of two objects. And we describe an algorithm for verifying behavioral compatibility between objects using the successive methods rule.

• Proceedings of the Korea Society for Simulation Conference
• /
• 한국시뮬레이션학회 2001년도 The Seoul International Simulation Conference
• /
• pp.440-443
• /
• 2001

As inter-network traffics grows rapidly, the router systems as a network component becomes to be capable of not only wire-speed packet processing but also plentiful programmability for quality services. A network processor technology is widely used to achieve such capabilities in the high-end router. Although providing two such capabilities, the network processor can't support a deep packet processing at nominal wire-speed. Considering QoS may result in performance degradation of processing packet. In order to achieve foster processing, one chipset of network processor is occasionally not enough. Using more than one urges to consider a problem that is, for instance, an out-of-order delivery of packets. This problem can be serious in some applications such as voice over IP and video services, which assume that packets arrive in order. It is required to develop an effective packet processing mechanism leer using more than one network processors in parallel in one linecard unit of the router system. Simulation analysis is also needed for verifying the mechanism. We propose the packet processing mechanism consisting of more than two NPs in parallel. In this mechanism, we use a load-balancing algorithm that distributes the packet traffic load evenly and keeps the sequence, and then verify the algorithm with simulation analysis. As a simulation tool, we use DEVSim++, which is a DEVS formalism-based hierarchical discrete-event simulation environment developed by KAIST. In this paper, we are going to show not only applicability of the DEVS formalism to hardware modeling and simulation but also predictability of performance of the load balancer when implemented with FPGA.

• Journal of The Korean Association of Information Education
• /
• 제12권1호
• /
• pp.109-120
• /
• 2008

The purpose of this study is to develop a test and verifying the validity and reliability for measuring a effectiveness of e-earning course in cyber university. Twenty-five items were developed based on literature review and were examined by experts in the field. For item analysis, EFA(Exploratory Factor Analysis) was performed with 768 students in first study. In order to validate the test, CFA(Confirmatory Factor Analysis) was conducted with 791 students in second study. The result of the study yielded five factors with 25 items: 1) contents and design, 2) instructor, 3) system, 4) evaluation, and 5) overall course satisfaction. And this research reports the reliability and validity of new test.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• 제40권7호
• /
• pp.629-635
• /
• 2012

This paper presents a performance analysis of the GPS(Global Positioning System) receiver on board in LEO satellites, based on the comparison of its in-orbit performances and corresponding ground test results. An extensive ground tests on the subject GPS receiver has been performed in diverse conditions under the right frame of ground test environments and the analysis of in-orbit performances has also been performed with the huge amount of accumulated GPS data which has been in operation for 6 years since its launch on 2006. For this analysis, we chose three sets of in-orbit data; the data during the early mission period, the data at the 3-year mission completion time, and the most recent in-orbit data. As the performance measures, we selected the position and time synchronization accuracy, and the comparative analysis shows the concurrency between the in-orbit performances and the ground test results with in these performance measures, verifying the validity of the ground test. It is expected that the test configuration and analysis method presented in this paper can be applied to developing and verifying the future Koreanized satellite GPS receivers.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• 제21권1호
• /
• pp.90-96
• /
• 2020

In this era, intelligence is considered a major factor in the defense sector. As a result, securing technology for weapons systems for monitoring and reconnaissance of companies has become inevitable. As a result, UAVs (Unmanned Aerial Vehicles) have been developed and are actively operating around the world if the flight operation of manned aircraft is restricted, such as in environments that are too dangerous, messy or boring for the military to perform directly. The system of unmanned aerial vehicles, which has been researched and developed in Korea, includes Air Vehicle Test Equipment(AVTE). AVTE is equipment that is connected to an UAV to check its status and allows the operator to check its flightability by issuing an operational command to the UAV and verifying that it follows the command values. This study conducts fault finding on the phenomenon where the AVTE has stopped operating due to engine noise during these operations and analyzes the cause in terms of software, hardware and external environment. Present improvement measures according to the cause are analyzed and the results of verifying that the proposed measures can prevent failure are addressed.

• Journal of The Korean Society For Urban Railway
• /
• 제6권4호
• /
• pp.363-372
• /
• 2018

Simulator is used to verifying the function and performance of train control system before verifying with actual train. In this case, it is important that the simulation result should be coincide with the result with actual train. In this paper, the process of the development of automatic train operation (ATO) is described. ATO is in charge of automatic train control such as speed regulation and precision stop control. Identical interfaces from the ATO to the actual train was made in the simulator. Therefore ATO communicates to the simulator in the same way to the actual train. Futhermore, the train dynamic properties was measured by experiments and these were applied to the train model. Hence the response of the train in the simulator to the acceleration command is similar to that of the actual train. The simulation result of precision stop control is compared with the result in the actual train test to show the fidelity of the train model derived in the study and the superiority of this simulator.