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

Satellite inventory of Minnesota forest resources

The methods and results of using Landsat Thematic Mapper (TM) data to classify and estimate the acreage of forest covertypes in northeastern Minnesota are described. Portions of six TM scenes covering five counties with a total area of 14,679 square miles were classified into six forest and five nonforest classes. The approach involved the integration of cluster sampling, image processing, and estimation. Using cluster sampling, 343 plots, each 88 acres in size, were photo interpreted and field mapped as a source of reference data for classifier training and calibration of the TM data classifications. Classification accuracies of up to 75 percent were achieved; most misclassification was between similar or related classes. An inverse method of calibration, based on the error rates obtained from the classifications of the cluster plots, was used to adjust the classification class proportions for classification errors. The resulting area estimates for total forest land in the five-county area were within 3 percent of the estimate made independently by the USDA Forest Service. Area estimates for conifer and hardwood forest types were within 0.8 and 6.0 percent respectively, of the Forest Service estimates. A trial of a second method of estimating the same classes as the Forest Service resulted in standard errors of 0.002 to 0.015. A study of the use of multidate TM data for change detection showed that forest canopy depletion, canopy increment, and no change could be identified with greater than 90 percent accuracy. The project results have been the basis for the Minnesota Department of Natural Resources and the Forest Service to define and begin to implement an annual system of forest inventory which utilizes Landsat TM data to detect changes in forest cover

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

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

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

A compact explicit model for long-channel gate-all-around junctionless MOSFETs. Part II: Total charges and intrinsic capacitance characteristics

10.1109/TED.2014.2342273Analytical and explicit expressions are derived for intrinsic capacitances of the junctionless gate-all-around transistor, from the charge-control model, valid in the two regions of operation, depletion mode and accumulation mode. The advantage of this model is that it reduces to simple expressions for each region, giving a higher computation speed. We obtain very good agreement between the calculated capacitance characteristics and 3-D numerical device simulation

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

A compact explicit model for long-channel gate-all-around junctionless MOSFETs. Part I: DC characteristics

10.1109/TED.2014.2340441In this paper, we solved Poisson equation in cylindrical coordinates using approximations to obtain a compact model for the drain current of long-channel junctionless gate-all-around MOSFETs. The resulting model is analytical, explicit, and valid for depletion and accumulation, and consists of simple physically based equations, for better understanding of this device, and also easier implementation and better computation speed as a compact model. The agreement with TCAD simulations is very good

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