• 제목/요약/키워드: Checking procedure

검색결과 129건 처리시간 0.019초

Memory-based Pattern Completion in Database Semantics

  • Hausser Roland
    • 한국언어정보학회지:언어와정보
    • /
    • 제9권1호
    • /
    • pp.69-92
    • /
    • 2005
  • Pattern recognition in cognitive agents is based on (i) the uninterpreted input data (e.g. parameter values) provided by the agent's hardware devices and (ii) and interpreted patterns (e.g. templates) provided by the agent's memory. Computationally, the task consists in finding the memory data corresponding best to the input data, for any given input. Once the best fitting memory data have been found, the input is recognized by applying to it the interpretation which happens to be stored with the memorized pattern. This paper presents a fast converging procedure which starts from a few initially recognized items and then analyzes the remainder of the input by systematically checking for items shown by memory to have been related to the initial items in previous encounters. In this way, known patterns are tried first, and only when they have been exhausted, an elementary exploration of the input is commenced. Efficiency is improved further by choosing the candidate to be tested next according to frequency.

  • PDF

File Signature's Automatic Calculation Algorithm Proposal for Digital Forensic

  • Jang, Eun-Jin;Shin, Seung-Jung
    • International Journal of Internet, Broadcasting and Communication
    • /
    • 제13권3호
    • /
    • pp.118-123
    • /
    • 2021
  • Recently, digital crime is becoming more intelligent, and efficient digital forensic techniques are required to collect evidence for this. In the case of important files related to crime, a specific person may intentionally delete the file. In such a situation, data recovery is a very important procedure that can prove criminal charges. Although there are various methods to recover deleted files, we focuses on the recovery technique using HxD editor. When recovering a deleted file using the HxD editor, check the file structure and access the file data area through calculation. However, there is a possibility that errors such as arithmetic errors may occur when a file approach through calculation is used. Therefore, in this paper, we propose an algorithm that automatically calculates the header and footer of a file after checking the file signature in the root directory for efficient file recovery. If the algorithm proposed in this paper is used, it is expected that the error rate of arithmetic errors in the file recovery process can be reduced.

결정론적 화재방호요건을 기반으로 한 원자력발전소 화재모델링 현장실사 수행절차 개발 (Development of Walk-down Performance Procedures for Fire Modeling of Nuclear Power Plants based on Deterministic Fire Protection Requirements)

  • 문종설;이재호
    • 한국화재소방학회논문지
    • /
    • 제33권6호
    • /
    • pp.43-52
    • /
    • 2019
  • 본 연구에서는 결정론적 화재방호 요건을 기반으로 하는 원자력발전소 화재모델링 현장실사(Walk-down) 수행절차를 개발하였다. 원전 화재모델링 현장실사 수행절차는 도면에 정확히 표시되지 않은 안전정지 기기 및 케이블에 대한 위치를 파악하고, 가연물 및 점화원의 존재여부와 위치를 파악하는 과정을 포함한다. 본 연구에서 개발한 현장 실사 절차의 성능을 검증하기 위해서 가상의 다중오동작 시나리오에 대해 샘플 안전정지 중요기기 및 케이블을 선정하였다. 또한 선정된 안전정지 기기 및 케이블을 대상으로 가상의 화재모델링 시나리오를 도출하여 이에 대한 실제 현장실사를 수행하였다. 현장실사를 통해서 수집한 발전소 정보는 화재모델링을 위한 입력 값을 도출하는데 사용될 수 있도록 도면에서 얻은 정보와 비교·검토 되었다.

