77 research outputs found
Performance evaluation of an emergency call center: tropical polynomial systems applied to timed Petri nets
We analyze a timed Petri net model of an emergency call center which
processes calls with different levels of priority. The counter variables of the
Petri net represent the cumulated number of events as a function of time. We
show that these variables are determined by a piecewise linear dynamical
system. We also prove that computing the stationary regimes of the associated
fluid dynamics reduces to solving a polynomial system over a tropical
(min-plus) semifield of germs. This leads to explicit formul{\ae} expressing
the throughput of the fluid system as a piecewise linear function of the
resources, revealing the existence of different congestion phases. Numerical
experiments show that the analysis of the fluid dynamics yields a good
approximation of the real throughput.Comment: 21 pages, 4 figures. A shorter version can be found in the
proceedings of the conference FORMATS 201
Analysis of an AP600 intermediate-size loss-of-coolant accident
A postulated double-ended guillotine break of an AP600 direct-vessel-injection line has been analyzed. This event is characterized as an intermediate-break loss-of-coolant accident. Most of the insights regarding the response of the AP600 safety systems to the postulated accident are derived from calculations performed with the TRAC-PF1/MOD2 code. However, complementary insights derived from a scaled experiment conducted in the ROSA facility, as well as insights based upon calculations by other codes, are also presented. Based upon the calculated and experimental results, the AP600 will not experience a core heat up and will reach a safe shutdown state using only safety-class equipment. Only the early part of the long-term cooling period initiated by In-containment Refueling Water Storage Tank injection was evaluated. Thus, the observation that the core is continuously cooled should be verified for the later phase of the long-term cooling period when sump injection and containment cooling processes are important
Testing real-time systems using TINA
The paper presents a technique for model-based black-box conformance testing of real-time systems using the Time Petri Net Analyzer TINA. Such test suites are derived from a prioritized time Petri net composed of two concurrent sub-nets specifying respectively the expected behaviour of the system under test and its environment.We describe how the toolbox TINA has been extended to support automatic generation of time-optimal test suites. The result is optimal in the sense that the set of test cases in the test suite have the shortest possible accumulated time to be executed. Input/output conformance serves as the notion of implementation correctness, essentially timed trace inclusion taking environment assumptions into account. Test cases selection is based either on using manually formulated test purposes or automatically from various coverage criteria specifying structural criteria of the model to be fulfilled by the test suite. We discuss how test purposes and coverage criterion are specified in the linear temporal logic SE-LTL, derive test sequences, and assign verdicts
Recommended from our members
Intermediate-break LOCA analyses for the AP600 design
A postulated double-ended guillotine break of a direct-vessel-injection line in an AP600 plant has been analyzed. This event is characterized as an intermediate break loss-of-coolant accident (IBLOCA). Most of the insights regarding the response of the AP600 safety systems to the postulated accident are derived from calculations performed with the TRAC-PFl/MOD2 code. However, complementary insights derived from a scaled experiment conducted in the ROSA facility, as well as insights based upon calculations by other codes, are also presented. The key processes occurring in an AP600 during a IBLOCA are primary coolant system depressurization, inventory depletion, inventory replacement via emergency core coolant injection, continuous core cooling, and long-term decay heat rejection to the atmosphere. Based upon the calculated and experimental results, the AP600 will not experience a core heat up and will reach a safe shutdown state using only safety-class equipment. Only the early part of the long-term cooling period initiated by In-containment Refueling Water Storage Tank injection was evaluated Thus, the observation that the core is continuously cooled should be verified for the latter phase of the long-term cooling period, the interval when sump injection and containment cooling processes are important
Recommended from our members
Analysis of an AP600 intermediate-size loss-of-coolant accident
A postulated double-ended guillotine break of an AP600 direct-vessel-injection line has been analyzed. This event is characterized as an intermediate-break loss-of-coolant accident. Most of the insights regarding the response of the AP600 safety systems to the postulated accident are derived from calculations performed with the TRAC-PF1/MOD2 code. However, complementary insights derived from a scaled experiment conducted in the ROSA facility, as well as insights based upon calculations by other codes, are also presented. Based upon the calculated and experimental results, the AP600 will not experience a core heat up and will reach a safe shutdown state using only safety-class equipment. Only the early part of the long-term cooling period initiated by In-containment Refueling Water Storage Tank injection was evaluated. Thus, the observation that the core is continuously cooled should be verified for the later phase of the long-term cooling period when sump injection and containment cooling processes are important
Recommended from our members
TRAC large-break loss-of-coolant accident analysis for the AP600 design
This report discusses a TRAC model of the Westinghouse AP600 advanced reactor design which has been developed for analyzing large-break loss-of-coolant accident (LBLOCA) transients. A preliminary LBLOCA calculation of a 80% cold-leg break has been performed with TRAC-PF1/MOD2. The 80% break size was calculated by Westinghouse to be the most severe large-break size. The LBLOCA transient was calculated to 92 s. Peak clad temperatures (PCT) were well below the Appendix K limit of 1478 K (2200{degrees}F). Transient event times and PCT for the TRAC calculation were in reasonable agreement with those calculated by Westinghouse using their WCOBRA/TRAC code
Recommended from our members
Updated TRAC analysis of an 80% double-ended cold-leg break for the AP600 design
An updated TRAC 80% large-break loss-of-coolant accident (LBLOCA) has been calculated for the Westinghouse AP600 advanced reactor design, The updated calculation incorporates major code error corrections, model corrections, and plant design changes. The 80% break size was calculated by Westinghouse to be the most severe large-break size for the AP600 design. The LBLOCA transient was calculated to 144 s. Peak cladding temperatures (PCTS) were well below the Appendix K limit of 1,478 K (2,200 F), but very near the cladding oxidation temperature of 1,200 K (1,700 F). Transient event times and PCT for the TRAC calculation were in reasonable agreement with those calculated by Westinghouse using their {und W}COBRA/TRAC code. However, there were significant differences in the detailed phenomena calculated by the two codes, particularly during the blowdown phase. The reasons for these differences are still being investigated. Additional break sizes and break locations need to be analyzed to confirm the most severe break postulated by Westinghouse
Recommended from our members
One-dimensional TRAC calculations of main steam line break events for the updated PIUS 600 advanced reactor design
The PIUS advanced reactor is a 640-MWe pressurized water reactor developed by Asea Brown Boveri (ABB). A unique feature of the PIUS concept is the absence of mechanical control and shutdown rods. Reactivity is controlled by coolant boron concentration and the temperature of the moderator coolant. As part of the preapplication and eventual design certification process, advanced reactor applicants are required to submit neutronic and thermal-hydraulic safety analyses over a sufficient range of normal operation, transient conditions, and specified accident sequences. Los Alamos is supporting the US Nuclear Regulatory Commission`s preapplication review of the PIUS reactor. A fully one-dimensional model of the PIUS reactor has been developed for the Transient Reactor Analysis Code, TRACPF1/MOD2. Early in 1992, ABB submitted a Supplemental Information Package describing recent design modifications. An important feature of the PIUS Supplement design was the addition of an active scram system that will function for most transient and accident conditions. A one-dimensional Transient Reactor Analysis Code baseline calculation of the PIUS Supplement design were performed for a break in the main steam line at the outlet nozzle of the loop 3 steam generator. Sensitivity studies were performed to explore the robustness of the PIUS concept to severe off-normal conditions following a main steam line break. The sensitivity study results provide insights into the robustness of the design
Recommended from our members
Reactor scram events in the updated PIUS 600 advanced reactor design
The PIUS advanced reactor is a 640-MWe pressurized water reactor concept developed by Asea Brown Boveri. A unique feature of PIUS is the absence of mechanical control and shutdown rods. Reactivity is controlled by coolant boron concentration and the temperature of the moderator coolant. Los Alamos supported the US Nuclear Regulatory Commission`s preapplication review of the PIUS reactor. Baseline calculations of the PIUS design were performed for active and passive reactor scrams using TRAC-PF1/MOD2. Additional sensitivity studies examined flow blockage and boron dilution events to explore the robustness of the PIUS concept for low-probability combination events following active-system scrams
- …