Conflict-Tolerant Real-Time Specifications in Metric Temporal Logic

A framework based on the notion of "conflict-tolerance" was proposed in as a compositional methodology for developing and reasoning about systems that comprise multiple independent controllers. A central notion in this framework is that of a "conflict-tolerant" specification for a controller. In this work we propose a way of defining conflict-tolerant real-time specifications in Metric Interval Temporal Logic (MITL). We call our logic CT-MITL for Conflict-Tolerant MITL. We then give a clock optimal "delay-then-extend" construction for building a timed transition system for monitoring past-MITL formulas. We show how this monitoring transition system can be used to solve the associated verification and synthesis problems for CT-MITL.

Cu-II-Azide Polymers of Cu-3 and Cu-6 Building Units: Synthesis,Structures, and Magnetic Exchange Mechanism

Two new neutral copper-azido polymers [Cu-3(N-3)(6)(tmen)(2)](n)(1)and [Cu-6(N-3)(12)(deen)(2)](n) (2) [tmen = N,N,N, N-tetramethylethylenediamine and deen = N,N-diethylethylenediamine] have been synthesized by using lower molar equivalents of the chelating diamine ligands with Cu(NO3)(2)center dot 3H(2)O and an excess of NaN3. The single crystal X-ray structure shows that in the basic unit of the 1D complex 1, the three Cu-II ions are linked by double end-on azido bridges with Cu-N-EO-Cu angles on both sides of the magnetic exchange critical angle of 108 degrees. Complex 2 is a 3D framework of a basic u-6 cluster. Cryomagnetic susceptibility measurements over a wide range of temperature exhibit dominant ferromagnetic behavior in both the complexes. Density functional theory calculations (B3LYP functional) have been performed on the trinuclear unit to provide a qualitative theoretical interpretation of the overall ferromagnetic behavior shown by the complex 1.

[B4O9H2] Cyclic Borate Units as the Building Unit in a Family of Zinc Borate Structures

A solvothermal reaction of ZnO, boric acid (B(OH)(3)), and aliphatic airlines in a water-pyridine mixture gave four zinc borate phases of different dimensionalities: [Zn(B4O8H2)(C3H10N2)], I (one-dimensional); [Zn(B4O8H2)(C3H10N2)] H2O, II (two-dimensional); [Zn(B5O10H3)(C10H24N4)]center dot H2O, III (two-dimensional): and [Zn-2(B8O15H2)(C3H10N2)(2)], IV (three-dimensional). The structures are formed by the connectivity involving polyborate chains and layers with Zn2+ species. In all the compounds, the amine molecules act its file ligand binding either the same or different zn centers. The formation of two different structures, II and IV, from the same amine by varying the reaction time is noteworthy. Transformation studies on II indicate that the formation of IV. from II, is facile and has been investigated for the first time. Two of file compounds, I and III, exhibit activity for second-order nonlinear optical behavior. The UV exposure of the sample indicates the absorption of all the UV radiation suggesting that the zinc borate compounds could be exploited for UV-blocking applications. The compounds have been characterized by powder X-ray diffraction, infrared spectroscopy, thermogravimetric analysis, UV-vis, photoluminescence, and NMR studies.

Synthetic investigation on the building of ring A of steroids

Methyl 7-keto-1,2,3,4,4a,5,6,7-octahydronaphthoate (Va) has been prepared by the reduction of 7-methoxy-1,2,3,4-tetrahydronaphthoic acid (III) with lithium and ammonia followed by hydrolysis of the enol ether, esterification and migration of the double bond. Alkylation of Va has led to the substitution at the expected 8-position. Methyl 4-keto-7-methoxy-1,2,3,4-tetrahydronaphthoate (X), an intermediate in the preparation of III, has been converted into methyl 3-methyl-3-cyano-4-keto-7-methoxy-1,2,3,4-tetrahydronaphthoate (XIII).

Performance evaluation of an integrated solar water heater as an option for building energy conservation

Since a majority of residential and industrial building hot water needs are around 50 degrees C, an integrated solar water heater could provide a bulk source that blends collection and storage into one unit. This paper describes the design, construction and performance test results of one such water-heating device. The test unit has an absorber area of 1.3 m(2) and can hold 1701 of water, of which extractable volume per day is 1001. Its performance was evaluated under various typical operating conditions. Every morning at about 7:00 a.m., 1001 of hot water were drawn from the sump and replaced with cold water from the mains. Although, during most of the days, the peak temperatures of water obtained are between 50 and 60 degrees C, the next morning temperatures were lower at 45-50 degrees C. Daytime collection efficiencies of about 60% and overall efficiencies of about 40% were obtained. Tests were conducted with and without stratification. Night radiation losses were reduced by use of a screen insulation.

