Conflict-Tolerant Features

We consider systems composed of a base system with multiple “features” or “controllers”, each of which independently advise the system on how to react to input events so as to conform to their individual specifications. We propose a methodology for developing such systems in a way that guarantees the “maximal” use of each feature. The methodology is based on the notion of “conflict-tolerant” features that are designed to continue offering advice even when their advice has been overridden in the past. We give a simple priority-based composition scheme for such features, which ensures that each feature is maximally utilized. We also provide a formal framework for specifying, verifying, and synthesizing such features. In particular we obtain a compositional technique for verifying systems developed in this framework.

Conflict-Tolerant Real-Time Features

This paper addresses the problem of detecting and resolving conflicts due to timing constraints imposed by features in real-time systems. We consider systems composed of a base system with multiple features or controllers, each of which independently advise the system on how to react to input events so as to conform to their individual specifications. We propose a methodology for developing such systems in a modular manner based on the notion of conflict tolerant features that are designed to continue offering advice even when their advice has been overridden in the past. We give a simple priority based scheme for composing such features. This guarantees the maximal use of each feature. We provide a formal framework for specifying such features, and a compositional technique for verifying systems developed in this framework.

Fusion of Multisensor Data:Review and Comparative Analysis

Image fusion is a formal framework which is expressed as means and tools for the alliance of multisensor, multitemporal, and multiresolution data. Multisource data vary in spectral, spatial and temporal resolutions necessitating advanced analytical or numerical techniques for enhanced interpretation capabilities. This paper reviews seven pixel based image fusion techniques - intensity-hue-saturation, brovey, high pass filter (HPF), high pass modulation (HPM), principal component analysis, fourier transform and correspondence analysis.Validation of these techniques on IKONOS data (Panchromatic band at I m spatial resolution and Multispectral 4 bands at 4 in spatial resolution) reveal that HPF and HPM methods synthesises the images closest to those the corresponding multisensors would observe at the high resolution level.

Supervisory Control for Real-Time Systems Based on Conflict-Tolerant Controllers

This paper addresses the problem of detecting and resolving conflicts due to timing constraints imposed by features in real-time and hybrid systems. We consider systems composed of a base system with multiple features or controllers, each of which independently advise the system on how to react to input events so as to conform to their individual specifications. We propose a methodology for developing such systems in a modular manner based on the notion of conflict-tolerant features that are designed to continue offering advice even when their advice has been overridden in the past. We give a simple priority-based scheme forcomposing such features. This guarantees the maximal use of each feature. We provide a formal framework for specifying such features, and a compositional technique for verifying systems developed in this framework.

Solid-state optical absorption from optimally tuned time-dependent range-separated hybrid density functional theory

We present a framework for obtaining reliable solid-state charge and optical excitations and spectra from optimally tuned range-separated hybrid density functional theory. The approach, which is fully couched within the formal framework of generalized Kohn-Sham theory, allows for the accurate prediction of exciton binding energies. We demonstrate our approach through first principles calculations of one- and two-particle excitations in pentacene, a molecular semiconducting crystal, where our work is in excellent agreement with experiments and prior computations. We further show that with one adjustable parameter, set to produce the known band gap, this method accurately predicts band structures and optical spectra of silicon and lithium fluoride, prototypical covalent and ionic solids. Our findings indicate that for a broad range of extended bulk systems, this method may provide a computationally inexpensive alternative to many-body perturbation theory, opening the door to studies of materials of increasing size and complexity.

Formal total synthesis of (+)-didemniserinolipid B

The formal total synthesis of (+)-didemniserinolipid B, a marine tunicate possessing a 6,8-dioxabicyclo3.2.1]octane framework, was accomplished starting from L-(+)-tartaric acid. The key transformations in the synthesis include the elaboration of a gamma-hydroxy-amide readily obtained by desymmetrization of tartaric acid bis-amide via the controlled addition of a Grignard reagent followed by stereoselective reduction of the resulting ketone. (C) 2010 Elsevier Ltd. All rights reserved.

Towards formal verification of analog mixed signal designs using SPICE circuit simulation traces

An extension to a formal verification approach of hybrid systems is proposed to verify analog and mixed signal (AMS) designs. AMS designs can be formally modeled as hybrid systems and therefore lend themselves to the formal analysis and verification techniques applied to hybrid systems. The proposed approach employs simulation traces obtained from an actual design implementation of AMS circuit blocks (for example, in the form of SPICE netlists) to carry out formal analysis and verification. This enables the same platform used for formally validating an abstract model of an AMS design, to be also used for validating its different refinements and design implementation; thereby, providing a simple route to formal verification at different levels of implementation. The feasibility of the proposed approach is demonstrated with a case study based on a tunnel diode oscillator. Since the device characteristic of a tunnel diode is highly non-linear with a negative resistance region, dynamic behavior of circuits in which it is employed as an element is difficult to model, analyze and verify within a general hybrid system formal verification tool. In the case study presented the formal model and the proposed computational techniques have been incorporated into CheckMate, a formal verification tool based on MATLAB and Simulink-Stateflow Framework from MathWorks.

