γ′－Fe4N制备的穆斯堡尔谱研究

在ＮＨ３／Ｈ２气氛下热处理草酸亚铁的结果表明氮化物的形成和氮化物间的相转变是有条件的．在众多的影响产物的工艺因素中，热处理温度和ＮＨ３／Ｈ２的气流比是影响γ′－Ｆｅ４Ｎ形成的两个最关键因素．为了获得单相的γ′－Ｆｅ４Ｎ，除热处理温度要在５５０～６５０℃附近外，ＮＨ３／Ｈ２的比最好应小于１∶１．     

γ′-Fe3SnN的制备与穆斯堡尔谱研究

热处理（Ｆｅ０．７５Ｓｎ０．２５）Ｃ２Ｏ４．ｎＨＯ可制得单相氮化物γ′－Ｆｅ３ＳｎＮ,其中氮化前的氧化过程,热处理温度和Ｈ２／ＮＨ３气流比是影响产物的３个关键因素。此氮化物的晶格参数为ａ＝０．３８３７１（５）ｎｍ;室温下＾５７Ｆｅ穆堡尔谱为顺磁双峰,低温下谱中显示出铁磁相。     

纺锤型γ－FeOOH的合成及其热分析研究

采用空气氧化ＦｅＳＯ４与Ｎａ２ＣＯ３作用生成的Ｆｅ（ＣＯ３）ｘ（ＯＨ）２（１－ｘ）悬浮液体系，通过稀土离子Ｙ３＋的掺杂合成出均匀纺锤型铁黄γ－ＦｅＯＯＨ微晶．由ＤＴＡ－ＴＧ和ＸＲＤ分析得出γ－ＦｅＯＯＨ随温度升高，发生如下相变过程：γ－ＦｅＯＯＨ→γ－Ｆｅ２Ｏ３→α－Ｆｅ２Ｏ３．本文还对γ－ＦｅＯＯＨ的脱水过程机制和以γ－ＦｅＯＯＨ为中间体经热处理制备的纺锤形γ－Ｆｅ２Ｏ３磁性能作了初步探讨．     

绿色巴夫藻的培养生态条件试验

对绿色巴夫藻ｐａｖｌａｖａｖｉｒｉｄｉｓ进行了生态条件试验，认为该藻能适应光强５００－２５００Ｌｕｘ；适温范围５－３３℃，最适２０－２６℃；密度１．００５－１．０４０ｇ／ｃｍ３，最适１．００５ｇ／ｃｍ３；ｐＨ５－９都可以满足其正常生长，通过单因子和正交试验表明：培养液的较佳配方是在天然海水中加入（ＮＨ２）２ＣＯ－Ｎ２０ｍｇ／ｄｍ３，ＫＨ２ＰＯ４－ｐ１ｍｇ／ｄｍ３，ＦｅＳＯ４－Ｆｅ０．２ｍｇ／ｄｍ３，维生素Ｂ１１ｍｇ／ｄｍ３和维生素Ｂ１２０．００５ｍｇ／ｄｍ３。     

固体（NH_4）_2SO_4－Fe_2O_3体系的IR和XPS研究

用红外光谱（ＩＲ）和Ｘ射线光电子能谱（ＸＰＳ）对用研磨法制得的（ＮＨ４）２ＳＯ４－Ｆｅ２Ｏ３样品进行了表征。并将表征结果与其催化性能关联。研究结果表明，热处理时存在着（ＮＨ４）２ＳＯ４在Ｆｅ２Ｏ３表面上自发分散过程。同时在表面形成Ｓ－Ｆｅ配合物。随着处理温度的升高，表面Ｓ－Ｆｅ配合物含量逐步增大，５７３Ｋ时达极大值。此时催化反应活性最大。超过５７３Ｋ，随着处理温度升高，表面Ｓ－Ｆｅ配合物分解，此时催化反应活性也相应降低。     

FeO4^2—离子在水溶液中稳定性的研究

报导氢氧化铁对ＦｅＯ４＾２－水解反应的催化作用及温度、浓度、碱度等对ＦｅＯ４＾２－稳定性的影响ＦｅＯ４＾２－的稳定性随体系中Ｆｅ（ＯＨ）３的增多和ＦｅＯ４＾２＿浓度增大而变小;当ＯＨ浓度低于１．０ｍｏｌ／Ｌ时,ＦｅＯ＾４＾２－的稳定性不受碱度影响;在室温下,ＦｅＯ４＾２－的稀溶液是稳定的。用这些重要规律指导高铁钾的合成,取得满意的结果。     

