Computing complete test graphs for hierarchical systems

Conformance testing focuses on checking whether an implementation. under test (IUT) behaves according to its specification. Typically, testers are interested it? performing targeted tests that exercise certain features of the IUT This intention is formalized as a test purpose. The tester needs a "strategy" to reach the goal specified by the test purpose. Also, for a particular test case, the strategy should tell the tester whether the IUT has passed, failed. or deviated front the test purpose. In [8] Jeron and Morel show how to compute, for a given finite state machine specification and a test purpose automaton, a complete test graph (CTG) which represents all test strategies. In this paper; we consider the case when the specification is a hierarchical state machine and show how to compute a hierarchical CTG which preserves the hierarchical structure of the specification. We also propose an algorithm for an online test oracle which avoids a space overhead associated with the CTG.

High efficiency infrared antireflection coatings (ARCs) for space optics

Simple ARC designs for germanium (Ge) optics useful in spaceborne electro-optical systems have been generated. It is seen that the designs which are non-quarterwave in nature are efficient in terms of spectral coverage and residual reflection loss. They have been realised experimentally and the resulting ARCs are found to have very good spectral and durability properties.

Steric effects on the ultraviolet absorption of 1,2-enedioic and related systems

1,2-Enedioic systems, being sterically perturbed from planarity do not show the effect of the extended conjugation expected of a (formal) trienic entity. In the absence of a model which approximates to a uniplanar situation, the strategy of replacing an ester group in the enedioates by a cyano (for which less stringent steric demand may be presumed) and noting the correction concomitant to this replacement was adopted to arrive at a notional figure for the position of maximal absorption in the planar enedioates. From this the conclusion, subject to substantiation by molecular mechanical or quantum chemical calculations, was drawn that even the E-isomeric and comparatively less substituted enedioates are highly sterically perturbed. An alternative to an earlier explanation of the bathochromic shift of absorption maxima encountered in the 5-cyclic ene-ester and ene-nitrile, relative to the 6-cyclic analogues (observed also with the enedioates and cyanovinyl ester systems), seen later to have been based on unwarranted premises, has been advanced. A comment on the absorption characteristics of enedioic anhydrides has been appended.

A note on the Berry phase for systems having one degree of freedom

A one-dimensional arbitrary system with quantum Hamiltonian H(q, p) is shown to acquire the 'geometric' phase gamma (C)=(1/2) contour integral c(Podqo-qodpo) under adiabatic transport q to q+q+qo(t) and p to p+po(t) along a closed circuit C in the parameter space (qo(t), po(t)). The non-vanishing nature of this phase, despite only one degree of freedom (q), is due ultimately to the underlying non-Abelian Weyl group. A physical realisation in which this Berry phase results in a line spread is briefly discussed.

Interplay between multiple length and time scales in complex chemical systems

Processes in complex chemical systems, such as macromolecules, electrolytes, interfaces, micelles and enzymes, can span several orders of magnitude in length and time scales. The length and time scales of processes occurring over this broad time and space window are frequently coupled to give rise to the control necessary to ensure specificity and the uniqueness of the chemical phenomena. A combination of experimental, theoretical and computational techniques that can address a multiplicity of length and time scales is required in order to understand and predict structure and dynamics in such complex systems. This review highlights recent experimental developments that allow one to probe structure and dynamics at increasingly smaller length and time scales. The key theoretical approaches and computational strategies for integrating information across time-scales are discussed. The application of these ideas to understand phenomena in various areas, ranging from materials science to biology, is illustrated in the context of current developments in the areas of liquids and solvation, protein folding and aggregation and phase transitions, nucleation and self-assembly.

A Training-Based Iterative Detection/Channel Estimation Scheme for Large Non-Orthogonal STBC MIMO Systems

In this paper, we propose a training-based channel estimation scheme for large non-orthogonal space-time block coded (STBC) MIMO systems.The proposed scheme employs a block transmission strategy where an N-t x N-t pilot matrix is sent (for training purposes) followed by several N-t x N-t square data STBC matrices, where Nt is the number of transmit antennas. At the receiver, we iterate between channel estimation (using an MMSE estimator) and detection (using a low-complexity likelihood ascent search (LAS) detector) till convergence or for a fixed number of iterations. Our simulation results show that excellent bit error rate and nearness-to-capacity performance are achieved by the proposed scheme at low complexities. The fact that we could show such good results for large STBCs (e.g., 16 x 16 STBC from cyclic division algebras) operating at spectral efficiencies in excess of 20 bps/Hz (even after accounting for the overheads meant for pilot-based channel estimation and turbo coding) establishes the effectiveness of the proposed scheme.

Social dynamics for sustainable food systems : Actors' orientations towards sustainability in primary production and public consumption

