考虑翻箱作业时出口箱堆场作业调度优化

基于出口箱的堆场操作实务,考虑堆场起重机取箱作业的现实约束,以作业过程中翻箱次数最少为目标,对堆场作业调度问题进行建模,提出了两阶段混合动态规划算法,将启发式规则嵌入动态规划算法中,以避免出现状态数"组合爆炸"增长的情况.通过仿真算例,并与实际调度规则及现有研究方法所得调度方案进行对比,验证了模型以及优化算法的有效性与实用性.结果表明,所提出的模型和算法可以在较短的求解时间内获得多组装船方案,且其翻箱次数显著降低.     

轻型钢木混合楼盖水平荷载转移性能

通过水平集中荷载作用下一层两跨的钢木混合结构拟静力试验,研究轻型钢木混合楼盖弹性状态下平面内刚度及其对水平荷载的分配.为了量化楼盖平面内刚度对水平荷载分配的影响,定义了楼盖水平荷载转移能力系数β,探讨了楼盖平面内刚度与竖向抗侧力构件抗侧刚度比值α与β的关系,并根据α及β数值大小定义刚性楼盖.试验结果表明,轻型钢木混合楼盖在仅铺设SPF(云杉-松木-冷杉)规格材面板且竖向抗侧力构件仅为钢框架时,α在0.5~1.0之间,β为64.0%左右,楼盖已能较好地分配水平荷载;铺设水泥砂浆面层后,α增至3.0以上,β增至90.0%左右,结构有很强的空间协同作用,楼盖为刚性楼盖;当竖向钢框架间加上轻型木剪力墙后,α下降至1.0~2.0之间,β下降至78.0%左右,楼盖不再为刚性.     

基于小波分解的统计模型对小时风速的预测

为提高小时风速的预测精度,提出了基于小波分解和AR模型的混合模型(WD-AR).模型应用小波分解技术将风速序列进行多层分解,再利用AR模型分别对各分解层的风速序列进行预测,最后将预测结果叠加得到预测值.采用河西地区风速观测数据对模型进行分析验证,结果表明:WD-AR模型预测精度指标R,RMSE和MAP E值分别是0.89,0.36和27%,与AR模型相比有了较大的改善,提高了小时风速的预测精度,说明WD-AR模型具有更好的预测能力.     

关于有理混合吸引子的Ciric型非唯一不动点定理

本文我们应用有理混合吸引子条件去证明具非唯一不动点的映射Ciric型的若干不动点定理.结果推广并改进已知的一些结果.     

拟南芥AtDWD与RCAR1相互作用的初步研究

采用pull down和酵母共转化的方法研究了AtDWD与RCAR1之间的相互作用.体外pull down试验得出AtDWD与RCAR1之间存在明显的相互作用;酵母共转化试验显示AtDWD的截断区域中只有WD45和WD345转化子可以在SD四缺培养基平板上长出正常的酵母菌落.实验结果表明,AtDWD C端的145~350位氨基酸序列中含有与RCAR1相互作用的功能域.     

富含羧基的多肽基双亲水杂化共聚物控制碳酸钙的形成

结合N-羧基-环内酸酐开环聚合和"巯-炔"光点击反应制备了侧链富含羧基的多肽基双亲水杂化共聚物(PEO-b-PPLG-g-MPA)。该多肽基共聚物可以模拟蛋白质指导CaCO3在水溶液中的形成。圆二色谱(CD)揭示了多肽链段在水溶液中的构象变化;扫描电子显微镜(SEM)揭示了矿化过程中CaCO3的形貌变化;X-射线衍射(XRD)确认了CaCO3的晶型。结果表明,该聚合物可以有效地控制CaCO3的形貌,此时多肽链段呈无规线团构象,而不是更为有序的α-螺旋或β-折叠构象;多肽链段的含量只有达到足够的浓度时,才能有效地控制的CaCO3晶体的生长;CaCO3的形貌则可以通过调节多肽链段的长度、溶液的pH值等因素进行调控,其可以是表面光滑的微球、表面堆满了CaCO3小颗粒的超结构微球、纳米棒或呈"花瓣状"聚集的纳米棒。XRD则证明形成的CaCO3呈稳定的方解石晶型。     

西安市南郊公路运输CO_2排放特征及影响因子研究

为查明公路运输CO2浓度的变化特征,分别于2012年7月、8月、11月和2013年4月对西安市南郊长安南路中段近地面大气CO2浓度进行了昼夜观测,并与距离交通线150m处的另一观测点进行对比。观测结果表明,公路运输对近地面大气CO2浓度有着重要影响,交通线旁大气CO2浓度因受车流量影响比距离交通线150m处的观测点高10ppm~20ppm。在日变化上,交通线旁大气CO2浓度呈现出明显的双峰波动,变幅可达80ppm~110ppm;在季节变化上,4月份观测区CO2浓度值最高,7月、8月和11月并无显著差异。此外,大气CO2浓度值与温度呈负相关,而与湿度、气压显著正相关。     

橙色粘球菌四型菌毛膜复合物的发现

细菌四型菌毛(T4P)不仅在生物膜形成、DNA吸收和侵染致病等生物过程中发挥着重要的作用,同样也能够介导固体界面的滑动运动。尽管T4P具有非常重要的作用,但橙色粘球菌T4P系统中蛋白间组装机制的研究仍处于初级阶段。T4P系统pil N/O/P/Q单基因的敲除与回补实验显示敲除菌株导致橙色粘球菌群体运动完全丧失,而pil N/O/P/Q相应基因回补则恢复突变株群体运动。Pil N/O/P/Q蛋白通过酵母双杂交(Y2H)检测蛋白间的相互作用发现,定位于周质空间的Pil P不仅与外膜蛋白Pil Q的C末端相互作用,也与内膜蛋白Pil O相互作用。遗传学与酵母双杂实验结果显示着Pil P蛋白是联通内外膜的桥梁,暗示着Pil N/O/P/Q蛋白形成跨越内膜、细胞周质和外膜的整合复合物结构,并在菌毛延伸和收缩过程中发挥着重要的作用,为阐明橙色粘球菌菌毛的延伸与收缩的分子机制奠定坚实基础。     

纯电动车车用复合储能装置控制策略及参数优化

为解决目前纯电动车动力电池比功率不足的缺陷,对纯电动车的储能装置进行了研究。根据复合储能装置的特点和目的,制定了复合储能装置的工作模式,提出了基于速度与电流约束的模糊控制策略。为了进一步提高整车性能并降低蓄电池的输出电流,对复合储能装置的关键参数进行了线性优化,仿真结果表明:加装复合储能装置的纯电动车的加速时间缩短了12%,制动能量回收效率提高了39%,百公里耗电量减少了8.55%,并显著降低了蓄电池的输出电流,有效延长了蓄电池使用寿命和整车的续驶里程。     

基于混成自动机的CPS行为建模与属性验证

系统实时性、安全性和可靠性等非功能属性是信息物理系统在诸多领域应用的关键因素。论文在分析CPS模型构建与分析验证中面临的挑战的基础上,提出了一种CPS行为建模与属性验证方法。该方法首先基于混成自动机对CPS的行为进行建模,然后将此模型转换为混合程序模型,最后在定理证明器KeYmaera中对HP模型的属性进行形式化验证。文中论述了行为模型描述语言的结构,建立了混成自动机模型与HP模型之间的转换规则,分析了模型转换的一致性。应用实例表明:该方法既能简单直观地描述CPS动态行为,又能对CPS的属性进行严格的形式化验证,且有效避免了形式化验证中的状态空间爆炸问题。