• Title/Summary/Keyword: Event sequence

Search Result 213, Processing Time 0.029 seconds

Human error analysis in nuclear power plants based on a cognitive model (인지과정모형에 기반한 원자력발전소 인적오류 분석)

  • 윤완철;이용희;김영수
    • Journal of the Ergonomics Society of Korea
    • /
    • v.13 no.2
    • /
    • pp.33-41
    • /
    • 1994
  • The paper presents a new scheme and a support system for the analysis sof hyman errors in nuclear power plants based on a cognitive model. We discusse the problems identified in current managerial analysis, and propose a new approach that frames the description of human activities according to a human decision making modle, so that it could provide a better reconstruction of a sequence of event suspected of involving human errors. This sophistcated approach becomes practical for the field application with the support of a computerized aiding system. The model-based event re-construction method is expected to enable the analysts to produce more informative reports, which in turn heop to derive appropriate counter- measures to reduce the possibility of the analyzed human errors.

  • PDF

Clonal plant as experimental organisms - DNA mutation rate evaluation in the radiation contaminated area of Fukushima Daiichi NPP accident

  • KANEKO, Shingo
    • Proceedings of the Plant Resources Society of Korea Conference
    • /
    • 2018.10a
    • /
    • pp.25-25
    • /
    • 2018
  • The Fukushima Daiichi Nuclear Power Plant accident in March 2011 caused severe radioactive contamination in the surrounding environment. Since the accident, much attention has been paid to the biological and genetic consequences of organism inhabiting the contaminated area. The effect of radiation exposure on genetic mutation rates is little known, especially for low doses and in situ conditions. Evaluating DNA mutation by low levels of radiation dose is difficult due to the rare mutation event and lack of sequence information before the accident. In this study, correlations with air dose levels and somatic DNA mutation rates were evaluated using Next Generation Sequencer for the clonal plant, Phyllostachys edulis. This bamboo is known to spread an identical clone throughout Japan, and it has the advantage that we can compare genetic mutation rate among identical clone growing different air dose levels. We collected 94 samples of P. edulis from 14 sites with air dose rates from $0.04{\sim}7.80{\mu}Gy/h$. Their clonal identity was confirmed by analysis using 24 microsatellite markers, and then, sequences among samples were compared by MIG sequence. The sequence data were obtained from 2,718 loci. About ~200,000 bp sequence (80 bp X 2,718 loci) were obtained for each sample, and this corresponds to about 0.01% of the genome sequence of P. edulis. In these sequences, 442 loci showed polymorphism patterns including recent origin mutation, old mutation, and sequence errors. The number of mutations per sample ranged from 0 to 13, and did not correlate with air dose levels. This result indicated that DNA mutations have not accumulated in P. edulis living in the air doses levels less than $10{\mu}Gy/h$. Our study also suggests that mutation rates can be assessed by selecting an appropriate experimental approach and analyzing with next generation sequencer.

  • PDF

Analysis for Scalar Mixing Characteristics using Linear Eddy Model (Linear Eddy Model을 이용한 스칼라의 혼합특성 해석)

  • Kim, H.J.;Ryu, L.S.;Kim, Y.M.
    • Journal of ILASS-Korea
    • /
    • v.11 no.1
    • /
    • pp.1-6
    • /
    • 2006
  • The present study is focused on the small scale turbulent mixing processes in the scalar Held. In order to deal with molecular mixing in turbulent flow, the linear eddy model is addressed. In each realization, the molecular mixing term is implemented deterministically, and turbulent stirring is represented by a sequence of instantaneous, statistically independent rearrangement event called by triplet map. The LEM approach is applied with relatively simple conditions. The characteristics of scalar mixing and PDF profiles are addressed in detail.

  • PDF

Automated Test Generation from Specifications Based on Formal Description Techniques

  • Chin, Byoung-Moon;Choe, Young-Han;Kim, Sung-Un;Jung, Jae-Il
    • ETRI Journal
    • /
    • v.19 no.4
    • /
    • pp.363-388
    • /
    • 1997
  • This paper describes a research result on automatic generation of abstract test cases from formal specifications by applying many related algorithms and techniques such as the testing framework, rural Chinese postman tour and unique input output sequence concepts. In addition, an efficient algorithm for verifying the strong connectivity of the reference finite state machine and the concept of unique event sequence are explained. We made use of several techniques to from an integrated framework for abstract test case generation from LOTOS and SDL specifications. A prototype of the proposed framework has been built with special attention to real protocol in order to generate the executable test cases in an automatic way. The abstract test cases in tree and tabular combined notation (TTCN) language will be applied to the TTCN compiler in order to obtain the executable test cases which re relevant to the industrial application.

  • PDF

Some Monascus purpureus Genomes Lack the Monacolin K Biosynthesis Locus

  • Kwon, Hyung-Jin;Balakrishnan, Bijinu;Kim, Yeon-Ki
    • Journal of Applied Biological Chemistry
    • /
    • v.59 no.1
    • /
    • pp.45-47
    • /
    • 2016
  • Two Monascus purpureus genomes lack the monacolin K biosynthesis locus (mok), while Monascus species are generally assumed to be monacolin K producers. These M. purpureus harbor a fusion of mokA and mokB orthologues. This finding suggests that an ancestral mok locus underwent a deletion event in the M. purpureus genome.

