一种可动态更新的高可用中间件框架

针对动态更新缺乏对分布式应用支持的缺陷,提出了一套可动态更新的高可用中间件框架,用于分布式环境中高可用服务的开发．它包含了一套灵活的动态插件管理框架,可完成单进程的动态更新,同时提供了一套分布式协作服务管理框架,来完成多进程协同服务的同步动态更新．通过实现服务可用性论坛提出的高可用应用接口规范,验证了该框架具有单进程及多进程同步动态更新的能力．     

冷卷热处理生产调度模型的启发式算法

针对某钢铁公司冷轧厂热处理车间冷卷热处理生产调度中车间大、炉区小的实际状况,建立了以热罩和冷罩为机器,冷卷为工件的一类不允许等待的混合流水车间排序模型．利用参数排序策略,实现炉区之间冷卷的重新分配;利用值排序策略,确定新的热处理顺序,使得所有冷卷最长热处理时间最短．在此基础上开发的冷卷热处理生产调度系统正在冷轧厂试运行,目前系统运行稳定、速度较快、功能较强,预计每年可创直接经济效益5000多万元．     

回流次数对Sn3.5Ag0.5Cu焊点特性的影响

研究了回流次数对Sn3．5Ag0．5Cu焊点特性的影响,采用扫描电镜SEM和光学显微镜对多次回流后Sn3．5Ag0．5Cu焊点界面金属间化合物（IMC）层的形貌和拉伸断裂断口形貌进行了分析．结果表明：随着回流次数的增加,焊点的宽度和金属间化合物的厚度增加;焊料和凸点下金属化层（UBM）之间界面上的IMC组织从针状逐渐粗化;焊料的拉伸强度有轻微变化;断裂面第一次回流焊后出现在焊料中,而多次回流焊后断裂面部分出现在焊料中,部分出现在UBM和焊料的界面中．     

分年龄段的互惠模型的行波解

讨论了一类分年龄段的生物种群互惠模型的行波解存在性问题．在一般带时滞的互惠Lotka—Volterra模型基础上,考虑了年龄段和空间非局部等因素对反应扩散方程行波解存在性的影响．构造了一对合适的上下解,利用单调迭代方法证明了模型的两个平衡点之间行波解的存在性,进一步丰富了单调方法的内容．     

利用能量原理研究单壁碳纳米管的剪切模量

利用能量方法研究了单壁碳纳米管（SWCNT）的剪切模量．采用分子力学理论得出了受扭矩作用下单壁碳纳米管的总势能;通过总势能与相应的薄壁圆筒的扭转变形能比较,推导出了单壁碳纳米管剪切模量的计算公式;碳纳米管剪切模量的计算结果与现有的研究结果相符,从而证实了本文计算公式正确有效．     

经济生活模式与英汉习语

习语是语言的缩影。大部分习语来自普通老百姓的生产活动和生活经历,反映出经济文化等对语言的巨大影响。在语言的发展过程中,历史文化的痕迹残留在习语当中。通过对比分析英汉习语的文化内涵,来揭示中英两民族早期不同的经济生活模式以及对生活的不同态度。     

具有投资收益的双险种双复合Poisson-Geometric风险模型的破产概率

本文研究了保费过程和索赔过程均为复合Poisson-Geometric过程的具有投资收益的双险种双复合Poisson-Geometric风险模型,利用概率论中的期望理论和切比雪夫不等式,得出此模型的调节系数不存在。在将干扰因素考虑进来后,得到了调节系数和破产概率的表达式。     

基于数字电视无线广播信号的定位模型和系统

分析了使用数字电视(DTV)无线广播信号定位系统的必要性与可行性.提出了基于帧同步的DTV定位原理.分析了DTV定位测距特性,即在一个历元异步顺序得到多个测距观测值.推导了相关伪距观测模型和载波多普勒积分模型,在此基础上给出了DTV定位模型,包括观测方程和状态方程.仿真结果表明,DTV定位技术能够显著提高独立定位或组合导航系统定位精度.DTV定位是一种具备亚米级测距误差和米级定位精度,可成为传统卫星定位有益补充或替代的定位技术.     

膜生物反应器净化污水的硝化反硝化性能

比较了膜生物反应器(MBR)和传统活性污泥工艺(CAS)在相同运行条件下处理生活污水的硝化和反硝化性能.结果表明,MBR对NH4 -N和TN的去除率分别比CAS高54.8%和37.3%.2种工艺的亚硝化、反硝化作用均呈零级反应,对应降解速率常数MBR分别约为CAS的2.2倍和2.5倍;CAS中硝化作用为零级反应,而MBR中硝化作用随时间推移趋于平缓.MBR中的细菌总数、硝酸菌、亚硝酸菌和反硝化菌数量分别比CAS工艺中相应菌种高1~2个数量级.通过控制曝气强度或减小回流通道断面限制缺氧区溶解氧质量浓度,可提高MBR中的反硝化效果.     

双大Reynolds数问题的混合方法

讨论双大Reynolds数问题,首先将解析解分解为光滑部分和奇性部分,对这两部分都做了上界估计;然后将解析解进行2阶渐近展开;最后提出混合算法．混合算法的主要思想是引入过渡点将区域分为粗网格区域和细网格区域,在这些网格区域采用等步长．在细网格区域采用有限元法,在粗网格区域采用迎风差分格式．混合算法结合了渐近解、数值解和BVT法的优势,是一个实用、有效的算法。