基于抽象语法树的代码静态自动测试方法研究

软件测试是排除软件故障，提高软件质量和可靠性的重要手段。从是否需要执行被测程序角度考虑，软件测试分为静态测试和动态测试。动态测试通过输入测试数据，动态执行程序来发现软件中存在的错误。尽管动态测试能发现部分软件错误，但对于一些特殊类型错误的检测无效。鉴于此，本文采取了一种特殊的静态分析技术来实现对代码的测试。本文首先讨论了传统软件测试方法的缺点和局限性，给出了软件的故障模型，进而提出了基于抽象语法树的静态分析技术，并给出了故障自动检测算法。依据该算法开发了自动化测试工具，给出了实验结果和对比分析，并指出了下一步的研究方向。     

基于STM32的开关磁阻电机控制器的设计

以ARM内核的STM32 F103 RBT6为主控芯片设计了低成本、高性能三相开关磁阻电机驱动控制器.该控制器的主电路由IGBT构成不对称半桥回路,由低成本的隔离驱动芯片PC923直接驱动,具有过流、过压和欠压保护功能.采用以低速时电流斩波控制和高速时角度位置控制相结合的控制手段,系统运行可靠,性能优良.详细介绍了系统功能和软硬件设计并给出实验结果.     

超高性能钢纤维增强混凝土力学性能的实验研究

制备出钢纤维体积掺量分别为0%、1%、2%、3%的超高性能钢纤维增强混凝土(UHPSFRC),通过立方体抗压实验、小梁四点弯曲实验,研究钢纤维体积掺量对UHPSFRC抗压、抗弯曲性能的影响。实验结果表明,钢纤维对UHPSFRC有明显的增强、增韧和阻裂作用。抗压强度随着钢纤维体积含量的提高而显著提高,最高可达130MPa。抗弯曲性能在钢纤维体积含量为2%时达到最佳。     

带观察时的跳服从Erlang(n)分布的对偶模型的红利贴现问题

研究了跳服从Erlang(n)分布,随机观察时服从指数分布的对偶风险模型.假设在边值策略下红利分发只在观察时发生,建立了红利期望贴现函数V(u;b)的微积分方程组.给出了当收益额服从PH(m)分布时V(u;b)的解析解.探讨了当收益额服从指数分布时V(u;b)的具体求解方法.     

氮化硼对氟铝酸锶红色荧光粉Sr3 AlO4F:Eu3+荧光性能的影响

利用氮气保护高温固相法合成一系列氟铝酸锶红色荧光粉Sr_3-xEu_xAl_1-yB_yO_4-yN_yF,利用氮化硼BN取代基质中的部分Al₂O₃,改变基质组成和内部结构,使基质晶格发生畸变,进而影响Eu³⁺离子的发光性能。利用X射线粉末衍射仪、光电子能谱、扫描电镜以及荧光分光光度计对所合成样品的物相结构、组成、形貌以及荧光性能进行表征,研究BN的掺杂对荧光性能的影响,发现一定量的BN进入基质能起到增强Eu³⁺发光的作用。初步对BN氮化对红光增强的机理进行了探讨。     

不结球白菜"苏州青"胚轴培养及不定芽分化的研究

为确立以"苏州青"胚轴为遗传转化受体材料的转基因技术,探讨了胚轴叶龄、激素条件及抗生素处理对胚轴培养和不定芽分化的影响.结果表明:胚轴培养采用叶龄5～7d的材料可以获得高频分化效果;分化培养基以MS组成为基本培养基,同时添加细胞分裂素BA2.0mg/L和TDZ0.01mg/L,可以促进胚轴培养的出愈率及不定芽分化率;抗生素(Kan)浓度达15～20mg/L时,具有明显的筛选效果.     

传动轴套管叉矩形花键孔综合塞规的设计

企业在成批生产中,生产现场对矩形花键孔的检验常采用综合检验,即用综合塞规检验实际尺寸和形位误差的综合影响。这就要求计量器具的尺寸和公差带设计要合理。本文就汽车传动轴套管叉矩形花键孔综合塞规的改进设计进行了论述,重点阐明计量器具公差带设计的重要性。     

基于多目标决策的空调冷热源方案优化

以长沙某一食堂建筑为例,对空调系统的冷热源系统的6种可能方案形式进行了全面的技术经济分析和比较,以初投资、运行费用、维护管理、可靠性、适用性、安全性等为评价指标,建立了评估决策模型,进行了多目标决策,进行优序,提出了适宜的系统方案.研究表明:多目标决策技术容易理解,计算简单,使用灵活,为空调冷热源方案选择提供了一种有效的定量分析方法,可辅助工程师对备选方案进行综合分析、评比并作出决策,增强了决策的客观性、科学性.     

喷射增效自复叠制冷循环工质选择

为选择适合喷射增效自复叠制冷循环的工质,选取R32/R1234ze、R23/R134a、R170/R290和R23/R227ea四组混合工质,计算分析在给定工况下不同工质对喷射增效自复叠制冷循环性能的影响,并与传统自复叠制冷循环进行对比.结果 表明,在喷射增效自复叠制冷循环中,R170/R290制冷量最大,R23/R2...     

大温跨两级压缩补气增焓热泵循环性能研究

针对公共场所现有电加热热水器能源利用效率过低的问题,从提高能源效率和一机两用的角度,提出了一种可产生冷热饮用水的补气增焓高温热泵热水器(HPWH)系统,即由准二级空气源压缩循环提供中温和高温热水,由单级空气源压缩制冷循环制取低温冷水,实现了高温热泵的能量梯级利用和饮用水的梯级产生.构建组成系统各部件的热力学模型,基于能量分析的方法,探讨了不同因素对系统性能的影响,并与传统电加热热水器进行了性能对比.研究结果表明:准二级压缩技术和能量梯级利用可显著改善高温热泵循环的制热性能.环境温度25℃、冷凝温度105℃、蒸发温度5℃时,HPWH系统制取开水的制热性能达到2.88,其能耗较传统电加热热水器降低至少219％,其制取冷水性能系数达到1.47.