直觉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嵌入式操作系统的故障注入实现方式,并通过分析故障信号在软件系统中的传播,提出优化测试用例的方法;最后通过实验验证了该方法可有效提高容错设计功能、冗余设计功能、故障检测功能测试的逻辑覆盖率;有助于提高嵌入式软件的可靠性。     

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

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

BEPCⅡ低温控制系统研制

北京正负电子对撞机重大改造工程(BEPCⅡ)首次应用低温超导技术建造低温系统.低温控制系统通过控制前端低温系统的压力、液位、流量和功率等过程变量,分别产生饱和液氦、两相氦和过冷的单相液氦,使用这三种不同形式的氦流来冷却超导设备.低温控制系统采用EPICS+PLC双层架构体系,实现对前端低温超导设备的全自动控制.EPICS主要完成低温系统的过程控制、逻辑控制和PID闭环控制;PLC负责前端关键设备的联锁控制,用于保护低温超导设备的安全.     

HI-13串列加速器辐射防护联锁系统改造

新建HI-13串列加速器辐射防护联锁系统采用PLC自动化控制,增加与优化了原系统的联锁控制逻辑,在充分保证人员辐射安全的同时,使系统状态显示更直观,操作更方便.     

模糊逻辑在机器人逆运动学求解中的应用

冗余机器人逆运动学求解的方法很多，多数都不能很好的满足实时控制的要求，本文运用模糊逻辑的思想，构造了一种逆运动学求解方法，其计算量较其它方法大大减小，且满足实时控制的要求，仿真结果也证明了该方法的可行性。     

一种时序逻辑网络的快速设计方法

引用1984年尹克震提出的“开关函数的反演公式”,采用伪随机序列技术的思想,提出移位寄存器型时序逻辑网络的一种快速设计方法。