氨合成铁催化剂上化学吸附物种的in－situ FTIR谱

应用原位傅里哀变换红外光谱方法，分别在４００～４５０℃、常压、高空速（１２０００～１４４００ｈ．ｓ．ｖ．ｇ．）的Ｈ２、Ｎ２／３Ｈ２或Ｎ２气氛的动态条件下，检测了双促进氨合成铁催化剂上的化学吸附物种，并分别在Ｄ２、Ｎ２／３Ｄ２或１５ＮＨ３／Ｈ２气氛中，进行了常规同位素验证实验．结果表明，催化剂表面的主要含氮化学吸附物种是分子态的Ｎ２．ａｄ，其ｕ（Ｎ－Ｎ）＝２０３６ｃｍ－１（ｓ），２０１２ｃｍ－１（ｗ）和１９３５ｃｍ－１（ｗ），而不是原子态的Ｎａｄ，其ｕ（Ｆｅ－Ｎ）＝１０８７ｃｍ－１（ｖｗ），和ＮＨａｄ其ｕ（Ｆｅ－Ｎ）＝８８６ｃｍ－１（ｖｗ），表面有相当量的化学吸附氢存在，其ｖ（Ｆｅ－Ｈ）＝２０５６ｃｍ－１（ｓ），１９５０ｃｍ－１（ｍｓ），１９３１ｃｍ－１（ｍ），１９０２ｃｍ－１（ｗ），９１５ｃｍ－１（ｓ，桥式）等．作为与报道过的激光拉曼光谱的互补研究，本结果支持了以缔合式途径为主、解离式途径为次的平行竞争缔合式合成氨催化反应机理．     

极谱法测定Ce（Ⅲ）在NH4NO3—C2H5OH—H2O体系中的存在形式

报道了Ｃｅ（Ⅲ）在ＮＨ４ＮＯ３－Ｃ２Ｈ５ＯＨ－Ｈ２Ｏ体系中形成配合物的事实,测定其具体存在形式可表述为：（Ｃｅ（ＮＯ３）５Ｃ２Ｈ５ＯＨ）＾２－。     

［Fe（CN）_5H_2O］~（3－）还原［（NH_3）_5Co（OOCC_5

在μ＝０．１０ｍｏｌ·１￣（－１）（ＬｉＣｌＯ＿４）、ｐＨ＝８．０对不同温度下［Ｆｅ（ＣＮ）＿５Ｈ＿２Ｏ］和［（ＮＨ＿３）＿５Ｃｏ（ＯＯＣＣ＿５Ｈ＿４Ｎ）］￣（２＋）的内配位界电子转移反应进行了动力学研究。在２５℃，双核配合物［（ＮＨ＿３］＿５Ｃｏ（ＯＯＣＣ＿５Ｈ＿４Ｎ）Ｆｅ（ＣＮ）＿５］￣－的分子内电子转移速率常数为３．９×１０￣（－１），分子内电子转移过程的活化焓和活化熵分别为８９．５ｋＪ·ｍｏｌ￣（－１）和６．０Ｊ·ｍｏｌ￣（－１）·Ｋ￣（－１）最后对该反应的机理、速率常数和绝热性进行了讨论。     

原位反应生成Al-Fe/Al_2O_3,Al-Cu/Al_2O_3复合材料的过程原理

采用喷射共沉积法制备了Ａｌ－Ｆｅ２Ｏ３及Ａｌ－ＣｕＯ复合体，Ｆｅ和Ｃｕ的质量分数分别为９．６０％和５．５０％．在热处理过程中，随着温度由６００℃升高到８００℃和１０００℃，Ｆｅ３Ｏ４按Ｆｅ３Ｏ４ＦｅＯＦｅ顺序被还原，得到Ａｌ－Ｆｅ／Ａｌ２Ｏ３复合材料，其中Ｆｅ以Ａｌ１３Ｆｅ４相及ＡｌＦｅ相形式存在．Ａｌ２Ｏ３粒度为２～４μｍ均匀分布在基体中．Ａｌ／ＣｕＯ复合体在９００℃处理后，形成Ａｌ－Ｃｕ／Ａｌ２Ｏ３复合材料．文中对显微结构形成、反应进行的过程作了分析．     

