基于抽象实现结构图的数据流方程切片方法

提出在PASCAL抽象实现结构图上,采用数据流方程算法实现程序切片的自动化.该方法将过程蓝图的抽象实现结构图引入静态过程内切片领域,实现了程序表示形式与程序切片处理形式的统一,避免了传统方法产生控制流图的需要,简化了切片处理过程,提高了切片处理效率,并直观地反映了切片后的程序变化.     

硫化镉纳米粒子荧光淬灭测定柳氮磺吡啶

以硫代乙酰胺(TAA)与Cd2 在碱性溶液中反应制备了CdS荧光纳米粒子,该纳米粒子的荧光强度强烈的被药物成分柳氮磺吡啶所淬灭,建立了一种高选择性的测定柳氮磺吡啶的荧光分析新方法.结果表明,在pH值为11.2时,对于柳氮磺吡啶的检测下限可达到1×10-7g/mL,线性范围为5.0×10-7g/mL~1.0×10-4g/mL.方法已用于药片中柳氮磺吡啶的测定.     

一类带饱和项互惠模型平衡态正解的存在性

研究了一类两个物种同时带有饱和项的互惠模型在第一边界值条件下的平衡态正解的存在性．首先用单调解的方法给出了此解的先验估计，然后利用局部分歧理论研究了在λ1-c〈a〈λ1和a〉λ1两种情况下模型分别在两个半平凡解上出现的局部分歧现象，并证明了分别在分歧点（β，0，θβ）和（b＇，θa，0）附近存在正解；最后利用全局分歧理论研究了其整体分歧，从而证明了这两种情况下模型存在平衡态正解．     

Drazin可逆算子在0点特征投影的刻画

研究了Drazin可逆算子在0点的特征投影,得到了两个结果:设A是Drazin可逆的,则Q=Aπ的充要条件是Q2=Q,AQ=QA,σ(AQ)={0}且A Q是可逆的;设E是与A可交换的幂等算子,A是Drazin可逆的且i(A)=k,那么下列条件是等价的:E是A在0点的特征投影;对所有的λ≠0,A λE是可逆的;AkE=0且对某个ξ≠0,A ξE是可逆的.     

生防菌BC2001对番茄根结线虫的生防研究

人工培养番茄根结线虫茎部结瘤，通过盆钵、电镜扫描试验直观评估BC2001菌的生防能力。结果表明，BC2001菌能使茎结瘤消减，且植株生长良好；从扫描电镜上看，BC2001菌可以在结瘤中定殖，并附着在虫体上，同时造成虫体缢缩死亡。     

组合梁的应力分析与实验

为了精确分析叠梁、加楔块叠梁和整梁的承载能力，采用温克尔假设法和电测实验技术，完成了矩形截面叠梁受力弯曲时的模型简化理论计算与实测分析。研究了同截面、同材料的叠梁、加楔块叠梁的应力分布、内力变化和承载能力。理论和实验均表明：叠梁的应力最大，加楔块叠梁的应力次之，整梁的应力最小。     

论在国际民商事法律关系中国家豁免的废除

当国家参与国际交往时，应将国家行为分为公法的行为和私法的行为两种。在公法上的国家行为因为涉及到国家主权的原因，应该坚持国家豁免原则。在私法上的国家行为因为不涉及到国家主权的原因，应依据私法平等原则，废除国家豁免。     

旋转二次曲面折射成像的球差分析

为研究旋转二次曲面及其透镜对轴上物点的成像质量,从二次曲面的标准方程出发,以折射定律为基础,导出了旋转二次曲面折射成像的精确球差公式,并由此计算了不同类型二次曲面及其透镜成像的球差,结果发现,旋转椭球面、抛物面和双曲面双凸薄透镜的成像质量都优于球面双凸薄透镜的成像质量.     

GaN/AlxGa1-xN量子点中的激子态

在有效质量近似框架内,运用变分方法,考虑内建电场效应和量子点的三维约束效应,研究了含类氢杂质的G aN/A lxG a1-xN量子点中的激子态.结果表明:量子点中心的类氢杂质使激子的基态能降低,结合能升高,Q D系统的稳定性增强,光跃迁能减小;杂质位于量子点上界面时,激子的基态能最小,结合能最大,系统最稳定;随着杂质从量子点的上界面沿着z轴移至下界面,激子基态能和光跃迁能增大,结合能减小.     

利用反井钻机施工采区煤仓

介绍了晋华宫矿南山主斜井煤仓工程概况及地质条件,阐述了LM—120型反井钻机技术在施工中的利用,对该项施工技术进行了技术经济分析,指出该项技术既经济合理又安全可靠,具有较好的推广价值。