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

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

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

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

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

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

静止轨道星载差分吸收光谱仪CCD成像系统设计

静止轨道卫星差分吸收光谱仪采用摆扫成像方式对大气进行探测,针对其工作时CCD成像系统信噪比大于1 000、高速探测模式下探测周期小于10min、高分辨率模式下探测周期小于1h的要求,进行CCD成像系统设计.选取CCD47-20作为探测器,设计成像电路实现光谱图像信号的采集和上传.分析了帧叠加和像元合并对时间、空间分辨率的影响.结合帧转移CCD的特点设计了每个位置最后一帧读出时摆镜转动的成像方式,并合理设置了帧叠加数和像元合并数,达到优化成像周期的目的.1s曝光时间条件下,该CCD成像系统的高速、高分辨率模式探测周期分别为515s和3 315s,图像信噪比均大于1 000,污染物观测实验中未出现失帧或重复的现象.该CCD成像系统方案满足静止轨道星载差分吸收光谱仪的探测需求,为静止轨道环境监测仪器设计提供参考.     

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

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

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

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

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

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

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

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

从绝对贫困消除转向相对贫困治理:城镇化的跨层中介调节模型分析

中国在2020年基本实现消除绝对贫困的阶段性目标后,反贫困战略将主要围绕减少长期贫困和缓解相对贫困展开。本文将研究重点聚焦于相对贫困的治理上,运用分层线性模型(HLM)探究相对贫困的影响因素,并选取城镇化水平作为衡量地区差异的层-2解释变量,通过理论与实证均验证了其在减贫过程中发挥着跨层中介调节作用。研究结果表明:财政支农支出政策作为层-1解释变量对缩小相对贫困有直接的显著效应,而城镇化作为层-2中介调节变量带来的负面效应抑制了财政支农支出减贫的效果。进一步分析表明:在产业结构优化升级和经济发展过程中,城镇化带来的就业机会增加等正向外部性,会更多的惠及贫困人口,极大地提高了贫困人口的收入水平,缩小收入差距。从财政支农支出、产业结构升级以及经济发展的总体情况看,减贫效果呈现从东向西递减趋势。因此,随着城镇化的进程加快,不仅要抓住二三产业飞速发展的机遇,带动更多的相对贫困人口就业,更要警惕其带来的扩大贫富差距的可能,这就要求政府在扶贫政策的制定和实施上要更加精准化和效率化。     

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

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