斜拉桥悬臂施工阶段分离式钢箱梁的剪力滞效应分析

以荆岳长江公路大桥为研究背景,采用ANSYS软件建立了该斜拉桥主梁最大单悬臂、主梁最大双悬臂和悬臂施工2号梁段三个工况的分离式钢箱主梁的区段仿真模型.利用空间有限元法,针对悬臂施工状态下分离式钢箱的空间受力状态进行剪力滞效应的计算分析.研究结果表明,分离式钢箱梁在不同施工工况下,其顶、底板剪力滞系数分布规律不同;钢箱梁顶板在外腹板处剪力滞效应较大,并随着离开外腹板处,其剪力滞效应减小较快.在施工过程中,分离式钢箱主梁的同一截面会同时出现正、负剪力滞效应.     

新型光照培养箱控制系统设计与实现

设计了一种新型光照培养箱控制系统,论述了该系统主要硬件与软件的实现方法。     

Nutch中网页更新预测研究与优化

Nutch的网页更新预测方法采用的是邻比法,相关更新参数需要人为设定,不能自适应调整,无法应对海量网页更新的差异性.为解决这个问题,提出动态选择策略对Nutch的网页更新预测方法进行改进.该策略在网页更新历史数据不足时,通过基于MapReduce的DBSCAN聚类算法来减少爬虫系统抓取网页数量,将样本网页的更新周期作为所属类其他网页的更新周期;在网页更新历史数据较多时,通过对网页更新历史数据进行泊松过程建模,较准确地预测每个网页的更新周期.最后在Hadoop分布式平台下对改进该策略测试.实验结果表明,优化后的网页更新预测方法表现更优.     

后结合预应力组合梁负弯矩区混凝土开裂性能试验

为了研究后结合预应力技术改善混凝土桥面板组合梁在负弯矩作用下的受力性能,特别是混凝土的开裂性能,设计制作了2根组合梁(一根是常规混凝土桥面板组合梁,另一根是后结合预应力混凝土桥面板组合梁),进行了2根组合梁的静力试验.测试了在不同荷载作用下组合梁的变形、不同截面上构件的应变分布、混凝土的裂缝、钢与混凝土之间的相对滑移以及极限承载力等.试验结果表明:后结合预应力混凝土板连续组合梁的初始开裂荷载和正常使用状态的极限荷载分别是普通连续组合梁的3.87倍和5.38倍,说明采用后结合预应力混凝土桥面板能够大大提高组合梁负弯矩区混凝土的抗裂性能.     

基于Web的港口机械协同设计实现技术

为了适应日益激烈的全球性市场竞争，港口机械企业必须改变其传统的设计和生产方式，进一步缩知产品开发周期，降低生产成本，提高产品质量，加强售后服务。关键就是如何充分发挥设计团队的集体力量和计算机支持系统的能力。这不仅要求单个设计人员具有理广博的知识，而且更需要不同科学之间的设计人员通力使用、协同工作，为此，在港口设计领域中建立了基于Web的计算机支持的协同设计的框架，并利用互联网实现协同设计，讨论了利用Web服务站点的动态服务网页ASP技术，着重论述了实现这一技术的关键问题和过程。     

箱基、框架和地基土空间共同工作的变分模型

采用空间子结构法将上部框架结构凝聚为一个“超级”空间单元，按照抗弯刚度等效的原则，将箱基代换为分别支承在有限分层弹性地基和文克尔地基上的弹性平板，再利用能量变分原理建立框架、土体和箱基三者空间共同工作的数学模型。该模型明确地显示了三者的受力关系，合理地体现了三者共同工作的三维效应，同时，由于引入凝聚技术，比一般的空间分析方法显著节省计算工作量。     

箱型箱装配焊接过程中的扭转判据及其应用

建立了装配焊接过程箱型梁的扭转判据.并应用判据阐明箱型梁扭转变形的基本性质,建立箱型梁扭转矫正量计算的通用方法.     

无粘结部分预应力混凝土空腹网架结构的设计与分析方法

本文是在文[1]基础上的推广与发展。它除有文[1]的优点外,其刚度将进一步提高,其内力将更趋均匀,从而达到进一步节约建筑材料和降低工程造价的目的。同时在文[2][3]的基础上,提出“预应力混凝土空腹网架结构的近似分析方法”,此法满足结构工程设计要求的计算精度,未知量比空间刚架矩阵位移法大为减少,节约内存、使这种预应力空间刚架结构体系能用低档微机进行计算,以利于这种新型结构的推广。     

金刚石圆锯片磨损过程的研究

通过对金刚石圆锯片锯切花岗石过程的试验研究和应用扫描电镜对金刚石锯齿的磨损表面进行的形貌观察，发现金刚石存在五种基本的磨损形态：初期磨损、抛光、局部破碎、大面积或整体破碎和脱落，金刚石一般都要经过初期磨损、正常磨损和剧烈磨损三个磨损阶段．应用统计学方法探讨了金刚石锯片的磨损过程与锯切性能的关系，为生产厂家改善锯片的锯切性能提供了理论依据和方法．     

Formal Verification under Unknown Constraints

We present a formal method of verifying designs with unknown constraints (e, g. , black boxes) using Boolean satisfiability (SAT). This method is based on a new encoding scheme of unknown constraints, and solves the corresponding conjunctive normal form (CNF) formulas. Furthermore, this method can avoid the potential memory explosion, which the binary decision diagram (BI)I)) based techniques maybe suffer from, thus it has the capacity of verifying large designs. Experimental results demonstrate the efficiency and feasibility of the proposed method.