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.     

Ratiometric Detection of microRNA Using Hybridization Chain Reaction and Fluorogenic Silver Nanoclusters

miRNA (miR)-155 is a potential biomarker for breast cancers. We aimed at developing a nanosensor for miR-155 detection by integrating hybridization chain reaction (HCR) and silver nanoclusters (AgNCs). HCR serves as an enzyme-free and isothermal amplification method, whereas AgNCs provide a built-in fluorogenic detection probe that could simplify the downstream analysis. The two components were integrated by adding a nucleation sequence of AgNCs to the hairpin of HCR. The working principle was based on the influence of microenvironment towards the hosted AgNCs, whereby unfolding of hairpin upon HCR has manipulated the distance between the hosted AgNCs and cytosine-rich toehold region of hairpin. As such, the dominant emission of AgNCs changed from red to yellow in the absence and presence of miR-155, enabling a ratiometric measurement of miR with high sensitivity. The limit of detection (LOD) of our HCR-AgNCs nanosensor is 1.13 fM in buffered solution. We have also tested the assay in diluted serum samples, with comparable LOD of 1.58 fM obtained. This shows the great promise of our HCR-AgNCs nanosensor for clinical application.     

基于串联两阶段网络DEA模型的供应链规模收益分析

数据包络分析(DEA)是评价供应链系统(Supply chain system)间相对有效性的一种重要的工具,但是传统的DEA不考虑供应链的内部结构,对系统效率评价偏高;而本文所研究两阶段串联供应链系统,考虑把部分中间产品作为最终产品输出,增加额外中间投入的情形.基于所提出的供应链系统结构,本文建立相应的串联结构下的网络DEA模型,并针对所建立模型进行相关理论的研究,给出了串联结构下的生产可能集和规模收益情况判定方法.最后,进行数值实验,以验证我们提出的结论.     

Semilinear wave models with friction and viscoelastic damping

In this paper, we study the global (in time) existence of small data solutions to the Cauchy problem for the semilinear wave equation with friction, viscoelastic damping, and a power nonlinearity. We are interested in the connection between regularity assumptions for the data and the admissible range of exponents p in the power nonlinearity.     

DFT mechanistic study of the H2‐assisted chain transfer copolymerization of propylene and p‐methylstyrene catalyzed by zirconocene complex

DFT computations have been performed to investigate the mechanism of H₂‐assisted chain transfer strategy to functionalize polypropylene via Zr‐catalyzed copolymerization of propylene and p‐methylstyrene (pMS). The study unveils the following: (i) propylene prefers 1,2‐insertion over 2,1‐insertion both kinetically and thermodynamically, explaining the observed 1,2‐insertion regioselectivity for propylene insertion. (ii) The 2,1‐inserion of pMS is kinetically less favorable but thermodynamically more favorable than 1,2‐insertion. The observation of 2,1‐insertion pMS at the end of polymer chain is due to thermodynamic control and that the barrier difference between the two insertion modes become smaller as the chain length becomes longer. (iii) The pMS insertion results in much higher barriers for subsequent either propylene or pMS insertion, which causes deactivation of the catalytic system. (iv) Small H₂ can react with the deactivated [Zr]?pMS?PP_n facilely, which displace functionalized pMS?PP_n chain and regenerate [Zr]? H active catalyst to continue copolymerization. The effects of counterions are also discussed. © 2014 Wiley Periodicals, Inc. J. Polym. Sci., Part A: Polym. Chem. 2015 , 53, 576–585     

Extended Open-Chain Polyenides as Versatile Delocalized Anion Ligands for Metal Chain Clusters

Although small cyclic- and open-chain unsaturated hydrocarbon anions such as cyclopentadienide and open-chain pentadienide are used as the strongly electron-donating auxiliary ligands for metal complexes, more extended π-conjugated unsaturated hydrocarbon anions have rarely been used in coordination chemistry, despite their potential ability to serve as the multiply bridging π-ligands for metal clusters. This work reports isolation of metal chain clusters bearing the multi-dentate, open-chain extended unsaturated hydrocarbon anion ligands. The extended open-chain π-conjugated polyenyl ligands could effectively stabilize oxidized palladium chains, including an unprecedented [Pd₄]⁴⁺ chain.     

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.     

A profit-maximizing supply chain network design model with demand choice flexibility

We present a profit-maximizing supply chain design model in which a company has flexibility in determining which customers to serve. The company may lose a customer to competition if the price it charges is too high. We show the problem formulation and solution algorithm, and discuss computational results.