A building-up process in open-framework metal carboxylates that involves a progressive increase in dimensionality

Extensive research work has been carried out in the last few years on the synthesis and characterization of several families of open-framework materials, including aluminosilicates,[1] phosphates,[2] and carboxylates.[3] These studies have shown the occurrence of a variety of three dimensional (3D) architectures containing channels and other features.

A Series of Cu-II-Azide Polymers of Cu-6 Building Units and the Role of Chelating Diamine in Controlling their Dimensionality: Synthesis, Structures, and Magnetic Behavior

Four new neutral copper-azido polymers Cu-6(N-3)(12)(aem)(2)](n)(1), Cu-6(N-3)(12)(dmeen)(2)(H2O)(2)](n) (2), Cu-6(N-3)(12)(N,N'-dmen)(2)](n) (3), and Cu-6(N-3)(12)(hmpz)(2)](n) (4) aem = 4-(2-aminoethyl)morpholine; dmeen = N,N-dimethyl-N'-ethylethylenediamine; N,N'-dmen = N,N'-dimethylethylenediamine and hmpz = homopiperazine] have been synthesized by using 0.33 mol equiv of the chelating diamine ligands with Cu(NO3)(2)center dot 3H(2)O/CuCl2 center dot 2H(2)O and an excess of NaN3. Single crystal X-ray structures show that the basic unit of these complexes, especially 1-3, contains very similar Cu-6(II) building blocks. But the overall structures of these complexes vary widely in dimensionality. While 1 is three-dimensional (3D) in nature, 2 and 3 have a two-dimensional (2D) arrangement (with different connectivity) and 4 has a one-dimensional (1D) structure. Cryomagnetic susceptibility measurements over a wide range of temperature exhibit dominant ferromagnetic behavior in all the four complexes. The experimental susceptibility data have been analyzed by some theoretical model equations.

Lanthanide Luminescent Coordination Polymer Constructed from Unsymmetrical Dinuclear Building Blocks Based on 4-((1H-Benzod]imidazol-1-yl)methyl)benzoic Acid

Lanthanide coordination polymers of the general formula Ln(2)(L)(5)(NO3)(H2O)(4)](n) (Ln = Eu (1), Tb (2), Gd (3)) supported by a novel aromatic carboxylate ligand 4-((1H-benzod]imidazol-1-yl)methyl)benzoic acid (HL) have been synthesized, characterized, and their photoluminescence behavior is examined. The powder X-ray diffraction patterns of complexes 1-3 showed that 1-3 are isostructural; thus, 1 has been chosen as an example to discuss in detail about the molecular structure by single-crystal X-ray diffraction. Complex 1 is a one-dimensional (1D) helical chain-like coordination polymer consisting of unique unsymmetrical dinuclear lanthanide building blocks. The 1D chains are further linked by the significant intermolecular hydrogen-bonding interactions to form a two-dimensional supramolecular network. The Tb3+ complex exhibits bright green luminescence efficiency in the solid state with a quantum yield of 15%. On the other hand, poor luminescence efficiency has been noted for Eu3+-benzoate complex.

Automatic verification of distributed logic specifications

Formal specification is vital to the development of distributed real-time systems as these systems are inherently complex and safety-critical. It is widely acknowledged that formal specification and automatic analysis of specifications can significantly increase system reliability. Although a number of specification techniques for real-time systems have been reported in the literature, most of these formalisms do not adequately address to the constraints that the aspects of 'distribution' and 'real-time' impose on specifications. Further, an automatic verification tool is necessary to reduce human errors in the reasoning process. In this regard, this paper is an attempt towards the development of a novel executable specification language for distributed real-time systems. First, we give a precise characterization of the syntax and semantics of DL. Subsequently, we discuss the problems of model checking, automatic verification of satisfiability of DL specifications, and testing conformance of event traces with DL specifications. Effective solutions to these problems are presented as extensions to the classical first-order tableau algorithm. The use of the proposed framework is illustrated by specifying a sample problem.

Chain folding and A:T pairing in human telomeric DNA: a model-building and molecular dynamics study

