基于量子逻辑的模糊线性时序逻辑的模型检测

模型检测的主要问题是处理具有量化信息的系统的验证问题,该文在量子逻辑和时序逻辑的相关理论基础上引入了可能性理论以及模糊线性时间的可能性测度,研究了线性时序逻辑在模糊时态下的模型检测方法.通过引入可能性理论以及广义可能性Kripke结构定义,对广义可能性Kripke结构中的模糊线性时间性质进行了讨论,有利于研究不确定现象...     

生物组织电穿孔中的热效应研究

本文对生物组织电穿孔中的热效应问题进行了计算研究。结果表明生物组织电穿孔过程中,选用不当的脉冲电压参数,会对组织造成严重的热损伤。若采用相同的烧伤阈值来描述热损伤范围,则相同电脉冲参数条件下在体组织比离体组织受到的热损伤更大。     

ZCuPb20Sn5合金耐磨性能研究

ZCuPb₂₀Sn₅合金作为柱塞泵转子内衬材料,因其含铅量高,而具有良好的减摩耐磨性能,可避免转子在工作中的磨损失效问题. 选用销盘式摩擦磨损试验机,以ZCuPb₂₀Sn₅和45钢为摩擦副,研究了不同PV值和油润滑条件下,ZCuPb₂₀Sn₅合金的摩擦磨损性能. 结果表明:随着PV值的增加,ZCuPb₂₀Sn₅合金的摩擦系数先增加后减小,而磨损率呈增加趋势. 在载荷50 N和线速度2.410 m/s条件下,摩擦系数和磨损率最低,摩擦系数最低能达到0.010,平均摩擦系数达到1个最低峰值点0.063;在载荷250 N、线速度3.610 m/s以及PV值为126 MPa·m/s的条件下,摩擦系数达到另一低峰值0.070,磨损率为2.972×10?7 mm3/(N·m). PV值最大时,摩擦系数和磨损率最大. 载荷小于150 N时,在油润滑的作用下,主要磨损机制为轻微黏着磨损;载荷大于150 N时,在铅和油的协同作用下,以黏着磨损为主,少量磨粒磨损;当载荷大于250 N时,摩擦系数与磨损率均偏高,以磨粒磨损为主,局部有少量氧化磨损.      

新型荧光环肽探针用于病变胶原蛋白的靶向检测

胶原蛋白是细胞外基质的主要成分,它在细胞分化、迁移、组织重塑和器官形态发生等大量生理过程中发挥着重要作用.作为关键的结构蛋白,胶原蛋白的过度降解与肿瘤等严重疾病的发生息息相关,已成为癌症分化、侵袭、转移以及癌症分期的重要诊断标准.因此,构建胶原蛋白的高效检测方法对肿瘤等相关疾病分子机制的解析和治疗方法的开发至关重要.环...     

分子逻辑的研究进展

简要介绍了分子逻辑的研究现状和近年来的研究进展,展望了该领域的发展前景。     

促红细胞生成素B螺旋表面肽的代谢稳定性结构修饰：设计、合成及其提高的肾保护作用

肾脏缺血缺氧以及再灌注过程都将导致肾小管上皮细胞凋亡,使肾功能严重受损.肾脏的缺血再灌注损伤是移植肾功能延迟恢复的主要原因并能诱导急慢性排斥,影响肾存活率.近年来发现,衍生于促红细胞生成素（EPO）的B螺旋亚基亲水表面序列的肽链（HBSP）,对肾脏缺血再灌注损伤具有显著的保护作用,但其在体内极短的半衰期（约2min）极大地限制了它的临床应用.因此,本研究采用构象约束、全D-构型氨基酸替换和N-端封闭策略,设计了3种类型的EPOB螺旋表面肽衍生物,旨在提高其代谢稳定性环肽的设计采用了对氧化还原稳定的硫醚键和相对刚性的亚砜键两种环合方式.在多肽的合成上,采用微波辅助多肽自动合成和手工合成两种模式有机结合;优化了硫醚环合工艺,应用微波加热进行硫醚环肽的合成,大大提高了产率和效率;利用圆二色（CD）谱确定了亚砜环肽的相对构型.活性实验表明,相对于线性母肽HBSP,本文设计合成的代谢稳定衍生肽对大/小鼠肾脏缺血再灌注损伤均有显著提高的保护作用,且硫醚和R-构型亚砜环肽的肾脏保护活性强于S-构型亚砜环肽.而且,环化确实提高了功能肽的血浆稳定性.因此,本文合成的硫醚环肽一周一次注射剂量等效于线性肽HBSP一日三次剂量对小鼠肾损伤的保护作用.     

