一种基于Galois联络的逻辑及其等价形式

将形式化方法引入到Galois联络的研究当中,提出了一种基于Galois联络的逻辑系统LGC,给出了其等价形式并证明了完备性定理.由于Galois联络与粗糙集及概念格有着紧密的联系,故本文的结果对概念格及粗糙集的形式化研究有一定的启示作用.     

Er^3+,Cr^3+共掺杂BaAl2Si2O8荧光粉的发光性质及能量传递

利用高温固相法合成BaAl2Si2O8:Cr^3+,Er^3+系列荧光粉,研究了Cr^3+和Er^3+掺杂对BaAl2Si2O8材料发光特性的影响.BaAl2Si2O8:Er^3+荧光样品在393 nm激发波长下只呈现出峰值为550 nm的绿色荧光,来源于2H11/2→4I15/2和4S3/2→4I15/2跃迁的叠加.BaAl2Si2O8:Cr^3+荧光样品在550 nm激发波长下呈现峰值为694 nm的红色荧光,来源于2E→4A2的跃迁.在共掺杂样品BaAl2Si2O8:Cr^3+,Er^3+中,用Cr^3+激发峰的凹槽处380 nm作为激发光,得到的发射峰不仅有Er^3+的发射峰位,还有Cr^3+的发射峰位,说明两个离子之间可能存在辐射能量传递;对共掺杂BaAl2Si2O8:1%Cr^3+,x%Er^3+样品的荧光光谱进行测试,随着x的增加,Cr^3+的激发和发射光谱强度均有所增加,并且当x=0.5时,光谱强度是原来的4倍.另外,当固定Cr^3+的浓度时,随着Er^3+的浓度增加,Cr^3+的荧光寿命逐渐增加;当固定Er^3+的浓度时,随着Cr^3+的浓度增加,Er^3+的荧光寿命逐渐减小.这些现象表明了Er^3+和Cr^3+之间存在共振能量传递,通过理论计算得到Er^3+和Cr^3+之间的能量临界距离为4.5 nm,属于电偶极-电偶极相互作用.     

基于Rough集从临床数据中提取诊断规则

在医学上,没有正确的诊断就没有正确的治疗.本文提出用简化的分明矩阵方法对临床数据信息表属性约简,并在此基础上提出相应分类和合并诊断规则生成算法.通过对该数据集测试表明,此算法是可行有效的,并缩短了诊断规则长度,有时还能为病人节省不必要的检查.     

基于粗糙近似的Web事务聚类改进算法

针对现有Web使用记录挖掘方法发现的知识和规则存在不精确或不完全的问题,提出了一种改进的基于粗糙近似的Web事务聚类算法.该算法首先对原有算法得到的每个类,用关系矩阵找出在这个类中不满足传递性的对象,然后在该对象的集合(类)上用关系矩阵找出在这个类中不满足传递性的对象,再对每个类进行分割,使其满足关系R的传递性,克服了现有算法不满足关系的传递性和在某些情况下得到的结果不准确的缺点.     

等离子体原子光谱分析中溶液样品雾化进样方法的新进展

对近年来等离子体原子光谱分析中溶液样品引入方法的新进展作了综述，其中包括气动雾化法、超声雾化法、热雾化法、悬浆雾化法、高水压雾化法及电喷雾法等。文中还根据本课题组多年来的研究经验对每种方法的优缺点及其应用作了简要的介绍和评论。     

铜原子的二步三光子共振电离

本文研究了适合于共振激光消融质谱的铜原子的二步三光子共振电离过程。在较严格的条件下求解了该过程的速率方程,并分析了在脉冲激光作用下共振电离信号的探讨效率,以及影响电离效率的光通量等各种因素。本文的计算方法具有普适性,而其理论结果对于共振激光消融的实验研究具有指导意义。     

钠分子1Πg里德堡态光谱研究

通过光学-光学双共振(OODR)光谱方法,研究了钠分子六个高激发1Πg态,对它们进行了振动和转动归属,获得了分子常数和势能曲线.根据里德堡轨道的nlλ特性,将1～101Πg态划分为实贯穿里德堡态和实非贯穿里z德堡态.     

一种加载在uCOS-II内核上的嵌入式文件系统

分析了文件系统在嵌入式应用中的重要作用,在剖析了uCOS-II内核工作原理的基础上,借鉴FAT16文件系统,构建了一个适合嵌入式应用的文件系统FAT8,并详细介绍了如何在uCOS-II内核上实现。     

吹扫捕集-气相色谱法测定海水中苯、甲苯、乙苯和二甲苯的生物降解

苯、甲苯、乙苯和二甲苯(简称BTEX)等单环芳烃是石油的重要组分。在油气地球化学勘查领域,BTEX是油气藏信息的直接指示物。BTEX具有挥发性,并且可以受到微生物的降解作用,直接影响到BTEX含量的准确测量。本研究建立了动态顶空(吹扫捕集)和光离子化检测器(PID)的气相色谱测量海水基样品中BTEX的生物降解方法。苯、甲苯、乙苯、对间二甲苯及邻二甲苯的检出限分别为7.3、8.1、11.4、8.3、13.2ng/L;1μg/L海水样品中BTEX回收率为92.84%~100.92%。样品无需预处理。BTEX生物降解规律对海洋油气地球化学勘探中所涉及的样品采集、运输、保存、测量及结果分析具有重要指导意义。     

MPT-AES在线标准加入法测定中草药黄芪中微量元素

用MPT AES在线标准加入法测定了中草药黄芪中铝、钙、铜、铁、钾、镁、锰、钠、锶和锌10种微量元素。在优化的试验条件下,方法的检出限分别为22.0,1.3,2.4,19.0,5.8,1.6,34.0,0.6,3.7,3.8μg·L-1,相对标准偏差在0.2%～7.6%之间。回收率在94%～118%之间。方法用于美国标准物质1571号橡树叶的分析,测得值与标准参考值较好吻合。