This paper deals with formal and simulation based verification methods of a primary-to-secondary leaking (abbreviated as PRISE) safety procedure. The PRISE safety procedure controls the draining of the contaminated water in a faulty steam generator when a non-compensable leaking from the primary to the secondary circuit occurs. Because of the discrete nature of the verification, a Coloured Petri Net (CPN) representation is proposed for both the procedure and the plant model. We have proved by using a non-model-based strategy that the PRISE safety procedure is safe, there are no dead markings in the state-space, and all transitions are live; being either impartial or fair.Further analysis results have been obtained using a model-based verification approach. We created a simple, low dimensional, nonlinear dynamic model of the primary circuit in a VVER-type pressurized water nuclear power plant for the purpose of the model-based verification. This is in contrast to the widely used safety analysis that requires an accurate detailed model. Our model also describes the relevant safety procedures, as well as all of the major leaking type faults. We propose a novel method to transform this model to a CPN form by discretization. The composed plant and PRISE safety procedure system has also been analysed by simulation using CPN analysis tools. We found by the model-based analysis -using both single and multiple faults-that the PRISE safety procedure initiates the draining when the PRISE event occurs, and no false alarm will be initiated.
A multi-scale modeling approach is proposed in this paper that assists the user in constructing musculoskeletal system models from sub-models describing various mechanisms on different levels on the length scale. In addition, dynamic timescale analysis has been performed on the developed multi-scale models of various parts of a human limb: on wrist, elbow and shoulder characterized by different maximal muscle and skeletal length properties. The timescale analysis results have been represented on a scale-map, that can be used effectively to direct the simplification of multi-scale models for control-related application purposes.
This article examines the ways Hungarian political life and public debate were influenced by the news media’s coverage of the 1993 conflict involving the Branch Davidians living at Mount Carmel Center near Waco, Texas and United States federal agents, in which a total of eighty-six people were killed. After the collapse of the Soviet political system, new religious movements began spreading rapidly in Eastern European nations at the beginning of the 1990s. The first anticult movements in Hungary were closely connected to the political conservativism and traditional religiosity represented by so-called “historical” Christian churches. The conservative governing parties aimed to restrict new religious movements by withdrawing financial support and by enacting a new law on religion and denominations resulting in anticult propaganda disseminated by the state. The news about the conflict and deaths at Mount Carmel Center played an important catalyzing role in the anticult parliamentary and press debates in Hungary. The tragedy of the deaths at Mount Carmel became one of the most important arguments in the hands of politicians in Hungary who wanted to limit freedom of religion for members of new religious movements.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.