一类控制量非负的新型脉冲随机控制模型

提出并研究了一类新型的脉冲随机控制模型,其状态结构由关于半鞅的线性随机微分方程所确定,其控制费用函数为关于控制前状态与控制量的二元函数且其控制量保持非负.首先建立了一类新型的变分方程并证明了其解的存在性.通过对变分方程的解函数进行一系列随机分析处理,证明了最佳控制的存在性且对其结构进行了深入分析.此外,由于本文模型与以往文献中的随机控制模型有着重大差异,因而在分析手法上与以往文献相比颇多差异之处.可以预期,本文不仅在随机控制的研究中将具有重要的理论意义,而且在金融控制及证券管理方面也将有着广泛的应用价值.     

VMStore: Distributed storage system for multiple virtual machines

Desktop virtualization is a very hot concept in both industry and academic communities. Since virtualized desktop system is based on multiple virtual machines (VM), it is necessary to design a distributed storage system to manage the VM images. In this paper, we design a distributed storage system, VMStore, by taking into account three important characteristics: high performance VM snapshot, booting optimization from multiple images and redundancy removal of images data. We adopt a direct index structure of...     

多光谱图像Clifford拟微分算子及应用

采用Clifford代数理论处理多光谱图像不同于传统代数的处理方法,其可有效利用光谱层之间的联系信息.本文通过分析Clifford微分,提出了多光谱图像的Clifford拟微分算子,丰富了多光谱图像处理的Clifford代数理论体系.在边缘识别仿真实验中,与最大熵法相比较,本文提出的以Clifford拟微分算子理论为核心的边缘检测算法识别模糊边界能力更强.在医学CT影像辅助诊断边缘检测实验中,新算法能有效凸显病灶,提高了诊疗准确性和诊断效率.     

基于粒子群优化的多用户MIMO下行链路调度算法

将多用户MIMO下行链路调度问题描述为一优化问题,并引入粒子群优化(particle swarm optimization,PSO)算法进行求解.针对容量和复杂度有不同要求的应用场合,给出了两类采用不同目标函数PSO调度算法:基于容量PSO(C-PSO)调度算法和基于特征值下界PSO(LBE-PSO)调度算法.C-PSO算法目标是获得接近最优容量的性能;而LBE-PSO算法旨在有效降低算法复杂度的同时尽可能获得高的容量增益.进一步,从粒子和速度两方面对PSO算法的收敛性进行分析并得出收敛条件,然后通过不同参数值的实例对其进行验证.仿真结果表明,C-PSO算法能够以较低的复杂度获得接近穷搜索算法的容量,而LBE-PSO调度算法则提供了一种能够在容量和复杂度之间很好折中的调度方案.     

Efficient random saliency map detection

Most image retargeting algorithms rely heavily on valid saliency map detection to proceed. However, the inefficiency of high quality saliency map detection severely restricts the application of these image retargeting methods. In this paper, we propose a random algorithm for efficient context-aware saliency map detection. Our method is a multiple level saliency map detection algorithm that integrates multiple level coarse saliency maps into the resulting saliency map and selectively updates unreliable regio...     

Enhancing encoding capacity of combinational test stimulus decompressors

While scan-based compression is widely utilized in order to alleviate the test time and data volume problems,the overall compression level is dictated not only by the chain to channel ratio but also the ratio of encodable patterns.Aggressively increasing the number of scan chains in an effort to raise the compression levels may reduce the ratio of encodable patterns,degrading the overall compression level.In this paper,we present various methods to improve the ratio of encodable patterns.These methods are b...     

Zero-knowledge proofs of retrievability

Proof of retrievability (POR) is a technique for ensuring the integrity of data in outsourced storage services.In this paper,we address the construction of POR protocol on the standard model of interactive proof systems.We propose the first interactive POR scheme to prevent the fraudulence of prover and the leakage of verified data.We also give full proofs of soundness and zero-knowledge properties by constructing a polynomial-time rewindable knowledge extractor under the computational Diffie-Hellman assump...     

基于递阶综合评价模型的电力用户能效评估系统

针对电力用户能效评估,建立了基于递阶综合评价方法的能效评估系统,该系统将能效评估过程分解为三个层次,分别为基于G1群组判断的一级指标评估、基于熵权法的二级指标评估以及最终的综合评估,充分结合主客观评价信息,克服传统单一赋权法局限性,因而能有效地运用到电力用户能效评估的日常工作中。     

基于多通道高精度温度检测系统的设计

恒温箱的工作环境对仪器的功能的实现具有重要的影响,多通道高精度温度检测系统是恒温箱控制的前端数据采集部分。本文介绍了一套针对精密仪器工作所需的环境特点设计的多通道(8路温度)高精度温度测量系统,该系统能对仪器工作环境进行测试分析,并能将测量结果通过RS232C传递给PC机,以便整个系统的准确控制。     

光学遥感器薄膜加热片阻值计算及应用

论述了航天用薄膜加热器的工作原理,推导和总结了同一加热区内三种不同串、并联关系的薄膜加热片单位面积阻值的通用计算公式。最后通过实例验证了该公式的正确性。对于具有复杂加热区的空间光学遥感器,依据该公式可以方便快捷地设计出各种串、并联关系的薄膜加热器。