• Title/Summary/Keyword: Verifying System

Search Result 855, Processing Time 0.029 seconds

A Tool for Implementation of Expert System with Knowledge Management System (지식관리 시스템을 수반한 전문가 시스템 구축 도구)

  • 서의현
    • Journal of Intelligence and Information Systems
    • /
    • v.9 no.3
    • /
    • pp.49-63
    • /
    • 2003
  • This paper proposes and implements a tool for the development of efficient and reliable expert system. In the expert system the inference is executed, based on the knowledges stored in the knowledge base of specific domain. To acquire the reliable results of inference, the expert system requires the facilities which can access the various kinds of knowledge and maintain the consistency and accuracy of knowledge. In this context this paper implemented the knowledge management system which maintains the consistency and accuracy of knowledge, adding selectively the knowledges without error to the knowledge base by verifying their error before the knowledges are added to the knowledge base. At the same time this paper made the expert system call and use the procedural knowledge and the declarative knowledge in the data base so that it might use the various kinds of knowledge in the process of inference.

  • PDF

A Study on the Development of Automatic Ship Berthing System (선박 자동접안시스템 구축을 위한 기초연구)

  • Kim, Y.B.;Choi, Y.W.;Chae, G.H.
    • Journal of Power System Engineering
    • /
    • v.10 no.4
    • /
    • pp.139-146
    • /
    • 2006
  • In this paper vector code correlation(VCC) method and an algorithm to promote the image processing performance in building an effective measurement system using cameras are described for automatically berthing and controlling the ship equipped with side thrusters. In order to realize automatic ship berthing, it is indispensable that the berthing assistant system on the ship should continuously trace a target in the berth to measure the distance to the target and the ship attitude, such that we can make the ship move to the specified location. The considered system is made up of 4 apparatuses compounded from a CCD camera, a camera direction controller, a popular PC with a built in image processing board and a signal conversion unit connected to parallel port of the PC. The object of this paper is to reduce the image processing time so that the berthing system is able to ensure the safety schedule against risks during approaching to the berth. It could be achieved by composing the vector code image to utilize the gradient of an approximated plane found with the brightness of pixels forming a certain region in an image and verifying the effectiveness on a commonly used PC. From experimental results, it is clear that the proposed method can be applied to the measurement system for automatic ship berthing and has the image processing time of fourfold as compared with the typical template matching method.

  • PDF

Multi-fidelity modeling and analysis of a pressurized vessel-pipe-safety valve system based on MOC and surrogate modeling methods

  • Xueguan Song;Qingye Li;Fuwen Liu;Weihao Zhou;Chaoyong Zong
    • Nuclear Engineering and Technology
    • /
    • v.55 no.8
    • /
    • pp.3088-3101
    • /
    • 2023
  • A pressurized vessel-pipe-safety valve (PVPSV) combination is a commonly used configuration in nuclear power plants, and a good numerical model is essential for the system design, sizing and performance optimization. However, owing to the large-scale and cross-scale features, it is still a challenge to build a system level numerical model with both high accuracy and efficiency. To overcome this, a novel system level modeling method which can synthesize the advantages of various models is proposed in this paper. For system modeling, the analytical approach, the method of characteristics (MOC) and the surrogate model approach are respectively adopted to predict the dynamics of the pressure vessel, the connecting pipe and the safety valve, and different models are connected through data interfaces. With this system model, dynamic simulations were carried out and both the stable and the unstable system responses were obtained. For the model verification purpose, the simulation results were compared with those obtained from experiments and full CFD simulations. A good agreement and a better efficiency were obtained, verifying the ability of the model and the feasibility of the modeling method proposed in this paper.

