A general framework for debugging

The state of the art of debugging is examined. A debugged process model that serves as the basis of a general debugging framework is described. The relationship of the model to traditional debugging processes and support tools is discussed. A minimal set of requirements for a general debugging framework is described in terms of both the theory behind debugging methodologies and the support tools. An execution monitor, Eden, that serves as a debugging tool within this general framework is described     

Chemical changes in polyvinyl fluoride during the process of fibre-spinning

Conclusions The change in some properties of polyvinyl fluoride during the process of fibre spinning has been investigated.It has been found that during the process of converting PVF powder into fibre, the degree of polymer crystallinity plus its resistance to thermal and thermooxidative degradation is increased; depending on the spinning regime, the densities and physicomechanical properties of PVF fibres are different.Translated from Khimicheskie Volokna, No. 4, pp. 34–35, July–August, 1984.     

Critical Review of the Thermophysical Properties of Fast-Reactor Fuel

This paper identifies the fuel properties for which more data are needed for fast-reactor safety analysis. In addition, a brief review is given of current research on the vapor pressure over liquid UO₂ and (U, Pu)O_2-x the solid-solid phase transition in actinide oxides, and the thermal conductivity of molten urania.     

Hydrodynamic loadings due to the motion of large offshore structures

A very effective non-reflecting boundary condition is proposed for the three-dimensional finite element analysis of hydrodynamic loads on offshore structures under motion due to earthquake, waves or machinery forces. The effect of surface waves is considered and the analysis is conducted in the frequency domain. The structure is assumed to be sufficiently large such that the non-linear effect of drag force is negligible. The unbounded extent of water surrounding the structure is assumed to be incompressible. The boundary condition, which is derived for the general analysis of structure-water interaction, is found to depend on the frequency of excitation, the location of the truncation boundary and the depth of water in the far field. Through some simplified numerical examples, it is shown that the proposed technique is very efficient for a wide range of the frequency of excitation. Incorporation of the boundary condition into a finite element program requires practically no extra effort.     

Monitoring of human enteric viruses and coliform bacteria in waters after urban flood in Jakarta, Indonesia.

Floodwaters in Kampung Melayu village, Jakarta, Indonesia, as well as river water and consumable water (including groundwater and tap water) samples in flooded and non-flooded areas, were quantitatively analysed to assess occurrence of viruses and total coliforms and E. coli as bacterial indicators after flooding event. High numbers of enterovirus, hepatitis A virus, norovirus (G1, G2) and adenovirus were detected at high concentration in floodwaters and waters sampled from Ciliwung River which runs across metropolitan Jakarta and is used widely for agriculture and domestic purposes by poor residents. One out of three groundwater wells in the flooded area was contaminated with all viruses tested while no viruses were found in groundwater samples in non-flooded areas and tap water samples. The results revealed that human enteric viruses, especially hepatitis A virus and adenovirus, were prevalent in Jakarta, Indonesia. This study suggested that flooding posed a higher risk of viral infection to the people through contamination of drinking water sources or direct contact with floodwaters.     

Boosting nitrification by membrane-attached biofilm.

Nitrification is a key step for reliable biological nitrogen removal. In order to enhance nitrification in the activated sludge (AS) process, membrane-attached biofilm (MAB) was incorporated in a conventional activated sludge tank. Simultaneous organic carbon removal and nitrification of the MAB incorporated activated sludge (AS + MAB) process was investigated with continuous wastewater treatment. The effluent TOC concentration of AS and the AS + MAB processes were about 6.3 mg/L and 7.9 mg/L, respectively. The TOC removal efficiency of both AS and AS + MAB were above 95% during the wastewater treatment, indicating excellent organic carbon removal performance in both processes. Little nitrification occurred in the AS process. On the contrary, successful nitrification was obtained with the AS + MAB process with nitrification efficiency of about 90%. The volumetric and surface nitrification rates were about 0.14 g/Ld and 6.5 g/m2d, respectively. The results clearly demonstrated that nitrification in the conventional AS process was boosted by MAB. Furthermore, the microfaunal population in the AS + MAB process was different from that in the AS process. The high concentration of rotifers in the AS + MAB process was expected to decrease the generation of excess sludge in the process.