电脉冲处理对低碳钢显微组织的影响

将15钢淬火-冷轧处理得到薄饼晶层状结构,在不同条件下对试样进行电脉冲处理,用TEM对组织结构进行对比观察,研究不同电脉冲处理条件对显微组织的影响.结果表明:电容量增加使温度升高达到再结晶温度是材料发生再结晶的主要因素,脉冲次数增加能促进材料再结晶;其它参数一定时,电容放电时间越短,组织细化效果越明显.     

基于有向网络的一致性跟踪算法

研究了leader有控制输入且followers未知该输入条件下的线性多智能 体一致性跟踪问题.提出两种一致性跟踪算法,证明两种算法在leader到followers存在一棵 有向生成树且follower间拓扑是有向条件下,网络就能跟踪leader的状态.对于第一种算法,节点根 据相邻节点或leader的状态来求解其控制输入,并基于代数Riccati不等式给出 连续情形下算法稳定性条件.第二种算法直接利用相邻节点或leader的状态,使followers在上述网络条件下跟踪leader的状态,同样基于代数Riccati不等式给出算法稳定性条件. 仿真结果验证了算法的有效性.     

基于软件的环境量化模型

在一些特殊领域中需要建立一定的实验环境对软件性能进行测试,因此实验环境与实际环境之间的近似程度对软件的性能起到关键作用。为建立环境之间的近似度量,在进程代数理论基础上,根据软件与环境的交互程度,利用拓扑度量和论域理论中的偏序关系,建立实验环境之间近似程度的量化模型。根据软件与环境之间的部分交互,建立实验环境之间近似程度的度量模型。通过实例对度量模型进行说明,并证明度量模型的代数性质。     

快速二维中值滤波算法及其FPGA硬件设计

针对数字图像噪声抑制过程中去噪性能要求较高、处理速度要求较快的问题,以常规中值滤波算法为基础,提出用归并插入排序算法来实现5×5快速中值滤波器的方案。通过对滤波窗口中行列像素点以及对角线上的像素点的归并插入排序,得到窗口的中值,在Xilinx的ISE10.0软件开发环境下成功完成该算法硬件设计。相比常规算法,该方案简单易行、运算速度快,能够满足实时性的要求,易在现场可编程门阵列（FPGA ）上实现,为实时性要求较高的图像去噪领域提供了可靠的技术支持。     

基于PEPA的云计算资源分配算法性能评价

资源分配是云计算的核心之一,对云计算资源分配算法的性能进行评价可为云计算平台设计提供指导.讨论了两种云计算资源分配算法,提出了一种基于PEPA的资源分配算法的性能评价模型,该模型通过建立云计算系统中各组件之间的交互关系进行形式化分析和推理,获得了云计算系统性能的评价指标.实验通过分析资源分配过程中不同参数变化对系统性能的影响,结果表明,PEPA模型方法可以直接评估资源分配算法性能的优劣,并能够确定算法性能提升的关键因素,从而减少云平台设计过程的周期.     

格蕴涵代数的软LI-理想

借助软集合,提出了格蕴涵代数的软LI-理想的概念,研究了软集运算下的一些诸如交、且等基本性质,并给出了格蕴涵代数的软LI-理想的一些等价刻画。此外,研究了格蕴涵代数的软LI-理想与格蕴涵代数的软格理想之间的关系。得到了格蕴涵代数的软LI-理想像与原像的性质。     

基于伸缩因子的代数曲线曲面变形方法

提出了一种基于伸缩因子的代数曲线曲面变形方法。首先构造了一种用于代数曲线曲面变形的伸缩因子,然后将所构造的伸缩因子分别作用于待变形的代数曲线与曲面,通过改变伸缩因子各参数的取值实现对代数曲线曲面的变形。实例表明,该方法操作方便,易于控制,可获得丰富的变形效果,是一种简单有效的代数曲线曲面变形方法。     

网构软件体系结构代数模型

由于网络化软件的规模和复杂程度的不断增加,设计可伸缩的软件体系结构,开发可演化的软件系统遇到了挑战.挑战之一是很难把软件模型与原系统说明区分开来,使得软件系统的可演化性受到限制.一个有效的途径是建立可范用软件体系结构的抽象模型,指导网构软件设计,从而提高软件模型的概括能力和可伸缩能力.本文提出一种网构软件体系结构代数模型,其中一个创新思想是把网构连接子解释成网构变量的运算.结合代数学方法和软件实现技术,定义了6种网构连接运算,所有运算是对连接子的代数抽象,因此软件体系结构的抽象表达能力得到了加强.为了展示提出代数模型的建模与分析辅助作用,介绍了一个基于代数模型的网构软件设计与演化的案例研究.     

组合测试研究进展

组合测试(Interaction Testing)是一种有效的测试用例生成技术,它假设被测系统中的缺陷往往由少数参数间的交互触发,所以可以使用较小规模的测试用例集(Test Suite)完成高质量的软件测试。对目前组合测试的已有工作予以研究,首先通过介绍常见的组合覆盖标准引入组合测试问题;然后总结目前常见的4种组合对象;之后依据生成策略的特征对现有的组合测试技术予以分类并简要介绍其中的典型方法;接着给出一套评价标准并对各个方法予以综合比较;最后总结并提出下一步的研究方向。     

软BCK代数

提出了软BCK代数的概念,研究了软BCK代数的并,交和乘积运算,讨论了这些运算的代数性质。