Ag+与Hg2+对G-四链体DNA结构的破坏及其对构筑DNA逻辑门的应用

本工作利用圆二色光谱研究了Ag+与Hg2+对4种代表性G-四链体DNA结构的破坏作用。结果表明Ag+可能通过与碱基G螯合从而破坏G-四链体结构;Hg2+能通过形成T-Hg2+-T碱基对,及其他方式破坏G-四链体结构。含巯基(-SH)的半胱氨酸与Ag+与Hg2+可以发生较强的配位作用,从而使被Ag+与Hg2+破坏后的G-四链体DNA结构得以回复。基于此,一个新颖的Ag+/Hg2+-半胱氨酸-DNA逻辑门得以构筑。     

Biocomputing Based on DNA Strand Displacement Reactions

The high sequence specificity and precise base complementary pairing principle of DNA provides a rich orthogonal molecular library for molecular programming, making it one of the most promising materials for developing bio-compatible intelligence. In recent years, DNA has been extensively studied and applied in the field of biological computing. Among them, the toehold-mediated strand displacement reaction (SDR) with properties including enzyme free, flexible design and precise control, have been extensively used to construct biological computing circuits. This review provides a systemic overview of SDR design principles and the applications. Strategies for designing DNA-only, enzymes-assisted, other molecules-involved and external stimuli-controlled SDRs are described. The recently realized computing functions and the application of DNA computing in other fields are introduced. Finally, the advantages and challenges of SDR-based computing are discussed.     

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完成大量图像数据处理工作,提高了系统工作的实时性.     

浅谈数学中的合情推理

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

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.