面向异步机制的自动重构方法研究

为了解决并行处理中同步阻塞会浪费系统资源和影响程序性能的问题,提出了一种基于CompletableFuture异步机制的自动重构方法。首先,使用WALA静态程序分析工具进行访问者模式分析、逃逸分析、别名分析以及数据流分析等静态程序分析技术,确定共享变量数据的操作方式;然后,基于CompletableFuture机制设置4种异步重构模式;最后,根据不同模式实现异步机制的自动重构。基于此方法,在Eclipse平台下开发了自动重构工具AsynRef,并对HSQLDB,Jenkins, JGroups和SPECjbb2005等4个大型实际应用程序进行自动重构,从重构个数、改变的代码行数、准确性和重构后程序性能等方面对AsynRef进行评估,对4个程序所包含的919个同步方法共完成387个异步机制转换。结果显示,使用AsynRef进行异步机制重构后,程序执行性能有8%到39%的不同程度的提升。AsynRef可以有效完成代码异步化自动重构,与传统手动重构相比,有效提升了异步化的重构效率。     

高性能预应力混凝土梁的非线性有限元分析

采用考虑材料非线性的有限元方法,选取合理的混凝土、预应力筋和普通钢筋的本构关系曲线及其单元类型,对高性能预应力混凝土梁的受力全过程进行了分析计算.研究了张开裂缝剪力传递系数和单元尺寸对预应力混凝土梁受力性能分析的影响效果,通过3根实验梁受力全过程的仿真计算结果与实验结果的对比,表明所采用的ANSYS数值模型技术是合理可行的.     

海水层静校正的综合解决方案研究

大面积的海上三维地震勘探经常需要数月的采集周期,采集期间的海水层潮汐现象及物性变化会产生诸如潮汐校正和冷水校正等严重的静校正问题。现论述了一种综合的水层静校正方法来解决上述问题。该方法是通过在CDP道集上拾取水底、反演水底时间求取水速、水底倾角和方位角,根据拾取的水底时间和测算的水速度求取并应用冷水校正,然后用求取的零偏移距到达时间与参考时间的差值计算并应用潮汐校正。该方法在某深水区三维地震资料的应用上取得了明显的效果。     

外贴FRP加固钢筋混凝土梁用量显式设计方法

对外贴FRP（纤维增强复合材料）加固钢筋混凝土梁抗弯极限承载力的求解问题，ACI440F规范及我国CECS146：2003规程都给出了相应的求解公式，但均为验算形式．这在面向设计，即计算给定目标承载力下的FRP用量时，并不方便．针对矩形截面形式，通过引入原构件配筋特征参数和FRP配筋特征参数，推导出量纲-形式的弯矩增量与参数之间的关系表达式，并给出显式求解FRP用量的计算方法．在此基础上，进一步通过定义截面形状系数，将这一显式求解方法推广至T形及更为一般性的截面形式．     

多波束智能天线GSM系统融合技术研究

根据GSM系统的实际应用 ,对多波束智能天线在现有GSM移动通信系统中的性能改善及其融合方案进行了研究论证 ,建立了多波束智能天线GSM系统融合方案模型 ,为多波束智能天线与现有移动通信系统的融合奠定了基础。     

重型落地铣镗床焊接立柱有限元分析

对Ｔ６９１６重型落地铣镗床焊接立柱进行了有限元动静态分析，力学模型网格中有３５２２个八节点等参元，６９３０个节点；计算了两种工况，前五阶固有频率和相应的振型．文中以图形和表格方式显示部分计算结果，这些结果是设计焊接立柱的依据．     

钢-混凝土连续组合梁桥的理论分析和试验研究

根据完全剪力连接的连续组合梁桥的构造特点及各部分受力机理,做出合理假设,提出分层平面框架计算模型该计算模型用于沈阳市东西快速干道工程某段连续组合梁桥,计算值与静载试验实测值非常接近,证明了本计算模型用于钢-混凝土连续组合梁桥正确实用的.     

倒T形预应力预制构件叠合梁受弯性能试验研究

为了解倒T形预应力预制构件叠合梁的受弯性能及破坏特征,设计制作了2根叠合梁和1根整浇对比梁,分别进行静载试验,观测叠合梁和整浇梁的正截面开裂荷载、承载力极限荷载、挠度变形、裂缝开展、破坏特征等,并将叠合梁和整浇梁的受弯性能作了比较分析,配筋适当的预应力混凝土叠合梁与对比整浇梁的整体破坏特征基本相同.图8,表4,参4.     

亚健康公路混凝土梁式桥的限载方法研究

 为合理适度地利用亚健康公路梁式桥的通行能力,引入了亚健康公路梁式桥的使用承载能力的概念,基于工程可靠度的分析方法,结合实际现役亚健康公路梁式桥的外观检查、荷载试验及有限元分析结果,以混凝土梁式桥的裂缝宽度作为广义抗力,综合考虑了运营荷载、钢筋锈蚀等随机因素,探讨了亚健康公路混凝土桥梁使用承载能力的可靠度分析方法,结合工程实例提出了亚健康桥梁的限载方法,为现役亚健康公路桥梁的科学限载及合理使用提供了理论依据。     

宽带相控阵雷达的设计准则与发展方向

宽带相控阵雷达是一种新型的成像雷达,在弹道导弹防御(BMD)中有着重要的应用。首先回顾了国外宽带成像雷达的发展,分析了宽带相控阵雷达的波形选择、子阵的选择及自适应波束形成的实现结构,并给出了有源固态宽带相控阵雷达宽带线性调频Stretch处理的信号处理组成框图,提出了宽带相控阵雷达的未来发展方向。所提的设计准则与给出的发展方向对未来弹道导弹防御雷达的研制有一定的参考意义。