均四嗪衍生物结构、生成焓及爆轰性能的理论研究

运用DFT-w B97/6-31+G**方法对23种1,2,4,5-四嗪衍生物的几何结构、自然键轨道(NBO)和生成焓(EOF)进行研究,并在此基础上运用Kamlet-Jacobs方程估算衍生物的爆轰性能,得到其爆速在6.69~9.37 km/s之间;基于统计热力学,求得部分标题化合物在200~800 K温度范围内的热力学性质,随温度T升高,热容Cp、熵Sm及焓Hm逐渐增大。根据最小键级理论,C-R(取代基)键和N-R键可能是1,2,4,5-四嗪衍生物高温裂解的热引发键。综合分析,基团-NO2、-N3和-N=N-有助于提高四嗪衍生物的生成焓和爆轰性能,3,6-二硝基-1,2,4,5-四嗪和3,6-二偶氮基-二硝基-1,2,4,5-四嗪从能量、爆轰性能上可以作为高能量密度材料候选物。     

静态法和动态法测量乙醇饱和蒸气压的比较

物质的蒸气压是化学、化工、冶金、医药等领域的重要基础数据。测量饱和蒸气压是大学物理化学实验教学中的一个基础实验,测量方法主要有静态法和动态法,但两种方法的比较尚未见报道。本文通过比较,得出了两种方法的优缺点以及注意事项。     

升华剂2,4,6-三异丙基-1,3,5-三氧六环的晶体结构及其热力性质研究

以升华剂2,4,6-三异丙基-1,3,5-三氧六环为溶质,无水乙醇为溶剂,采用溶液挥发法培养了2,4,6-三异丙基-1,3,5-三氧六环的单晶.利用X-射线单晶衍射法测定其单晶结构,并通过紫外光谱、热重和X-射线粉末衍射等手段对其进行了表征.结果表明,标题化合物属于正交晶系,Pnma空间群,晶胞参数:a=0.827 7(3)nm,b=1.024 4(3)nm,c=1.683 1(5)nm,α=β=γ=90°,V=1.427 1(8)nm~3,Z=42,Mr=216.81,Dc=1.007g/cm~3,μ=0.070mm~(-1),F(000)=480.0,T=293(2)K,最终偏差因子(对I2σ(I)的衍射点)R1=0.083 7,wR2=0.264 8.化合物分子中的六元环呈椅式构型,分子间存在的弱氢键作用使得其沿c轴方向形成了一维无限链状结构.通过测量其饱和蒸气压随温度变化,按Clausius-ClaPeyron方程计算得出其升华焓为15.82kJ/mol,再结合热重TGA-DTA曲线、DSC曲线和焓变分析,可以判定升华剂在80℃之前没有发生分解产生新的物质.     

Z_pZ_p[u]-加性循环码

该文研究了Z_pZ_p[u]-加性循环码,其中p是素数,u~2=0.文中证明了(1-u)-加性常循环码与加性循环码同构,构造了Z_pZ_p[u]到Z_p~(α+pβ)的Gray映射,并证明了(1-u)-加性常循环码的Gray象是一个广义的准循环码.此外研究了Z_pZ_p[u]-加性循环码的结构,给出了Z_pZ_p[u]-加性循环码的最小生成集.     

ATCase:一个基于多项式约束求解的数值程序测试用例自动生成工具北大核心CSCD

现有的基于符号执行的测试用例自动生成技术存在不足之处:由于精度限制和非线性约束求解的复杂性,符号执行在遇到复杂的非线性浮点约束时效果并不理想.针对这一现状,给出了一个基于多项式约束求解和区间验证的测试用例生成算法.对于复杂非线性约束难以求解的问题,采用基于低秩矩量矩阵恢复的多项式系统求解方法,该方法对于含有等式和不等式的多项式系统,相较于其他方法求解速度更快,更适合大规模问题的求解;对于浮点约束求解不准确的问题,采用基于区间分析的验证算法来计算包含精确实解的区间,基于该区间给出测试用例,可以避免浮点计算的不准确和异常.结合该算法和符号执行工具KLEE-FP实现了一个测试用例自动生成工具ATCase(automatically generate test case),它能够分析数值程序中的路径并自动生成满足路径约束的测试用例.在两个开源软件库中的2两个复杂的真实程序上运行的实验结果表明ATCase相比KLEE-FP所使用的STP求解器,能快速生成具有更高覆盖率的测试用例,特别是在处理相对复杂的非线性约束时,优势更加明显.     

关于对称性的注释——————分析力学札记之十二

 讨论对称性研究中发生的两个问题. 一是 X (1) (L)中出现的q能否用微分方程消去, 结果表明对Noether 对称性应慎用. 二是Noether对称性在调整规范函数时其他对称性有否变化, 结果 表明对形式不变性会有变化.     

齿轮有限元强度计算的单元自动生成

本文提出了一种专用于齿轮有限元强度计算的单元自动生成办法,只需输入法截面内一半数据,便可自动生成空间二十节点等参元的全部数据。本文严格地以实际齿面方程所描述的齿廓曲面体为计算对象,并按轮齿法截面划分单元,也适合于其他柱面体和螺旋面体的有限元计算。     

利用血管生成模型计算实体肿瘤内的血液动力学

肿瘤血管生成(Tumor-induced Angiogenesis)是指在实体肿瘤细胞诱导下毛细血管的生长以及肿瘤中血液微循环的建立。肿瘤内血液、组织液等流体流动在肿瘤药物输运过程中扮演着重要作用,而这些流动受到肿瘤内微血管网络结构的直接影响。目前要获得精确的肿瘤内外的毛细血管拓扑结构存在一定困难,因此给肿瘤内的血液动力学研究带来困难。本文根据肿瘤内外的复杂生理特性,建立肿瘤内外血管生成的二维离散模型,在获得相对真实的毛细血管网络拓扑结构基础上对肿瘤内的血液动力学进行初步计算,数值计算的结果加深了对肿瘤的复杂生理特性的理解,同时也给肿瘤内的药物输运给予一定的提示。     

SCR脱硝中各物质热力学性质的预测

选择性催化还原脱硝技术效率高,有望应用于汽车尾气中NO_x的排放控制.本文采用5种不同的密度泛函理论,计入色散校正项的影响,预测了选择性催化还原脱硝反应体系中各种气体的标准生成焓以及温度从0 K到1000 K时各气体的焓变。与实验比较结果表明,广义密度梯度近似中的BLYP泛函和B3LYP泛函对标准生成焓的预测偏差最小,而本文检验的所有密度泛函理论都能很好地预测气体在0~1000 K温度范围内的焓变,可以用于选择性催化还原脱硝反应体系的热量恒算。     

顶点代数V_(l,0)的极小生成问题

设g是有限维单李代数,是相应于g的无扭仿型Kac-Moody代数的导代数.讨论了相应于的顶点代数V_(l,0)的极小生成问题,证明了V_(l,0)作为顶点代数由a,h两个元素生成,其中a,h∈g.