基于限定步长的消息队列并发程序可达性算法分析

针对消息队列并发程序执行过程中可达性问题上存在的不确定性,将消息队列并发程序转换为多栈下推系统,利用饱和过程,构造一个可以接收逆向格局集合的非确定型有限自动机,并给出相应的求解算法,证明了逆向格局集合的可达性,进而验证了此类并发程序的可达性。

最大准则优化技术在贴体网格中的应用

贴体网格在地质数值模拟中具有广阔的应用前景,为解决贴体网格生成时边界离散问题,提出了最大长度准则和最大面积准则,把曲线逼近和曲面网格优化问题转化为数学优化问题,为求解该问题,提出了改进的单粒子优化算法.试验表明,最大长度准则和最大面积准则的优化效果好于常规方法;以改进的单粒子优化算法求解该问题时,计算效率是智能单粒子优化算法的30倍左右(节点量为200),从而实现最大长度准则和最大面积准则在贴体网格生成中的应用.针对最大面积准则优化曲面网格不能控制网格步长的情况,提出了限定步长的网格优化算法,使网格步长合理化,并通过实例验证了该算法的有效性.研究成果提供了生成贴体网格时边界优化准则和求解方法,对今后复杂边界的贴体网格生成具有重要意义.