Lawson紧的代数L-domain递归方程的逻辑形式

本文的目的是为Lawson紧的代数L-domain递归方程及其解提供一种逻辑刻画。基于N-序列演算上的子系统关系,证明了N-序列演算之集是定向完备的,并在这一定向完备偏序集上引入了三种连续构造算子：提升,联结和以及分离和。从而求解domain结构递归方程的问题可归结为如何构建连续映射的不动点。     

一种基于89C51单片机的臭氧浓度在线测量系统

研究了采用紫外吸收法的基于89C51单片机的臭氧浓度在线测量系统，介绍了系统的组成、主要模块的工作原理及程序流程图，采用数字滤波技术去除气路切换造成的测量粗差，提高和确保了系统测量精度与准确性．该系统能够与数控型臭氧发生器电源供电系统通讯，实现臭氧生产的闭环控制．     

我省燃气安全专项整治稳步推进

<正>近年以来,国内城镇燃气事故频发,严重冲击人民群众安全感,反映出燃气安全管理存在诸多问题和短板。2021年湖北十堰“6·13”重大燃气爆炸事故、今年宁夏银川富洋烧烤店“6·21”特别重大燃气爆炸事故,均造成重大人员伤亡,教训十分深刻。当前燃气进入管网老化、隐患增多和新建规模迅速扩大的阶段,瓶装液化气运输、储存、经营和使用环节也时有事故发生,一旦安全管理不到位极易形成系统性安全风险。全省各级各有关部门单位认真贯彻落实国家和省部署,扎实推进燃气安全专项整治,保持了燃气安全形势总体稳定。     

硒的生物效应的活性氧自由基机理

基于对硒的不同生物效应的系统研究工作,本文提出了硒的生物效应的自由基机理.在一定的生物体系,当硒浓度保持在适宜的范围时,硒有效地清除生物体内的活性氧自由基;当硒浓度较高时,在一定条件下可催化产生活性氧自由基.这是Weinberg原理所描述的硒的生物效应与浓度关系的解释.     

依托重点实验室,培养大学生创新能力

为了培养大学生的创新意识和科研能力,桂林电子科技大学材料科学与工程学院实施了"大学生创新计划"。依托信息材料广西重点实验室的科研平台,通过选择合适的研究课题和教学相长的指导模式,为培养大学生创新能力开展了探索性工作,从成功经验得出了一些有益的启示。     

环已二胺铂(Ⅱ)类配合物跨人红细胞膜动力学研究

60年代未, Rosenberg和 Van Camp首先发现了顺式二氯二氨合铂 ?具有抗肿瘤活性 [1]。虽然顺铂用于抗癌药疗效很高,但它的毒副作用也较大。因此寻找高效、低毒的铂类抗癌药,进行了数千种铂配合物的合成,但目前用于临床的仅有几个。顺铂的抗癌机制已进行了大量研究。普遍认为它的靶分子是 DNA,它能抑制 DNA的合成 [2]。然而顺铂在临床上的毒副作用已经表明它作用的靶分子不仅仅是 DNA。细胞膜是铂类配合物进入细胞内的第一道屏障,因此研究不同铂类配合物与细胞膜的作用不仅对进一步认识这类抗癌药物的药理和毒性机制具有重要意义,…     

带惩罚μ-相似Bregman散度k-均值问题的初始化算法

$k$-均值问题是聚类中的经典问题,亦是NP-难问题。如果允许数据点不聚类,而是支付惩罚费用,则引出带惩罚的$k$-均值问题。本文将带惩罚的$k$-均值问题从欧氏距离推广到更一般的$\mu$-相似Bregman散度,研究了带惩罚$\mu$-相似Bregman散度$k$-均值问题的初始化算法。本文给出的初始化算法,近似比与$\mu$和数据点惩罚最大值与最小值的比例$r$相关。     

模糊区间数的单机排序问题

该文考虑了以工件的参数为区间数的单机排序问题.提出了可能度排序问题的方法.讨论了模糊排序中的4个问题,前3个问题利用广义Lawler算法可以多项式求解,最后一个问题证明是NP-困难的.     

氢化二维过渡金属硫化物的稳定性和电子特性:第一性原理研究

用氢对单层二维过渡金属硫化物(TMDs)进行功能化是调节单层TMDs电子性质的既有效又经济的方法.采用密度泛函理论,对单层TMDs (MX_2 (M=Mo, W; X=S, Se, Te))的稳定性和电子性质进行理论研究,发现在单层MX_2 的层间有一个比其表面更稳定的氢吸附位点.当同阳离子时,随着阴离子原子序数的增加, H原子与MX_2 层的结合越强,氢化单层MX_2 结构越稳定;相反,同阴离子时,随着阳离子原子序数的增加, H原子与MX_2 层的结合越弱.氢原子从MoS_2的表面经层间穿越到另一表面的扩散势垒约为0.9 eV.氢化对单层MX_2 的电子特性也会产生极大的影响,主要表现在氢化实现了MX_2 体系从无磁性到磁性体系的过渡.表面氢化会使MX_2 层的带隙急剧减小,而层间氢化使MX_2 的电子结构从半导体转变为金属能带.     

带有链优先序的分批排序问题

本文首次就带有优先序的分批排序问题进行了讨论，目标函数为最大完工时间．当优先序为链，一条链上的工件个数为饨，而其它链的工件个数为常数，分批的容量B大于等于链的条数，在这种情况下，问题为多项式可解的．文中并讨论了几种特殊情况的多项式算法．