混合梁刚构桥受力计算方法与合理结构体系研究

在传统混凝土刚构桥基础上把主跨跨中的一部分改为钢梁而形成的混合梁刚构桥有效实现了梁桥在跨度上的突破及结构性能的改善,成为非常有应用前景的一种桥梁结构形式,并在实际工程中越来越被广泛应用。为探究三跨钢-混凝土混合梁刚构桥结构体系的合理布置和受力性能的简化计算方法,推导了混合梁刚构桥在施工阶段及成桥阶段的简化力学模型,并通过有限元方法和实桥测试验证了简化力学模型的正确性。基于简化力学模型,以控制截面内力为目标函数,计算分析了边跨与中跨长度之比λ、钢梁长度与主跨长度之比μ(或结合段位置参数)对混合梁刚构桥受力性能的影响。研究结果表明,基于结构的合理受力性能,得到了λ和μ的合理取值范围,综合考虑桥梁施工和运营中的风险,建议λ取0.4、μ取0.4～0.5,可作为混合梁刚构桥的设计参考。     

紧急避撞路径规划及其跟踪驾驶员转向模型

针对紧急避撞工况,提出并设计了一种紧急避撞路径规划方法和路径跟踪反馈预瞄驾驶员模型。首先,提出了一种基于Sigmoid曲线与物理约束的避撞路径规划方法,并建立融合最优曲率预瞄与闭环反馈转向修正的驾驶员模型以对所规划路径实现快速和精确跟踪。之后,搭建了CarSim+Simulink离线联合仿真平台,对避撞路径规划和路径跟踪反馈预瞄驾驶员模型的有效性进行了验证。最后,基于自主改装的试验车辆,进行实车试验以验证所提出的路径规划方法及驾驶员模型的可行性与实时性。仿真及实车试验结果均表明,所规划的避撞路径和驾驶员模型可以控制车辆快速、安全地避让障碍物。     

斜桩加固下覆倾斜基底软土桩-网复合地基离心模型试验

通过2组相似比为1:100的土工离心模型试验,研究斜桩对既有下覆倾斜基底软土桩-网复合地基的加固效果。试验结果表明,采用斜桩加固既有下覆倾斜基底软土桩-网复合地基,可有效减小路堤顶面的工后位移(竖向、水平),控制路堤顶面两侧沉降差的发展;同时,斜桩加固能有效抑制既有复合地基中斜坡桩、摩擦桩的桩顶水平和竖向位移,防止土工格栅的破坏及复合地基非对称"盆状"沉降的产生和发展;此外,斜桩加固可显著减小既有复合地基中的水平向推力,提高地基刚度及稳定性。研究表明,斜桩是加固既有下覆倾斜基底软土桩-网复合地基的有效措施。     

结构因素对动力电池用多孔平板热管性能的影响

基于VOF(volume of fluid)两相流模型,采用计算流体力学(CFD)方法对某款锂离子电池用多孔平板热管的性能进行了仿真研究。分析表明:方孔结构比圆孔结构具有更大的蒸发/冷凝传质率和管内平均流速,6方孔平板热管的当量导热系数比原始6圆孔结构提升了30.5%;热管当量导热系数随内部孔数的增加而增加,但性能提升幅度渐渐变小;在蒸发段参数不变的前提下,热管的性能是由冷凝效果及冷凝段回流效率共同决定,热管冷凝段长度的增大并没有实质性改变热管的冷热端温差,此时所定义的当量导热系数并不能反应热管的实际性能。     

污染土壤高压旋喷修复药剂迁移透明土试验及数值模拟

高压旋喷技术近几年开始应用于污染土壤修复,对所注入药剂的迁移扩散规律尚不明确,导致工程实践中缺乏可靠依据,同时为克服常规试验测试手段的不足,使用透明土材料开展了污染土修复药剂迁移的室内试验和数值模拟。在考虑分子扩散、机械弥散、对流等耦合情况下,建立了探究药剂在土壤中迁移特性的对流-弥散模型。研究结果表明:透明土试验技术能够直观地显示药剂迁移过程,可以应用于污染土修复药剂迁移特性的研究。在不同土壤压力条件下,存在最佳泥饼高度;相同土壤压力,泥饼高度越高,同一位置处浓度最大值越小;泥饼高度的选取关系到高压旋喷参数的设定,对修复效果及效率有重要影响。药剂的迁移以竖向迁移为主,水平向迁移不明显,因此为保证药剂以较高的浓度迁移至泥饼边缘,应使药剂在泥饼间隙水平方向上分布有较高且均匀的初始浓度。     

基于本体的共享内容对象参考模型语义化

从语义的角度出发探讨如何利用本体实现对共享内容对象参考模型（SCORM）的语义化,使得SCORM标准既能实现资源的标准化又能满足教学的智能化,同时使得SCORM标准可以适应未来语义网络的需求,扩展SCORM标准的应用前景.     

计算机病毒运行条件的分类研究

从程序语言的角度出发,应用一一映射的方法,建立起计算机病毒规范与运行条件的同构模型.在此基础上,提出了计算机病毒运行条件的基于共性的分类方法,并给出了其在病毒防范领域中的应用方法.该分类法的应用领域包括:软件开发人员的参考指南,计算机软件工程领域的研究素材,以及病毒测试人员或审计人员的"条件核查列表".     

反应堆堆内构件流体激振力的数值模型研究

针对反应堆堆内构件流致振动分析评价中如何合理获取流体激振力的关键技术难题,开展了典型反应堆堆内构件三维流场分析的数值模型研究.研究基于计算流体动力学方法,首先,根据反应堆堆内构件的结构特点和运行工况参数,将实际结构的关键部件、物理边界提取并做适当简化,在合理降低计算规模的同时,又充分保留其流场特征;其次,综合考虑计算资...     

模型检验技术在软件漏洞自动挖掘中的应用

将在工业设计领域应用很成功的模型检验技术引入到信息技术软件产品的安全漏洞挖掘中,提出了针对源码的漏洞挖掘系统原型,以开放源代码的操作系统Linux为例,建立了特权释放和文件创建的安全属性模型,并举例加以验证.研究结果表明:该方法是一种自动化挖掘软件安全漏洞并证明漏洞存在性的形式化方法,对挖掘已经确认机理类型的漏洞非常有效.     

一种并发Java程序控制流模型

研究了并发Java程序控制流模型的建模问题.通过深入分析并发Java程序设计语言的语义以及带抑止弧Petri网的建模能力,提出了一种并发Java程序控制流模型--CJCFM,并给出了从并发Java程序构造该模型的方法.CJCFM以带抑止弧Petri网为基础,简单直观,可模拟程序实际运行过程,对并发程序的理解、分析和测试有很大帮助.通过对现有开源Petri网实验平台PIPE的功能进行扩展,可在该平台中直接构造并执行CJCFM.借助成熟的Petri网理论与算法,可验证CJCFM的各种性质,从而达到对源程序进行分析的目的.实验表明:CJCFM能有效协助理解、分析和测试并发Java程序.