• Title/Summary/Keyword: Manual Verification

Search Result 111, Processing Time 0.209 seconds

Application of Response Surface Method for Optimal Transfer Conditions of MLCC Alignment System (반응표면법을 이용한 MLCC 자동 정렬 시스템의 운영조건 최적화)

  • Kim, Jae-Min;Chung, Won-Ji;Shin, O-Chul
    • Journal of the Korean Society of Manufacturing Technology Engineers
    • /
    • v.19 no.4
    • /
    • pp.582-588
    • /
    • 2010
  • This paper presents the Application of Response Surface Method for Optimal Transfer Conditions of MLCC Alignment System. his paper is composed of two parts: (1) Testing performance verification of MLCC alignment system, compared with manual operation; (2) Applying response surface method to figuring out the optimal transfer conditions of MLCC transfer system. Based on the successfully developed MLCC alignment system, the optimal transfer conditions have been explored by using RSM. The simulations using $ADAMS^{(R)}$ has been performed according to the cube model of CCD. By using $MiniTAB^{(R)}$, we have established the model of response surface based on the simulation results. The optimal conditions resulted from the response optimization tool of $MiniTAB^{(R)}$ has been verified by being assigned to the prototype of MLCC alignment system.

Computational fluid analysis of Aircraft Exhaust Duct for Verification of Structural Stability (항공기용 배기덕트의 구조적 안정성 검토를 위한 전산유동해석)

  • Lee, Changwook;Kim, Woncheol;Park, YongSuk;Yang, Yongjun
    • Proceedings of the Korean Society of Propulsion Engineers Conference
    • /
    • 2017.05a
    • /
    • pp.606-608
    • /
    • 2017
  • The computational fluid analysis was carried out to investigate structural stability of exhaust duct for turboprop engine. In order to calculate the thrust and shear force acting on the flight condition of the aircraft, the flow in the exhaust duct and the flow in the direction of the exhaust duct flange were analyzed by Fluent software to obtain thrust, shear force and bending moment. As a result of the analysis, it was confirmed that the allowable loads set idle engine manual were not exceeded.

  • PDF

Specification and Verification of Crisis Response Manual using Formal Methods (정형기법을 적용한 위기대응 실무매뉴얼 명세 및 검증)

  • Jeong, Kum-Taek;Lee, Jin-Ho;Seo, Suk;Choi, Jin-Young
    • Proceedings of the Korean Information Science Society Conference
    • /
    • 2010.06b
    • /
    • pp.116-119
    • /
    • 2010
  • 안보, 재난, 국가핵심기반 분야에 위기발생시 즉각적인 조치를 위한 '위기대응 실무매뉴얼'이 정부기관별로 작성되어 있지만 조치사항에 대한 정량적 검증이 부족하다. 오류가 내포된 조치절차는 피해를 확대 시킬 수 있으므로 위기대응절차에 대한 검증이 요구되며 이를 위해 본 논문에서는 Statemate의 구조적, 기능적, 행위적 관점의 언어를 활용해서 정형기법(formal methods)을 수행함으로써 위기 대응 실무매뉴얼의 모델링 방법을 제안하고 매뉴얼에 기술되어 있는 조치절차의 검증결과를 제시하였다.

  • PDF

Analysis of Pupil Size Variability for Effectiveness Verification of Activation Level of Autonomic Nerve System by Electromagnetic Acupuncture System (자화침 시스템의 자율신경계 활성화 효과 검증을 위한 동공크기변이 분석)

  • Liu, Wenxue;Lee, Na-Ra;Choi, Woo-Hyuk;Kim, Soo-Byeong;Lee, Young-Heum;Shin, Tae-Min
    • Korean Journal of Acupuncture
    • /
    • v.29 no.4
    • /
    • pp.554-562
    • /
    • 2012
  • Objectives : The purpose of this research is to verify the effects of the Electromagnetic acupuncture(EMA) on BL15 by Pupil size variability(PSV) which is directly related to the activation of the Autonomic Nervous System. Methods : Thirty male subjects participated in this study and were divided into three groups(non-stimulated, manual acupuncture and EMA group). The size of pupil was measured in the cube place of $60{\times}60{\times}60$ cm in order to avoid the effect of the surrounding circumstances. All subjects were measured the size of left pupil about 200sec in the constant illumination. Results : We observed the decrease in PSV of manual acupuncture group compared to non-stimulation group, but it was not significant statistically(p>0.05). The decrease in PSV of EMA group was observed in comparison to two groups, and we confirmed the result of significant difference statistically(p<0.05). Conclusions : We concluded that EMA treatment method is enough to activate in the parasympathetic nerve system by inducing the biotransformation.

