NML系统的有限强完备性

对NML(Nilpotent Minimum Lukasiewicz Logic)系统进行了研究,讨论了NML系统的强完备性问题.对NML-链的性质作了进一步的研究,证明了任一NML-链都可部分嵌入到[0,1]J中;利用这一性质证明了NML系统的有限强完备性定理;最后指出,在NML系统中,关于无限理论的强完备性定理是不成立的.

基于SMIC 180nm工艺的内插延时链型TDC芯片

在高能同步辐射光源的高分辨谱学线站系统(HEPS-B5)的核共振散射实验中,为满足测试样品对时间数字转换皮秒级的高分辨率时间测量要求,基于SMIC 180 nm工艺设计了一款内插延时链型的四通道时间数字转换器(TDC)芯片。该TDC芯片采用“粗计数”和“细计数”相结合的链状结构,通过内插延时链法来提高测量分辨率,并结合时钟计数器以实现较大的动态测量范围。为了阻止亚稳态的传递,使用两级反相器作为基本延时单元,另外通过异步先进先出(FIFO)缓冲器实现数据在不同时钟域之间的安全传递。实验测试结果表明,该TDC芯片的时间分辨率可达到56.3 ps,动态测量范围为0~262μs,能够满足核共振散射实验的高精度时间测量要求。

重金属 Mn 对苦楝叶片光系统性能的影响

重金属锰严重抑制植物的光合作用,影响Mn污染地区植被恢复。为给Mn污染地区植被恢复提供合适的树种,以木本植物苦楝为研究对象,分别将0、10 g和30 g的MnCl2(CK、L1和L2)溶于纯水中配成溶液掺入盆栽土壤,通过快速叶绿素荧光诱导动力学曲线、820 nm光吸收曲线以及光合气体交换参数测定技术,研究重金属Mn对苦楝叶片光系统I(PSI)、光系统Ⅱ(PSⅡ)性能及其协调性的影响。结果表明,Mn胁迫下,苦楝叶片PSⅡ性能指数(PIABS)表现为L2<L1<CK,且差异性显著(P<0.05);K点(Wk)和J点(Vj)均显著大于CK;电子从QA传递到PSⅠ受体侧的效率(Ψ(Ro))和捕获的激子将电子传递到电子链中QA下游QB等电子受体的概率(Ψ(Eo))随着时间的推移呈现出先上升后下降的趋势;PSI性能(ΔI/I0)显著低于CK(P<0.05),PSⅠ与PSⅡ的协调性(Φ(PSI/PSⅡ))在L2水平下差异性显著(P<0.05);净光合速率(Pn)、气孔限制值(Ls)和RuBP羧化效率均降低,胞间CO2浓度(Ci)增高。以上结果表明重金属Mn显著影响了苦楝叶片PSⅡ和PSI性能,使苦楝光合能力下降。

多物种中非肌肉肌球蛋白ⅡA相关功能的研究进展

非肌肉肌球蛋白ⅡA(non-muscle myosin ⅡA, NM ⅡA)由非肌肉肌球蛋白重链9(Non-muscle myosin heavy chain 9,MYH9)基因编码,是非肌肉肌球蛋白Ⅱ的家族成员,在多种细胞中表达,参与调控细胞收缩、细胞迁移和细胞形状维持等细胞生理过程。NM ⅡA对脑、肾、血管等发育至关重要,其基因突变导致MYH9相关疾病(MYH9-related disease,MYH9-RD)。此外,近年来有研究表明NM ⅡA还参与其他生理和病理过程的调节,如血管新生和肿瘤进展等。本文将对人、小鼠和斑马鱼中NM ⅡA相关功能的研究进展进行综述。