Efficient and optimal exponentiation in finite fields

Optimal sequential and parallel algorithms for exponentiation in a finite field containing F _q are presented, assuming thatqth powers can be computed for free.     

An Extended Replication of an Experiment for Assessing Methods for Software Requirements Inspections

We have performed an extended replication of the Porter-Votta-Basili experiment comparing the Scenario method and the Checklist method for inspecting requirements specifications using identical instruments. The experiment has been conducted in our educational context represented by a more general definition of a defect compared to the original defect list. Our study involving 24 undergraduate students manipulated three independent variables: detection method, requirements specification, and the order of the inspections. The dependent variable measured is the defect detection rate. We found the requirements specification inspected and not the detection method to be the most probable explanation for the variance in defect detection rate. This suggests that it is important to gather knowledge of how a requirements specification can convey an understandable view of the product and to adapt inspection methods accordingly. Contrary to the original experiment, we can not significantly support the superiority of the Scenario method. This is in accordance with a replication conducted by Fusaro, Lanubile and Visaggio, and might be explained by the lack of individual defect detection skill of our less experienced subjects.     

From LTL to unambiguous Büchi automata via disambiguation of alternating automata

Formal Methods in System Design - Due to the high complexity of translating linear temporal logic (LTL) to deterministic automata, several forms of “restricted” nondeterminism have been...     

Solubility of helium in melts of the metallic glass system Pd-Ni-P and in related systems

Glass melts of the metallic alloy system Pd_10–70Ni_10–70P_14–26 were saturated with helium gas during the melt-spinning process. Some melts with platinum substituted for palladium; manganese, iron or cobalt for nickel; and boron for phosphorus could also be saturated. The helium could be extracted from the glasses and the amount of gas was quantitatively measured with a mass spectrometer. The helium solubilities, obtained between 750 and 1250° C, varied between about 2 and 45 (l He per mol glass) (T/273). These solubilities turned out to be strongly composition-dependent. This fact is discussed in terms of different short-range order structure units which are directly related to the free volume available for the gas solution process.     

Polymer melt elongation—methods,results, and recent developments

For film blowing of polyethylene it has been shown previously that melt elongation is very powerful for polymer characterization. With two types of rheometers, simple (also called “uniaxial”) elongational tests as well as creep tests can be performed homogeneously. In simple elongation, the melts of branched polyethylene show a remarkable strain hardening. With respect to their advantages and disadvantages, these rheometers complement each other. For multiaxial elongations the various modes of deformation can be performed by means of the rotary clamp technique. With the strain rate components ordered such that \documentclass{article}\pagestyle{empty}\begin{document}$ \dot \varepsilon $\end{document}₁₁ ? \documentclass{article}\pagestyle{empty}\begin{document}$ \dot \varepsilon $\end{document}₂₂ ≥ \documentclass{article}\pagestyle{empty}\begin{document}$ \dot \varepsilon $\end{document}₃₃, the ratio m = \documentclass{article}\pagestyle{empty}\begin{document}$ \dot \varepsilon $\end{document}₂₂/\documentclass{article}\pagestyle{empty}\begin{document}$ \dot \varepsilon $\end{document}₁₁ characterizes the test mode. The Stephenson definition of the elongational viscosities makes use of the linear viscoelastic material equation and proves to be very efficient because the linear shear viscosity (t) (“stressing” viscosity) can act as the reference for the nonlinear behavior in elongation. Results are given for polyisobutylene measured not only in simple, equibiaxial, and planar elongations, but also in new test modes with a change of m during the deformation. This allows one to investigate the consequences of a deformation-induced anisotropy of the rheological behavior.     

Syntheses of TiO2 photocatalysts by the molten salts method: Application to the photocatalytic degradation of Prosulfuron

Titania photocatalysts were synthesised by the molten salts method by reaction of a titanium precursor with three different alkali metal nitrates (LiNO₃, NaNO₃, KNO₃). The titania powders obtained have been characterised using TEM, XRD, BET and UV-Vis absorption spectroscopy. Their photoactivities were evaluated by degrading a commercial sulfonylurea herbicide, Prosulfuron^®. It has been found that the rate constants increased in the following order: Li2 prepared in KNO₃, with a rate constant 1.4 times smaller than that of P25. The effect of calcination was also studied, especially for the sample prepared in NaNO₃ (TiO₂[Na]). An improvement in photocatalytic activity was observed when TiO₂[Na] was calcined in the region of 700–800 °C. Even though the photocatalytic activities obtained did not exceed or even equal to that of Degussa P25, nevertheless, this study constitutes the first attempt to synthesise titania photocatalysts by the molten salts method.     

聚乙烯与聚丙烯单组分复合材料研究进展

综述了聚乙烯、聚丙烯单组分复合材料的发展概况及最新研究动态。介绍了熔融膜压法、粉末浸渍法、溶液浸渍法三类制备聚乙烯单组分复合材料的传统方法。重点介绍了热压法、共挤出热压法两类制备单组分复合材料的创新方法。分析了各制备方法的优缺点:熔融法、粉末法与溶液法效率均较低且复合材料中纤维含量较少,力学性能不佳;热压法由于初始材料为100％纤维,从而综合效率较高,力学性能良好,缺点为加工温度过于苛刻;共挤出热压法效率较高,在具有高的增强相含量的同时拥有较宽的加工温度范围,缺点为增强相强度需进一步提高。最后介绍了单组分复合材料的应用并对其研究与应用前景作了展望。