Exact memory size estimation for array computations

This paper presents a new algorithm for exact estimation of the minimum memory size required by programs dealing with array computations. Based on parametric partitioning of the iteration space and formalized live variable analysis, our algorithm transforms the minimum memory size estimation into an equivalent problem: integer point counting for intersection/union of mappings of parameterized polytopes. A heuristics was then proposed to solve the counting problem. Experimental results show that the algorithm achieves the exactness traditionally associated with totally unrolling loops while exploiting reduced computation complexity by preserving the original loop structure     

Comprehensive analysis of retroreflection in Papilio crino Fabricius, 1792 wings

Multilayer thin‐film structures in the wings of a butterfly; Papilio crino produce a colourful iridescence from reflected light. In this investigation, scanning electron microscope images show both the concave cover scales and pigmented air‐chamber ground scales. The microstructures with the concavities retroreflect incident light, thus causing the double reflection. This gives rise to both the colour mixing and polarisation conversion clearly depicted in the optical images. The result of the numerical and theoretical analysis via the CIELAB, and optical reflection and transmission of light through the multilayer stacks with the use of transfer method show that the emerging colouration on the Papilio crino is structural and is due to the combination of colours caused by multiple bounces within the concavities. The butterfly wing structure can be used as the template for designing the photonic device.Inspec keywords: bio‐optics, scanning electron microscopy, photodiodes, optical sensors, optical images, light reflection, reflectivity, colour, optical links, multilayers, optical multilayers, light polarisationOther keywords: pigmented air‐chamber ground scales, concavities, incident light, double reflection, colour mixing, polarisation conversion, optical images, numerical analysis, theoretical analysis, optical reflection, multilayer stacks, emerging colouration, butterfly wing structure, papilio crino fabricius, thin‐film structures, colourful iridescence, reflected light, electron microscope images, concave cover scales     

Amplitude comparator based algorithm for directional comparisonprotection of transmission lines

A high-speed directional comparison relay based on an evaluation of the locally measured deviations of the voltage and the phase-shifted current from their prefault values is described. The operation of the relay depends on the power frequency components of the voltage and phase-shifted current deviation signals. The direction to a fault is determined by an amplitude comparator technique which compares a discriminant value with a positive or negative threshold. Simulation studies on a three-phase power system model show that the direction to a fault is determined within the first few milliseconds following the inception of a fault. Studies over a wide range of faults and source impedance angles show that the proposed amplitude comparator technique performs better than an analogous phase comparator technique     

Laboratory investigation of an amplitude comparator baseddirectional comparison digital protection scheme

A directional comparison digital protection scheme has been implemented with a 16-b single-board computer at each end of a physical model of a transmission line, with communication between the two ends. The protection algorithm makes use of the fundamental frequency components of the deviation signals of the voltage and phase-shifted current. Software routines have been developed for fault monitoring, directional determination, and the trip/block decision. Graphics features incorporated in the software are explained. Tests for various faults conducted on the physical model of a double-circuit transmission line show that the direction to a fault is determined in 3 to 7 ms. The blocking features of the relay are demonstrated     

Effect of Ozone Pretreatment on Biodegradability Enhancement and Biogas Generation Potential From Biomethanated Distillery Effluent

The study evaluates the effect of ozone pretreatment on biodegradability enhancement of biomethanated distillery effluent. Results revealed that ozone pretreatment led to biodegradability index (BI = BOD/COD) enhancement up to 0.58 along with COD, color and toxicity reduction of up to 33%, 25% and 40%, respectively. Anaerobic digestion of pretreated effluent resulted in favorable biogas generation with methane content, yield and COD reduction of up to 62%, 39 mL/g COD and 57%, respectively. Kinetics of biogas generation determined by modified Gompertz model indicated methane production potential and production rate of 48.08 mL/g COD and 8.085 mL/g COD.day respectively under optimal conditions.     

Effects of gating design on structural and mechanical properties of high manganese steel by optimizing casting process parameters

Journal of Mechanical Science and Technology - The impacts of gating design and riser system on structure-property relationship of high manganese steel specimens produced by CO2 sand molding...     

Peer to peer trade in HTM5 meta model for agent oriented cloud robotic systems

Cloud computing is a methodology and not a technology. Adaptation of cloud computing services for robotic applications is relatively straightforward while adaptation of underlying ideas will require a new design attitude. Cloud computing is a cost-effective and dynamic business model. Currently cloud robotics is understood as a client server methodology which enables robots utilize resources and services placed at centralized servers. These cloud servers treat robots as any other client computer offering them platform, infrastructure, process or algorithm as a service. HTM5 is an OMG MDA based multi-view meta-model for agent oriented development of cloud robotic systems. HTM5 encourages design of peer-to-peer service ecosystems based on an open registry and matchmaking mechanism. In peer-to-peer cloud robotics, a robot can trade its hardware, software and functional resources as a service to other robots in the ecosystem. The peer-to-peer trade in such systems may be driven by contracts and relationships between its member agents. This article discusses trade-view model of HTM5 methodology and its use in developing a cloud robotic ecosystem that implements peer-to-peer, contract based economy. The article also presents a case study with experiments that implement distributed artificial intelligence and peer-to-peer service oriented trade on simulated and real robot colonies.     

Performance Evaluation of a Commercial Polyurethane Coating in Marine Environment

A material evaluation study has been carried out to determine corrosion behavior of a commercial polyurethane coating system (Souplethane 5) in the marine environment. The coating system is solvent free, two-component polyurethane protective coating. The performance of the coating on steel and rebar concrete was evaluated by conducting different types of tests which include atmospheric exposure, immersion in 5% sodium chloride solution, exposure to splash zone in seawater, salt fog, sabkha soil burial, and electrochemical tests, which include potentiodynamic polarization and AC impedance measurements. Uncoated, coated, and coated scribed specimens were used in each study. In general, the coating showed good corrosion resistance in marine environment. However, the coated samples, when subjected to break under applied compressive load, showed partial or complete detachment from the substrate, e.g., steel and rebar concrete. This appears to be the major drawback of the coating while applying on steel and concrete structures.