• Title/Summary/Keyword: 검증 소프트웨어

Search Result 2,336, Processing Time 0.035 seconds

A Neighbor Selection Technique for Improving Efficiency of Local Search in Load Balancing Problems (부하평준화 문제에서 국지적 탐색의 효율향상을 위한 이웃해 선정 기법)

  • 강병호;조민숙;류광렬
    • Journal of KIISE:Software and Applications
    • /
    • v.31 no.2
    • /
    • pp.164-172
    • /
    • 2004
  • For a local search algorithm to find a bettor quality solution it is required to generate and evaluate a sufficiently large number of candidate solutions as neighbors at each iteration, demanding quite an amount of CPU time. This paper presents a method of selectively generating only good-looking candidate neighbors, so that the number of neighbors can be kept low to improve the efficiency of search. In our method, a newly generated candidate solution is probabilistically selected to become a neighbor based on the quality estimation determined heuristically by a very simple evaluation of the generated candidate. Experimental results on the problem of load balancing for production scheduling have shown that our candidate selection method outperforms other random or greedy selection methods in terms of solution quality given the same amount of CPU time.

High-level Autonomous Navigation Technique of AUV using Fuzzy Relational Products (퍼지관계곱을 이용한 수중운동체의 고수준 자율항행기법)

  • Lee, Young-Il;Kim, Yong-Gi
    • Journal of KIISE:Software and Applications
    • /
    • v.29 no.1_2
    • /
    • pp.91-97
    • /
    • 2002
  • This paper describes a heuristic search technique carrying out collision avoidance for Autonomous Underwater Vehicles(AUVs). Fuzzy relational products are used as the mathematical implement for the analysis and synthesis of relations between obstacles that are met in the navigation environment and available candidate nodes. In this paper, we propose a more effective evaluation function that reflects the heuristic information of domain experts on obstacle clearance, and an advanced heuristic search method performing collision avoidance for AUVs. The search technique adopts fuzzy relational products to conduct path-planning of intelligent navigation system. In order to verify the performance of proposed heuristic search, it is compared with $A^*$ search method through simulation in view of the CPU time, the optimization of path and the amount of memory usage.

A Formal Model and a Design of Inference Engine for Context-Aware Mobile Computing (컨텍스트 인지 모바일 컴퓨팅을 위한 정형모델 및 추론 시스템 설계)

  • Kim, Moon Kwon;Kim, Soo Dong
    • KIPS Transactions on Software and Data Engineering
    • /
    • v.2 no.4
    • /
    • pp.239-250
    • /
    • 2013
  • Context-aware mobile computing has become the primary approach to realize automatic, autonomous, and user-centric computing in the context of largely increasing the amount of mobile devices used that embed available sensors. However, designing an inference engine nonetheless requires the tasks of analyzing contexts, situations that can be inferred, etc. Moreover, a mobile device has limited resources and limited computation capability, which results in recognizing the common sense of its unsuitable environment for processing inference. Hence, we propose context-situation reasoning elements and their formal models in this paper, and we verify the formal models' applicability by applying them to an example. Finally, we design and implement an inference engine that realize the context-situation inference elements in computing environment, and we experiment an example by using the proposed inference engine to verify applicability and reusability of the inference engine.

Study on NOx Reduction with Multi-Perforated Tube Geometry in Integrated Urea-SCR Muffler (촉매삽입형 Urea-SCR 머플러 다공튜브 형상변화에 따른 NOx 저감 특성에 관한 연구)

  • Moon, Namsoo;Lee, Sangkyoo;Ko, Sangchul;Lee, Jeekeun
    • Transactions of the Korean Society of Mechanical Engineers B
    • /
    • v.38 no.12
    • /
    • pp.1017-1026
    • /
    • 2014
  • A multi-perforated tube is generally installed between the muffler inlet and in front of selective catalytic reduction (SCR) catalysts in the integrated urea-SCR muffler system in order to disperse the urea-water solution spray uniformly and to make better use of the SCR catalyst, which would result in an increase nitrogen oxide ($NO_x$) reduction efficiency and a decrease in the ammonia slip. The effects of the multi-perforated tube orifice area ratios on the internal flow characteristics were investigated analytically by using a general-purpose commercial software package. From the results, it was clarified that the multi-perforated tube geometry sensitively affected the generation of the bulk swirling motion inside the plenum chamber set in front of the SCR catalyst and to the uniformity index of the velocity distribution produced at the inlet of the catalyst. To verify the analytical results, engine tests were carried out in the ESC and ETC modes. Results of these tests indicated that the larger flow model in the longitudinal direction showed the highest NOx reduction efficiency, which was a good agreement with the analytical results.

