面向对象代数Petri网

在软件方法学领域已有研究成果的基础上,提出了面向对象代数的Petri模型。该模型支持面向对象的概念,支持面向对象软件系统分析和建模,把代数理论、Petri理论以及面向对象方法和技术结合在一起,为形式化和智能化软件工程环境的建立提供了一种有效方法,提高了并发系统动态建模和复杂系统的高级建模的能力。

具有区域极点配置的多目标H_2/H_∞优化控制

提出了一种优化空间自适应调整的多目标遗传算法(ASMOGA),并将其应用于具有区域极点配置的多目标H2/H∞优化控制。ASMOGA算法能够根据种群的质量对优化空间进行自适应调整,同时定义了一种新的辅助罚函数,可以有效处理众多的闭环区域极点约束条件。对某卫星姿态控制系统的仿真结果表明,与线性矩阵不等式LMI方法相比,ASMOGA算法的优化结果具有更小的保守性。

基于素数分解排序的水汽层析代数重构算法

该文首先介绍了解决层析方程组病态问题的代数重构算法,并对影响该算法迭代结果的松弛因子、投影次序、停止规则进行了讨论,提出了基于素数分解排序的水汽层析代数重构算法。其次,详细陈述了该算法的3个核心内容:分组排序、素数分解排序、非负约束。分组排序可提高反演结果精度;素数分解排序保证了解的无偏性;非负约束则使迭代结果符合水汽值的非零特性。最后,利用2015年8月13日UTC 0时的香港参考站的观测数据对6组实验方案进行了分析,证明了基于素数分解的投影排序对水汽层析结果具有重要影响,且通过该方法可以有效提高代数重构算法解算GNSS水汽层析方程组的精度。

多种类代数的两个同构定理

设A=(Ai,i∈Γ)为Ω -代数 ,φ =( φi,i∈Γ)和θ =(θi,i∈Γ)都是A上同余 ,B =(Bi,i∈Γ)为A的子代数 .类似于一个非空集合上代数的情形 ,定义了 φ/θ和Bθ,证明了 (A/θ) / ( φ/θ) ≌A/ φ ,B/θ B ≌Bθ/θ Bθ.

有序类代数的操作语义

本文简要介绍有序类代数的基本概念，研究有序类等式演绎，并且给出了有序类代数上进行基于规则的项重写的操作语义．

基于改进蚁群算法的多批次协同三维航迹规划

针对基本蚁群算法容易陷入局部寻优、收敛速度慢的缺陷以及解决多批次协同航迹规划问题的需要,提出了基于改进蚁群算法的多批次三维航迹规划算法。该算法采用基于加权排序的信息素更新规则,扩大各优劣蚂蚁的差异,提高了算法收敛速度,并采用了一种信息素挥发系数的随机自适应调节方法,在确保收敛速度的同时使算法具有全局寻优,解决了基本蚁群算法容易过早陷入局部最优缺点;在此基础上,引入蚂蚁子群间多约束条件下的协同进化策略,解决了多批次协同三维航迹规划。仿真结果表明:改进的蚁群算法在运算效率和收敛性上明显优于基本蚁群算法,多批次协同航迹规划能有效提高无人机的作战效能。

Another Definition of Order-Sorted Algebra

In this paper the definition of order-sorted algebra is generalized by introducing transforma-tion functions between subtypes and supertypes. According to our definition, a type needn'tbe a subset of its supertype and a record model may form an order-sorted algebra. A newdefinition of equation is given. It has also been proved that equational theories and describingsingle inheritance have the initial model.

加权距离排序的水汽层析算法

针对代数重构算法中投影顺序对迭代收敛速度及精度的影响,该文提出了基于加权距离排序的算法。该算法可以优化新选择的投影与先前所用的投影序列之间的角距离,同时能够使得投影分布均匀,从而减小相邻投影之间的相关性;同时对层析方程组按照精度高低进行分组,保证了最终解更接近于实际观测数据;并在所有的实验中使用了非负约束,使得结果符合水汽密度的非负特征。基于香港卫星定位参考站网数据的实验结果表明:加权距离排序算法能够提高代数重构算法的收敛速度与精度。

A mathematical model of inheritance

Inheritance is regarded as the hallmark of object-oriented programming languages.A mathematical model of inheritance is presented.In this model,the graph-sorted signature is introduced to represent the algebraic structure of the program,and an extension function on the graph-sorted signatures is used to formally describe the semantics of inheritance.The program’s algebraic structure reflects the syntactic constraints of the language and the corresponding extension function exposes the character of the language’s inheritance.