Compositional semantics of dataflow networks with query-driven communication of exact values

We develop and study the concept of dataflow process networks as used for exampleby Kahn to suit exact computation over data types related to real numbers, such as continuous functions and geometrical solids. Furthermore, we consider communicating these exact objectsamong processes using protocols of a query-answer nature as introduced in our earlier work. This enables processes to provide valid approximations with certain accuracy and focusing on certainlocality as demanded by the receiving processes through queries. We define domain-theoretical denotational semantics of our networks in two ways: (1) directly, i. e. by viewing the whole network as a composite process and applying the process semantics introduced in our earlier work; and (2) compositionally, i. e. by a fixed-point construction similarto that used by Kahn from the denotational semantics of individual processes in the network. The direct semantics closely corresponds to the operational semantics of the network (i. e. it iscorrect) but very difficult to study for concrete networks. The compositional semantics enablescompositional analysis of concrete networks, assuming it is correct. We prove that the compositional semantics is a safe approximation of the direct semantics. Wealso provide a method that can be used in many cases to establish that the two semantics fully coincide, i. e. safety is not achieved through inactivity or meaningless answers. The results are extended to cover recursively-defined infinite networks as well as nested finitenetworks. A robust prototype implementation of our model is available.

Acousto-optic effect in microstructured polymer fiber bragg gratings : simulation and experimental overview

A fine control of the microstructured polymer fiber Bragg grating spectrum properties, such as maximum reflected power and 3-dB bandwidth, through acousto-optic modulation is presented. For simulation purposes, the device is modelled as a single structure, comprising a silica horn and a fiber Bragg grating. For similar sized structures a good correlation between the numerical results and the experimental data is obtained, allowing the strain field to be completely characterized along the whole structure. It is also shown that the microstructured polymer fiber Bragg grating requires less effort from the piezoelectric actuator to produce modification in the grating spectrum when compared with a silica fiber Bragg grating. This technique has potential to be applied on tunable optical filters and tunable cavities for photonic applications.

A new 3-D polymeric spin transition compound: [tris(1,4-bis-(tetrazol-1-yl) butane-N1,N1′)iron(II)] bis(perchlorate)

A series of novel polymeric compounds of formula [M(btzb)3][ClO4]2 (Mll = Fe, Ni or Cu) with btzb = 1,4-bis-(tetrazol-1-yl)butane have been prepared and their physical properties investigated. The btzb ligand has been prepared and its crystal structure determined, together with a tentative crystal structure of the 3-D compound [Fe(btzb)3][ClO4]2. The model of the latter shows two symmetry-related, interpenetrating Fe-btzb networks in which the iron(II) ions approach each other as close as 8.3 and 9.1 Å. This supramolecular catenane undergoes a sharp thermal spin transition around 160 K with hysteresis (20 K) along with a pronounced thermochromic effect. The spin crossover behaviour has been followed by magnetic, DSC, optical spectroscopy and 57Fe Mössbauer spectroscopy measurements. Irradiation with green light at low temperature leads to population of the metastable high-spin state for the thermally active iron(ll) ions. The nature of the spin crossover behaviour has been discussed in detail.

CuII chain compound showing a ferromagnetic coupling through triple N1,N2-1,2,4-triazole bridges

[Cu(hyetrz)3](CF3SO3)2·H2O [hyetrz = 4-(2′-hydroxyethyl)-1,2,4-triazole] represents the first structurally characterised ferromagnetically coupled CuII chain compound containing triple N1,N2-1,2,4-triazole bridges. catena-[μ-Tris{4-(2′-hydroxyethyl)-1,2,4-triazole-N1,N2}copper(II)] bis(trifluoromethanesulfonate) hydrate (C14H23F6S2O10CuN9) crystallises in the triclinic space group Pl, a = 13.54(3), b = 14.37(3), c = 15.61(4) Å, α = 95.9(1), β = 104.9(1), γ = 106.5(1)°, V = 2763(11) Å3, Z = 4 (CuII units). The CuII ions are linked by triple N1,N2-1,2,4-triazole bridges yielding an alternating chain with Cu1−Cu2 = 3.8842(4) Å and Cu2−Cu3 = 3.9354(4) Å. Analysis of the magnetic data according to a high-temperature series expansion gives a J value of +1.45(3) cm−1. The nature and the magnitude of the ferromagnetic exchange have been discussed on the basis of the structural features. (© Wiley-VCH Verlag GmbH & Co. KGaA, 69451 Weinheim, Germany, 2003).

Crystal structure and physical properties of the new linear chain compound [Cu(1,2-bis(tetrazol-1-yl)ethane)3](ClO4)2

The synthesis and crystal structure of a novel one-dimensional Cu(II) compound [Cu(1,2-bis(tetrazol-1-yl)ethane)3](ClO4)2 are described. The single-crystal X-ray structure determination was carried out at 298 K. The molecular structure consists of a linear chain in which the Cu(II) ions are linked by three N4,N4' coordinating bis(tetrazole) ligands in syn conformation. The Cu(II) ions are in a Jahn-Teller distorted octahedral environment (Cu(1)-N(11)=2.034(2) Å, Cu(1)-N(21)=2.041(2) Å and Cu(1)-N(31)=2.391(2) Å). The Cu⋯Cu separations are 7.420(3) Å.

Acousto-optic effect in microstructured polymer fiber bragg gratings:simulation and experimental overview

A fine control of the microstructured polymer fiber Bragg grating spectrum properties, such as maximum reflected power and 3-dB bandwidth, through acousto-optic modulation is presented. For simulation purposes, the device is modelled as a single structure, comprising a silica horn and a fiber Bragg grating. For similar sized structures a good correlation between the numerical results and the experimental data is obtained, allowing the strain field to be completely characterized along the whole structure. It is also shown that the microstructured polymer fiber Bragg grating requires less effort from the piezoelectric actuator to produce modification in the grating spectrum when compared with a silica fiber Bragg grating. This technique has potential to be applied on tunable optical filters and tunable cavities for photonic applications.