Guideline on Acceptance Test and Commissioning of High-Precision External Radiation Therapy Equipment

  • Kim, Juhye;Shin, Dong Oh;Choi, Sang Hyoun;Min, Soonki;Kwon, Nahye;Jung, Unjung;Kim, Dong Wook
    • 한국의학물리학회지:의학물리
    • /
    • 제29권4호
    • /
    • pp.123-136
    • /
    • 2018
  • The complex dose distribution and dose transfer characteristics of intensity-modulated radiotherapy increase the importance of precise beam data measurement and review in the acceptance inspection and preparation stages. In this study, we propose a process map for the introduction and installation of high-precision radiotherapy devices and present items and guidelines for risk management at the acceptance test procedure (ATP) and commissioning stages. Based on the ATP of the Varian and Elekta linear accelerators, the ATP items were checked step by step and compared with the quality assurance (QA) test items of the AAPM TG-142 described for the medical accelerator QA. Based on the commissioning procedure, dose quality control protocol, and mechanical quality control protocol presented at international conferences, step-by-step check items and commissioning guidelines were derived. The risk management items at each stage were (1) 21 ionization chamber performance test items and 9 electrometer, cable, and connector inspection items related to the dosimetry system; (2) 34 mechanical and dose-checking items during ATP, 22 multileaf collimator (MLC) items, and 36 imaging system items; and (3) 28 items in the measurement preparation stage and 32 items in the measurement stage after commissioning. Because the items presented in these guidelines are limited in terms of special treatment, items and practitioners can be modified to reflect the clinical needs of the institution. During the system installation, it is recommended that at least two clinically qualified medical physicists (CQMP) perform a double check in compliance with the two-person rule. We expect that this result will be useful as a radiation safety management tool that can prevent radiation accidents at each stage during the introduction of radiotherapy and the system installation process.

자동화 검증시스템을 이용한 발사관제시스템 알고리즘 검증시험 (The Verification Test of Launch Control System Algorithms Using Automated Verification System)

  • 안재철;문경록;오일석
    • 한국추진공학회지
    • /
    • 제25권3호
    • /
    • pp.127-137
    • /
    • 2021
  • 발사대시스템은 다양한 설비로 구성된다. 이들 설비를 원격 운용하는 발사관제시스템은 제어 알고리즘 개발과 검증에 많은 시간과 노력이 소요된다. 알고리즘 검증은 소프트웨어 제작자가 시험절차서에 기반한 시뮬레이션 상태 값을 입력하고, 알고리즘 흐름에 따라 출력 결과를 확인하는 과정을 통해 이루어진다. 이러한 검증 과정은 반복적으로 수행되므로 작업 오류를 쉽게 유발할 수 있다. 본 논문에서는 작업 오류의 최소화와 검증 기간 단축이 가능한 스크립트 시험절차서 기반의 효율적인 자동화 검증 방법을 제안하며, 발사대의 고압가스 공급설비와 전자식 유공압패널설비 제어 알고리즘 검증시험에 적용한 결과를 제시한다.