The various types of chain folding and possible intraloop as well as interloop base pairing in human telomeric DNA containing d(TTAG(3)) repeats have been investigated by model-building, molecular mechanics, and molecular dynamics techniques. Model-building and molecular mechanics studies indicate that it is possible to build a variety of energetically favorable folded-back structures with the two TTA loops on same side and the 5' end thymines in the two loops forming TATA tetrads involving a number of different intraloop as well as interloop A:T pairing schemes. In these folded-back structures, although both intraloop and interloop Watson-Crick pairing is feasible, no structure is possible with interloop Hoogsteen pairing. MD studies of representative structures indicate that the guanine-tetraplex stem is very rigid and, while the loop regions are relatively much more flexible, most of the hydrogen bonds remain intact throughout the 350-ps in vacuo simulation. The various possible TTA loop structures, although they are energetically similar, have characteristic inter proton distances, which could give rise to unique cross-peaks in two-dimensional nuclear Overhauser effect spectroscopy (NOESY) experiments. These folded-back structures with A:T pairings in the loop region help in rationalizing the data from chemical probing and other biochemical studies on human telomeric DNA.

Towards building an intelligent decision support system for project management

Management of large projects, especially the ones in which a major component of R&D is involved and those requiring knowledge from diverse specialised and sophisticated fields, may be classified as semi-structured problems. In these problems, there is some knowledge about the nature of the work involved, but there are also uncertainties associated with emerging technologies. In order to draw up a plan and schedule of activities of such a large and complex project, the project manager is faced with a host of complex decisions that he has to take, such as, when to start an activity, for how long the activity is likely to continue, etc. An Intelligent Decision Support System (IDSS) which aids the manager in decision making and drawing up a feasible schedule of activities while taking into consideration the constraints of resources and time, will have a considerable impact on the efficient management of the project. This report discusses the design of an IDSS that helps in project planning phase through the scheduling phase. The IDSS uses a new project scheduling tool, the Project Influence Graph (PIG).

Synthesis, Structures, and Magnetic Behavior of a Series of Copper(II) Azide Polymers of Cu-4 Building Clusters and Isolation of a New Hemiaminal Ether as the Metal Complex

Four new neutral copper azido polymers, Cu-4(N-3)(8)(L-1)(2)](n) (1), Cu-4(N-3)(8)(L-2)(2)](n) (2), Cu-4(N-3)(8)(L-3)(2)](n) (3), and Cu-9(N-3)(18)(L-4)(4)](n) (4) L1-4 are formed in situ by reacting pyridine-2-carboxaldehyde with 22-(methylamino)ethyl]pyridine (mapy, L-1), N,N-dimethylethylenediamine (N,N-dmen, L-2), N,N-diethylethylenediamine (N,N-deen, L-3), and N,N,2,2-tetramethylpropanediamine (N,N,2,2-tmpn, L-4)], have been synthesized by using 0.5 mol equiv of the chelating tridentate ligands with Cu-(NO3)(2)center dot 3H(2)O and an excess of NaN3. Single-crystal X-ray structures show that the basic unit of these complexes, especially 1-3, contains very similar Cu-4(II) building blocks. The overall structure of 3 is two-dimensional, while the other three complexes are one-dimensional in nature. Complex 1 represents a unique example containing hemiaminal ether arrested by copper(R). Complexes 1 and 2 have a rare bridging azido pathway: both end-on and end-to-end bridging azides between a pair of Cu-II centers. Cryomagnetic susceptibility measurements over a wide range of temperature exhibit dominant ferromagnetic behavior in all four complexes. Density functional theory calculations (B3LYP functional) have been performed on complexes 1-3 to provide a qualitative theoretical interpretation of their overall ferromagnetic behavior.

Analysing Message Sequence Graph Specifications

We give a detailed construction of a finite-state transition system for a com-connected Message Sequence Graph. Though this result is well-known in the literature and forms the basis for the solution to several analysis and verification problems concerning MSG specifications, the constructions given in the literature are either not amenable to implementation, or imprecise, or simply incorrect. In contrast we give a detailed construction along with a proof of its correctness. Our transition system is amenable to implementation, and can also be used for a bounded analysis of general (not necessarily com-connected) MSG specifications.

Understanding the building-up process of three dimensional open-framework metal phosphates: Acid degradation of the 3D structures to lower dimensional structures

Acid degradation of 3D zinc phosphates primarily yields a one-dimensional ladder compound, an observation that is significant considering that the latter forms 3D structures on heating in water.