基于本体的电力系统异构数据查询机制

随着电力企业信息化进程的不断推进,大量信息管理系统被应用于各种业务中,造成这些系统间存在异构数据,难以共享,甚至还存在各种语义冲突,影响数据的挖掘和分析.为此,提出了一种利用本体技术对电力企业内部的异构数据源进行融合的综合查询机制,可以有效解决电力企业内部数据源的语法和语义异构问题,把来自于各部门的多个数据源进行整合,为数据分析系统提供统一的数据查询接口.实验表明,该机制能够有效消解异构数据源之间的语义冲突,为数据集成提供基础.     

基于Logistic和Baker映射的视频加密方法

为保证网络信息传输的安全性,提出一种视频图像加密方法.该方法引入混沌系统中的Logistic映射和Baker映射,结合H.264视频压缩编码特点,利用Baker映射对DCT(Discrete Cosine Transform)变换量化后的块进行位置置乱,改变空间像素的位置;利用Logistic映射产生的伪随机序列生成密码序列,对块矩阵像素的数值进行改变;在熵编码完成后,利用Logistic映射产生的伪随机序列,对0,1二进制串进行漂移的流加密.该算法的计算复杂度低,具有良好的安全性和实时性,对编码压缩性能影响较小.     

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的收缩等性质．