Quantale中的L-模糊滤子及其相关性质

基于完备格L,在Quantale中引入了L-模糊滤子的概念,并研究了L-模糊滤子的基本性质.在L是闭集格的条件下,得到了Quantale中的L-模糊滤子的等价刻画;在L是空间式Frame且Q是幂等左半可换Quantale的条件下,证明了LQ上的生成滤子映射是Quantale核映射,进而全体L-模糊滤子构成的Quantale FilL(Q)是LQ的幂等的商Quantale;在Quantale中定义了L-模糊滤子拓扑,并得到了Quantale同态关于相应的L-模糊滤子拓扑连续的结论.     

片上网络异构多核系统任务调度与映射

针对传统任务模型包含有效信息少,任务调度算法效率低、效果差的问题,设计了新的任务模型,提出了一种改进的粒子群算法(optimized particle swarm optimization,oPSO)。新模型增加了对任务类型及任务间迁移成本、计算单元类型及其运行成本等特性的描述。通过分析任务调度问题的需求,制定了oPSO算法的编解码方案,设定了算法各个关键部分参数及计算方法,并解决了粒子群算法(PSO)在任务调度前期收敛速度过快、后期易陷入局部最优的问题。在不同任务规模下分别对遗传算法(GA)、PSO以及oPSO算法进行调度仿真对比,当IP核数目为100左右时,oPSO算法较GA算法和PSO算法运行时间至少缩短10%,系统功耗至少降低15%,实验结果表明:oPSO算法调度效果明显优于其他算法,且各节点上功耗更为均衡,适用于解决任务调度问题。     

一种基于身份的代理盲签名

代理签名与盲签名都是非常有用的密码学工具,在实际生活中有着广泛的应用。在代理签名中,原始签名人能将数字签名的权力委托给代理签名人;而在盲签名方案中,被签消息的内容对签名者是不可见的,签名被接受者得到后,签名者不能追踪签名。文中结合两者的优点,利用基于椭圆曲线上的Weil配对(Weil Pairing)的双线性映射,在基于身份的数字签名的基础上,构造了一个基于ID的代理盲签名方案,并对其安全性进行了简要分析。     

统一混沌系统在电力系统中的应用

电力系统中的许多问题都可以转化为非线性方程组的求解问题，牛顿迭代法是重要的一维及多维的迭代技术，其迭代本身对初始点非常敏感。文中研究了统一混沌系统的特性．运用Matlab 7．0软件计算了最大Lyapunov指数。以统一混沌模型产生牛顿迭代的初始点．提出了基于统一混沌的牛顿迭代法求解非线性方程组的新方法。电力系统求解实例表明该方法的正确性与有效性。     

集值向量优化的Benson真有效性

研究了一类广义锥次似凸集值映射向量优化问题,在此广义凸性的假设下,得到了该问题的标量化和鞍点与Benson真有效性之间的一些性质.     

一种基于模拟退火的LUT结构FPGA工艺映射算法

SoPC中提供给FPGA IP核的有限面积使面积优化成为工艺映射的关键目标之一．减少实现电路功能的可编程逻辑单元数可以有效地减小所需芯片面积,还能降低对布线资源的需求．利用模拟退火算法从全局范围对LUT结构FPGA的工艺映射过程进行考虑,针对减少所用LUT数目的目标得出映射结果,实验结果表明用该算法可以快速地得出非常优化的结果．     

集值优化局部Henig有效解的最优性条件

引进集值映射的Henig有效次微分的概念,并用它得到了集值向量优化问题局部Henig有效解在支撑函数和Lagrange乘子形式下的最优性必要条件.     

Scott连续自映射不动点集的性质研究

主要研究了一些连续domain上Scott连续自映射的不动点集的性质．证明了若L是双有限domain,f：L→L是一致交换映射,则Fix（f）是双有限domain;提出了连续cpo上不动点集的一个例子;并证明了若L是有界完备domain,f：L→L是稳定映射且max（L）CFix（f）,则Fix（f）是L的收缩等性质．     

交互式平行坐标多维电磁态势可视分析

针对传统分析手段难以满足综合快速感知多维战场电磁态势的需求,提出三维战场空间与交互式平行坐标联动表现的可视分析方法：改进平行坐标的交互式查询方法;提取战场电磁态势要素,将其定量映射到平行坐标中进行多维展现;通过平行坐标与三维场景联动,从不同角度对电磁态势进行可视分析;引入时间维展现电磁态势的动态变化趋势。实验表明,交互式平行坐标多维电磁态势可视分析方法能有效加快电磁态势感知过程,适合于复杂电磁环境下指挥作战应用。     

一种基于复合混沌映射的单向Hash函数构造

基于二维Logistic映射和分段线性混沌映射,提出了一种新的Hash函数构造方法.该方法用二维Logistic映射的输出作为分段线性映射的分段参数P,再用带有参数P的分段线性混沌映射构造单向散列函数,最后对算法进行了理论分析和一系列的仿真实验.结果表明该算法所构造的单向散列函数可以满足随机性和抗碰撞性等各项性能指标要求,在数字签名和系统认证方面有着广阔的应用前景.