C-ADS注入器Ⅰ联锁保护系统设计

联锁保护系统是加速器驱动次临界系统（ADS）先导专项（C-ADS）核心系统之一，用于对加速器控制及人身和设备保护。为此设计搭建了基于可编程逻辑控制器（PLC）和PROFINET协议的联锁控制系统，对加速器各个关键部件的信号进行采集和控制。为满足加速器对可靠性的严格要求，该联锁系统选用最新型的PLC和I/O模块，并采用高可靠性容错和冗余技术的硬件设计。本文还对该联锁系统的冗余状态和非冗余状态做了可靠性分析对比。基于该系统的实验物理和工业控制系统（EPICS）的控制接口也已成功开发，并在线应用。     

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

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

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

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

深入研究模糊逻辑的必要性与紧迫性

因为"取大取小"不是数学计算,所以基于"取大取小"的模糊逻辑不能为数值转换提供算法支撑,使得模糊理论面临无合适模型可用的被动境地.指出,模糊逻辑是逻辑的一个新的近似推理研究方向,它的量化方法是数值计算;目的是支撑隶属度转换,使得由指标隶属度确定的目标隶属度是"真值"在当前条件下的最优近似.模糊逻辑是在隶属度转换条件下对人类近似推理本领规范的一种方法.而进行规范的依据是区分权滤波的冗余理论,实质性计算是由冗余理论导出的、实现隶属度转换的非线性去冗算法;相应的隶属度转换模型是非线性数学模型.     

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

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

基于互联网的转台远程控制监视系统

提出了一种以互联结构基础的远程控制监视系统，使工作人员能够在互联网的任何一个节点上对转台进行远程控制监视，完成调试与诊断任务。这套系统利用控制逻辑与控制表示逻辑分离的思想实现系统拓扑分布于互联网上的结构，并利用发送端自适应调整接收端驱动的流控管理方案，保证控制的实时性和对互联网通讯时延和阻塞的鲁棒性。     

基于模糊逻辑的光纤陀螺温度补偿技术

为了消除温度效应并提高陀螺精度,将模糊逻辑应用于光纤陀螺的温度漂移模型的辨识和自补偿中方案中。在模糊逻辑理论的框架下,根据光纤陀螺系统的模糊信息,建立模糊规则,进行模糊推理,实现对陀螺输出的近似辨识。此方法对其他没有温度相似性的陀螺也适用。在实际验证实验中,针对不同的陀螺,通过预先实验建立各自的规则表,然后进行实时补偿,在全温度范围内陀螺的零偏稳定性从0.3647(o)/h减小到0.0868(o)/h,陀螺预热时间缩短到30s以内。目前,在陀螺工艺条件还不够稳定的状态下,此方案是实用和可行的。     

爆轰波拐角传播三维数值模拟

为了研究爆轰波在拐角中的传播特性以及拐角爆轰低压流场现象,用LSDYNA 3D程序对三种常见的拐角装药的爆轰波传播特性进行了数值模拟,清晰显示了爆轰波因拐角处爆轰波传播面积的变化而产生的衰减 增长过程,讨论了侧向三通中爆速的变化情况,并得到了拐角处低压爆轰区的尺寸。     

数字变换在有脉冲影响的k-值逻辑网络中的应用

利用数字变换和矩阵的半张量积方法,讨论了有脉冲影响的k-值逻辑网络的稳定性问题.在矩阵的半张量积框架下,将有脉冲影响的k-值逻辑网络表示成离散时间动态系统,然后用代数的形式展现出来.结合数字变换的方法,得出了有脉冲影响的k-值逻辑网络稳定的充要条件.     

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

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