Abstract: The present disclosure is directed to a novel reconfiguration framework for a BFT SMR system. With this framework, the configuration of both the system itself and the clients of the system can be modified in a live manner (i.e., without taking the system offline) while preserving correct system operation.

Abstract: An algorithm for efficiently maintaining a globally uniform-in-time execution schedule for a dynamically changing set of periodic workload instances is provided. At a high level, the algorithm operates by gradually adjusting execution start times in the schedule until they converge to a globally uniform state. In certain embodiments, the algorithm exhibits the property of “quick convergence,” which means that regardless of the number of periodic workload instances added or removed, the execution start times for all workload instances in the schedule will typically converge to a globally uniform state within a single cycle length from the time of the addition/removal event(s) (subject to a tunable “aggressiveness” parameter).

Abstract: A method and computer program product for identifying errors in a computerized preparation of an electronic financial document to be submitted to an agency. A financial document preparation program is executed, a first connection is initiated with a computer of the agency, the schema requirements are received from the agency via the first connection, data entry fields are generated, data entered into the data entry fields is received, error rules are generated from the schema requirements, each error rule associated with a respective one of the data entry fields associated with the electronic financial document, the data entered into the data entry fields is checked against the respective error rules to identify schema errors in the data entered into the data entry fields, the electronic financial document is generated based on the data entered into the data entry fields, and the electronic financial document is electronically transmitted to the agency.

Abstract: A method and computer program product for identifying errors in a computerized preparation of an electronic financial document to be submitted to an agency. A financial document preparation program is executed, a first connection is initiated with a computer of the agency, the schema requirements are received from the agency via the first connection, data entry fields are generated, data entered into the data entry fields is received, error rules are generated from the schema requirements, each error rule associated with a respective one of the data entry fields associated with the electronic financial document, the data entered into the data entry fields is checked against the respective error rules to identify schema errors in the data entered into the data entry fields, the electronic financial document is generated based on the data entered into the data entry fields, and the electronic financial document is electronically transmitted to the agency.

Abstract: A pressure vessel of a reactor has a flow space between the reactor core and a separation device for separating water from water steam. The cross-section area of the flow section of the space expands upstream of the separation device. This makes it possible to pre-separate a water-water steam mixture coming from the reactor core. Due to the pre-separation, only the central area is provided with a cyclone device, and only drying equipment is disposed near the cyclone device. The novel approach makes it possible to reduce the height of the pressure vessel of a reactor.

Abstract: A pressure vessel of a reactor has a flow space between the reactor core and a separation device for separating water from water steam. The cross-section area of the flow section of the space expands upstream of the separation device. This makes it possible to pre-separate a water-water steam mixture coming from the reactor core. Due to the pre-separation, only the central area is provided with a cyclone device, and only drying equipment is disposed near the cyclone device. The novel approach makes it possible to reduce the height of the pressure vessel of a reactor.

Abstract: The container collects and spreads core melt in a nuclear power plant. The container has a structured bottom, particularly a cartridge-like bottom. The bottom has a material of good thermal conductivity, a plurality of geodetically highest points and a plurality of geodetically lowest points (5) and an outer wall. The outer wall extends with an upward slope between a geodetically lowest point and an adjacent geodetically highest point. A steam conduit which runs through the container interior is provided at each geodetically highest point. The container allows external cooling of core melt. As a result, the formation of radioactive aerosols, the occurrence of a steam explosion and the formation of hydrogen are avoided. In addition, the cooling is made particularly effective by the upward slope of the outer wall since the formation of a spatially fixed steam region, which is associated with a decrease in thermal conductivity, is prevented.

Abstract: A containment of a nuclear power station includes a device for igniting hydrogen contained in a hydrogen/air mixture. A central electrode for lightning flash generation is provided to ensure the maintenance of a particularly low hydrogen concentration in the entire interior of the containment. The central electrode is connected to a high-voltage source for generating a high voltage greater than the disruptive discharge voltage of air.