A Study on the Development of Information System for the Ship Survey to Support Port State Control (항만국 통제 지원 선박검사 정보시스템 개발에 관한 연구)

  • 박주용;강병윤;이경철
    • Journal of Ocean Engineering and Technology
    • /
    • v.14 no.3
    • /
    • pp.100-105
    • /
    • 2000
  • Port State Control (PSC) is the inspection of foreign ships in national ports for the purpose of verifying that the condition of the ships and its equipments comply with the requirement of international conventions and the ship is manned and operated in compliance with applicable international laws. On the other hand, check items in PSC are nearly similar to periodical survey of Classification Societies, because they have the same background regarding safety and maritime pollution prevention. The purpose of this study is to develope computer-aided information system for ship inspection item which is useful for effective implementation of Port State Control. For this work, the status of PSC is reviewed, and the related scheme of ship survey system in Classification Societies is investigated. On these bases, a computer software integrated database system and object-oriented technique is developed. The developed system is expected helpful to establish and maintain an effective system of Port State Control.

  • PDF

Utilization of Building Colors with the Energy-Oriented Algae Façade System

  • Jo, Han-Sol;Han, Seung-Hoon
    • KIEAE Journal
    • /
    • v.17 no.1
    • /
    • pp.43-48
    • /
    • 2017
  • Purpose: Building owners or residents have concerns to strive for energy-saving and environmental conservation by utilizing with eco-friendlier energy resources for their physical environment. In this paper, an algae façade system is proposed as an energy-friendly building component to improve energy productivity and indoor environmental quality, and this study aims at verifying alternative technologies for implementing building elevations that contain various colors equipped with algae façade systems and suggesting design guidelines to enhance both building performance and design values. Method: The color of algae is basically ranged about the saturation green, and it is hardly converted to other variations. Such a problem can be resolved through the artificial lights like LED (Light Emitting Diode) lamps to mix the color from the algae and buildings could possibly change the elevation in many ways under the influence of daylight. Result: As a result, the suggested system may increase the aesthetic aspect of the building in response to environmental changes. The system cannot possibly be applied for only new construction, but also it can be utilized with the existing buildings as well. The proposed system is expected to be applied not only a new construction and any existing buildings as well, and it will cover from the environmentally friendly energy generation in the industry to a new application system for increasing energy efficiency and the beauty of building envelopes.

Test Results Grid Connection of 120 kW Power Generation System (120 kW급 태양광 발전시스템 설치 및 실 계통연계 운전 결과 평가)

  • Hwang, Jung-Hee;Ahn, Kyo-Sang;Lim, Hee-Cheon;Kim, Su-Chang;Kim, Sin-Sub
    • Transactions of the Korean hydrogen and new energy society
    • /
    • v.17 no.3
    • /
    • pp.338-346
    • /
    • 2006
  • In this paper, the test results of medium-size(120 kW class) PV system which was installed in the Taeahn thermal power station of Korea Western Power Co., Ltd., were summarized for developing the practical technology to applicate high voltage grid connection PV system. The 120 kW photovoltaic system which was consisted of 1,300 modules, PCS, and 150 kVA transformer station has been operated since Aug. 05, 2005. For verifying the modeling results of PV system, the operation data was compared with modeling results which was executed commercial PSCAD/EMTD and Psim tools. An equivalent circuit model of a solar cell has been also used for solar array modeling. A series of parameters required for array modeling have been estimated from general specification data of a solar module. A PWM voltage source inverter(VIS) and its current control scheme have been analyzed by using P&O (perturbation and Observation) MPPT algorithms technique.

Development of the technology to verify the systems interface for the High speed Electric Multiple Unit (차세대고속철도기술개발사업 시스템인터페이스 시험기술 개발)

  • Kang, B.M.;Jeong, S.G.;Ahn, H.K.;Choi, H.C.;Yu, S.W.
    • Proceedings of the KSR Conference
    • /
    • 2010.06a
    • /
    • pp.810-815
    • /
    • 2010
  • Since a long time ago, many railway engineers analyze and discuss the interface between the sub-system of railway, such as a wheel/rail interface, pantograph/catenary interface etc. The verifying of the system interface could help to achive the optimized performance and safety of the railway system considering that the railway system is constructed by various engineerings, such as civil, mechanical, electrical, etc. A rolling stock with distributed drive system, which will be developed by HEMU-400x project, is capable of running on high speed line and conventional line in Korea. To verify the performance of rolling stock, test run will be done with revenue service line. And the test items of the system interface have to be selected to verify a functional compatibility and physical force between rolling stock and infrastructure. In this paper, the authors will indicates the test items to verify system interface. To achive the conclusion, the authors analyze a specification of the development train and the design value of Seoul-Busan high speed line, which will be used for testing of the development train, and also, study the various case of high speed train commissioning.

  • PDF

