基于双价值函数禁忌搜索的测试用例生成技术

基于禁忌搜索算法的软件测试用例自动生成是目前一项先进的软件测试技术.传统的基于元启发式算法的自动测试技术只有一个价值函数,本文针对禁忌搜索算法提出强化和多样化两个价值函数.测试用例生成器通过调用强化价值函数来强化搜索过程,如果强化失败则调用多样化函数来使搜索多样化.最后通过与随机测试的对比实验,验证了基于双价值函数的禁忌搜索算法在软件测试中的高效性.     

一种安全的采购项目备案协议

本文提出了一种面向网上政府采购的安全采购项目备案的协议.该协议运用了以数字证书为核心的PKI技术,实现了用户的身份认证和访问控制,保证了整个采购项目的备案过程中数据的保密性、完整性和不可抵赖性.并通过一种形式分析模型BAN逻辑证明了该协议的安全性.实验证明该方法可以解决网上政府采购中采购项目备案服务对安全性的需求.     

地铁车站装配式蒸压加气混凝土墙板受弯性能

为研究装配式蒸压加气轻型混凝土墙板受弯性能及设计方法,以北京地铁19号线新发地站装配式隔墙为工程背景,对蒸压加气混凝土墙板受弯性能进行有限元分析。基于已完成的试验,建立有限元分析模型,并研究不同节点类型、混凝土强度、节点构造、板高厚比以及配筋率等参数对隔墙受弯性能的影响。通过不同参数的对比分析,为工程提供优化的设计建议。研究结果表明:U形卡连接墙板与钩头螺栓连接墙板相比,承载力较高,施工较简便;预埋焊接U形卡连接墙板承载力较柔性连接(非焊接)U形卡连接墙板有一定程度提高,但考虑地铁车站封闭施工环境的限制,可采用柔性连接U形卡节点;墙体高厚比的减小,能显著提高其极限承载力及刚度;提高墙体配筋率及混凝土强度能进一步提高墙板的极限承载力。     

蜻蜓柔性后翅模型的气动效能分析

为探究柔性材料对蜻蜓滑翔时气动特性的影响,通过数值仿真的方法,研究杨氏模量为3800 MPa,泊松比为0.18的三维柔性蜻蜓后翅模型在不同雷诺数和迎角滑翔时的气动效能和气动力作用下的结构变形.结果表明:柔性蜻蜓后翅在气动力的作用下会产生明显的弯曲扭转变形,且变形程度随着雷诺数和迎角的增大而增大,其中该扭转变形会使蜻蜓滑翔的实际迎角减小;由于产生了使迎角减少的扭转变形,使得在迎角为5°～30°滑翔时,升力系数减少了9％ ～45％,失速迎角增大10°以上;小迎角滑翔时,升力系数随速度增大而减小,大迎角滑翔时,升力系数与速度无明显相关性;大迎角滑翔时,在气流分离和柔性蜻蜓翼大角度扭转的作用下,上翼面的负压区向后缘移动,增加了负压区面积,增大了失速迎角,有利于提高蜻蜓飞行时的机动性.可见虽然柔性材料虽然会牺牲蜻蜓滑翔时的气动效能,但有助于蜻蜓高速大迎角飞行,提高了蜻蜓的机动性.     

酚类天然产物Buxifoximes A的合成及生物活性

利用商品化试剂4-羟基苯甲酰甲醛水合物(3)为起始原料,与甲氧基胺盐酸盐经一步肟化反应,以79%的收率合成了酚类天然产物Buxifoximes A(1).同时还经已知反应步骤合成了Buxifoximes A的天然类似物2.初步的抗肿瘤生物活性测试表明,二者对MV4-11细胞表现出了优秀的抑制作用,同时探讨了构效关系.     

机载条件下单液滴撞击热固壁面相变特性

为了获得机载工况下液滴换热特性和相变过程,基于耦合的体积分数法（CLSVOF）,研究不同撞击角度和不同加速度情况下R1234yf撞击壁面的铺展和传热行为。结果表明：当撞击角或加速度较小时,液滴在铺展过程中出现回缩现象,且液滴边缘会出现润浸现象,热流密度较高;液滴铺展速度和直径也随撞击角的增大呈先增大后减小的趋势。发生Leidenfrost现象时刻对应的壁面热流密度在降低,说明撞击角对液滴与壁面的换热影响较大,且其值越小则液滴与壁面之间的换热越明显。液滴铺展速度和直径随飞机加速度的减小呈减小趋势,发生Leidenfrost现象时刻对应的壁面热流密度在降低,说明加速度的增大导致换热被削弱。     

TP54节段拼装架桥机横移变幅技术研究

TP54节段拼装架桥机是为完成南京第四长江大桥节拼装箱梁架设而专门设计的,因其能完成各种复杂工况的箱栗架设任务（变跨,尾部喂梁,曲线段施工、对称悬拼,横移变幅）而得到业界一致好评,本文结合TP54节段拼装架桥机在郑州桃花峪黄河大桥81#-80#桥粤布幅横移变幅至左幅为例详述试架桥机对各种复杂工况强大的适应性。     

不同时期喷施草甘膦对大豆生理指标的影响

 采用随机区组的设计方法,分别在第一、二、三复叶期喷施不同剂量的41%草甘膦异丙胺盐水剂,研究了其对抗草甘膦大豆RR2和普通大豆晋大75叶片叶绿素含量指数、莽草酸质量分数和SOD活性等生理指标的影响。结果表明：在不同时期喷施w为41%草甘膦异丙胺盐水剂均可以抑制RR2和晋大75的叶绿素合成,促进大豆体内莽草酸的积累,但RR2对w为41%草甘膦异丙胺盐水剂的抗性远高于晋大75。施药时期越早,大豆的叶绿素含量指数越低,晋大75叶片的莽草酸质量分数越低。不同时期施药对RR2和晋大75的SOD活性均影响不大。3次施药以第三复叶期对晋大75的伤害最大。所测3个生理指标的敏感性依次为叶片莽草酸含量>叶绿素含量指数> SOD活性。比较不同时期喷施w为41%草甘膦异丙胺盐水剂对大豆生理指标的变化,从一定意义上对于了解转基因大豆和常规大豆对草甘膦的耐药性差异及其他生理响应机制有重要参考价值,为大豆田合理运用草甘膦提供依据。     

适度运用惩戒教育优化学生素质养成

在中小学普遍提倡赏识教育中的今天,不能忽视惩戒在教育中的强化作用。在运用惩戒手段时,应分析其对象,把握惩戒的尺度、时机。注意掌握好关爱、尊重、勿滥三个原则。     

基于中观仿真的路网容量算法研究

中观仿真模型既能分析微观层面的排队长度和延误等详细交通状态指标,又能模拟宏观层面的交通量特性、路径选择行为,特别适用于大中型路网的交通仿真。本文提出了一种借助中观仿真软件通过逐步加载OD量来计算整个路网内所有的道路和交叉口能够容纳车辆数的计算方法,并采用实例分析的方法对提出的路网容量算法的可行性给予论证。