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.     

A post curing strategy toward the feasible covalent adaptable networks in polyacrylate latex films

The implementation of covalent adaptable networks (CANs) in general resin system is becoming attractive. In this work, we propose a simple post-curing strategy based on the core-shell structured acrylate latex for the achievement on both the improved general performance and the CANs characteristics in latex films. The building to the CANs was relied on the introduction of 4,4′-diaminophenyl disulfide as the curing agent, which cured the acetoacetoxy decorated shell polymer through the ketoamine reaction. The metathesis reaction of aromatic disulfides in the crosslinking segments enabled the thermally induced dynamic behavior of the network as revealed in the stress relaxation tests by comparison with other diamine crosslinking agents without the incorporation of disulfide. The synergism of the dynamic crosslinking of the shell polymer and static crosslinking in the core polymer contributed to the improved mechanical strength (15 MPa, strain% = 250%) and the suppressed water adsorption (~1% in 24 h of soaking) of the latex film, which exhibited above 90% of recovery in both strength and strain from a cut-off film damage within 1 h at 80°C. Moreover, the cured latex film could be recycled, and 75% of the mechanical performance was regained after three fragmentation-hot-pressing cycles. These, in addition with the feasible and environmental friendly characteristics, suggest a sustainable paradigm toward the smart thermosetting latex polymers.     

Precise Synthesis and Thin Film Self-Assembly of PLLA-b-PS Bottlebrush Block Copolymers

The ability of bottlebrush block copolymers (BBCPs) to self-assemble into ordered large periodic structures could greatly expand the scope of photonic and membrane technologies. In this paper, we describe a two-step synthesis of poly(l-lactide)-b-polystyrene (PLLA-b-PS) BBCPs and their rapid thin-film self-assembly. PLLA chains were grown from exo-5-norbornene-2-methanol via ring-opening polymerization (ROP) of l-lactide to produce norbornene-terminated PLLA. Norbonene-terminated PS was prepared using anionic polymerization followed by a termination reaction with exo-5-norbornene-2-carbonyl chloride. PLLA-b-PS BBCPs were prepared from these two norbornenyl macromonomers by a one-pot sequential ring opening metathesis polymerization (ROMP). PLLA-b-PS BBCPs thin-films exhibited cylindrical and lamellar morphologies depending on the relative block volume fractions, with domain sizes of 46–58 nm and periodicities of 70–102 nm. Additionally, nanoporous templates were produced by the selective etching of PLLA blocks from ordered structures. The findings described in this work provide further insight into the controlled synthesis of BBCPs leading to various possible morphologies for applications requiring large periodicities. Moreover, the rapid thin film patterning strategy demonstrated (>5 min) highlights the advantages of using PLLA-b-PS BBCP materials beyond their linear BCP analogues in terms of both dimensions achievable and reduced processing time.     

Strain effects on multiferroic BiFeO3 films

The field of multiferroics has experienced a rapid progress resulting in the discovery of many new physical phenomena. BiFeO₃ (BFO) compound, which is one of the few room-temperature single-phase multiferroics, has contributed subsequently to this progress. As a result, significant review articles have been devoted specifically to this famous system. This chapter is dedicated to the strain effects on the structure stability and property changes of BFO thin films. It is a short and non-exhaustive topical overview that may be seen as an invitation for interested readers to go beyond. There is a very active and prolific research in this field and we apologize to the authors whose relevant work is not cited here. After a short introduction, we will thus review the effect of strain on BFO films by describing the consequences on the structure and the phase transitions as well as on polar, magnetic and magnetoelectric properties.     

Crosslinked poly(ethylene oxide) containing siloxanes fabricated through thiol‐ene photochemistry

Homogenous amphiphilic crosslinked polymer films comprising of poly(ethylene oxide) and polysiloxane were synthesized utilizing thiol‐ene “ click ” photochemistry. A systematic variation in polymer composition was Carried out to obtain high quality films with varied amount of siloxane and poly(ethylene oxide). These films showed improved gas separation performance with high gas permeabilities with good CO₂/N₂ selectivity. Furthermore, the resulting films were also tested for its biocompatibility, as a carrier media which allow human adult mesenchymal stem cells to retain their capacity for osteoblastic differentiation after transplantation. The obtained crosslinked films were characterized using differential scanning calorimetry, dynamic mechanical analysis, thermogravimetric analysis, FTIR, Raman‐IR , and small angle X‐ray scattering. The synthesis ease and commercial availability of the starting materials suggests that these new crosslinked polymer networks could find applications in wide range of applications. © 2015 Wiley Periodicals, Inc. J. Polym. Sci., Part A: Polym. Chem. 2015 , 53, 1548–1557     

基于DIS数字信息化系统对透光物质透光性能的研究

采用DIS数字信息化系统,对不同浓度的蓝墨水溶液在激光光源照射下的透射平均照度及照度分布图像进行实验研究,得到了平均照度值随溶液浓度变化的规律。对不同颜色塑料膜片对白炽灯光源透过照度值及照度分布图像进行实验研究得到及其相关之规律。     

Characterization of ZnO:AI films deposited by r.f.magnetron-sputtering at low temperature

Transparent conducting ZnO:AI thin films with good adhesion and Iow resistivity have been prepared on organic substrates and Coming 7059 glass substrates by r.f. magnetron-sputtering technique at Iow substrate temperature (25-210℃). Structural and photoelectric properties of the deposited films are investigated. The deposited films are polycrystalline with hexagonal structure and a preferred orientation with the c-axis perpendicular to the substrate. Only the (002) peak is observed.High quality films with resistivity as Iow as 1.0 x 10- 3Ω@ cm and 8.4 x 10- 4Ω@ cm, the average transmittance over 74% and 85% in the wavelength range of the visible spectrum have been obtained on different substrates.     

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.