Formal proofs of operator identities by a single formal computation

A formal computation proving a new operator identity from known ones is, in principle, restricted by domains and codomains of linear operators involved, since not any two operators can be added or composed. Algebraically, identities can be modelled by noncommutative polynomials and such a formal computation proves that the polynomial corresponding to the new identity lies in the ideal generated by the polynomials corresponding to the known identities. In order to prove an operator identity, however, just proving membership of the polynomial in the ideal is not enough, since the ring of noncommutative polynomials ignores domains and codomains. We show that it suffices to additionally verify compatibility of this polynomial and of the generators of the ideal with the labelled quiver that encodes which polynomials can be realized as linear operators. Then, for every consistent representation of such a quiver in a linear category, there exists a computation in the category that proves the corresponding instance of the identity. Moreover, by assigning the same label to several edges of the quiver, the algebraic framework developed allows to model different versions of an operator by the same indeterminate in the noncommutative polynomials.     

Pyridine solvated dioxouranium complex with salen ligand: Synthesis,characterization and luminescence properties

A new derivative of dioxouranium(VI) salen complex, [UO2(L)(pyridine)], where [L = N,N′-Bis(2-hydroxybenzylidene)-2,2-dimethyl-1,3-propanediamine] is synthesized and characterized by elemental analysis (C, H, N), FT-IR, ESI-MS spectrometry, UV/Vis, fluorescence, ¹H and ¹³C NMR spectroscopy and thermal gravimetric (TG) study. Furthermore, the single crystal X-ray diffraction measurements of the complex were carried out at 100 and 273 K. The crystal structure measurements revealed that the complex has distorted pentagonal bipyramidal geometry with uranium atom located at the centre and bonded to two phenoxy oxygen and two azomethine nitrogen in tetradenate fashion and one nitrogen from pyridine making it seven coordinated. In addition, the photoluminescence property of the complex was also recorded.     

Flexible Structures Based on a Short Pitch Cholesteric Liquid Crystals

We report on the realization and characterization of electro-responsive and pressure sensitive polydimethylsiloxane (PDMS) conductive photonic structures combined with the reconfigurable properties of short pitch cholesteric liquid crystals (aligned in Grandjean configuration). By combining ion-implantation process and surface chemistry functionalization, we have overcome the insulating properties of PDMS and induced long range organization of cholesteric liquid crystals, thus controlling both diffraction and selective Bragg reflection of light by means of external perturbations (electric field, pressure). We have characterized our devices in terms of morphological, optical and electro-optical properties.     

Crystal Structure of L-Quebrachitol

L-Quebrachitol (1) isolated from the root of Elaeagnus formosana Nakai (Elaeagnaceae) has not been reported before for any species of the genus of Elaeasnus. Its structure was established from spectral data and was completely characterized by single-crystal X-ray analysis. L-Quebrachitol crystallizes in the monoclinic system, space group P2₁, with cell parameters are a = 6.702(4), b = 7.207(4), c = 8.758(5) Å, β = 90.24(5)° and Z = 2.     

Micro enzymatic assay coupled to capillary electrophoresis via liquid junction

Summary A system for capillary electrophoresis combined with enzymatic assay has been evaluated for the two enzymes glucose-6-phosphate dehydrogenase and 6-phosphogluconate dehydrogenase. Instrumentation included a post-column reactor coupled to the separation capillary by a liquid junction. A technique for generating a substrate solution flow into the reactor by utilizing two high voltage supplies is proposed. This method offers a high degree of freedom in optimizing the separation and enzymatic reaction conditions individually. Possibilities for improving the enzymatic assay sensitivity were also examined.     

Generalization of Murty's direct algorithm to linear and convex quadratic programming

Murty's algorithm for the linear complementarity problem is generalized to solve the optimality conditions for linear and convex quadratic programming problems with both equality and inequality constraints. An implementation is suggested which provides both efficiency and tight error control. Numerical experiments as well as field tests in various applications show favorable results.The author thanks K. G. Murty for his encouragement and helpful comments.     

Dielectric and optical properties of polymer-liquid crystal composite

Dielectric properties of polymer-liquid crystal mixture, having constituent polymer, poly-butyl methacrylate (PBMA) and liquid crystal, cholesteryl nonanoate, are reported as a function of frequency and temperature. The measurement has been done in a temperature range of 300-375 K and frequency range of 100 Hz-10 MHz. The dielectric permittivity and dielectric loss shows significant changes with the addition of polymer molecules in liquid crystal. The significant feature of composite formation is that the pure liquid crystal and polymer do not show dielectric relaxation in the frequency range covered, while the composite shows relaxation peak at a particular frequency. The optical transmittance of pure liquid crystal and composite has also been measured and compared.     

模糊线性回归模型的约束最小二乘估计

自Tanaka等1982年提出模糊回归概念以来,该问题已得到广泛的研究。作为主要估计方法之一的模糊最小二乘估计以其与统计最小二乘估计的密切联系更受到人们的重视。本文依据适当定义的两个模糊数之间的距离,提出了模糊线性回归模型的一个约束最小二乘估计方法,该方法不仅能使估计的模糊参数的宽度具有非负性而且估计的模糊参数的中心线与传统的最小二乘估计相一致。最后,通过数值例子说明了所提方法的具体应用。