Estimating and reducing the memory requirements of signal processing codes for embedded systems

Most embedded systems have limited amount of memory. In contrast, the memory requirements of the digital signal processing (DSP) and video processing codes (in nested loops, in particular) running on embedded systems is significant. This paper addresses the problem of estimating and reducing the amount of memory needed for transfers of data in embedded systems. First, the problem of estimating the region associated with a statement or the set of elements referenced by a statement during the execution of nested loops is analyzed. For a fixed execution ordering, a quantitative analysis of the number of elements referenced is presented; exact expressions for uniformly generated references and a close upper and lower bound for nonuniformly generated references are derived. Second, in addition to presenting an algorithm that computes the total memory required, this paper also discusses the effect of transformations (that change the execution ordering) on the lifetimes of array variables, i.e., the time between the first and last accesses to a given array location. The term maximum window size is introduced, and quantitative expressions are derived to compute the maximum window size. A detailed analysis of the effect of unimodular transformations on data locality, including the calculation of the maximum window size, is presented.     

Optical spectroscopy vs. the surgical suite [cancer detection]

A novel non-invasive technique for detecting cancer and precancer offers a viable adjunct to biopsies. Here, we summarize the principles of optical spectroscopy and present some of the highlights obtained with the successful application of fluorescence and Raman spectroscopy for cancer and precancer detection     

Compile-time techniques for data distribution in distributed memorymachines

A solution to the problem of partitioning data for distributed memory machines is discussed. The solution uses a matrix notation to describe array accesses in fully parallel loops, which allows the derivation of sufficient conditions for communication-free partitioning (decomposition) of arrays. A series of examples that illustrate the effectiveness of the technique for linear references, the use of loop transformations in deriving the necessary data decompositions, and a formulation that aids in deriving heuristics for minimizing a communication when communication-free partitions are not feasible are presented     

Modeling of time to corrosion-induced cover cracking in reinforced concrete structures

Service life of the concrete structures depends on the protective action provided by the cover concrete against the susceptibility of the reinforcement to the corrosive environment. Depending on the level of the oxidation of metallic iron, corrosion products may have much greater volume than the original iron that gets consumed by the process of corrosion. This volume expansion is mainly responsible for exerting the expansive radial pressure at the steel-concrete interface and development of hoop tensile stresses in the surrounding concrete resulting ultimately in the through cracking of the cover concrete. This cover cracking would indicate the loss of the service life for the corrosion-affected structures. In the present paper, an attempt has been made to develop analytical models for predicting the time to cover cracking by considering the residual strength of the cracked concrete and the stiffness provided by the combination of the reinforcement and expansive corrosion products. The problem is modeled as a boundary value problem wherein the governing equations are expressed in terms of the radial displacement and the analytical solutions are presented considering a simple 2-zone model for the cover concrete viz. cracked or uncracked. The analytical models are then evaluated through their ability to reproduce available experimental trends and subsequently a sensitivity analysis has also been carried out to show the influence of the various variable parameters of the proposed models with reference to the experimental trends.     

Polarization holographic gratings in side-chain azobenzene polyesters with linear and circular photoanisotropy

We investigate thin phase polarization holographic gratings recorded with two waves with orthogonal linear polarizations in materials in which illumination with linearly/circularly polarized light gives rise to linear/circular birefringence. The theoretical analysis shows that the presence of circular photoanisot-ropy changes significantly the diffraction characteristics of the gratings. The intensities of the waves diffracted in the +1 and -1 orders of diffraction and their ratio depend substantially on the reconstructing-wave polarization. Experiments with films of side-chain liquid-crystalline azobenzene polyester that is a photoanisotropic material of the considered type confirm the unusual polarization properties. It is shown that polarization holography may be used for real-time simultaneous measurement of photoinduced linear and circular birefringence.     

Automata for Epistemic Temporal Logic with Synchronous Communication

We suggest that developing automata theoretic foundations is relevant for knowledge theory, so that we study not only what is known by agents, but also the mechanisms by which such knowledge is arrived at. We define a class of epistemic automata, in which agents’ local states are annotated with abstract knowledge assertions about others. These are finite state agents who communicate synchronously with each other and information exchange is ‘perfect’. We show that the class of recognizable languages has good closure properties, leading to a Kleene-type theorem using what we call regular knowledge expressions. These automata model distributed causal knowledge in the following way: each agent in the system has a partial knowledge of the temporal evolution of the system, and every time agents synchronize, they update each other’s knowledge, resulting in a more up-to-date view of the system state. Hence we show that these automata can be used to solve the satisfiability problem for a natural epistemic temporal logic for local properties. Finally, we characterize the class of languages recognized by epistemic automata as the regular consistent languages studied in concurrency theory.     

Information based reasoning about security protocols

We propose a notion of information based abstraction for the logical study of security protocols and study how protocol actions update agents' information. We show that interesting security properties of Needham-Schroeder like protocols can be verified automatically.     

Exploring the role of the spacers and acceptors on the triphenylamine-based dyes for dye-sensitized solar cells

Six triphenylamine-based dyes were explored for their application in dye-sensitized solar cells (DSSCs). Dyes 1–3 and dyes 4–6 possess cyanoacrylic acid (C-acceptor) and rhodanine-3-acetic acid (R-acceptor), respectively. Stilbene (in dyes 2 and 5) and bis(styryl)benzene (in dyes 3 and 6) were used as π-spacers. There is no π-spacer in the dye 1 and 4. To elucidate the role of π-spacers, optical, electrochemical, and photovoltaic properties of the dyes were studied. Among C-acceptor dyes, dye 2 exhibits the highest light-to-electricity conversion efficiency of 4.45%, followed by dye 3 (4.16%). Similarly, among R-acceptor dyes, dye 5 is the best. These results indicate that stilbene is a better π-spacer over bis(styryl)benzene. Although bis(styryl)benzene could extend the light absorption range (in dye-adsorbed TiO₂ film), its tendency to promote intermolecular π-π stacking is possibly the reason for its poor performance in DSSCs. Furthermore, the conjugation break in the R-acceptor moiety attached to the TiO₂ surface limits the electron injection of R-acceptor dyes poorer than C-acceptor dyes. Density functional theory calculations were performed for the dye-(TiO₂)₈ cluster, assuming a bidentate chelation of a carboxylic acid group with Ti⁴⁺ of TiO₂ anatase. The natural bond orbital (NBO) analysis indicated relatively more electron-accepting ability of cyanoacrylic acid over rhodanine-3-acetic acid.