再论船渡河问题

贵刊2012年第3期的短文荟萃中"现行船渡河问题分析的逻辑缺陷"一文解答了学生关于船渡河时水速大于船速情况下要使实际位移最短问题中的疑问.笔者认为,原文作者似乎把简单问题复杂化     

否定非对合剩余格上基于正规模糊理想的一致拓扑空间

拓扑结构是逻辑代数研究领域的重要研究内容之一,为了揭示否定非对合剩余格上的拓扑结构,基于正规模糊理想诱导的同余关系在否定非对合剩余格上构造一致拓扑空间并讨论其拓扑性质.证明了:(1)一致拓扑空间是第一可数,零维,非连通,局部紧的完全正则空间;(2)一致拓扑空间是T_1空间当且仅当是T_2空间;(3)否定非对合剩余格中格运算和伴随运算关于一致拓扑都是连续的,从而构成拓扑否定非对合剩余格.同时,获得了一致拓扑空间是紧空间和离散空间的充分必要条件.最后,讨论了拓扑否定非对合剩余格中代数同构与拓扑同胚间的关系.对从拓扑层面进一步揭示否定非对合剩余格的内部特征具有一定的促进作用.     

直觉模糊模型检测在工程决策上的应用

将直觉模糊Kripke结构扩展到加权直觉模糊Kripke结构,将直觉模糊计算树逻辑诱导到加权直觉模糊计算树逻辑;研究在此之上的直觉模糊期望测度和多属性工程决策问题。用加权直觉模糊Kripke结构的权值自然地刻画了工程问题中的成本和收益,直觉模糊测度量化工程进展的不确定性,用加权直觉模糊计算树逻辑描述不确定性工程属性约束。给出了基于直觉模糊模型检测的多属性工程寻优算法,并讨论了算法的复杂度。     

从“三序结合”视角研讨人教版《化学1》的使用

教材编写是一项复杂、艰巨的工程,教材编写意图很大程度上需要教师在教学实践中加以体会.从教材使用者的角度阐述了人教版《化学1(必修)》内容逻辑顺序、学生认识顺序和心理发展顺序相结合的构建原则和使用体会,列举了现阶段高中化学新教材使用过程中可能出现的误区.     

BL代数的(∈,∈∨q)-模糊滤子理论

对BL代数的(∈,∈∨q)-模糊滤子理论作系统研究。首先,在BL代数中引入(∈,∈∨q)-模糊对合滤子和(∈,∈∨q)-模糊结合滤子两类新概念,获得了这两类(∈,∈∨q)-模糊滤子的几个等价刻画。其次,详细讨论了BL代数中各类(∈,∈∨q)-模糊滤子间的关系,证明了一个模糊集为(∈,∈∨q)-模糊布尔(关联)滤子当且仅当它既是(∈,∈∨q)-模糊正关联滤子又是(∈,∈∨q)-模糊对合滤子。最后,以直观图示的方式对BL代数中各类(∈,∈∨q)-模糊滤子间关系进行了总结。     

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逻辑门得以构筑。     

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

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

浅谈数学中的合情推理

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

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

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

分子逻辑器件研究进展

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