A Study on the Design of Railway Electornic Interlocking Software Based on Real-Time Object-Oriented Modeling Technique (ROOM기법을 이용한 전자연동 소프트웨어 설계에 관한 연구)

  • Kim, Jong-Sun;Yoo, Ji-Yoon
    • The Transactions of the Korean Institute of Electrical Engineers D
    • /
    • v.50 no.9
    • /
    • pp.439-446
    • /
    • 2001
  • This paper considers the design technique of the real-time control algorithm to implement the electronic interlocking system which is the most important station control system in railway signal field. The proposed technique consists of the structure design and the detail design which are based on the ROOM(Real-Time Object-Oriented Modeling). The structure design is designed with a modeling using the heuristic search technique which, at first, catch and make out the specific requested condition, and then, is designed on the requested condition. The detail design can be implemented if it may get the satisfying values through the repetitive modeling after comparing and examining the data obtained from the structure design in order for the more reliable and accurate system to be implemented. The technique proposed in this paper is implemented with C++ language which is easy to be transferred and compatible with the existing interfaces, and also the operating system is designed and simulated on the VRTX which is a real-time operating system. This proposed technique is applied to the typical station model in order to prove the validity as verifying the performance of the modeled station.

  • PDF

Implementation on the Portable Blood Gas Analyzer (휴대형 혈액가스 분석시스템의 구현)

  • Kang S.C.;Jeong D.U.;Bae J.W.;Shon J.M.;Shim Y.B.;Jeon G.R.
    • Proceedings of the Korean Institute of Information and Commucation Sciences Conference
    • /
    • 2006.05a
    • /
    • pp.1032-1036
    • /
    • 2006
  • In this study, we implement the potable blood gas analyzer measuring pH, $pCO_2\;and\;pO_2$ of the arterial blood. The implemented system by this study is divided into hardware and software part and also the hardware portion is parted by mechanism and electronic circuit mit. The system program is composed of operating, washing, correcting and measuring program. And to correct the system, two-point calibration method is used, one-point calibration method is also added for more accuracy, and system program is coded. For verifying the implemented system, We examine to response property of each electrode. And evaluate accuracy of the system using standard reagent and was construed as statistical.

  • PDF

Flexural Beam Design of Ultrasonic Object Levitation Slide System (초음파 물체부상 이송시스템의 Flexural Beam 설계)

  • Jeong, Sang-Hwa;Kim, Hyun-Uk;Choi, Suk-Bong;Kim, Kwang-Ho;Park, Jun-Ho
    • Proceedings of the Korean Society for Noise and Vibration Engineering Conference
    • /
    • 2005.11a
    • /
    • pp.959-962
    • /
    • 2005
  • In the semiconductor and optical industry. a new transport system which can replace the conventional transport system is required. The Transport systems are driven by the magnetic field and conveyer belts. The magnetic field may damage semiconductor and the contact force may scratch the optical lens. The ultrasonic wave driven system can solve these problems. In this semiconductor and optical industry, the non-contact system is required for reducing the damages. The ultrasonic transportation is the solution of the problem. In this paper, the ultrasonic levitation system for levitation object are proposed. The 3D vibration profiles of the beam are measured by Laser Scanning Vibrometer for verifying the vibration characteristics of the system and the amplitudes of the beam and the levitation heights of object are measured fore evaluating the performance.

  • PDF