基于Event-B和Rodin开展形式化软件工程教学

形式化软件工程是软件工程的重要组成部分。Event-B方法是一种软件形式化开发方法,Rodin是支持Event-B方法的开放工具集。基于Event-B方法和Rodin开展形式化软件工程教学,有益于学生正确理解精化等重要的软件工程概念,理解并掌握开发可信软件的方法,是软件工程教学的重要补充。     

淮北平原主要农作物涝渍灾害 损失评估研究

针对淮北平原除涝减灾综合治理与规划中缺乏主要农作物受涝损失调查与评估基础资料的实 际问题,于2010年9月初区域降雨成灾之际,对受涝区进行主要农作物受涝经济损失调查。依据实 地调研成果,通过综合统计分析推求了不同耕地类型不同暴雨强度下的受涝损失率,在此基础上实现 了对淮北平原受涝经济损失的合理评估。     

基质吸力对抗滑桩间土拱承载力影响研究

为了分析基质吸力对抗滑桩间土拱承载力的影响,利用非饱和土理论分析土拱在极限平衡时的应力,经过推导得到了桩间土拱的抗剪强度公式,经过与实测结果对比确定了公式的适用范围。发现随着基质吸力的增加,土拱承载力先增加后减小：当基质吸力增加到26.33 kPa时,土拱承载力达到最大,随后下降;当基质吸力增加到44.58 kPa时,土拱承载力降到最低,但仍大于基质吸力“零”时的土拱承载力。表明基质吸力对土拱承载力的影响有一上限值,且非饱和土土拱承载力大于相同条件下饱和土土拱承载力。     

DC-DC开关变换器的混沌现象及其应用

目前,DC-DC开关功率变换器的非线性现象的研究已发展到了混沌的控制与应用研究.本文论述了对DC-DC开关变换器的混沌现象及其应用,并展望了混沌开关变换器的应用前景.     

一种改进性能自适应ICA算法研究

研究高动态环境必须实时自适应追踪混合矩阵的变化,快速浮点独立成分分析(Fast-ICA)算法,可以达到快速收敛.依据梯度在线学习算法性能更好,但是它的缺点是收敛慢,并且依赖适当的收敛算子的选择.为解决上述问题,提出了一种依据梯度优化块自适应ICA算法(GBOBA/ICA),包含Fast-ICA和依据梯度在线学习两种算法...     

Direct microscale imprinting of Al at room temperature with Si inserts

For direct imprinting of metals, hard materials such as diamond and SiC have been used to construct mold inserts in preference to Si, despite the ease in fabricating Si-based micro-/nano- scale structures. In this communication, we demonstrate that micron scale Al structures can be replicated with good fidelity at room temperature by compression molding with Si inserts without incurring insert damage. We further report on results of a finite element analysis of the mechanics of the molding process. The finite element results provide some understanding of the observed lack of damage to the Si inserts.     

BK-means:骨架初始解K-means

K-means是典型的启发式聚类算法,容易受到初始解的影响而无法获得高质量的聚类结果。骨架是近年来启发式算法设计的研究热点,它是指所有全局最优解中相同的部分,对于提高启发式算法性能具有重要意义。给出的骨架初始解K-means算法(BK-means)的基本思想是:首先利用K-means算法得到一组局部最优解(聚类结果),通过对局部最优解求交得到骨架簇。利用骨架簇构造骨架初始解及新的搜索空间。最后以骨架初始解引导K-means算法在新的搜索空间中搜索聚类结果。在15组仿真数据集和4组实际数据集上的实验结果表明,BK-means算法具有获得高内聚、高分离的聚类结果能力。     

基于改进遗传算法的舰船路径规划

遗传算法在解决非线性问题上具有良好的适用性,但是也存在着收敛性慢和局部最优解的缺陷,并且在实际应用中缺乏特定知识的利用.针对舰船路径规划的特点,对标准遗传算法进行了改进和优化,采用基于坐标的一维编码方式,设计了插入算子、删除算子、平滑算子和扰动算子,提高了进化效率.计算机仿真结果表明,该算法在收敛速度和输出全局最优解的概率相对于标准遗传算法都有了显著提高.