多壁碳纳米管氧化改性及其对酚类吸附性能的研究

针对目前有机废水(尤其是酚类废水)污染严重的问题, 通过混酸氧化法对多壁碳纳米管(multi-walledcarbon nanotubes, MWCNTs)进行氧化改性(MWCNT-O), 并研究其改性前后对苯酚、对甲苯酚、对甲氧基苯酚、对羟基苯甲醛和对硝基苯酚5种典型酚的吸附作用。结果表明: 298 K下, 与未改性的MWCNTs相比,MWCNTs-O对5种酚类物质的吸附量均有提升。5种酚类物质在MWCNTs-O表面的吸附量有差别, 顺序为对硝基苯酚>对甲氧基苯酚>对羟基苯甲醛>对甲苯酚>苯酚。吸附过程符合Langmuir吸附等温方程, 主要为单分子层化学吸附。对MWCNTs-O进行表面官能团测试、透射电镜分析和拉曼光谱分析, 发现氧化改性后材料表面的酸性含氧官能团增多, 缠绕度降低, 整体分散性增强, 石墨化程度有所提升。通过研究分子结构与吸附量之间的关系, 发现吸附量与酚类物质的电子能量(electronic energy, EE)有显著的相关性, MWCNTs-O表面垂直的π电子和酚类物质的π电子形成π-π共轭作用。因此, EE 可以作为酚类物质在MWCNTs-O表面平衡吸附量的预测性指标。     

度量空间的紧覆盖π的（P）映像

本文建立了度量空间的紧覆盖π的（P）映像的内在特征,即证明了X是度量空间的紧覆盖π的（P）映射下的像当且仅当X具有性质（P）的紧有限分解的点星网.     

关于Brauer置换引理的一种特征标π-理论形式

设G和H是两个有限的π-可分群，在这篇文章中，我们证明了：若G和H同构，则它们的π-special特征标集合之间存在双射；特别地，我们将著名的Brauer置换引理推广到了特征标的π-理论上。     

关于序列商π的（P）映射

建立了度量空间的序列商π的（P）映像的内在特征.     

π-逆半群的半直积

本文研究π-逆半群,给出了两个一般半群的半直积是π-逆半群的充要条件.     

关于π-s映射的一个注记

借助cfp复盖和点星网,给出了度量空间的紧复盖π-s映射的特征。     

Na+-K+-ATP酶的π-演算语义及验证

给出了Na⁺-K⁺-ATP酶跨越细胞膜同时主动向胞内运转钾离子和向胞外运转钠离子这一生化过程的π-演算模型及该模型的Spin验证. 证明了用过程代数的方法表示以“相互通讯”和“可移动”为主要特征的生物系统并模拟其行为的可行性.      

基于π演算的自治系统架构描述语言AS-ADL

自治系统(Autonomous Systems)具有复杂的动态结构和行为特性,其典型代表就是各类军事作战系统.针对当前各种自治系统架构描述方法存在的局限,建立了自治系统架构的概余模型框架,并提出了一种描述该模型框架的形式化架构描述语言AS-ADL.AS-ADL以高阶多型π演算作为系统行为语义基础,具有丰富的数据类型,可以形式化描述自治系统的动态行为,且具有描述自治元素内部的交互行为的能力,为建立可执行的系统架构模型奠定了基础,并为系统模型求精和模型有效性验证提供支持.     

关于紧覆盖s,π映射的一个定理

建立了度量空间的紧覆盖s,π映像的内在特征.