提高区间运算的循环处理精度

循环语句大量应用于程序开发中,但是在静态分析领域,对循环语句的处理还很不完善,存在着不终止和迭代不收敛等一系列问题。传统的循环处理策略所涉及的程序语义信息有限,无法应用于静态分析缺陷检测中。该文提出一种基于符号运算和抽象解释理论中Widening/Narrowing算子的循环处理方法,并将其应用于区间运算之中,以提高检测精度。所述方法已在缺陷检测系统(DTSGCC)中实现,对大量Linux中GCC开源工程的测试结果表明:该方法可以提高区间运算中循环处理的精度,减少潜在的误报。     

吡啰红B为指示剂细胞色素C催化荧光测定青蒿素

在细胞色素C催化下,吡啰红B与青蒿素反应导致荧光降低,细胞色素C与青蒿素的反应为酶-底物模型。动力学研究表明,稳态催化速率依赖于酶和底物浓度,催化常数Km、Vm ax及Kcat分别为3.3×10-5mol/L,5.4×10-6mol.L-1.s-1和13.5 s-1,催化活性受去活化剂和乙醇抑制。在pH 5.3、25℃及7.6×10-7mol/L的细胞色素C催化条件下,荧光降低值ΔF(F0-F)与青蒿素浓度在7.1×10-8~1.1×10-6mol/L范围内呈线性关系;检出限为7.2×10-9mol/L;加标回收率为96.3%~106.8%。方法已用于测定血浆和尿液介质中的微量青蒿素。     

915 nm宽条形半导体激光器输出特性

为了研究温升对915 nm宽条形应变量子阱半导体激光器输出特性的影响,搭建了基于半导体制冷片(TEC)的双向温控平台对其进行了测试。首先,改变激光器的外表面温度,测量其在不同注入电流时的光功率和波长,并利用CCD相机测量其慢轴发散角。然后,利用计算机仿真软件对激光器的工作状态进行稳态模拟,从而获得了其对应的热分布情况,通过将模拟得到的数据与实验测量的结果进行比较,获得了两者趋于一致的结论:当热功率从2.1 W升高至20.0 W时,慢轴发散角从2.6°增大至5.0°,同时波长发生红移,热透镜焦距减小;激光器波长随温度变化关系的系数约为0.4 nm/℃,器件热阻为1.5 K/W。因此,为了同时获得高的输出功率和稳定的输出波长,有必要将激光器外表面温度精确控制在某一数值,否则波长将会发生漂移;此外,在设计制作高功率半导体激光器时,通过适当增加条宽并采用散热良好的封装结构,可以减小对慢轴发散角的影响。     

新型树形化合物1,3,5-三-[7-(7-甲基-2,2-二-(2,2-二羟甲基-3-羟基丙氧基羰基)-6,8-二氧杂螺[3.5]-壬基)]苯的合成

以丙酮和甲酸乙酯为原料, 在醇钠的作用下合成了1,3,5-三乙酰基苯(1). 1与二溴新戊二醇在酸的作用下发生缩酮化反应, 制成1,3,5-三-(1-甲基-2,6-二氧杂-4,4-二溴甲基环己基)苯(2). 2与5,5-二甲基-4,6-二氧杂-1,3-环己二酮在乙醇钠的作用下合成了1,3,5-三-[7-(7-甲基-2,2-二-乙氧羰基-6,8-二氧杂螺[3.5]-壬基)]苯(3). 将3在氯仿中与季戊四醇进行酯交换反应得到产物1,3,5-三-[7-(7-甲基-2,2-二-(2,2-二羟甲基-3-羟基丙氧基羰基)-6,8-二氧杂螺[3.5]-壬基)]苯(4). 收率为47.7%. 标题化合物及中间产物使用IR, ¹H NMR和MS或元素分析进行了表征.     

价格与隐含远期违约概率

如同根据布莱克-斯科尔斯模型从欧式看涨期权市场价格中反求隐含波动率一样,从信用违约互换的价格中提取隐含违约概率在理论上和实践上都存在很多困难.传统的自助法存在很大的缺点,并有可能得出不符合现实的结果.本文采用基于一段时期的条件违约概率的新的优化方法来替代基于自助法的瞬时远期违约概率,该方法有很多优良特性,会得出比传统方法好得多的结论.     

Cu-Al-MoS_2复合粉末在等离子喷涂中的应用

等离子喷涂技术广泛应用于机械行业,根据不同的用途选用合适的喷涂材料来增加零件表面的硬度、耐磨性、润滑性等机械性能,从而提高零件的寿命。Cu-Al-MoS2复合粉末因为其有较高的力学和化学性能以及特殊的自润滑性在等离子和火焰喷涂中占据重要的位置,本文通过实例来阐述Cu-Al-MoS2复合粉末的等离子喷涂工艺、喷涂参数、喷涂后性能等。     

高中物理探究性实践课堂教学特点与方法探析

随着教改步伐的不断推进,高中物理教学中已经开始普遍实施新课改的教学实践手段和探究性教学方式,这对学生后期的发展有着非常重要的影响和意义。主要围绕高中物理教学探究性实践课堂的特点进行简单分析和阐述,希望通过探讨和论述,为配合做好高中物理新课改及其教学实践的发展提供可行性思路和建议。     

综放工作面运输机安装机械手的研制与应用

本文介绍自行研制的综放工作面运输机安装机械手的结构特点、施工工艺；及该设备在S2S6段工作面、S2S8段工作面的应用中发挥了作用。     

影响C60／C70产率因素的研究

本文介绍了直流电弧法合成Ｃ６０／Ｃ７０技术，测量了在拟和氩中，烟灰 产率和Ｃ６０／Ｃ７０提取率与气压及孤电流的关系。在１５０ｍｍＨｇ拟气氛和６５Ａ孤电流下，烟灰产率为３４％，从烟灰中提取Ｃ６０／Ｃ７０的产率为１７％。