Energy indicators for tracking sustainability in developing countries

Due to the fact that human activities and most sustainability issues are closely related to energy use, the energy system is a sound framework for providing lead indicators for sustainable development. Common energy-economic models enable the estimation of future states of the energy system. An energy system-based lead indicator set can be used to develop consistent and coherent future indicator estimates and to track sustainability, a clear advantage over existing sets.     

Putting it all together – Formal verification of the VAMP

In the verified architecture microprocessor (VAMP) project we have designed, functionally verified, and synthesized a processor with full DLX instruction set, delayed branch, Tomasulo scheduler, maskable nested precise interrupts, pipelined fully IEEE compatible dual precision floating point unit with variable latency, and separate instruction and data caches. The verification has been carried out in the theorem proving system PVS. The processor has been implemented on a Xilinx FPGA. A shorter version of this article with the title “Instantiating uninterpreted functional units and memory system: functional verification of the VAMP” appeared in [8]. The work reported here was done while all the authors were with Saarland University.     

Fast location of high-order modes for boxed microstrip with finite strip thickness

Many analyses of boxed microstrip discontinuities require the location of large numbers of high-order modes. Using Sturm-Liouville theory, this letter derives a relationship between microstrip modes and slab-loaded guide modes, leading to an efficient mode location algorithm for microstrip, including microstrip with finite strip thickness.<>     

Effect of thermal treatment on ZnO substrate for epitaxial growth

ZnO is a highly efficient photon emitter, and has optical and piezoelectric properties that are attractive for a variety of applications in sensors and potentially optoelectronic devices such as emitters. Due to its identical stacking order and close lattice match to GaN, it is also being developed as a substrate material for GaN epitaxy. However, the surface finish of the ZnO is such that much of the damage induced by sawing and follow up mechanical polishing remains. We developed a thermal treatment method to eliminate surface damage on the 0 face of ZnO (0 0 0 1) to prepare it for epitaxial growth. Atomic force microscopy images of ZnO (0 0 0 1) annealed at 1050 °C for 3 h etc. show that residual scratches from mechanical polishing are removed and atomically flat, terrace-like surfaces are attained. In addition, low-temperature photoluminescence and high-resolution X-ray diffraction measurements have been employed to investigate the effect of annealing on ZnO substrates.     

Occlusion-resistant camera design for acquiring active environments.

In this article, we present a detailed theoretical analysis and a prototype implementation of a family of cameras designed with the explicit goal of detecting and removing interfering dynamic occluders in real time, during live capture, as opposed to fixing the resulting artifacts a posteriori. Such an early-acquisition approach improves efficiency: more valid samples are acquired faster without worrying about moving occluders. One option for designing a camera to be unaffected by moving occluders is to sample through the occluder, but true x-ray-like vision is technically impractical. Another option is to sample around the occluder using a camera with a large effective aperture, but such an approach requires a bulky acquisition device. Yet another possibility of sampling around an occluder is to rely on second and higher order reflected rays that indirectly sample surfaces not directly visible. However, devising an acquisition device sufficiently sensitive and efficient to capture large environments using reflected rays will remain challenging for the foreseeable future.     

Etude des ondes rampantes sur un corps convexe vérifiant une condition ďimpédance par une méthode de développement asymptotique

We study the creeping waves propagating on a convex object, whose surface impedance is Z. To this end, we seek, by using an asymptotic expansion method, a solution of Maxwell equations, propagating along a geode sic, and satisfying Silver-Müller radiation condition at infinity, and the impedance boundary condition at the surface of the body. By using a geodesic coordinate system suited to the problem, we obtain a closed form solution. The electric and magnetic fields are given in term of the components of these fields along the binormal to the geodesic. We show that two types of creeping waves exist: the electric (resp. magnetic) type, with a non zero binormal component of the electric (resp magnetic) field. They are uncoupled, except in the vicinity of Z = 1, where a rotation of the polarization, similar to Rytov’s law, is evidenced.