Investigation of the Rotokawa Geothermal System and Feasibility of Supercritical Fluid Production within the TVZ through Supercritical TOUGH2 Numerical Modeling.

<p>A single fault process model was created to test the sensitivity of each TOUGH2 rock parameter on the convection flow rate and fluid enthalpy within a simulated fault. With a fixed temperature base the single fault process model found a negative correlation with the fault permeability and convection fluid enthalpy and a positive liner increases in mass flow with fault area. Next a large scale Supercritical TOUGH2 model was built to simulate the entire Rotokawa geothermal system incorporating findings of the fault process model. The single porosity model 20 x 10 x 6km with 20 layers and 57,600 grid blocks. Unlike previous models of the Rotokawa reservoir and larger scale TVZ numerical models a fixed temperature base with a no flow boundary was used to represent the brittle ductile transition. The model permeability below the currently explored reservoir was bounded by 3-D magnetologic data. Lower resistivity zones were given higher bulk permeability in the model. The model resulted in a comparable temperature and pressure match to the Rotokawa natural state conditions. Convection of supercritical fluid reached depths shallower than -4500mRL but only occurred in zones with a bulk vertical permeability less than 2 mD. Further modelling work with a supercritical wellbore coupled reservoir model will be need to evaluate the potential deliverability of a super critical well from the Rotokawa geothermal system.</p>

Investigation of the Rotokawa Geothermal System and Feasibility of Supercritical Fluid Production within the TVZ through Supercritical TOUGH2 Numerical Modeling.

<p>A single fault process model was created to test the sensitivity of each TOUGH2 rock parameter on the convection flow rate and fluid enthalpy within a simulated fault. With a fixed temperature base the single fault process model found a negative correlation with the fault permeability and convection fluid enthalpy and a positive liner increases in mass flow with fault area. Next a large scale Supercritical TOUGH2 model was built to simulate the entire Rotokawa geothermal system incorporating findings of the fault process model. The single porosity model 20 x 10 x 6km with 20 layers and 57,600 grid blocks. Unlike previous models of the Rotokawa reservoir and larger scale TVZ numerical models a fixed temperature base with a no flow boundary was used to represent the brittle ductile transition. The model permeability below the currently explored reservoir was bounded by 3-D magnetologic data. Lower resistivity zones were given higher bulk permeability in the model. The model resulted in a comparable temperature and pressure match to the Rotokawa natural state conditions. Convection of supercritical fluid reached depths shallower than -4500mRL but only occurred in zones with a bulk vertical permeability less than 2 mD. Further modelling work with a supercritical wellbore coupled reservoir model will be need to evaluate the potential deliverability of a super critical well from the Rotokawa geothermal system.</p>

Single Fault Diagnosis Method of Sensors in Cascade System Based on Data-Driven

The reliability and safety of the cascade system, which is widely applied, have attached attention increasingly. Fault detection and diagnosis can play a significant role in enhancing its reliability and safety. On account of the complexity of the double closed-loop system in operation, the problem of fault diagnosis is relatively complex. For the single fault of the second-order valued system sensors, a real-time fault diagnosis method based on data-driven is proposed in this study. Off-line data is employed to establish static fault detection, location, estimation, and separation models. The static models are calibrated with on-line data to obtain the real-time fault diagnosis models. The real-time calibration, working flow and anti-interference measures of the real-time diagnosis system are given. Experiments results demonstrate the validity and accuracy of the fault diagnosis method, which is suitable for the general cascade system.

Dynamic asymptotic model of rolling bearings with a single fault in the inner raceway

In the previous models of rolling bearings with a single fault, the displacement deviation caused by the collision of the fault to the rolling element changes instantly. However, the displacement deviation should change gradually. Here, the asymptotic idea is introduced to describe the change of the displacement deviation. The calculation method of the deviation is given. An asymptotic model of rolling bearings with an inner raceway fault is constructed. Then, the simulation of the SKF6205 bearing with a single fault is carried out. The differences between the previous model and the asymptotic model for the responses and the displacement deviation are compared. The effects of the speed and fault size on the dynamic characteristics are analyzed. Finally, the experiments are carried out to corroborate the rationality of the constructed model. The research results can provide theoretical support for the dynamic analysis, fault diagnosis, and reliability analysis of rolling bearings.

The Bane of Generate-and-Validate Program Repair: Too Much Generation, Too Little Validation

To repair a program does not mean to make it absolutely correct; it only means to make it more-correct, in some sense, than it is. This distinction has consequences: Given that software products typically have a dozen faults per KLOC and thousands of KLOC’s, program repair tools ought to be designed in such a way as to transform an incorrect program into an incorrect, albeit more-correct, program. In the absence of a concept of relative correctness (the property of a program to be more-correct than another with respect to a specification), program repair methods have resorted to various approximations of absolute correctness. This shortcoming has been concealed by the fact that they are usually validated on programs with a single fault at a time, for which the goals of absolute correctness and relative correctness are indistinguishable. In this paper we discuss how the use of relative correctness can reduce the scale of patch generation and enhance the efficiency, precision and recall of patch validation.

Fault Detection and Isolation of the Multi-Sensor Inertial System

In order to solve the problem that the generalized likelihood test method cannot isolate the single fault of the four-gyro system and the double faults of the six-gyro system, a fault detection and isolation method combining the generalized likelihood test method with the residual error of the metabolism grey model is presented. The problem of isolating the single fault of the four-gyro system and the double faults of the six-gyro system using the generalized likelihood test method is analyzed. The method and process of fault detection and isolation are designed. The validity of the method presented in this paper is verified by simulation tests of the single fault of the four-gyro system and the double faults of the six-gyro system. By comparing the isolation performance with the generalized likelihood test method, it is proved that the isolation performance of the method proposed in this paper is better than that of the generalized likelihood test method. The method mentioned in this paper can effectively realize fault detection and isolation of the multi-gyro system and improve the inertial system’s reliability.

A High-Reliability Redundancy Scheme for Design of Radiation-Tolerant Half-Duty Limited DC-DC Converters

Redundancy techniques are commonly used to design radiation- and fault-tolerant circuits for space applications, to ensure high reliability. However, higher reliability often comes at a cost of increased usage of hardware resources. Triple Modular Redundancy (TMR) ensures full single fault masking, with a >200% power and area overhead cost. TMR/Simplex ensures full single fault masking with a slightly more complicated circuitry, inefficient use of resource and a >200% power and area overhead cost, but with higher reliability than that of TMR. In this work, a high-reliability Spatial and Time Redundancy (TR) hybrid technique, which does not abandon a working module and is applicable for radiation hardening of half-duty limited DC-DC converters, is proposed and applied to the design of a radiation-tolerant digital controller for a Dual-Switch Forward Converter. The technique has the potential of double fault masking with a <2% increase in resource overhead cost compared to TMR. Moreover, for a Simplex module failure rate, λ, of 5%, the Reliability Improvement Factor (RIF) over the Simplex system is 20.8 and 500 for the proposed technique’s two- and three-module implementations, respectively, compared to a RIF over the Simplex system of only 7.25 for TMR and 14.3 for the regular TMR/Simplex scheme.