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.     

Rh(III)-Catalyzed One-Step Synthesis of ortho-Alkynylated Perylene Imide Dyes: Optical and Electrochemical Properties of New Derivatives

A one-step Rh-catalyzed site-selective ortho-C−H alkynylation of perylene as well as naphthalene mono- and diimides is reported. A single step regioselective access to ortho-C−H alkynylated derivatives of these ryleneimides not only increases the step economy of the ortho-functionalization on these dyes but also provides a quick access route towards highly functionalized dyes that have potential optoelectronic applications. Increased solubility of tetra(triisopropylsilyl)acetylenyl PDIs in organic solvents greatly enhances their utility for further derivatization.     

Bifurcation analysis of visual angle model with anticipated time and stabilizing driving behavior

In the light of the visual angle model (VAM), an improved car-following model considering driver's visual angle, anticipated time and stabilizing driving behavior is proposed so as to investigate how the driver's behavior factors affect the stability of the traffic flow. Based on the model, linear stability analysis is performed together with bifurcation analysis, whose corresponding stability condition is highly fit to the results of the linear analysis. Furthermore, the time-dependent Ginzburg-Landau (TDGL) equation and the modified Korteweg-de Vries (mKdV) equation are derived by nonlinear analysis, and we obtain the relationship of the two equations through the comparison. Finally, parameter calibration and numerical simulation are conducted to verify the validity of the theoretical analysis, whose results are highly consistent with the theoretical analysis.     

A branch-and-bound method for the minimum k−enclosing ball problem

The minimum k-enclosing ball problem seeks the ball with smallest radius that contains at least k of m given points. This problem is NP-hard. We present a branch-and-bound algorithm on the tree of the subsets of k points to solve this problem. Our method is able to solve the problem exactly in a short amount of time for small and medium sized datasets.     

Portable single-sided NMR measurements at variable temperatures: Implementation of a thermo-controlled device and application to the heating of bread dough

A temperature control unit was implemented to vary the temperature of samples studied on a commercial Mobile Universal Surface Explorer nuclear magnetic resonance (MOUSE-NMR) apparatus. The device was miniaturized to fit the maximum MOUSE sampling depth (25 mm). It was constituted by a sample holder sandwiched between two heat exchangers placed below and above the sample. Air was chosen as the fluid to control the temperature at the bottom of the sample, at the interface between the NMR probe and the sample holder, in order to gain space. The upper surface of the sample was regulated by the circulation of water inside a second heat exchanger placed above the sample holder. The feasibility of using such a device was demonstrated first on pure water and then on several samples of bread dough with different water contents. For this, T1 relaxation times were measured at various temperatures and depths and were then compared with those acquired with a conventional compact closed-magnet spectrometer. Discussion of results was based on biochemical transformations in bread dough (starch gelatinization and gluten heat denaturation). It was demonstrated that, within a certain water level range, and because of the low magnetic field strength of the MOUSE, a linear relationship could be established between T1 relaxation times and the local temperature in the dough sample.     

Synthesis and characterization of VO–vanillin complex immobilized on MCM-41 and its facile catalytic application in the sulfoxidation reaction,and synthesis of 2,3-dihydroquinazolin-4(1H)-ones and disulfides in green media

In this work, a vanillin complex is immobilized onto MCM-41 and characterized by FT-IR, X-ray diffraction, scanning electron microscopy, energy dispersive spectroscopy, thermogravimetric analysis, and BET techniques. This supported Schiff base complex was found to be an efficient and recoverable catalyst for the chemoselective oxidation of sulfides into sulfoxides and thiols into their corresponding disulfides (using hydrogen peroxide as a green oxidant) and also a suitable catalyst for the preparation of 2,3-dihydroquinazolin-4(1H)-one derivatives in water at 90°C. Using this protocol, we show that a variety of disulfides, sulfoxides, and 2,3-dihydroquinazolin-4(1H)-one derivatives can be synthesized in green conditions. The catalyst can be recovered and recycled for further reactions without appreciable loss of catalytic performance.     

Wave-based vibration control of large cable net structures

Large cable net structures have been widely applied in aerospace engineering due to the feature of light-weight, high packaging efficiency, and high thermal stability. Structural vibrations induced by a variety of disturbances are inevitable in the space environment, resulting in the requirement of effective vibration control strategies for large cable net structures. Since the large cable net structures have many closely spaced vibrational modes in the range of low frequencies, traditional modal based control may cause modal truncation and spillover problems. In this paper, a wave-based boundary control strategy is adopted and its effectiveness to control the vibration of cable net structures is investigated, by transfer function analysis and numerical methods. It is found that the structural vibration can be absolutely resisted by applying the wave-based boundary controllers onto all the exterior nodes, when disturbances come from the external boundaries of the cable net. Our results in this paper can provide a theoretical basis for the vibration control of large cable net structures.     

Caesium carbonate supported on hydroxyapatite‐encapsulated Ni0.5Zn0.5Fe2O4 nanocrystallites as a novel magnetically basic catalyst for the one‐pot synthesis of pyrazolo[1,2‐b]phthalazine‐5,10‐diones

A novel nanomagnetic basic catalyst of caesium carbonate supported on hydroxyapatite‐coated Ni_0.5Zn_0.5Fe₂O₄ magnetic nanoparticles (Ni_0.5Zn_0.5Fe₂O₄@HAP‐Cs₂CO₃) was prepared. This new catalyst was fully characterized using Fourier transform infrared spectroscopy, transmission and scanning electron microscopy, X‐ray diffraction and vibrating sample magnetometry techniques, and then the catalytic activity of this catalyst was investigated in the synthesis of 1H‐pyrazolo[1,2‐b]phthalazine‐5,10‐dione derivatives. Also, Ni_0.5Zn_0.5Fe₂O₄@HAP‐Cs₂CO₃ could be reused at least five times without significant loss of activity and could be recovered easily by applying an external magnet. Thus, the developed nanomagnetic catalyst is potentially useful for the green and economic production of organic compounds. Copyright © 2015 John Wiley & Sons, Ltd.