• Title/Summary/Keyword: checking procedure

Search Result 129, Processing Time 0.025 seconds

Memory-based Pattern Completion in Database Semantics

  • Hausser Roland
    • Language and Information
    • /
    • v.9 no.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
    • /
    • v.13 no.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 (결정론적 화재방호요건을 기반으로 한 원자력발전소 화재모델링 현장실사 수행절차 개발)

  • Moon, Jongseol;Lee, Jaiho
    • Fire Science and Engineering
    • /
    • v.33 no.6
    • /
    • pp.43-52
    • /
    • 2019
  • A walk-down procedure for fire modeling of nuclear power plants, based on deterministic fire protection requirements, was developed. The walk-down procedure includes checking the locations of safety shutdown equipment and cables that are not correctly indicated on drawings and identifying the existence and location of combustibles and ignition sources. In order to verify the performance of the walk-down procedure developed in this study, a sample of important equipment and cables were selected for hypothetical multiple spurious operation (MSO) scenarios. In addition, the hypothetical fire modeling scenarios were derived from the selected safe shutdown equipment and cables and an actual walk-down was conducted. The plant information collected through the walk-down was compared to the information obtained from the drawings, so that the collected information may be used as input values for the fire modeling.

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
    • Progress in Medical Physics
    • /
    • v.29 no.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 (자동화 검증시스템을 이용한 발사관제시스템 알고리즘 검증시험)

  • An, Jae-Chel;Moon, Kyung-Rok;Oh, Il-Seok
    • Journal of the Korean Society of Propulsion Engineers
    • /
    • v.25 no.3
    • /
    • pp.127-137
    • /
    • 2021
  • The launch complex(LC) is composed of various facilities. The launch control system that operates remotely those of LC spends much time and labor for developing and verifying its control algorithms. The verification of algorithms is performed by the software developer entering simulated state values based on the test procedure and checking the output result according to the algorithm flow. These verification processes should be performed repeatedly, thus the human errors are easily occurred. In this paper, an efficient automated verification method with a script test procedure is proposed to minimize human errors and shorten the verification duration. We also present the results of the algorithm verification tests for the cases of the compressed gases supply system and the electro pneumatic panel system of LC.

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

  • Jhun, Youngseok;Lim, Miryang
    • Journal of Korean Elementary Science Education
    • /
    • v.31 no.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 (오차항과 러닝 기법을 활용한 예측진단 시스템 개선 방안 연구)

  • Kim, Myung Joon;Park, Youngho;Kim, Tai Kyoo;Jung, Jae-Seok
    • Journal of Korean Society for Quality Management
    • /
    • v.47 no.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 (공정변수를 갖는 혼합물 실험 자료의 분석)

  • Lim, Yong-B.
    • Journal of Korean Society for Quality Management
    • /
    • v.40 no.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
    • /
    • v.8 no.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.

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

  • Gwon, Gi-Hwan;Chae, Su-Won;Sin, Sang-Yeop
    • Transactions of the Korean Society of Mechanical Engineers A
    • /
    • v.24 no.9 s.180
    • /
    • 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.