GQF-环

本文引进了GQF-环的概念,并讨论了该环的一些性质。作为应用,研究了左GQF-环上关于X的同调方程A=Ext_R~n(X,R)(n≥1)解的存在与唯一性。     

一个全局线性化的结论

本文给出了一个关于流的共轭的扩张的结论,并证明了如果奇点是渐近稳定的,那么奇点处的线性化可以扩张到奇点的最大吸引区域。     

复制受限的环境演算中模态逻辑的内涵性

环境演算(MA)的模态逻辑AL进行了研究．在考虑了复制操作和限制操作的情况下，提出了逻辑等价的协归纳操作描述，并利用协归纳关系与进程结构同余关系进行比较，证明了若对MA加上约束条件得到子集MAIF^syn，此时逻辑等价(=L)与结构同余关系是等价的，即AL在MAIF^syn中是内涵的．同时发现由于复制操作的存在，AL的内涵性受到了影响，使得AL的区分能力被削弱，但通过对复制公式的构造验证了AL的表达能力．     

多元χ演算运行时错误的不可判定性

针对多元χ演算运行时刻通信安全的判定性问题进行了研究．通过从Lazyλ项到χ项的编码，将判定一个Lazyλ项是否有范式的问题归约为进程是否有通信错误的问题．证明了在多元χ演算中，通讯错误也是不可判定的．结论说明不存在算法直接来检测进程的通信安全性，而只有通过其他间接的手段(如构造类型系统)才能部分达到预防运行时错误的目的．     

热线法测定气体导热系数实验的探讨与改进

在准静态低气压下测量气体的热传导系数时，理论上在低压强范围内应得到Q^-1低-p^-1线性关系图象，但实验数据所绘出的图象出现明显的非线性．本文着重分析出现非线性的原因，并提出实验改进的方法。     

利用高分子压电薄膜设计声辐射模态传感器

首先对声辐射模态进行改进,使声辐射模态形状在中、低频时与频率无关。然后在此基础上,以振动梁为例,提出通过设计特定形状的高分子电压薄膜作为传感器测量声辐射模态的伴随系数。实验结果表明这种声辐射模态传感器的设计是可行的。     

光电变色器件用纳米晶氧化钛薄膜的微结构与特性

纳米晶TiO2薄膜在光电变色器件中具有很重要的作用。它的微结构直接影响染料的吸附、光的散射以及电荷输运的特性。因此，探索TiO2薄膜的微结构(如粒径、表面形貌和厚度等)及光电性能是非常有意义的。采用电子束蒸发工艺制备了光电变色器件用纳晶TiO2薄膜，利用原子力显微镜、X射线衍射、俄歇电子能谱等手段对纳米晶TiO2薄膜的表面形貌、结晶状态及组分进行了分析。从理论上研究和讨论了纳米晶TiO2薄膜晶粒尺寸对光电性能的影响，并用量子限制效应解释了吸收光谱峰值波长随粒径减小而发生蓝移的现象。     

1,1’-三亚甲基双环戊二烯基-特丁基镧四氢呋喃配合物的~(13)C核磁共振化学位移研究

随着有机金属化学的发展,人们对鑭系元素的有机金属化合物表现出越来越大的兴趣。七十年代以来这一领域已取得很大进展。相继合成了包含金属-碳囵π键及金属-碳σ键的许多有机金属化合物,其中对包含环戊二烯基的一类鑭系有机金属化合物的合成和性质研究尤为活跃。文献上对这类化合物的~(13)C核磁共振的实验研究只有过为数不多的一些报道,而用量子力学近似方法对鑭系配合物的~(13)C核磁共振化学位移进行计算则尚未见报道。本文在这一方面以1,1′-三亚甲基双环戊二烯基-特丁基鑭四氢呋喃配合物为对象进行一些尝试性探讨。     

声化学的崛起与建议

声学对化学的渗透与影响从八十年代中期起开始有了新的转折,表征声学这一外在特性的边缘学科——声化学或曰超声波化学业已形成。从我们跟踪众多国家的研究工作来看,声化学的迅速发展正从学术上给化学研究开拓新的领域;将从应用上对化学工业产生重大影响;声化学与热化学、光化学等具有等同地位的论点日逐扩大。下面列出声化学崛起的一些重要标志:     

70个南天旋涡星系等值厚度的测定

利用彭秋和提出的方法以及分析星系的旋涡图样 ,得到 70个南天旋涡星系的等值厚度 ,这些星系的图象是从北京天文台兴隆观测站Palomar天图数字光盘 (theDigitizedSkySurvey)中读出的 .为了得到星系的最佳倾角 (星系平面与天球切平面之间的夹角 ) ,把用最小二乘法拟合得到的对数螺线画在星系图象上与旋臂进行比对 ,反复调节星系的倾角 ,使拟合得到的对数螺线能很好地与旋臂吻合 ,从而得出星系的最佳倾角.