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

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

浅谈数学中的合情推理

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

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

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

柱状装药预制破片缩比战斗部爆炸冲击波和破片的作用时序

针对柱状装药的周向预制破片战斗部,结合无量纲分析方法和爆炸驱动理论,确定了影响破片和冲击波相遇位置的关键参数,给出了由缩比战斗部推广预测原型战斗部爆炸产生的破片冲击波作用时序的方法。采用ANSYS/LS-DYNA有限元软件进行数值模拟,对比验证了理论分析和数值试验结果,分析了战斗部缩比比例对冲击波和破片作用时序的影响。结果表明:缩比模型与原型战斗部爆炸产生的破片和冲击波的相遇位置之比和相遇时间之比主要取决于两模型的质量比,在不考虑破片速度衰减时,两模型中载荷相遇位置之比和相遇时间之比等于其质量比的0.33次方。受破片速度衰减影响,该方法仅适用于质量缩比不小于0.2的模型。     

分子逻辑器件研究进展

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

分子逻辑的研究进展

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

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

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

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

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

相似剩余格及其对应逻辑系统的完备性

引入了相似剩余格的概念,讨论了剩余格上相似算子和等价算子的关系,并得到了真值剩余格和相似剩余格相互转化的方法.其次,研究了相似剩余格上的相似滤子,利用相似滤子刻画了可表示的相似剩余格.最后,引入了相似剩余格对应的逻辑系统,证明了其完备性定理,并得到了其成为半线性逻辑的条件.     

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

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