鲁棒环境演算类型演化系统的扩充

移动计算是在网络技术发展过程中涌现出来的一种新的分布计算范型,移动环境演算是一种广为使用的描述移动计算的形式化模型,鲁棒环境演算[1]是针对这种演算的一种改进.文献[2]提出了类型演化问题,然而其研究只是针对不含有通信原语的纯演算进行.在[2]的基础上,进一步讨论了此问题.通过引入消息类型和消息体类型,并将之与原有的进程类型和环境类型相结合,提出了一个支持类型演化的能够对带有消息传递的进程项类型化的类型系统,从而将[2]的工作扩充到整个鲁棒环境演算中.证明了类型系统的正确性.同时给出了一个最小类型算法,在给定类型上下文的条件下,算法能够计算出任意进程项的类型;并证明了算法的可靠性和完备性.     

多项式系最大公因子的并行算法

基于并行计算的思想,给出一般域上多项式系最大公因子的两种算法.给出了其伪码表述,证明了其可行性,并给出了基于符号演算的程序实现及计算实例.结果表明:该算法可并行计算,计算速度优于串行算法;该算法是一种直接方法,不同于基于多项式对的间接方法;该算法是精确算法,因此既可用于数值计算,也可用于符号演算.同时,对已有的伪码表述...     

人工蜂群算法在解决EMD问题中的应用

图像的相似性度量问题是人脸识别中的核心问题。EMD是一种良好的直方图相交映射距离表示方法,是度量图像相似性的经典模型。元启发式智能算法是解决复杂EMD问题的一种主要方法,提出了一种基于人工蜂群算法的求解EMD问题的新算法。该算法首先提出了一种表示食物源的编码方法,然后设计出初始化解决方案的生成策略和确定食物源邻居的方法。最后,在ORL人脸库上的实验结果表明了新算法在解决EMD问题时的有效性。     

适用于多峰函数优化的改进顺序生境遗传算法

针对标准顺序生境 (SN )算法在求解复杂优化问题时遇到的困难 ,提出了两种改进策略。一种策略是新的保存最优解策略 ,即在遗传算法的选择和杂交两个阶段之间 ,用已经找到的某些峰替代当前种群中最差的部分个体 ;另一种策略是对那些与已找到的峰相近或相似的个体采用较高概率进行变异 ,而不是将其适应值降低。将标准 SN算法与以上两种策略相结合 ,提出了 4种新 SN算法 ,还采用一个复杂欺骗性问题作为验证算法有效性的手段 ,结果说明 ,这些算法均能有效地找到该问题所有 32个全局峰     

基于Pi演算的Android多线程程序的数据竞争检测

针对事件驱动机制下Android多线程程序的数据竞争问题,构造一个基于Pi演算的并发行为检测模型。利用扩展后的Pi演算对Android生命周期和多线程框架进行建模,得到形式化的行为模型;通过将安全约束抽象为形式化的IF-THEN规则,并利用Pi演算的性质进行进程演算和迁移,构建了检测模型;将动态检测与静态检测以相同的处理方式结合在检测模型中,并给出了并发行为检测算法和数据竞争检测的方法。理论分析和实验表明,本文所提出的方法具有线性的时间和空间复杂度,相比其他方法,在提高检测精确性的同时并没有牺牲检测的效率。     

基于混合蚁群算法的物流配送路径问题

蚁群算法在解决旅行商等著名问题时得到了卓有成效的应用,但解决大规模问题时,其收敛速度较慢且耗时较长;同样,郭涛算法在解决复杂优化问题时取得了良好效果,但会产生大量无为的冗余迭代,求解效率低;文章汲取蚁群算法和郭涛算法的优点,提出混合蚁群算法,建立混合蚁群算法数学模型,得到时间效率和求解效率都比较好的一种新的启发式算法.     

时序系统命题μ演算算法设计与实现

以μ演算方法研究命题时序逻辑模型,设计实现了命题μ演算中μ演算公式输入以及对输入公式的检查、编译、分析和计算,并通过模型输入及μ演算公式算法实现规格说明验证.同时,通过CTL公式与命题μ演算公式的转换,将用CTL表示的需验证的公式转化为由μ演算公式,以验证系统的规格说明,算法复杂性为O((|f|.n)d),其中d是公式f中不动点算子μ和ν的交替长度,n为状态数.     

没有哪一点是不重要的

期末前,我每天晚上都认真地完成每一项作业、复习每一门功课。一天晚上,我在复习时被一道拓展训练题难住了。那是一道几何题,图形并不复杂,但.已知条件少得可怜,我在草稿纸上演算了几遍,始终没有解题思路。     

一阶谓词逻辑反驳演算自然推理系统

反驳各种逻辑谬误离不开对矛盾式的认识和理解。为此,构建了一个直观的包含所有矛盾式的一阶谓词逻辑反驳演算的自然推理系统;根据定义的语义解释,考察了该系统的一些元理论。在此基础上,考察了一阶谓词逻辑反驳演算系统和证明系统的关系,证明了两个重要结果:(1)谓词逻辑反驳演算系统中的任一矛盾式都对应于经典谓词逻辑证明系统中的有效式;(2)谓词逻辑反驳演算系统包含经典谓词逻辑的证明系统,即通常的谓词逻辑公理系统是反驳演算的一个子系统。     

