全球变暖或为极端天气幕后元凶

近年来,越来越多的极端天气的发生,引起了人们强烈的关注与重视。科学家们认为,虽然恶劣天气的发生具有一定的随机性,但是,全球气温变暖才是极端天气的真正幕后黑手。到底是什么原因导致这些极端天气的发生的呢?科学家给出的答案很简单:糟     

极大极小问题极大熵方法的研究（Ⅰ）

首先研究了极大熵函数的保凸性质，在没有可微假设的条件下，证明了极大熵函数既能保持成员函数的凸性，也能保持一致凸性。有关结果在一定度程度上揭示了该方法解这类总是一般４都能得到精度很主同的解的原因。     

基于PLC及Ethernet的发射机控制系统改造

根据高频发射机远程控制的要求,设计了一种基于工业以太网和PLC的高频发射机远程控制系统,采用STEP7和Wincc分别进行PLC程序设计和上位机人机界面设计。重点介绍了系统的硬件配置、网络结构、频率微调、软件设计和系统功能。该系统设计简化了网络结构,提高了系统的可靠性和稳定性。     

视频抖动矫正系统中的运动滤波

数码相机拍摄的视频往往带有因为拍摄人手的不稳定而引入的抖动,因此该文给出了一个视频抖动矫正方案,包括全局运动估计、运动的抖动分量滤除、抖动补偿3个模块。对摄像机运动模型,该文考虑了最常见的水平、垂直平动和平面转动这3个运动参数来进行全局运动估计,首先采用基于块匹配运动估计方法来得到运动参数的初始值,然后用Newton迭代法进行参数优化;从运动学的角度出发设计了一种以二次B样条方法为基础来拟合摄像机的运动轨迹方案。实验证明这种滤波器的设计方法能够很好地去除视频抖动,明显改善视频的主观效果。该方法不仅简单,而且不需要预知抖动的模式就能够确保运动轨迹的平滑。     

模糊多模型控制在锅炉过热汽温系统中的应用

在对锅炉高温过热器汽温对象进行动态特性分析的基础上,设计了基于T-S模糊模型和PID控制器的模糊多模型协调控制系统,并给出了此协调控制系统的全局稳定性证明,仿真结果表明,用这种方法建立的汽温控制系统具有较好的控制品质性能和较强的自适应能力.     

Banach空间中一类具有无穷时滞泛函积分微分方程解的存在性

讨论了Banach空间中一类具有无穷时滞泛函积分微分方程解的局部存在性和整体存在性。利用算字半群和无穷时滞理论以及Schauder不动点定理证明了方程解的局部存在性。引入一个适当的不等式条件,并利用解的延拓性质获得了整体存在性。所得结果推广了这类方程解的存在性的已有结论。     

业务流程的形式化设计与验证

针对如何保证业务流程设计模型与业务需求的一致性问题,在研究有限自动机模型的基础上,提出了一种业务流程的自动机模型构建和验证方法.采用扩展的带约束条件的确定有限自动机对业务流程设计模型进行形式化描述,使用线性时序逻辑表示业务需求,分别给出业务流程设计模型到自动机模型和自动机模型到Promela描述的转换算法,并通过模型检测技术,使用Spin工具验证设计模型是否满足需求性质.若不满足性质,则能够获得反例执行的路径.实例分析表明,该方法可用于业务流程设计的正确性验证.      

平原地区水工混凝土裂缝成因与防裂研究

水化放热过程中,混凝土产生内外温差和上下层温差,而温差、自生体积收缩变形、干缩和约束等是混凝土裂缝形成的主要原因．根据混凝土热力学特性研究成果,对混凝土裂缝产生机理和温控防裂措施进行分析研究,研究表明合适的保温结合内部水管冷却可有效防止裂缝的产生．     

砂土速率相关黏性特性的有限元分析

根据复杂加载条件下饱和砂土排水平面应变压缩试验,分析了砂土的速率相关的黏性特性.试验发现砂土存在显著的加载速率效应、蠕变变形和应力松弛,并且在应变速率突变、蠕变或应力松弛之后,以新的应变速率重新加载时呈现出高刚度行为.针对砂土的变形强度特性提出了一种非线性有限元计算方法,砂土本构关系采用了三要素弹黏塑性本构模型.将有限元计算结果与试验结果进行比较,表明建议的有限元计算方法不仅可以较为精确地模拟砂土的平均应力-应变关系,同时也可以模拟包含变应变速率加载、蠕变加载、应力松弛加载的全过程黏塑特性.     

国际直线对撞机（ILC）高梯度射频超导加速腔研制

射频超导（sRF）加速技术已广泛应用于基于加速器的大科学装置．在国际直线对撞机和其他相关项目的推动下,近年来国际上多个射频超导实验室开展了高梯度射频超导加速腔的研制．在不断改进精密加工、电磁场调平、表面处理和电子束焊接等工艺流程的基础上,北京大学近期研制成功一只高质量9-cell超导加速腔,其加速梯度为32．6MV／m,品质因数大于1．0×10^10,性能指标全面达到国际直线对撞机（ILC）的要求．这表明我国已经掌握了高水平超导加速腔的研制技术,为未来参加ILC国际合作以及建设其他采用射频超导加速技术的大科学装置打下了良好基础．