氨程序升温脱附法研究H-型天然丝光沸石的表面酸性质

用程序升温热脱附(TPD)技术,研究了五种 HNM(H-型天然丝光沸石)及 HM(合成 H-型丝光沸石)的表面酸性质,用氨作检测酸中心的分子探针,在六个 TPD谱图上均有两个脱附峰,第一峰的峰顶温度约为210℃,该峰代表了弱酸中心,第二峰的峰顶温度约550℃,代表强酸中心,两类不同酸中心的强度可用氨脱附活化能大小来表征。另外,按照非均匀表面处理,氨的脱附活化能 E_d是表面覆盖度θ的函数,本文用 Tokoro's 计算机模拟热脱附曲线的方法,求得脱附活化能 E_d 并描绘出 E_d～θ关系图,用来表征酸中心强度及酸强度分布,结果表明 HNM 酸强度分布要比 HM 不均匀。计算还表明,4N HNM 样品的强酸中心的酸强度要比9N HNM 样品的大得多。本研究还给出了酸强度与 C_7催化裂解的转化率之间的关系。     

事件常识的获取方法研究

在动态语义学的基础上,以事件的语义、文法和常识为标准构建多层次的事件分类体系,并使用该分类体系提取事件的常识知识。事件采用框架的方式来表示,称为事件框架。事件框架的内容包括事件的定义、事件之间的关系、事件的文法表达、事件的谓词表示、事件的例句、事件的前提常识和后果常识。利用事件框架的内容提取事件的常识。为了说明该方法的实用性,以事件分类体系中典型的“交易类”事件为例来描述事件常识的获取方法。     

模态描述逻辑MALC模型的几个代数性质

本文定义了MALC模型间的同构、同态等关系,并讨论了合式公式在这些关系下的不变性等代数性质。最后定义了MALC的拓扑语义及基于拓扑语义互模拟,得到MALC的合式公式在拓扑互模拟下具有不变性。     

属性探索算法研究

Baader等人于2004～2007年将FCA方法引入描述逻辑中,建立了初步的属性探索算法。介绍了他们提出的属性探索算法,研究了该算法会产生冗余计算的可能情形。从相关性的角度提出了两种改进算法,并证明了它们的正确性。改进的算法在一定程度上避免了冗余,简化了计算。     

无催化剂条件下二氢吡啶酯还原醛亚胺的研究

用二氢吡啶酯为还原剂,在无催化剂条件下对醛亚胺的还原进行了研究,考察了溶剂、温度、二氢吡啶酯与亚胺的摩尔比例以及添加剂对反应的影响。同时,在最优条件下对一系列N-芳基醛亚胺进行了还原,最高收率可以达到99%。     

高放废物地质处置性能评价

为建立我国高放废物地质处置性能评价方法而系统地介绍了性能评价的研究目的、研究内容、研究方法、国内外研究现状；以此为基础，提出了关于开展我国性能评价的若干建议。性能评价方法的建立将有利于我国高放废物地质处置事业的协调发展。     

电子商务安全协议及其非单调动态逻辑验证

该文介绍了SET(secure electronic transactions)的付费业务流程,对NDL(non-monotomic dynamic logic)的逻辑框架进行了扩展,即针对SET协议,增加了新的公理,重新给出积累规则的定义.在此基础上,用对SET中的几个重要的范例进行的逻辑验证,说明了NDL在验证电子商务协议上的重要性,并初步提出了积累规则中需要进一步研究的问题.     

“高放废物深地质处置研究项目 1996 年课题成果交流会”在北京召开

“高放废物深地质处置研究项目１９９６年课题成果交流会”在北京召开“高放废物深地质处置研究项目１９９６年课题成果交流会”于１９９７年３月６～７日在北京召开。来自中国核工业总公司系统及南京大学、清华大学等９个单位的３１名代表参加了这次交流会，共交流了１６...     

循环ALCN-Tbox具有模型的条件

分析了带循环定义的描述逻辑系统ALCN的研究现状和存在的问题,研究了循环ALCN-Tbox具有模型的条件,指出了Baader文中命题2.9(LetTbe a terminology such that each cycle inGTcontains an even number ofnegative arcs.ThenTis monotone)的错误,并对该命题进行了修改,给出了循环ALCN-Tbox具有不动点模型(最小不动点模型和最大不动点模型)的条件.     

模糊描述逻辑(&)-ALCN

为了使描述逻辑能够处理更一般化的模糊信息,Straccia给出了基于完备格的(&)-ALC描述逻辑系统.在该方法的基础上,提出了带数量约束算子的(&)-ALCN系统,给出了(&)-ALCN的语法,并详细给出了概念(≥n R)和(≤n R)的语义.经典的描述逻辑系统中引入了数量约束算子后,角色R就出现了多个后继.当系统的真子集扩充到完备格时,角色R的后继和断言的真值同时出现了多个.为了保证推理算法的合理性且得到可行的计算复杂度,引入了一个特殊的集合D(&)(c),并且利用集合D(&)(c)扩展了完备格上的两条运算性质.在这些工作的基础上,深入研究了系统的推理算法,并证明了算法的终止性、可靠性与完全性.相对于(&)-ALC,系统(&)-ALCN具有更强的表达能力,并且(&)-ALCN的计算复杂度是Pspace完全的.