Observation of Fatigue Crack Growth Behavior in 1Cr-1Mo-0.25V Steel Using Image Processing Technology (영상처리기법을 이용한 1Cr-1Mo-0.25V 강의 피로균열 성장거동 관찰)

  • Nahm, Seung-Hoon;Kim, Yong-Il;Ryu, Dae-Hyun
    • Journal of the Korean Society for Nondestructive Testing
    • /
    • v.22 no.1
    • /
    • pp.14-21
    • /
    • 2002
  • The development of a new experimental method is required to easily observe the growth behavior of fatigue cracks. To satisfy the requirement, an image processing technique was introduced to fatigue testing. The length of surface fatigue crack could be successfully measured by the image processing system. At first, the image data of cracks were stored into the computer while the cyclic loading was interrupted. After testing, crack length was determined using an image processing software which was developed by authors. Various image processing techniques like a block matching method was applied tc the detection of surface fatigue cracks. By comparing the data measured by the image processing system with those by the manual measurement with a microscope, the effectiveness of the image processing system was established. If the proposed method is used to monitor and observe the crack growth behavior automatically, the time and efforts for fatigue test could be dramatically reduced.

An Home-Delivery Service Management System Using OMA DM Agents (OMA DM 에이전트를 이용한 택배 서비스 관리 시스템)

  • Park, Kee-Hyun;Yoo, Sang-Jin
    • Journal of Korea Society of Industrial Information Systems
    • /
    • v.13 no.2
    • /
    • pp.8-17
    • /
    • 2008
  • Since different methods or protocols have been used to manage various mobile terminals, it has been difficult to manage mobile terminals efficiently. OMA(Open Mobile Alliance), therefore, proposed OMA DM(Device Management) as a standard for device management. In this paper, in an effort to apply the OMA DM concept ta real application area a home-delivery service management system using OMA DM agents is designed and implemented. The home-delivery service management system is developed using SyncML Tool Kit 4.3, SK WIPI SDK and Embedded Visual-C++ under the environment of SK-WIPI Clet. Since the home-delivery service management system is developed using OMA DD which is expected to be installed in most of the mobile terminals, separate lower level program modules for the management system would not be necessary. In order to justify this world some experiments are performed using SK WIPI emulator 1.1., which provides the same execution environments as a real mobile terminals does. Experiments show that the home-delivery service management system developed in this paper, works properly.

  • PDF

Segmentation and Volume Calculation through the Analysis of Blurred Gray Value from the Brain MRI (뇌의 MR 영상에서 번짐 현상의 명암 값 분석을 통한 백질과 회백질의 추출 및 체적 산출)

  • Sung, Yun-Chang;Yoo, Seung-Wha;Song, Chang-Jun;Park, Jong-Won
    • Journal of KIISE:Software and Applications
    • /
    • v.27 no.8
    • /
    • pp.815-826
    • /
    • 2000
  • This study is for the segmentation and volume calculation of the white matter and gray matter from brain MRI. In general, the volume of white and gray matter is reduced by contraction of each components in the case of mental retardation which are Alzheimer's disease and Down's syndrome. As results, it is useful for diagnostic and early detection for various mental retardation through the tracing of variation for its volume from the brain MRI. But, until now, it was very difficult to calculate the partial volume of each components existing in some thickness, because MR image was represented by single gray value after scanning by MR scanner. Accordingly, new segmentation algorithm proposed in this paper is to calculate the partial volume of the white and gray matter existing in some thickness through the analysis of the blurred gray value, and is to determine the threshold for segmentation of white and gray matter, and is to calculate the volume of each segmented component. And finally, proposed algorithm was applied the models which was created manually, and then acquired results was compared with that of original model.

  • PDF

