有限元网格自动生成及自动调整技术

本文给出了一种任意平面域内三角形网格自动生成及自动调整算法，并编制了相应的程序。通过对带Ｕ形槽的三点变曲试件的分析，证明本文算法是可行的，并且具有稳定性能好、收敛速度快的优点。     

升华剂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对称性在调整规范函数时其他对称性有否变化, 结果 表明对形式不变性会有变化.     

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

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

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

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

划分格中的Mbius函数和秩生成函数

设S={1,2,…,n},P(n)是由S的所有划分组成的集合.对于π,σ∈P(n),如果π中的每个块包含在σ的一个块里,就定义π≤σ,那么P(n)作成一个格.如果M(n,k)是由S的所有k部划分组成的集合,而L(n,k)是由M(n,k)生成的格.在P(n)和L(n,k)中,给出M(o|¨)bius函数,并且确定了特征多项式和秩生成函数的表示式.     

通过钯催化双C—H键活化实现“一锅”串联C—C和C—N键的形成——菲啶酮的合成

Angew.Chem.Int.Ed.2011,50,1380～1383近年来钯催化的C—H键活化已被广泛用于C—C,C—O,C—N,C—S和C—X(X=halogen)键的生成,然而一锅串联C—C和C—N键的形成极富挑战性.中国科学技术大学化学与材料科学学院王官武等通过CONHOMe导向基团实现了N-甲氧基苯甲酰胺的邻位sp~2-C—H键活化,与芳基碘代物发生芳基化,再通过sp~2-C—H键活化发生分子内关环生成具有重要生物活性的菲啶酮.该反应过程涉及到2个C—H键,1个C—I键,1个N—H键的断裂和1     

I型和II型结构气体水合物的记忆效应

利用水合物二次生成实验装置, 采用“定容法”对I型(甲烷、二氧化碳)和II型(丙烷)结构气体水合物的二次生成进行了实验, 研究了不同结构水合物(I型、II型)彼此间的记忆效应, 发现水合物生成过程存在明显的诱导期, I型结构水合物间在二次生成过程中存在着记忆效应. I型与II型结构水合物之间在相互二次生成过程中存在着显著的记忆效应.