The modern food system and sustainable development form a conceptual combination that suggests sustainability deficits in environmental impacts and nutritional status of western populations. This study explores actors orientations towards sustainability by probing into social dynamics for sustainability within primary production and public consumption. If actors within these two worlds were to express converging orientations for sustainability, the system dynamics of the market would enable more sustainable growth in terms of production dictated by consumption. The study is based on a constructivist research approach with qualitative text analyses. The findings were validated by internal and external food system actors and are suggested to represent current social dynamics within Finnish food system. The key findings included primary producers social skilfulness, which enabled networking with other actors in very different paths of life, learning in order to promote one s trade, and trusting reflectively in partners in order to expand business. These activities extended the supply chain in a spiral fashion by horizontal and vertical forward integration, until large retailers were met for negotiations on a more equal basis. This mode of chain level coordination, typically building around the core of social and partnership relations, was coined as a socially overlaid network, and seen as sustainable coordination mode for endogenous growth. The caterers exhibited more or less committed professional identity for sustainability within their reach. The facilitating approaches for professional identities dealt successfully with local and organic food in addition to domestic food, and also imported food. The co-operation with supply chains created innovative solutions and savings for the business parties to be shared. There were also more complicated identities as juggling, critical and delimited approaches for sustainability, with less productive efforts due to restrictions such as absence of organisational sustainability strategy, weak presence of local and organic suppliers, limited understanding about sustainability and no organisational resources for informed choices for sustainability. The convergence between producers and caterers existed to an extent allowing suggestion that increased clarity about sustainable consumption and production by actors could be constructed using advanced tools. The study looks for introduction of more profound environmental and socio-economic knowledge through participatory research with supply chain actors. Learning in the workplace about food system reality in terms of supply chain co-operation may prove to be a change engine that leads to advanced network operations and a more sustainable food system.

Optimal infinite-horizon feedback laws for a general class of constrained discrete-time systems: stability and moving-horizon approximations

Stability results are given for a class of feedback systems arising from the regulation of time-varying discrete-time systems using optimal infinite-horizon and moving-horizon feedback laws. The class is characterized by joint constraints on the state and the control, a general nonlinear cost function and nonlinear equations of motion possessing two special properties. It is shown that weak conditions on the cost function and the constraints are sufficient to guarantee uniform asymptotic stability of both the optimal infinite-horizon and movinghorizon feedback systems. The infinite-horizon cost associated with the moving-horizon feedback law approaches the optimal infinite-horizon cost as the moving horizon is extended.

On uniqueness, transfer and combination of acoustic sources in one-dimensional systems

The use of electroacoustic analogies suggests that a source of acoustical energy (such as an engine, compressor, blower, turbine, loudspeaker, etc.) can be characterized by an acoustic source pressure ps and internal source impedance Zs, analogous to the open-circuit voltage and internal impedance of an electrical source. The present paper shows analytically that the source characteristics evaluated by means of the indirect methods are independent of the loads selected; that is, the evaluated values of ps and Zs are unique, and that the results of the different methods (including the direct method) are identical. In addition, general relations have been derived here for the transfer of source characteristics from one station to another station across one or more acoustical elements, and also for combining several sources into a single equivalent source. Finally, all the conclusions are extended to the case of a uniformly moving medium, incorporating the convective as well as dissipative effects of the mean flow.

Invariant norm quantifying nonlinear content of Hamiltonian systems

Given a Hamiltonian system, one can represent it using a symplectic map. This symplectic map is specified by a set of homogeneous polynomials which are uniquely determined by the Hamiltonian. In this paper, we construct an invariant norm in the space of homogeneous polynomials of a given degree. This norm is a function of parameters characterizing the original Hamiltonian system. Such a norm has several potential applications. (C) 2010 Elsevier Inc. All rights reserved.

A Thermodynamic Proposal for the Exposition of Critically and other Subtle Features in Self-Deflagrating Ammonium Perchlorate Systems

