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

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

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

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

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

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

提高CG-V型光速测定仪精度的方法探究

利用CG-V型光速测定仪测量光速时,该仪器实验精度除了与频率和光程差的准确测量有关外,还由相位差的判断决定。由于仪器操作不当,产生了虚假的相移,造成误差的产生。本次实验通过对光速测定仪调节过程的细化,提出了可以提高CG-V型光速测定仪精度的调节方法——光斑定位法。     

直觉I-Fuzzy拓扑空间的杨忠道定理

以L~*-格值上Lukasiewicz蕴含算子为工具引入了直觉I-Fuzzy拓扑空间中导集概念,接着给出它的一些性质,最后证明了直觉I-Fuzzy拓扑空间中导集的杨忠道定理.     

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

一种嵌入式软件逻辑覆盖测试方法研究

针对嵌入式软件测试覆盖率低的问题,本文提出了基于软件故障注入的逻辑覆盖测试方法,首先就嵌入式系统常用传感器建立故障模式库,设计了嵌入式软件故障注入系统;其次选取中间层作为故障注入点,研究基于VxWorks653嵌入式操作系统的故障注入实现方式,并通过分析故障信号在软件系统中的传播,提出优化测试用例的方法;最后通过实验验证了该方法可有效提高容错设计功能、冗余设计功能、故障检测功能测试的逻辑覆盖率;有助于提高嵌入式软件的可靠性。     

Incremental Unknowns Method for Solving Three-Dimensional Convection-Diffusion Equations

We use the incremental unknowns method in conjunction with the iterative methods to approximate the solution of the nonsymmetric and positive-definite linear systems generated from a multilevel discretization of three-dimensional convection-diffusion equations. The condition numbers of incremental unknowns matrices associated with the convection-diffusion equations and the number of iterations needed to attain an acceptable accuracy are estimated. Numerical results are presented with two-level approximations, which demonstrate that the incremental unknowns method when combined with some iter- ative methods is very effcient.     

中学化学教学中的科学思维与逻辑辨析

化学是一门具有创造性的基础科学,是环境、生命、医药、材料等科学的基础,在思维逻辑上彰显和蕴含了丰富的科学思维方法。系统总结化学科学思维方法,可以有效破解中学化学学习中的“繁,难,乱”。在多年的教学实践中,提出了化学科学多向思维方法体系,强调多层次思维过程中对多因素的立体逻辑思维辨析。重点介绍了与中学化学教学相关的零阶、初阶、中阶和高阶逻辑思维辨析的内涵,期望化学教学中重视化学思维逻辑过程,实现化学教与学在思维模式上的深层次发展与提升。