Handover Monitoring with Flow-based Traffic Measurement in Mobile IPv6 Routers (모바일 IPv6 라우터에서 플로우 측정을 이용한 핸드오버 모니터링)

  • Son, Hyeon-Gu;Choi, NaK-Jung;Choi, Yang-Hee;Lee, Young-Seok
    • Journal of KIISE:Information Networking
    • /
    • v.36 no.5
    • /
    • pp.397-404
    • /
    • 2009
  • In this paper, we propose a method of monitoring traffic and analyzing information of handover in mobile IPv6 networks. Our proposed method analyzes handover latency through monitoring packets at routers without installing monitoring applications at mobilenodes. For this purpose, we employ a flow-based traffic monitoring standard called IPFIX to perform the traffic measurement function the packets at the routers. Therefore, our method is useful in that we could easily obtain information regarding handover of mobile nodes by only monitoring traffic at the routers. In order to verify the proposed method, we carried out experiments in a real 802.11-based mobile IPv6 network testbed. From our experimental results, it was shown that the calculated handover latency for uploading traffic is accurate with less accuracy of analyzing the handover latency for downloading traffic.

An Attitude Determination GPS and INS Integration Scheme: Design and Flight Experiment (자세측정용 GPS/INS 통합시스템 구성 및 비행 시험)

  • Kim, Jeong Won;Hwang, Dong-Hwan;Lee, Sang Jeong;Park, Chansik;Oh, Sang Heon;Kim, Se Hwan;Ahn, Lee-Ki;Lee, Jang-Ho
    • Journal of Advanced Navigation Technology
    • /
    • v.8 no.2
    • /
    • pp.112-119
    • /
    • 2004
  • This paper proposes an attitude determination GPS/INS integrated system scheme for a UAV and presents experimental flight test results. The proposed system is designed as a part of an autopilot system and comprises a GPS attitude determination receiver, an off-the-shelf inertial measurement unit (IMU), and a navigation computer unit (NCU). UAV requires accurate attitude information for stable automatic flight control. The proposed system can provide accurate attitude information for the flight control computer (FCC) so that stable automatic flight control can be achieved. In order to verify the performance of the proposed scheme, an integrated navigation system has been developed. In order to evaluate the developed navigation system, the flight test has been performed. In the flight test, the developed system was shown to provide the position, the velocity and the attitude satisfactorily enough for stable flight control. The accuracy of the attitude information of the developed system was confirmed by comparing attitude of vertical gyro.

  • PDF

Design and Implementation of Air Vehicle Test Equipment for Unmanned Aerial Vehicle (무인항공기 점검을 위한 비행체점검장비 설계 및 구현)

  • Kwon, Sang-eun
    • Journal of Advanced Navigation Technology
    • /
    • v.24 no.4
    • /
    • pp.251-260
    • /
    • 2020
  • Unlike manned aerial vehicles, because an unmanned aerial vehicle (UAV) has a limitation which allows only remote test during flights, it is very important to maintain the high reliability of the vehicle through pre- and post-flight tests. To this end, this paper designed an air vehicle test equipment (AVTE) for UAV which meets the derived hardware and software requirements. Based on this design, the AVTE was implemented in accordance with the actual test scenario. The implemented AVTE has the advantage of reducing the time and cost required for the test of UAV by allowing the operator to perform automatic or manual tests for necessary parts in various situations such as before and after starting engine and pre- and post-flight tests. Furthermore, this study is expected to help with the design and implementation of AVTE for other UAVs.