可控/“活性”自由基聚合制备聚乙烯及聚卤代烯烃

可控/“活性”自由基聚合(CLRP)可以用于制备分子量分布窄、分子链缺陷少的聚合物,如聚乙烯(PE)、聚氯乙烯(PVC)、聚偏氯乙烯(PVDC)和聚偏氟乙烯(PVDF),且易控制上述单体与其他单体共聚得到嵌段聚合物。本文调研了近年来可控/“活性”自由基聚合(如碘转移聚合(ITP)、氮氧稳定自由基聚合(NMP)、可逆加成断裂链转移(RAFT)聚合和金属催化的活性自由基聚合(OMRP)等)制备聚乙烯和聚卤代烯烃等方面的工作,并指出了未来的发展方向。     

A Light‐up Logic Platform for Selective Recognition of Parallel G‐Quadruplex Structures via Disaggregation‐Induced Emission

The design of turn‐on dyes with optical signals sensitive to the formation of supramolecular structures provides fascinating and underexplored opportunities for G‐quadruplex (G4) DNA detection and characterization. Here, we show a new switching mechanism that relies on the recognition‐driven disaggregation (on‐signal) of an ultrabright coumarin‐quinazoline conjugate. The synthesized probe selectively lights‐up parallel G4 DNA structures via the disassembly of its supramolecular state, demonstrating outputs that are easily integrable into a label‐free molecular logic system. Finally, our molecule preferentially stains the G4‐rich nucleoli of cancer cells.     

Enzyme-free and DNA-based universal platform for the construction of various logic devices based on graphene oxide and G-quadruplex

In the fields of biocomputing and biomolecular, DNA molecules are applicable to be regarded as data of logical computing platform that uses elaborate logic gates to perform a variety of tasks. Graphene oxide (GO) is a type of novel nanomaterial, which brings new research focus to materials science and biosensors due to its special selectivity and excellent quenching ability. G-quadruplex as a unique DNA structure stimulates the intelligent application of DNA assembly on the strength of its exceptional binding activity. In this paper, we report a universal logic device assisted with GO and G-quadruplex under an enzyme-free condition. Integrated with the quenching ability of GO to the TAMRA (fluorophore, Carboxytetramethylrhodamine) and the enhancement of fluorescence intensity produced by the peculiar binding of G-quadruplex to the NMM (N-methylmesoporphyrin IX), a series of basic binary logic gates (AND. OR. INHIBIT. XOR) have been designed and verified through biological experiments. Given the modularity and programmability of this strategy, two advanced logic gates (half adder and half subtractor) were realized on the basis of the same work platform. The fluorescence signals generated from different input combinations possessed satisfactory results, which provided proof of feasibility. We believe that the proposed universal logical platform that operates at the nanoscale is expected to be utilized for future applications in molecular computing as well as disease diagnosis.     

相似剩余格及其对应逻辑系统的完备性

引入了相似剩余格的概念,讨论了剩余格上相似算子和等价算子的关系,并得到了真值剩余格和相似剩余格相互转化的方法.其次,研究了相似剩余格上的相似滤子,利用相似滤子刻画了可表示的相似剩余格.最后,引入了相似剩余格对应的逻辑系统,证明了其完备性定理,并得到了其成为半线性逻辑的条件.     

空间雷电探测实时采集定位系统

星载雷电探测定位系统是利用光学探测器探测闪电事件的地理位置和光脉冲波形,系统采用CPLD+DSP的数字图像处理方案,利用了CPLD复杂逻辑可编程特性将系统的部分或全部功能集成在一片CPLD上,减小了系统硬件复杂程度,节省了印制版空间.利用DSP高速数字信号处理特性完成实时处理图像数据的功能.系统用CPLD完成图像信号的采集、编码和存储控制,缩小了星载设备体积,简化了电路结构;用DSP完成大量图像数据处理工作,提高了系统工作的实时性.     

浅谈数学中的合情推理

合情推理是数学发现的重要方法,本文介绍了合情推理的概念、作用、途径.所论及的内容对数学教学有参考价值.     

基于互连线电容耦合的SR锁存电路研究

通过对线间电容耦合模型的研究, 提出了一种基于互连线电容耦合的SR锁存电路设计方案. 该方案首先分析互连线间电容耦合关系, 利用MOS管栅极电容模拟互连线电容; 然后利用电容耦合结构与线计算特性, 设计或非逻辑门电路, 在此基础上实现基于互连线电容耦合的SR锁存电路; 最后在TSMC 65nm Spectre环境下仿真验证. 结果表明 所设计的电路逻辑功能正 确, 且具有低硬件开销特性.     

Evolution of Classical and Quantum States in the Groupoid Picture of Quantum Mechanics

The evolution of states of the composition of classical and quantum systems in the groupoid formalism for physical theories introduced recently is discussed. It is shown that the notion of a classical system, in the sense of Birkhoff and von Neumann, is equivalent, in the case of systems with a countable number of outputs, to a totally disconnected groupoid with Abelian von Neumann algebra. The impossibility of evolving a separable state of a composite system made up of a classical and a quantum one into an entangled state by means of a unitary evolution is proven in accordance with Raggio’s theorem, which is extended to include a new family of separable states corresponding to the composition of a system with a totally disconnected space of outcomes and a quantum one.     

Resonant-interaction-induced Rydberg antiblockade and its applications

Different from the conventional Rydberg antiblockade (RAB) regime that either requires weak Rydberg-Rydberg interaction (RRI), or compensates the RRI-induced energy shift by introducing off-resonant interactions, we show that RAB regime can be achieved by resonantly driving the transitions between ground state and Rydberg state under strong RRI. The Rabi frequencies are of small amplitude and time-dependent harmonic oscillation, which plays a critical role for the presented RAB. The proposed unconventional RAB regime is used to construct high-fidelity controlled-Z (CZ) gate and controlled-not (CNOT) gate in one step. Each atom requires single external driving. And the atomic addressability is not required for the presented unconventional RAB, which would simplify experimental complexity and reduce resource consumption.     

DNA‐Based Adaptive Plasmonic Logic Gates

Self‐assembled plasmonic logic gates that read DNA molecules as input and return plasmonic chiroptical signals as outputs are reported. Such logic gates are achieved on a DNA‐based platform that logically regulate the conformation of a chiral plasmonic nanostructure, upon specific input DNA strands and internal computing units. With systematical designs, a complete set of Boolean logical gates are realized. Intriguingly, the logic gates could be endowed with adaptiveness, so they can autonomously alter their logics when the environment changes. As a demonstration, a logic gate that performs AND function at body temperature while OR function at cold storage temperature is constructed. In addition, the plasmonic chiroptical output has three distinctive states, which makes a three‐state molecular logic gate readily achievable on this platform. Such DNA‐based plasmonic logic gates are envisioned to execute more complex tasks giving these unique characteristics.