The Vibration Bell System Development Using NFC Tag and Smart Phone (NFC Tag와 스마트폰을 이용한 진동벨 시스템 개발)

  • Lim, Jong Bum;Lim, Yang Mi
    • Journal of Korea Multimedia Society
    • /
    • v.18 no.8
    • /
    • pp.968-979
    • /
    • 2015
  • In this paper, we study a vibration bell App which shows waiting sequence numbers by utilizing smartphones to solve an inconveniently long waiting time from ordering to getting foods in restaurants and coffee shops. Unlike existing independently developed hardware and software, the vibration bell App is developed to manage and integrate customer management service, POS service in shops, and group shop management services. The functions of the vibration bell App include two-way communications based on NFC- issuing waiting sequence numbers and electronic coupon, showing event information, and transferring user information. Furthermore, the user's personal information is minimized by recognizing the pre-existing information of the user's smartphone. Replacing the shop's vibration bell system with the vibration bell APP, the shops can reduce the cost of construction and maintenance by up to 1/10, compared to the cost of for existing vibration bell systems. Moreover, the customer's preference and current sales trend can be easily figured out. Thus, it will have a great effect on the future marketing strategies.

Coverage metrics for high-level events in behavioral model verification (동작적 모델 검증의 상위 레벨 사건에 대한 검출률 측정법)

  • Kim, Kang-Chul;Im, Chang-Gyun;Ryu, Jae-Hung;Han, Suk-Bung
    • Journal of the Korea Institute of Information and Communication Engineering
    • /
    • v.10 no.3
    • /
    • pp.496-502
    • /
    • 2006
  • The complexity of IC has rapidly increased as VLSI fabrication technology has grown up quickly. This paper proposes verification methods for data conflicts and protocol between IPs for SoC with coverage metrics. The high-level events is defined to cooperation between blocks or process statement in HDL, or a sequence of performing a job compared to low-level event. They are classified into two categories, resource conflicts and protocol or specification-dependent conflicts. And two coverage metrics used for code coverage in low-level event are proposed to verify the hish-level events. The events of resource conflicts can be detected by using statement coverage metric if global signal or variable has flags in a testbench program, and protocol-dependent events can be checked by data flow metric or path metric.

Recognition of Events by Human Motion for Context-aware Computing (상황인식 컴퓨팅을 위한 사람 움직임 이벤트 인식)

  • Cui, Yao-Huan;Shin, Seong-Yoon;Lee, Chang-Woo
    • Journal of the Korea Society of Computer and Information
    • /
    • v.14 no.4
    • /
    • pp.47-57
    • /
    • 2009
  • Event detection and recognition is an active and challenging topic recent in Computer Vision. This paper describes a new method for recognizing events caused by human motion from video sequences in an office environment. The proposed approach analyzes human motions using Motion History Image (MHI) sequences, and is invariant to body shapes. types or colors of clothes and positions of target objects. The proposed method has two advantages; one is thant the proposed method is less sensitive to illumination changes comparing with the method using color information of objects of interest, and the other is scale invariance comparing with the method using a prior knowledge like appearances or shapes of objects of interest. Combined with edge detection, geometrical characteristics of the human shape in the MHI sequences are considered as the features. An advantage of the proposed method is that the event detection framework is easy to extend by inserting the descriptions of events. In addition, the proposed method is the core technology for event detection systems based on context-aware computing as well as surveillance systems based on computer vision techniques.

Fuzzy Colored Timed Petri Nets for Context Inference (상황 추론을 위한 Fuzzy Colored Timed Petri Net)

  • Lee Keon-Myung;Lee Kyung-Mi;Hwang Kyung-Soon
    • Journal of the Korean Institute of Intelligent Systems
    • /
    • v.16 no.3
    • /
    • pp.291-296
    • /
    • 2006
  • In context-aware computing environment, some context is characterized by a single event, but many other contexts are determined by a sequence of events which happen with some timing constraints. Therefore context inference could be conducted by monitoring the sequence of event occurrence along with checking their conformance with timing constraints. Some context could be described with fuzzy concepts instead of concrete concepts. Multiple entities may interact with a service system in the context-aware environments, and thus the context inference mechanism should be equipped to handle multiple entities in the same situation. This paper proposes a context inference model which is based on the so-called fuzzy colored timed Petri net. The model represents and handles the sequential occurrence of some events along with involving timing constraints, deals with the multiple entities using the colored Petri net model, and employs the concept of fuzzy tokens to manage the fuzzy concepts.

A Simple Metric for Assessing the Severity of Partial Discharge Activity Based on Time-Sequence-Analysis-Discharge Level Patterns

  • Stewart Brian G;Yang Lily;Judd Martin D;Reid Alistair;Fouracre Richard A
    • Transactions on Electrical and Electronic Materials
    • /
    • v.7 no.6
    • /
    • pp.313-318
    • /
    • 2006
  • This paper introduces a partial discharge (PD) severity metric, S, based on the evaluation of time-sequence PD data capture and resulting Time-Sequence-Analysis Discharge (TSAD) level distributions. Basically based on an IEC60270 measurement technique, each PD event is time stamped and the discharge level noted. By evaluating the time differences between a previous and subsequent discharge, a 3D plot of time-sequence activity and discharge levels can be produced. From these parameters a measurement of severity, which takes into account dynamic or instantaneous variations in both the time of occurrence and the level of discharge, rather than using standard repetition rate techniques, can be formulated. The idea is to provide a measure of the severity of PD activity for potentially measuring the state of insulation within an item of plant. This severity measure is evaluated for a simple point-plane geometry in $SF_{6}$ as a function of gap distance and applied high voltage. The results show that as the partial discharge activity increases, the severity measure also increases. The importance of future investigations, quantifications and evaluations of the robustness, sensitivity and importance of such a severity measurement, as well as comparing it with typical repetition rate assessment techniques, and other monitoring techniques, are also very briefly discussed.