Inherent emf relaxation of electrochemical cells with nanocrystalline Ag electrodes

The open circuit voltage of the electrochemical cell Ag (nano)|solid silver electrolyte|Ag (macro) is found to be inherently unstable. Even under conditions which support the morphological stability of the arrangement of nanocrystalline silver, the particles grow significantly as soon as they function as electrodes; i.e. when they are in contact with a silver electrolyte and connected electronically at the same time. The process is shown to be due to electrochemical Ostwald ripening with the interfacial transfer of Ag⁺ through the Ag/electrolyte interface being the rate limiting step. Its activation energy is 0.01 eV. The decay is in good agreement with modelling results.     

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...