Shape-function-relationship (SFR) framework for semantic interoperability of product model

The problem of semantic interoperability arises while integrating applications in different task domains across the product life cycle. A new shape-function-relationship (SFR) framework is proposed as a taxonomy based on which an ontology is developed. Ontology based on the SFR framework, that captures explicit definition of terminology and knowledge relationships in terms of shape, function and relationship descriptors, offers an attractive approach for solving semantic interoperability issue. Since all instances of terms are based on single taxonomy with a formal classification, mapping of terms requires a simple check on the attributes used in the classification. As a preliminary study, the framework is used to develop ontology of terms used in the aero-engine domain and the ontology is used to resolve the semantic interoperability problem in the integration of design and maintenance. Since the framework allows a single term to have multiple classifications, handling context dependent usage of terms becomes possible. Automating the classification of terms and establishing the completeness of the classification scheme are being addressed presently.

A versatile, RCM based approach to eudesmane and dihydroagarofuran sesquiterpenoids from (-)-carvone: a formal synthesis of (-)-isocelorbicol

An enantiospecific and diversity oriented approach to a range of functionalized eudesmane, nor-, iso-, and dihydroagarofuran frameworks from (-)-carvone is delineated. The cornerstone of this approach is the installation of the quaternary carbon center through reductive opening of the carvone epoxide and setting-up of RCM reaction to generate the bicyclic eudesmane framework. Various options like carbocation mediated oxycyclization and intramolecular hydroxy directed epoxide opening have been explored for the construction of the bridged tetrahydrofuran moiety. Among the several eudesmane and dihydroagarofurans accessed during the present study, one has been previously elaborated to iso-celorbicol, thus constituting its formal synthesis. (C) 2015 Elsevier Ltd. All rights reserved.

Formal total synthesis of 2-pupukeanone via radical mediated cyclisation of an enyne

Diels-Alder reaction of the dienone 12, obtained by C-alkylation of sodium 2,6-dimethylphenoxide, with acrylonitrile and phenyl vinyl sulfones generate the enynes 14 and 17. Tributyltin radical addition to the terminal acetylene in 14 and 17 lead to the vinylstannanes 15 and 18 via 5-exo trig cyclisation of the resulting vinyl radical, which on oxidative cleavage furnishes the isotwistane-diones 16 and 19. Reductive desulfonylation of the diketosulfone 19 furnishes the dione 11, constituting a formal total synthesis of 2-pupukeanone 5 and 2-isocyanopupukeanone 3.

Hybrid framework iron(II) phosphate-oxalates

Two inorganic-organic hybrid framework iron phosphate-oxalates, I, [N2C4H12](0.5)[Fe-2(HPO4)(C2O4)(1.5)] and II, [Fe-2(OH2)PO4(C2O4)(0.5)] have been synthesized by hydrothermal means and the structures determined by X-ray crystallography. Crystal Data: compound I, monoclinic, spacegroup = P2(1)/c (No. 14), a=7.569(2) Angstrom, b=7.821(2) Angstrom, c=18.033(4) Angstrom, beta=98.8(1)degrees, V=1055.0(4) Angstrom(3), Z=4, M=382.8, D-calc=2.41 g cm(-3) MoK alpha, R-F=0.02; compound II, monoclinic, spacegroup=P2(1)/c (No. 14), a=10.240(1) b=6.375(3) Angstrom, 9.955(1) Angstrom, beta=117.3(1)degrees, V=577.4(1) Angstrom(3), Z=4, M=268.7, D-calc=3.09 g cm(-3) MoK alpha, R-F=0.03. These materials contain a high proportion of three-coordinated oxygens and [Fe2O9] dimeric units, besides other interesting structural features. The connectivity of Fe2O9 is entirely different in the two materials resulting in the formation of a continuous chain of Fe-O-Fe in II. The phosphate-oxalate containing the amine, I, forms well-defined channels. Magnetic susceptibility measurements show Fen to be in the high-spin state (t(2g)(4)e(g)(2)) in II, and in the intermediate-spin state (t(2g)(5)e(g)(1)) in I.

A probabilistic constrained nonlinear optimization framework to optimize RED parameters

