Search results

DiVinE is a modern explicit-state and asynchronous system model checking tool for LTL properties, building on high-performance algorithms and data structures.
Dynamic partial-order reduction for model checking software.
Efficient stateful dynamic partial order reduction.
Symmetry reduction for probabilistic model checking using generic representatives.

Percentage of DMA Concentration Reduction Results from UV-Vis analysis show similarities to the trends observed from GF-AAS results.
From UV-Vis data obtained, it shows that the ability of TiO2-ZSM5-SH to degrade DMA is better as compared to ZnO-ZSM5-SH.
The concentration of DMA decreasing as time but the optimum time for best reduction of DMA concentration is 1.5 h.
As time is prolong, the percentage of DMA concentration reduction decreased.

The CoF were obtained from the polishing platen motor current values which were captured using data logging software throughout the polishing process.
Between the two defects, surface scratch counts reduction is more prominent (about 3 folds) than micro defect.
Similar phenomenon can be seen on the reduction in surface roughness (Ra) as illustrated in Fig. 6b.
The reduction of both micro-waviness and surface roughness correlates well with the increase on the concentration of FMA added to the slurry.

The data from two distinct areas were taken to compensate of their accuracies. 3.
Effects of all the microalloying elements on reduction of the rave are listed in Table 1.
Although most elements showed no remarkable effect, some reduction of the rave was obtained by addition of C, Cu, In, VN, Mn3N and LaN.
It is seen that a small rave can be obtained by a small amount of doping elements in all the cases and that an amount of Mn3N less than 0.05% is the most effective for the reduction of rave.

The flue gas is piped to Hg converter, where the Hg2 + will be reduced into Hg0, then directly sent to the detector; the testing data will be transmitted directly to the recording, storage system.
As the unit load becomes higher, the contribution rate of low temperature economizer for mercury reduction in flue gas after ESP becomes more obvious.
But the contents of Hg0 and Hg2 + in gaseous mercury are different, generally of Hg2 + content higher than Hg0 content in gaseous mercury; (2) Under different conditions, the form of gaseous mercury before and after ESP doesn’t change obviously, but bivalent mercury concentration is higher than zero-valent mercury concentration. 90% of particulate mercury is removed after the flue gas passes through ESP; (3) The operation of low temperature economizer can obviously reduce the content of mercury in flue gas at ESP outlet, and as the unit load becomes higher, the contribution rate of low temperature economizer for mercury reduction in flue gas after ESP becomes more obvious.
After running the low temperature economizer, the highest reduction efficiency of total mercury in flue gas can increase by nearly 30.8%.

All of these experimental data was implemented in simulation codes to describe the constitutive model of the steel sheet.
Clearance reduction leads to the delay of fracture initiation.
Based on the results obtained, the following conclusions can be drawn: · During of numerical simulations of the blanking process an elongation in shear surface and a simultaneous reduction in fracture zone versus clearance punch/die was observed
Generally, clearance reduction leads to the delay of fracture initiation, and consequently, all these give smoother cut-surface

The FE analysis is used to evaluate the inhomogeneous strain distribution in the specimens compressed by reduction ratios of 50% and 75%.
The specimen was heated to 1023K and held for 20 seconds and then deformed by reduction ratios of 50% and 75% at a strain rate of 1/s.
Results and Discussion Figure 2 represents the contour maps showing the distributions of shear strain γxy and equivalent strain εeq after 50% and 75% reductions at 1023K and a strain rate of 1/s.
Figure 7 represents the fractions of HAGB area according to shear strain, with fixing the equivalent strain at εeq=1.5, together with the data of Fig. 5.

Heat that is necessary for the conduct of strongly endothermic reaction of carbon reduction of silica is released due to direct flow of electrical current through the charge material (resistive heating) and through the electric arc that burns in the gas chambers located near the electrode tips.
The excessive amounts of SiC may deposit in the lower zones of the furnace as an infusible and non-reactive allotropic form, SiCα, that results from the following transformation: SiC=SiCα (8) The effects of this are: technological process disturbances, metal tapping problems and, in extreme cases, long-term furnace capacity reduction.
Subjects of the analysis were 24-hour periods when the furnace operated regularly without breaks or power reduction.
Ranges of the parameters corresponding to the carbon balance state of the reactions zones can be determined based on the data from the periods when the furnace operation is “perfect”, i.e. it shows maximum capacity and the best technical and economical indicators.

Fig.4 (a) and Fig.4 (b) expresses the reduction of the thickness and the forming limit diagram of the seat bidet during the stamping process, respectively.
Fig. 4 Finite element simulation of (a) reduction of thickness (b) forming limit diagram (FLD) The dangerous zone could be seen in Fig.4 (b).
According to the simulation, the zone at the tilted grooves in the bottom of the bidet and the corner of edge could be crack during the stamping which was consistent with the reduction of the thickness.
Trinkle, Prediction of thermal cross-slip stress in magnesium alloys from direct first-principles data, Acta Mater. 59(2011) 5652-5660

The cathodic peak at 2.3 V can be assigned to the reduction of sulfur to polysulfides while the strong cathodic peak at around 2.0 V is associated to the reduction of soluble polysulfides into Li2S2/Li2S [4].
The profile has two apparent plateaus in the discharge curve and one plateau in the charge curve, which are in good agreement with the CV data.
Huang, the production of carbon microtubes by the carbonization of catkins and their use in the oxygen reduction reaction, Carbon 49 (2011) 5292–5297