例说初中数学教学中『问题串』设计的『四化』

问题串是指在一定的学习范围或主题内,围绕一定目标、按照一定逻辑结构精心设计的一组问题使用问题串进行教学实质上是引导学生带着问题(任务)进行积极的自主学习,由表及里,由浅入深地自我建构知识的过程那么,在课堂教学中如何创设有效问题串,提高课堂效率?本人结合教学实践,从以下四个方面谈一些感想.     

利用分子动力学方法铁素体-渗碳体相界面效应探究

珠光体是十分重要的组织结构,因此本文构建了含铁素体-渗碳体相界面的模型,并采用分子动力学模拟方法模拟纳米压入的过程。通过对模拟结果的力学性能和组织结构分析,探究了铁素体-渗碳体相界面效应。研究发现,距铁素体-渗碳体晶界不同距离（位置压入）,在压入最初阶段,压头载荷随着压头与晶界距离的增大而增大,当压入深度达到一定深度后,载荷随着距离的增大而减小。杨氏模量和最大剪切模量受压头尖端下方原子结构的直接影响,硬度受到结构完整性和类型的共同影响。铁素体-渗碳体相界面影响了纳米压入过程中位错形核、增殖和扩展,宏观表现为在相同压入深度下,不同压入位置压头载荷的差异。     

刻槽绝缘平行板对电子束的导向效应研究

采用不同材质的刻槽绝缘平行板,包括高纯度石英玻璃、聚四氟乙烯（Teflon）、酚醛树脂（电木）和聚甲醛板（赛钢板）,并在15 pA/mm2 ~14.3 nA/mm2范围内改变入射流强,利用1 500 eV电子束入射上述绝缘平行板,实验研究了上述平行板对电子束的导向行为。实验发现,上述电子束通过上述平行板时存在明显的导向现象,其导向行为与束流流强和绝缘材质无关。据此,可排除绝缘平行板内表面沉积电荷自组织充放电过程中,以绝缘材料的面电阻和体电阻对地泄放的线性形式放电过程。Adopting several grooved parallel plates made by different insulators, such as high-purity fused quartz, Teflon, Bakelite and POM (Polyformaldehyde), and further adjusting the electron beam current in a wide range (tens of pA~tens of nA), the discharging mechanism in the self-organizing charge and discharge processes of electron guiding was investigated and discussed by using 1 500 eV incident electron beam. The present results show that, the electron guiding behaviors are obviously existing when such electron beam is transmitted through the above grooved insulating parallel plates, which are independent on beam current and insulators. Our results suggest that, the possibilities of the accumulated charges on inner-surface of grooved parallel plates linearly discharging through surface and bulk resistances of plates into the ground should be excluded.     

激光诱导击穿光谱的自组织特征映射结合相关判别对天然地质样品分类方法研究

激光诱导击穿光谱技术具有微损、原位、快速分析的特点,在样品分类识别、成分分析等领域有广阔的应用前景。为探索该技术在天然地质样品识别应用的可行性,提出了一种自组织特征映射神经网络结合相关判别对天然地质样品LIBS光谱分类识别的方法。为减小全谱中背景噪声等不相关数据干扰、降低计算量,在元素谱线归属的基础上进行了特征谱线提取,实现了高维光谱数据的降维。以特征谱数据为输入建立网络训练模型,得到具有输入样本特征的权向量,通过权向量与待测样本进行相关分析可以实现样品分类。对16种天然地质样品的分类算法实验证明,在全谱、主成分降维和特征谱段三种数据处理方法中,特征谱的降维和提取LIBS数据主特征效果最优。改进的SOM网络结合相关判别算法比支持向量机方法和直接应用SOM网络方法的分类准确度更高,初步证实了该方法的有效性。