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

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

基于刚度及经济的CFRP与钢组合拉索设计理论

基于钢斜拉索、碳纤维增强塑料(CFRP)斜拉索适用跨径研究结果,针对1 400~2 800 m主跨斜拉桥整体刚度不足提出一种新型结构方案,即基于刚度及经济性能的CFRP与钢组合拉索方案.该方案将CFRP斜拉索与传统钢斜拉索同时应用于斜拉桥中,将２种材料高强轻质及弹性模量高的优点进行组合,以充分提高斜拉索的等效刚度,进而提高斜拉桥的整体刚度.详细介绍该组合方案设计思路与方法,通过比较等效刚度以及经济性能给出２种材料斜拉索推荐组合比例.最后,通过一座1 400 m主跨CFRP与钢组合拉索斜拉桥试设计说明该方案相对传统方案整体刚度上的优势,证明其工程应用的可行性,是主跨为1 400~2 800 m斜拉桥的优选方案之一.     

基于本体几何特征分析的产品制造行为推理

将本体理论应用于产品制造行为建模和推理中.通过分析零件的加工面邻接图,逐个提取产品的几何特征,从而形成制造行为的静态本体模型;以无向图的布尔运算和本体建模理论作为基础,分析零件的加工进刀方向,对静态本体模型中的特征归纳优化,形成可供分析的几何本体的过程序列模型.     

木塑复合材料燃烧性能的研究

利用锥形量热仪等评价方法,从引燃时间、释热、质量损失和发烟等方面对木塑复合材料（WPC）以及阻燃WPC的燃烧性能进行了研究。结果表明：WPC的引燃时间为27 s,比人工林木材的引燃时间长,与中密度纤维板（密度086 g/cm3）相当;WPC的释热速率峰值404 kW/m2,燃烧1 200 s的释热总量为180 MJ/m2,平均有效燃烧热为28 MJ/kg,燃烧释热高于人工林木材;WPC的平均质量损失速率为7 g/(s·m2),低于人工林杨木和马尾松木材;WPC的发烟总量高于人工林木材。相对于聚丙烯（PP）而言,WPC的释热速率峰值远低于PP,木材的引入降低了PP的高释热速率,且质量损失率峰值也大幅度降低。阻燃WPC的释热速率和释热总量有所降低,但发烟量增大,尤其是含卤阻燃物质。因此,对于WPC不宜选择有卤阻燃剂。     

核心型钢混凝土柱抗震性能试验及数值模拟

在低周反复荷载作用下,对1个钢筋混凝土柱和8个核心型钢混凝土柱进行试验,研究核心型钢配钢率和轴压比对试件抗震性能的影响.研究结果表明,试件抗震性能随着核心型钢配钢率的增加得到显著改善.采用有限元软件ADINA对试件进行非线性有限元全过程分析,计算得到的试件骨架曲线、应力应变分布和裂缝发展情况与试验结果吻合良好.     

对转换层结构中应用短肢剪力墙问题的探讨

文章通过对某转换层结构分别采用一般剪力墙和短肢剪力墙两种不同方案进行弹性阶段对比分析,得出将短肢剪力墙应用到转换层结构中对结构抗震性能的影响,并提出一些设计建议。     

多级轴流式压气机静压升特性研究

对多级轴流式压气机在几个典型工况下各级静压相对于设计点静压的变化特性进行了研究。研究发现,中低转速工作条件下,压气机后面级静压的变化对发动机工况的改变不如前面级敏感,因此,按常规方法监控压气机后面级流动参数的变化难于及时发现发动机中小状态时的压气机气动不稳定征兆信号。研究表明,为提高检测压气机气动不稳定征兆的时效性,应考虑在压气机前面级安装传感器,监控中低转速下的压气机气动失稳征兆信号。     

光肩星天牛对糖槭挥发物的EAG及嗅觉行为反应

[目的]分析影响光肩星天牛定位寄主的糖槭挥发物成分,解析挥发物在光肩星天牛搜寻和定位寄主过程中的作用,为光肩星天牛的综合防控提供依据.[方法]利用热脱附气质联用法(thermal desorption gas chromatog-raphy-mass spectrometry,TCT-GC-MS)分析鉴定糖槭挥发物组分...     

大学生不良阅读行为及其心理分析

对高校大学生在图书馆借阅中所发生的几种不良借阅行为进行了心理分析,提出了纠正和防止大学生不良借阅行为发生的建议。     

论高校图书馆对学生读者不良行为的矫正

论述了高校图书馆对学生读者不良行为矫正发生教育作用的心理学机制,分析了影响矫正教育效果的各种因素,并提出了相应的措施。