The random early detection (RED) technique has seen a lot of research over the years. However, the functional relationship between RED performance and its parameters viz,, queue weight (omega(q)), marking probability (max(p)), minimum threshold (min(th)) and maximum threshold (max(th)) is not analytically availa ble. In this paper, we formulate a probabilistic constrained optimization problem by assuming a nonlinear relationship between the RED average queue length and its parameters. This problem involves all the RED parameters as the variables of the optimization problem. We use the barrier and the penalty function approaches for its Solution. However (as above), the exact functional relationship between the barrier and penalty objective functions and the optimization variable is not known, but noisy samples of these are available for different parameter values. Thus, for obtaining the gradient and Hessian of the objective, we use certain recently developed simultaneous perturbation stochastic approximation (SPSA) based estimates of these. We propose two four-timescale stochastic approximation algorithms based oil certain modified second-order SPSA updates for finding the optimum RED parameters. We present the results of detailed simulation experiments conducted over different network topologies and network/traffic conditions/settings, comparing the performance of Our algorithms with variants of RED and a few other well known adaptive queue management (AQM) techniques discussed in the literature.

Energy-momentum conserving algorithm for nonlinear transient analysis within the framework of hybrid elements

This work deals with the formulation and implementation of an energy-momentum conserving algorithm for conducting the nonlinear transient analysis of structures, within the framework of stress-based hybrid elements. Hybrid elements, which are based on a two-field variational formulation, are much less susceptible to locking than conventional displacement-based elements within the static framework. We show that this advantage carries over to the transient case, so that not only are the solutions obtained more accurate, but they are obtained in fewer iterations. We demonstrate the efficacy of the algorithm on a wide range of problems such as ones involving dynamic buckling, complicated three-dimensional motions, et cetera.

Reversible Water Intercalation Accompanied by Coordination and Color Changes in a Layered Metal-Organic Framework

A new two-dimensional 3d-4f mixed-metal mixed dicarboxylate (homocyclic and heterocyclic) of the formula [Gd2(H2O)2Ni(H2O)2(1,2-bdc)2(2,5-pydc)2] 3 8H2O (1; 1,2-H2bdc = 1,2-benzenedicarboxylic acid and 2,5-H2pydc = 2,5- pyridinedicarboxylic acid) has been prepared by employing the hydrothermal method. The structure has infinite onedimensional-Gd-O-Gd- chains formed by the edge-shared GdO9 polyhedral units, resulting exclusively from the connectivity between the Gd3+ ions and the 1,2-bdc units. The chains are connected by the [Ni(H2O)2(2,5-pydc)2]2- metalloligand, forming the two-dimensional layer arrangements. The stacking of the layers creates hydrophilic and hydrophobic spaces in the interlamellar region. A one-dimensional water ladder structure, formed by the extraframework water molecules, occupies the hydrophilic region while the benzene ring of 1,2-bdc occupies the hydrophobic region. To the best of our knowledge, the present compound represents the first example of a 3d-4f mixed-metal carboxylate in which two different aromatic dicarboxylate anions act as the linkers. The stabilization energies of the water clusters have been evaluated using density functional theory calculations. The water molecules in 1 are fully reversible accompanied by a change in color (greenish blue to brown) and coordination around Ni2+ ions (octahedral to distorted tetrahedral).

Fluorite and Mixed-Metal Kagome-Related Topologies in Metal-Organic Framework Compounds: Synthesis, Structure, and Properties

Two new three-dimensional metal-organic frameworks (MOFs) [Mn-2(mu(3)-OH)(H2O)(2)(BTC)]-2 H2O, I, and [NaMn(BTC)], II (BTC=1,2,4-benzenetricarboxylate = trimellitate) were synthesized and their structures determined by single-crystal X-ray diffraction (XRD). In I, the Mn-4 cluster, [Mn-4(mu(5)-OH)(2)(H2O)(4)O-12], is connected with eight trimellitate anions and each trimellitate anion connects to four different Mn-4 clusters, resulting in a fluorite-like structure. In II, the Mn2O8 dimer is connected with two Na+ ions through carboxylate oxygen to form mixed-metal distorted Kagome-related two-dimensional -M-O-M- layers, which are pillared by the trimellitate anions forming the three-dimensional structure. The extra-framework water molecules in I are reversibly adsorbed and are also corroborated by powder XRD studies. The formation of octameric water clusters involving free and coordinated water molecules appears to be new. Interesting magnetic behavior has been observed for both compounds. Electron spin resonance (ESR) studies indicate a broadening of the signal below the ordering temperature and appear to support the findings of the magnetic studies.