Polymer 4D printing: Advanced shape-change and beyond

4D printing is an exciting branch of additive manufacturing. It relies on established 3D printing techniques to fabricate objects in much the same way. However, structures which fall into the 4D printed category have the ability to change with time, hence the “extra dimension.” The common perception of 4D printed objects is that of macroscopic single-material structures limited to point-to-point shape change only, in response to either heat or water. However, in the area of polymer 4D printing, recent advancements challenge this understanding. A host of new polymeric materials have been designed which display a variety of wonderful effects brought about by unconventional stimuli, and advanced additive manufacturing techniques have been developed to accommodate them. As a result, the horizons of polymer 4D printing have been broadened beyond what was initially thought possible. In this review, we showcase the many studies which evolve the very definition of polymer 4D printing, and reveal emerging areas of research integral to its advancement.     

从知识传授到育人:高职“生活中的化学”教学实践*

深挖高职院校公选课“生活中的化学”的育人元素,精心设计教学内容,运用课堂主题辩论、趣味生活实验的设计与展示、探秘生活中的化学等理论知识传授与课内外实践相结合的教学方式,实现全过程育人,充分展现了公选课在立德树人方面的价值。     

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.     

Calcium-based coordination polymers from a solvothermal synthesis of HKUST-1 in 3D printed autoclaves

A mixed-metal 1D coordination polymer [CaCu(HBTC)₂(H2O)₈]_n (where H₃BTC – benzene-1,3,5-tric arboxylic acid) was obtained in a solvothermal synthesis of a well-known copper-containing metal–organic framework [Cu₃(BTC)₂(H₂O)₃]_n (HKUST-1) in autoclaves 3D-printed from commercial polypropylene. This material was a source of calcium ions, apparently, leaking from a colorant (calcium carbonate) promoted by glacial acetic acid as a modulator used to produce large single crystals of HKUST-1. This finding was confirmed by elemental analysis and a model experiment that resulted in a new calcium-based 1D coordination polymer [Ca(H₂BTC)₂(H₂O)₅]_n under the same solvothermal conditions with no copper or calcium salts put into a 3D-printed autoclave.     

Extension of Laguerre polynomials with negative arguments

We consider the irreducibility of polynomial $L_n^{\left(\alpha \right)}\left(x\right)$ where $\alpha$ is a negative integer. We observe that the constant term of $L_n^{\left(\alpha \right)}\left(x\right)$ vanishes if and only if $n\ge \left|\alpha \right|=?\alpha$. Therefore we assume that $\alpha =?n?s?1$ where $s$ is a non-negative integer. Let $g\left(x\right)={(?1)}^n{L}_n^{(?n?s?1)}\left(x\right)=\sum _{j=0}^n{a}_j\frac{x^j}{j!}$ and more general polynomial, let $G\left(x\right)=\sum _{j=0}^n{a}_j{b}_j\frac{x^j}{j!}$ where $b_j$ with $0\le j\le n$ are integers such that $\left|b_0\right|=\left|b_n\right|=1$. Schur was the first to prove the irreducibility of $g\left(x\right)$ for $s=0$. It has been proved that $g\left(x\right)$ is irreducible for $0\le s\le 60$. In this paper, by a different method, we prove: Apart from finitely many explicitly given possibilities, either $G\left(x\right)$ is irreducible or $G\left(x\right)$ is linear factor times irreducible polynomial. This is a consequence of the estimate $s>1.9k$ whenever $G\left(x\right)$ has a factor of degree $k\ge 2$ and $(n,k,s)\ne (10,5,4)$. This sharpens earlier estimates of Shorey and Tijdeman and Nair and Shorey.     

Enhanced Power Density of Alcohol Biofuel Cell by Polymer-assisted Crosslinks of 3D Graphene on Carbon Paper as the Bioanode

Herein, we successfully construct the 3D biocompatible graphene through crosslinking 2D graphene nanosheet onto carbon fiber paper with poly(diallyldimethylammonium chloride) (PDDA) as anode of the alcohol biofuel cell. Compared with the bioanode without 3D graphene, the current density and output power of PDDA-graphene-ADH bioanode is increased by 23 % and 41 % at a high concentration of ethanol at pH 8.9, suggesting the stabilization role of graphene in enzyme loading. The study provides us a deep analysis on structures and performances of the bioanode incl. electrochemistry, X-ray photoelectron spectra, and atomic force microscopy images, which is significant to develop the new methods to construct 3D porous electrodes in energy conversion device.