一种形式化验证方法:模型检验

模型检验作为一种形式化验证方法,近年来在各种硬件、软件设计中得到了广泛应用．文中首先介绍了描述系统行为的Kripke结构和描述系统性质的CTL逻辑,然后介绍了模型检验中常用的两种算法：标记算法和基于固定点的算法,最后介绍了为避免内存爆炸而引入的符号模型检验技术．     

二维非结构网格有限体积格式的壁热现象和人工热流方法

基于Noh人工热流方法的思想,推导出任意多边形网格人工热流的格式,将Noh的结构网格人工热流方法推广到任意多边形非结构网格的拉氏有限体积方法中,抑制或消除了壁热现象.几个数值实验,包括Noh激波反射问题和两块钢金属碰撞问题,验证了方法的可行性.     

非结构网格边粘性公式

利用Kuropatenko提出的人为粘性形式和Christiansen建议的TVD(Total Variation Diminishing)输运限制子构造非结构网格边粘性,用最大角原则选择邻边构造限制子,研制包括边粘性的相容流体程序,给出边粘性与体粘性数值模拟比较,对Saltzman活塞问题、Noh问题进行数值实验.数值实验结果比较说明,非结构网格边粘性准确检出强速度梯度不存在的情形,减弱人为粘性力的作用,有效捕捉流体的激波间断,提高模拟精度.     

a-Si:H和a-SiN_x:H薄膜中的缺陷以及载流子的非辐射复合

应用红外光谱仪、分光光度计、光声谱仪和正电子湮没寿命谱仪,从不同的角度,研究a-Si:H和a-SiN_x:H薄膜中的成分、缺陷以及光生载流子的非辐射复合。     

Zn：Fe：LiNbO3晶体四波混频效应的研究

报道了一种新掺杂铌酸锂晶体Ｚｅ；Ｆｅ：ＬｉＮｂＯ３，它具有优良的光折变四波混频性能，位相共轭反射率可达１００％。且与Ｆｅ；ＬｉＮｂＯ３相比、抗光散射能力强，响应速度快。本文通过对高掺ＺｎＯ后晶体的抗 光损伤能力和光电导值的测试分析，讨论了Ｚｎ；Ｆｅ：ＬｉＮｂＯ３晶体抗光散射和速度提高的机理。     

用激光外差干涉仪探测金属表面超声振动的实验设计

将激光外差法测量的科研成果转化为物理专业实验，设计了易于调节的激光外差干涉系统，实现了外差信号的接收，用压电超声装置代替激光超声装置，使实验系统小型化。     

辐射冷冻乳液聚合制备多孔聚合物微球

本文研究了常规苯乙烯乳液和苯乙烯细乳液在两种不同冷冻条件下,即液氮冷冻和-20℃冰箱冷冻过程中乳液体系稳定性的变化,以及γ射线辐射引发冷冻乳液中单体聚合得到的聚苯乙烯微球的形貌,并探讨了形貌形成机制.结果表明,乳液在-20℃冰箱中冷冻过程中乳液稳定性破坏,单体出现分层现象.而液氮冷冻可以保持冷冻前的乳液相态结构.γ射线辐射可以引发冻乳液中苯乙烯聚合,聚合过程中体系经历了从O/W乳液向W/O/W多重乳液的转变,最终形成粒径分布较宽,直径为1~20μm的泡孔状多孔PS微球.本工作不仅为低温聚合技术提供了新思路,也为多孔聚合物微球材料的制备提供了新方法.     

高吸水性树脂的SEM研究方法

高吸水性树脂是一种新型高分子材料,是交联型高分子电解质。它能吸收比自身重几百倍至几千倍的水;一旦吸水成水凝胶后,即使加压也很难把水分离出来。因此,它可应用于工农业生产、医疗卫生和日常生活等方面,近年引起人们极大关注。有些学者研究其吸水机     

阴离子在构筑吡啶酰胺－铜(II)配位超分子体系中的作用

Three complexes Cu（ppca）2（H2O）2（NO3）2 （1）, Cu2（μ-OH）2（ppca）2（H2O）4）·（ClO4）2 （2） and Cu2（μ-CH3COO）4（ppca）2（3） have been synthesized by the reaction of copper（Ⅱ） salts with N-phenyl-4-pyridinecarboxamide （ppca） and characterized. For anions, in complex 1, NO3^- coordinated with copper（Ⅱ）, in complex 2 perchlorate anion did not take part in coordination, the copper（Ⅱ） cations were connected by μ-OH to form a dinuclear unit, and complex 3 had a dimeric copper（Ⅱ） carboxylate paddle-wheel core. Noncovalent interactions linked these complexes to form supramolecular networks. Different coordinating modes of anions controlled modes of intennolecular interactions, which resulted in different final structures.