과학체험행사 참가 팀의 활동 형태 및 도우미 학생의 역할 분석 (The Analysis of Participant Teams' Activity Types and Roles of Assistant Students in Science Festival)

  • 전영석;임미량
    • 한국초등과학교육학회지:초등과학교육
    • /
    • 제31권2호
    • /
    • pp.188-196
    • /
    • 2012
  • Science festivals have occupied a very important axle in informal science education that enables students to experience the amazement of scientific experiments to think over scientific principals beyond the formal education in the classrooms. Among the concerned person, the most benefit-taken group may be the assistant who help the participants experience the activities in the festival. In order to find out the ways to make the student assistant's participation into a meaningful education experience, we analyzed the types of the activities in the science festival as well as the characteristics of the interaction between the student-assistants and the participating students are studied. The research findings are as follows: First, most activities in the science festival had related to the scientific concepts or principals; however, the understanding of the concepts and principals didn't highly affect the procedure of the activities. In many cases the students operated and made results without checking the related concepts or principals. Second, the student-assistants showed the consistency of operation in guiding their activities. They were explaining mainly the process of the experiments without giving a chance to think of related concepts or principles. We suggest that teacher should consider the student-assistants' learning in the festival as well as that of the participants.

오차항과 러닝 기법을 활용한 예측진단 시스템 개선 방안 연구 (A Study on the Prediction Diagnosis System Improvement by Error Terms and Learning Methodologies Application)

  • 김명준;박영호;김태규;정재석
    • 품질경영학회지
    • /
    • 제47권4호
    • /
    • pp.783-793
    • /
    • 2019
  • Purpose: The purpose of this study is to apply the machine and deep learning methodology on error terms which are continuously auto-generated on the sensors with specific time period and prove the improvement effects of power generator prediction diagnosis system by comparing detection ability. Methods: The SVM(Support Vector Machine) and MLP(Multi Layer Perception) learning procedures were applied for predicting the target values and sequentially producing the error terms for confirming the detection improvement effects of suggested application. For checking the effectiveness of suggested procedures, several detection methodologies such as Cusum and EWMA were used for the comparison. Results: The statistical analysis result shows that without noticing the sequential trivial changes on current diagnosis system, suggested approach based on the error term diagnosis is sensing the changes in the very early stages. Conclusion: Using pattern of error terms as a diagnosis tool for the safety control process with SVM and MLP learning procedure, unusual symptoms could be detected earlier than current prediction system. By combining the suggested error term management methodology with current process seems to be meaningful for sustainable safety condition by early detecting the symptoms.

공정변수를 갖는 혼합물 실험 자료의 분석 (Analysis of mixture experimental data with process variables)

  • 임용빈
    • 품질경영학회지
    • /
    • 제40권3호
    • /
    • pp.347-358
    • /
    • 2012
  • Purpose: Given the mixture components - process variables experimental data, we propose the strategy to find the proper combined model. Methods: Process variables are factors in an experiment that are not mixture components but could affect the blending properties of the mixture ingredients. For example, the effectiveness of an etching solution which is measured as an etch rate is not only a function of the proportions of the three acids that are combined to form the mixture, but also depends on the temperature of the solution and the agitation rate. Efficient designs for the mixture components - process variables experiments depend on the mixture components - process variables model which is called a combined model. We often use the product model between the canonical polynomial model for the mixture and process variables model as a combined model. Results: First we choose the reasonable starting models among the class of admissible product models and practical combined models suggested by Lim(2011) based on the model selection criteria and then, search for candidate models which are subset models of the starting model by the sequential variables selection method or all possible regressions procedure. Conclusion: Good candidate models are screened by the evaluation of model selection criteria and checking the residual plots for the validity of the model assumption. The strategy to find the proper combined model is illustrated with examples in this paper.

Seismic design of irregular space steel frames using advanced methods of analysis

  • Vasilopoulos, A.A.;Bazeos, N.;Beskos, D.E.
    • Steel and Composite Structures
    • /
    • 제8권1호
    • /
    • pp.53-83
    • /
    • 2008
  • A rational and efficient seismic design methodology for irregular space steel frames using advanced methods of analysis in the framework of Eurocodes 8 and 3 is presented. This design methodology employs an advanced static or dynamic finite element method of analysis that takes into account geometrical and material non-linearities and member and frame imperfections. The inelastic static analysis (pushover) is employed with multimodal load along the height of the building combining the first few modes. The inelastic dynamic method in the time domain is employed with accelerograms taken from real earthquakes scaled so as to be compatible with the elastic design spectrum of Eurocode 8. The design procedure starts with assumed member sections, continues with the checking of the damage and ultimate limit states requirements, the serviceability requirements and ends with the adjustment of member sizes. Thus it can sufficiently capture the limit states of displacements, rotations, strength, stability and damage of the structure and its individual members so that separate member capacity checks through the interaction equations of Eurocode 3 or the usage of the conservative and crude q-factor suggested in Eurocode 8 are not required. Two numerical examples dealing with the seismic design of irregular space steel moment resisting frames are presented to illustrate the proposed method and demonstrate its advantages. The first considers a seven storey geometrically regular frame with in-plan eccentricities, while the second a six storey frame with a setback.

대변형 해석에서 평활화를 이용한 사면체 요소망의 재조성

  • 권기환;채수원;신상엽
    • 대한기계학회논문집A
    • /
    • 제24권9호
    • /
    • pp.2397-2405
    • /
    • 2000
  • The remeshing is a method to replace a distorted mesh by a new mesh without interrupting the finite element calculation. The remeshing procedure in this paper refers to the rezoning, for which a sm oothing process is developed to alleviate the distortions of mesh. In the paper, an automatic finite element rezoning system with tetrahedral elements for large deformation analysis has been developed. Our smoothing process is composed of two steps, a surface smoothing and a volume smoothing. In the surface smoothing, checking the dihedral angle and projection on surface patch reduced the change of shape and nodes penetrating die. The constrained Laplacian smoothing has been employed for the volume smoothing process. The state variables are mapped from old mesh to new mesh by using volume coordinates within a tetrahedral element. All these procedures have been linked to the NIKE3D program As illustrated in the examples the overall strategy ensures a robust and efficient rezoning scheme for finite element simulation of metal-forming processes.