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

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

浅谈数学中的合情推理

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

三个不同领域实际问题相结合的教学方法探讨

通过建立肿瘤增长动力学模型,研究肿瘤增长动态规律时发现:肿瘤增长的全过程与龚珀兹增长曲线描述的经济增长过程完全相符;进一步给出了龚珀兹增长曲线与描述种群的增长与调节的逻辑斯蒂增长曲线完全相似.将上述三个属性完全不同的实际应用问题打包传授给学生的授课方法是有别于孤立地介绍三个具体问题的,学生的学习效果也会不同.     

设计核酸适配体智能逻辑开关平台用于肿瘤细胞多参数识别及智能给药

与正常细胞相比,癌细胞通常在其表面表达与肿瘤相关的特异性标志物。通过细胞膜表面多个特异性肿瘤标志物来确定癌症细胞及其分型以达到准确诊断并治疗癌症,一直是科学家们追求的目的。最近,湖南大学化学化工学院和生物学院教授,化学生物传感与计量学国家重点实验室主任谭蔚泓领导的分子科学和分子医学实验室(MBL)利用核酸适配体作为基本的分子元件,在细胞表面构建了一种智能逻辑开关平台,依据细胞     

分子逻辑的研究进展

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

分子逻辑器件研究进展

分子器件具有尺寸小、设计合成可控、存储量大、反应速度快、人工智能等诸多优点,是当今化学、物理和材料等领域研究最为重要的一个交叉领域.综述了近些年来分子逻辑器件领域的研究进展.介绍了各种类型的分子逻辑门、半(加)减法器、分子逻辑线路以及DNA分子和固态分子计算.最后提出了分子器件存在的问题并展望了其应用前景.     

剩余格与正则剩余格的特征定理

本文进一步研究了具有广泛应用的一类模糊逻辑代数系统——剩余格，并引入了正则剩余格的概念，对剩余格与正则剩余格的定义进行了讨论，给出了剩余格与正则剩余格的特征定理，其中包含剩余格与正则剩余格的等式特征，从而这两个格类都构成簇．本文还讨论了剩余格与正则剩余格公理系统的独立性，以及它们与相近代数结构的关系．     

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

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

基于正极性或-符合展开的易测性网络

为提高数字电路的可测性,提出了可实现任意逻辑函数的正极性或-符合网络的易测性实现,并给出了测试网络中所有单固定故障的通用测试集．该实现基于逻辑函数的正极性或-符合展开,网络的同或部分分别采用了串联和树形结构．为提高可测性,同或串的实现结构只需增加1个控制端及1个观察端,同或树的实现结构只需增加3个控制端及1个观察端．对于1个n变量的逻辑函数,两种实现结构下通用测试集的基数分别为（n＋4）和（n＋5）．这样短的通用测试集非常适合用内建自测试实现,从而有效地缩短测试时间．     

基于交换作用的纳磁逻辑电路片上时钟结构研究

纳磁逻辑电路具有低功耗、非易失和可常温下制备等优点, 实现低功耗片上时钟是其集成化的必备条件. 本文提出了一种基于交换作用的纳磁逻辑电路片上时钟结构, 用载流铜导线产生的奥斯特场将铁磁体薄膜覆层进行磁化, 然后依靠铁磁体层与纳磁体界面存在的交换作用场使后者磁化方向发生翻转. 与轭式铁磁体时钟用外磁场控制纳磁体磁化方向相比, 该方案在功耗方面降低了5/6, 时钟边界杂散场强度降低了2/3, 达到降低功耗、减轻串扰的目的. 此外, 采用微磁仿真进一步验证了该时钟结构上的纳磁体逻辑阵列可以实现逻辑功能. 关键词： 纳磁逻辑 片上时钟 交换作用