A first comprehensive investigation on the deflagration of ammonium perchlorate (AP) in the subcritical regime, below the low pressure deflagration limit (LPL, 2.03 MPa) christened as regime I$^{\prime}$, is discussed by using an elegant thermodynamic approach. In this regime, deflagration was effected by augmenting the initial temperature (T$_{0}$) of the AP strand and by adding fuels like aliphatic dicarboxylic acids or polymers like carboxy terminated polybutadiene (CTPB). From this thermodynamic model, considering the dependence of burning rate ($\dot{r}$) on pressure (P) and T$_{0}$, the true condensed (E$_{\text{s,c}}$) and gas phase (E$_{\text{s,g}}$) activation energies, just below and above the surface respectively, have been obtained and the data clearly distinguishes the deflagration mechanisms in regime I$^{\prime}$ and I (2.03-6.08 MPa). Substantial reduction in the E$_{\text{s,c}}$ of regime I$^{\prime}$, compared to that of regime I, is attributed to HClO$_{4}$ catalysed decomposition of AP. HClO$_{4}$ formation, which occurs only in regime I$^{\prime}$, promotes dent formation on the surface as revealed by the reflectance photomicrographs, in contrast to the smooth surface in regime I. The HClO$_{4}$ vapours, in regime I$^{\prime}$, also catalyse the gas phase reactions and thus bring down the E$_{\text{s,g}}$ too. The excess heat transferred on to the surface from the gas phase is used to melt AP and hence E$_{\text{s,c}}$, in regime I, corresponds to the melt AP decomposition. It is consistent with the similar variation observed for both the melt layer thickness and $\dot{r}$ as a function of P. Thermochemical calculations of the surface heat release support the thermodynamic model and reveal that the AP sublimation reduces the required critical exothermicity of 1108.8 kJ kg$^{-1}$ at the surface. It accounts for the AP not sustaining combustion in the subcritical regime I$^{\prime}$. Further support for the model comes from the temperature-time profiles of the combustion train of AP. The gas and condensed phase enthalpies, derived from the profile, give excellent agreement with those computed thermochemically. The $\sigma _{\text{p}}$ expressions derived from this model establish the mechanistic distinction of regime I$^{\prime}$ and I and thus lend support to the thermodynamic model. On comparing the deflagration of strand against powder AP, the proposed thermodynamic model correctly predicts that the total enthalpy of the condensed and gas phases remains unaltered. However, 16% of AP particles undergo buoyant lifting into the gas phase in the `free board region' (FBR) and this renders the demarcation of the true surface difficult. It is found that T$_{\text{s}}$ lies in the FBR and due to this, in regime I$^{\prime}$, the E$_{\text{s,c}}$ of powder AP matches with the E$_{\text{s,g}}$ of the pellet. The model was extended to AP/dicarboxylic acids and AP/CTPB mixture. The condensed ($\Delta $H$_{1}$) and gas phase ($\Delta $H$_{2}$) enthalpies were obtained from the temperature profile analyses which fit well with those computed thermochemically. The $\Delta $H$_{1}$ of the AP/succinic acid mixture was found just at the threshold of sustaining combustion. Indeed the lower homologue malonic acid, as predicted, does not sustain combustion. In vaporizable fuels like sebacic acid the E$_{\text{s,c}}$ in regime I$^{\prime}$, understandably, conforms to the AP decomposition. However, the E$_{\text{s,c}}$ in AP/CTPB system corresponds to the softening of the polymer which covers AP particles to promote extensive condensed phase reactions. The proposed thermodynamic model also satisfactorily explains certain unique features like intermittent, plateau and flameless combustion in AP/ polymeric fuel systems.

Exotic Physics in the Negative-U, Extended-Hubbard Model for Barium Bismuthates?

We point out possibilities for exotic physics in barium bismuthates, from a detailed study of the negative-U, extended-Hubbard model proposed for these systems. We emphasize the different consequences of electronic and phononic mechanisms for negative U. We show that, for an electronic mechanism, the semiconducting phases must be unique, with their transport properties dominated by charge ± 2e Cooperon bound states. This can explain the observed difference between the optical and transport gaps. We propose other experimental tests for this novel mechanism of charge transport.

Nonvaporable Getter Application in Cryogenic Systems

The application of non-evaporable Zr-V-Fe getters to enhance and maintain the vacuum of cryogenic systems have been studied. It has been shown that the pressur erise rate of the insulation space of these systems are significantly reduced by the getter activation. The gettering action is substantial even at abient temperature for many gases including hydrogen which can not be cryosorbed at LN2 temperatures. The getter can be activated several times and they can act as in-situ pumps for cryogenic systems, especially for field units.

Load balancing algorithms for an extended hypercube

Reduction of the execution time of a job through equitable distribution of work load among the processors in a distributed system is the goal of load balancing. Performance of static and dynamic load balancing algorithms for the extended hypercube, is discussed. Threshold algorithms are very well-known algorithms for dynamic load balancing in distributed systems. An extension of the threshold algorithm, called the multilevel threshold algorithm, has been proposed. The hierarchical interconnection network of the extended hypercube is suitable for implementing the proposed algorithm. The new algorithm has been implemented on a transputer-based system and the performance of the algorithm for an extended hypercube is compared with those for mesh and binary hypercube networks

Reduced ML-Decoding Complexity, Full-Rate STBCs for 4 Transmit Antenna Systems

For an n(t) transmit, n(r) receive antenna system (n(t) x nr system), a full-rate space time block code (STBC) transmits min(n(t), n(r)) complex symbols per channel use. In this paper, a scheme to obtain a full-rate STBC for 4 transmit antennas and any n(r), with reduced ML-decoding complexity is presented. The weight matrices of the proposed STBC are obtained from the unitary matrix representations of a Clifford Algebra. By puncturing the symbols of the STBC, full rate designs can be obtained for n(r) < 4. For any value of n(r), the proposed design offers the least ML-decoding complexity among known codes. The proposed design is comparable in error performance to the well known Perfect code for 4 transmit antennas while offering lower ML-decoding complexity. Further, when n(r) < 4, the proposed design has higher ergodic capacity than the punctured Perfect code. Simulation results which corroborate these claims are presented.