Repeat-until语句的操作语义与指称语义的等价性证明

在计算机科学中，形式语义学以数学为工具，精确地定义和解释计算机程序设计语言的含义或语义．其中操作语义学和指称语义学是形式语义学的两大类别．本文使用简单的命令式语言IMP的语法，首先给出了repeat—until循环语句的操作语义，然后详细推导出了其指称语义，并在此基础上详细证明了它们二者之间的语义等价性．     

基于CTL的并发系统CSP模型验证

主要通过指称语义和回答集程序(Answer Set Programming,简称ASP)完成迹模型的生成,并构建了一套基于计算树逻辑(computing tree logic,简称CTL)的CSP模型验证方法.实验表明,该方法对于分支类型的性质具有较好的描述能力,且保证了验证的正确性.     

并发语言OCCAM的指称语义

在研究关于CSP并发指称语义的不同研究方法的基础之上，利用广义状态的概念和完间作为指称的方法，讨论了OCCAM的一个子集OCCAM/TOY的并发语义。针对目前交垒并发语义研究方法的问题和不足，首先在OCCAM/TOY的语法中经入了一类具体的原子语句，并从语义上考虑了原子语句的语义对整个程序语义的影响；其次，对于通常语义方法中合并处理的一对通信原语的一次通信分开处理，描述了单个通信步骤的语义及其对程序的影响。在构造语义域时，利用完备距离空间作为指称，讨论了在距离空间范畴中语义域议程的解的存在性；并且在定义域时，保证了递归定义的语义函数的存在性。给出了OCCAM/TOY的完全意义上的并发指称语义，既体现了由于并发而导致的执行过程的不确定性，又反映了并发导致的执行效果的不确定性。     

程序不动点的直观计算意义

连续函数的不动点是指称语义的一个重要内容,它刻画了程序的计算性质.本文对完全偏序、连续函数和不动点等概念及其意义作出直观的解释,介绍了最小不动点的构造和逼近求解方法.     

基于轨迹的指称语义方法

文章提出一种基于轨迹的指称语义框架,该框架结合了操作语义和代数语义的特征,避免使用专门的数学理论,将静态语义和动态语义结合在一起统一处理.文章引入了轨迹概念和模型语言,然后讨论该语言的各句法成分所对应的语义论域,并对过程和函数进行了一些描述。     

基于多语言范例的“形式语义学”教学辅助系统

针对简单函数式语言、 简单过程式语言和简单面向对 象式语言等多个程序语言范例, 分别定义了它们的操作语义和指称语义, 同时设计了一个“形式语义学”教学辅助系统, 用于演示不同语言范例程序的基于形式语义定义的可视化解释, 该系统使学生可以通过形象生动的动态演示和同步解释, 充分理解和掌握程序设计语言的形式语义及其实现.     

拓扑系统的分离性

拓扑系统是目前最广泛的拓扑研究对象之一，它以点集拓扑空间，Locale的空间化，模糊拓扑空间与拓扑分子格为特例，它可以用来研究 计算机程序语言的指称语义的Domain理论。作者从拓扑学的角度研究了拓扑系统的分离性，得到了关于拓扑系统分离性刻画的几个定理。     

互逆主义数学哲学与计算

指出数学不是建立在集合论之上,而是建立在人类计数实践之上。经典数理逻辑是有量词的,而互逆主义数理逻辑没有量词,绝大多数逻辑在计算机的应用系统中也都是没有量词的。为说明互逆主义数理逻辑在计算中的能行性,给出了其在人工智能计算中的应用：二层单准Prolog的操作语义和指称语义。     

拓扑系统范畴与子拓扑系统

拓扑系统是目前最广泛的拓扑学研究对象，它以点集拓扑空间、Ｌｏｃａｌｅ的空间化、模糊拓扑空间与拓扑分子格为特例，它可用来研究计算机程序语言的指称语义的Ｄｏｍａｉｎ理论．拓扑系统与它们的连续映射构成一个范畴，本文讨论这一范畴的基本理论，并引入子拓扑系统概念，得到了拓扑系统Ｄ可嵌入拓扑系统Ｅ中当且仅当Ｄ同胚于Ｅ的某子拓扑系统．