Quality Assurance on Dose Distribution of Ir-192 Line Source (Ir-192 선 선원의 선량분포에 관한 품질보증)

  • Kim, Jong-Eon
    • Journal of radiological science and technology
    • /
    • v.30 no.1
    • /
    • pp.33-38
    • /
    • 2007
  • The propose of this study is a verification of the correct calculation of the dose around source and the prescription dose of Ir-192 source in the plato treatment planning system. The source and orthogonal coordinates for lateral direction and those for the anterior posterior direction were drawn on a A4 paper and then input into the system. The prescription dose was prescribed to two points with radius 1 cm in the direction of polar angle $90^{\circ} and $270^{\circ} from the center of the source. The doses of prescription point and dose points acquired from the treatment planning system were compared with those from manual calculation using the geometry function formalism derived by Paul King et al. In this analysis, the doses of prescription point were exactly consistent with each other and those of dose points were obtained within the error point of 1.85%. And the system of accuracy was evaluated within 2% of tolerance error. Therefore, this manual dose calculation used for the geometry function formalism is considered to be useful in clinics due to its convenience and high quality assurance.

  • PDF

Development and Demonstration of Trial-run Automation System of Energy Storage System for Frequency Regulation (주파수조정용 에너지저장장치 시운전 자동화 시스템의 개발과 실증)

  • Lim, Geon-Pyo;Choi, Yo-Han;Lee, Seung-Min;Park, Chan-Wook
    • The Transactions of the Korean Institute of Electrical Engineers P
    • /
    • v.66 no.3
    • /
    • pp.110-116
    • /
    • 2017
  • System to automate the trial-run of energy storage system for frequency regulation was developed and demonstrated. Basic strategy was developed on the basis of trial-run procedure and verified in the computer simulation tool. The algorithm was developed and coded for 4MW trial-run automation system. 4MW trial-run automation system was connected to 4MW energy storage system for frequency regulation in Jocheon substation of Jeju city and demonstrated. 24MW trial-run automation system was developed on the basis of 4MW trial-run automation system and verified by operation system for 24MW energy storage system for frequency regulation. The operation system has own simulation model of energy storage system and power system. The verification was performed to improve the system in the view of user. 24MW trial-run automation system was demonstrated in 32MW Ul-san and 36MW Non-gong energy storage system. All tests of trial-run was done by manual and first they ware taken 1 week with no trial-run automation system. The manual trial-run tests were taken by maximum three times. Trial-run test by trial-run automation system was taken 2 days. The system helps reduce the trial-run test period and improve the accuracy of tests.

A Study on the Guideline of Area of Space Size according to Size of position and Regional characteristics of Public Libraries (공공도서관의 지위별 규모와 지역적 특성에 따른 공간 면적 기준에 관한 연구)

  • Lee, Chul-Jae;Yun, Ji-Won;Lee, Min
    • Korean Institute of Interior Design Journal
    • /
    • v.26 no.2
    • /
    • pp.92-100
    • /
    • 2017
  • In order to improve the functions of libraries in each region, it is necessary to establish the guideline of area of space size according to size and region. Therefore, this study aims to present the guideline of area of space size of public libraries for the revision of the manual of 2013. The study findings are as follows. First, the theoretical and preceding studies have raised a need to present the guidelines on the areas of public libraries nationwide since the guidelines of areas presented in Gyeonggi Province have been derived from the provincial libraries of Gyeonggi only. It is also necessary to analyze and verify the guidelines of areas of public libraries nationwide in Korea based on the guidelines of areas for Gyeonggi Province. Second, I have analyzed the areas of public libraries nationwide. I have conducted comparative analysis and verification in comparison with the areas in Gyeonggi Province through the ${\pm}5%$ error range presented in the existing manual, which has led to the conclusion that the guidelines of areas in Gyeonggi Province are within the error range and thus are applicable to public libraries nationwide. Third, I have presented the five different types of guidelines of areas. This study is expected to facilitate accelerating the decision-making and policy establishment as part of the construction and remodeling plans. In the future, however, more detailed studies on libraries bigger than $5,000m^2$ is needed.