一种布谷鸟-交叉熵混合优化算法及其性能仿真

为了提高布谷鸟搜索算法在求解复杂优化问题时的收敛速度和搜索精度,基于交叉熵方法,构建了一种新的布谷鸟-交叉熵混合优化算法.该算法将基于模型的交叉熵随机优化算法和基于种群的布谷鸟搜索进行有机融合,采用协同演化策略,既提升了混合算法收敛速度,又改善了其全局优化能力.对经典测试函数和PID控制器整定问题的仿真结果表明,新算法具有全局搜索能力强、求解精度高和鲁棒性好等特性,是一种求解复杂优化问题的可行和有效算法.     

论司法解释对侵权责任疑难问题解决的作用

从某种意义上说,侵权责任疑难问题是通过司法解释而得以解决的。司法解释丰富了侵权责任疑难问题解决的法律内涵和外延;填补侵权责任疑难问题解决的空白;有些侵权责任疑难问题解决的司法解释上升为法律内容,成为法律渊源;侵权责任法实施后,司法审判实践中的疑难、争议问题已逐步显现,这些问题的解决仍需依赖司法解释,司法解释在侵权责任法适用过程中仍大为作为,而且必须有作为。     

模拟退火算法在图片优化排版中的应用

图片优化排版是一种特殊的二维下料问题,属于NP-Complete.传统算法只考虑直线切割,不考虑更复杂的套裁方式.本文针对排版问题的特殊性,在几何数据结构上,采用空闲块算法描述复杂的套裁方式;在优化算法上,使用模拟退火算法进行迭代.实践表明,算法的优化效果是令人满意的.     

双三次曲面的反演算问题

在科技领域中广泛应用的双三次曲面,一般都按给定曲面特征点(又称控制点)求解,然而在不少实际问题中,例如地层层面的模拟,都是反过来,即知道曲面上的数据点,求解该曲面的特征点,以确定该曲面方程。这是曲面的反演算问题,本文讨论双三次曲面反演算问题,推导出反演算的数学表达式,依特定值找出系数矩阵,并用二次曲线拟合法求出曲面片角点的切矢量,依方程解出曲面的特征点,从而可确定通过离散数据点的曲面方程。     

非规则复杂域等值填充图的快速绘制方法

针对非规则复杂区域填充等值线图的绘制问题,提出了一种非规则的、复杂区域填充等值线图绘制算法。算法基本思想是:首先应用环形矩形域分割数据点;然后分区逐步插入新点快速生成二维约束Delaunay三角网格化;最后应用三叉树递归原理,快速等值剖分Delaunay三角形,颜色填充绘制等值域。通过研究实例表明,该方法具有很好的实时显示与应用效果。     

分治,递归,与回溯--棋士巡游的算法研究

分治,递归与回溯是算法的基础,它们在解决8×8棋盘的棋士巡游这一复杂问中,得以集中体现;通过对原问题的分析和算法实现表明,对于此类复杂问题,方法的选择很重要.     

求解非光滑优化问题的修正HS三项共轭梯度法

为了提高大规模非光滑优化问题的求解效率,克服其他方法存储需求大、算法复杂等缺点,提出求解非光滑优化问题的一种修正HS共轭梯度算法。在经典HS三项共轭梯度法的基础上提出一种新的搜索方向,并利用Moreau-Yosida正则化技术和Armijo-type线搜索技术进行设计。新算法满足充分下降条件,搜索方向属于信赖域,在适当条件下证明了新算法全局收敛。初步的数值实验表明新算法在求解非光滑无约束优化问题方面比LMBM方法更有效。新算法不仅具有较好的收敛性质,而且数值表现良好,为更加高效地求解非光滑优化问题提供了新的方法。     

论区域水资源供需分析

简述区域水资源供需分析中需要解决的问题,讨论区域水资源供需过程演算,区域水利经济算法和系统分析数学模型。     

协同进化在遗传算法中的应用研究

协同进化在遗传算法中的应用直接催生了协同进化遗传算法(CGA)的产生,它是近几年来新兴起的一种智能优化算法,主要用于解决复杂的组合优化问题。     

消除有限容量演算中的强干扰

为了消除有限容量演算中的强干扰和控制资源的移动,改进了该演算的某些原语,提出了一种新的演算——安全有限容量演算。在新演算中,调整了2个能力,增加了3个能力（相当于动作）和2个余能力（余动作）,并改进相应的归约语义,给出了安全有限容量演算的类型系统。该类型系统控制灰箱的移动性和线程数,并保证在计算过程中灰箱所拥有的资源数被静态地保持在其资源数范围内。     

求解非线性单调方程组的修正 三项PRP投影算法

针对求解大规模非线性单调方程组问题,克服其他算法计算复杂、存储量需求和计算量大等不足,基于经典PRP(Polak-Ribière-Polyak)共轭梯度法,设计了一种新的搜索方向公式,结合单调线搜索技术和投影算法,提出一种修正三项PRP投影算法.新算法具有充分下降性和信赖域特征等优点,在适当的条件下新算法具有全局收敛性.初步数值试验结果表明,新算法对选取的测试问题上是有效的,数值表现总体上优于经典PRP共轭梯度法,适合于求解大规模非线性单调方程组.