FSM Designs with Control Flow Intensive Cycle-C Descriptions (Cycle-C를 이용한 제어흐름 중심의 FSM 설계)

  • Yun Chang-Ryul;Jhang Kyoung-Son
    • Journal of KIISE:Computing Practices and Letters
    • /
    • v.11 no.1
    • /
    • pp.26-35
    • /
    • 2005
  • Generally, we employ FSMs for the design of controllers in digital systems. FSMs are Implemented with state diagrams generated from control flow. With HDL, we design and verify FSMs based on state diagrams. As the number of states in the system increases, the verification or modification processes become complicated, error prone and time consuming. In this paper, we propose a control flow oriented hardware description language at the register transfer level called Cycle-C. Cycle-C describes FSMs with timing information and control How intensive algorithms. The Cycle-C description is automatically converted into FSMs in the form of synthesizable RTL VHDL. In experiments, we design FSMs for control intensive interface circuits. There is little area difference between Cycle-C design and manual design. In addition, Cycle-C design needs only 10~50% of the number lines of manual RTL VHDL designs.

A Proposal for Partial Automation Preparation System of BIM-based Energy Conservation Plan - Case Study on Automation Process Using BIM Software and Excel VBA - (BIM기반 에너지절약계획서 건축부문 부분자동화 작성 시스템 제안 - BIM 소프트웨어와 EXCEL VBA를 이용한 자동화과정을 중심으로 -)

  • Ryu, Jea-Ho;Hwang, Jong-Min;Kim, Sol-Yee;Seo, Hwa-Yeong;Lee, Ji-Hyun
    • Journal of KIBIM
    • /
    • v.12 no.2
    • /
    • pp.49-59
    • /
    • 2022
  • The main idea of this study is to propose a BIM-based automation system drawing up a report of energy conservation plan in the architecture division. In order to obtain a building permit, an energy conservation plan must be prepared for buildings with a total floor area of 500m2 or more under the current law. Currently, it is adopted as a general method to complete a report by obtaining data and drawings necessary for an energy conservation plan through manual work and input them directly into the verification system. This method takes a lot of effort and time in the design phase which ultimately increases the initial cost of the business, including the services of companies specialized in the environmental field. However, in preparation for mandatory BIM work process in the future, it is necessary to introduce BIM-based automatic creation system that has an advantage for shortening the whole process to enable rapid permission of energy-saving designs for buildings. There may be many methods of automation, but this study introduces how to build an application using Dynamo of Revit, in terms of utilizing BIM, and write an energy conservation plan by automatic completion of report through Dynamo and Excel's VBA algorithm, which can save time and cost in preparing the report of energy conservation plan compared with the manual process. Also we have insisted that the digital transformation of architectural process is a necessary for an efficient use of our automation system in the current energy conservation plan workflow.

A Study on the Improvement of Automatic Text Recognition of Road Signs Using Location-based Similarity Verification (위치기반 유사도 검증을 이용한 도로표지 안내지명 자동인식 개선방안 연구)

  • Chong, Kyusoo
    • The Journal of The Korea Institute of Intelligent Transport Systems
    • /
    • v.18 no.6
    • /
    • pp.241-250
    • /
    • 2019
  • Road signs are guide facilities for road users, and the Ministry of Land, Infrastructure and Transport has established and operated a system to enhance the convenience of managing these road signs. The role of road signs will decrease in the future autonomous driving, but they will continue to be needed. For the accurate mechanical recognition of texts on road signs, automatic road sign recognition equipment has been developed and it has applied image-based text recognition technology. Yet there are many cases of misrecognition due to irregular specifications and external environmental factors such as manual manufacturing, illumination, light reflection, and rainfall. The purpose of this study is to derive location-based destination names for finding misrecognition errors that cannot be overcome by image analysis, and to improve the automatic recognition of road signs destination names by using Levenshtein similarity verification method based on phoneme separation.