球对称n维反应扩散方程的边界观测与输出反馈控制

许多实际系统可用n 维超球坐标系来描述, 并且系统有球对称的性质, 因而可通过研究半径方向的状态变化, 得到系统的全局动态过程. 通过将高维的对称系统转化为等价的径向一维方程, 本文采用边界Backstepping 方法设计了球对称反应扩散方程的输出反馈控制器. 使用容易测量的边界状态值, 设计了状态观测器来估计系统在空间域的所有状态, 从而实现输出反馈控制. 本文扩展了连续Backstepping 方法,提出了n维球坐标的Volterra 积分映射, 从而求出了显式表达的控制器和状态观测器. 论文用Lyapunov 函数法证明了输出反馈系统在H1范数下指数稳定, 表明状态对初值的连续依赖, 确保控制系统具有较好的性质, 不会在空间某点发散. 最后进行了数值仿真, 仿真结果表明系统在输出反馈控制律的作用下收敛到稳态值.     

Protection of quantum correlations against decoherence

The protection of different quantum correlations, such as Bell nonlocality, quantum discord, and geometric quantum discord as trace distance against noise, is explored. By weak measurement and quantum measurement reversal, we show that the mentioned quantum correlations can be effectively preserved probabilistically from the decoherence due to amplitude damping. The results will play an important role in the experiments using the quantum correlations as resource.     

网络安全态势感知系统关键技术分析

本文将在对于网络安全态势感知系统的基本结构组成分析的基础上,通过对于Netflow流量统计技术的介绍,进行基于Netflow的网络安全态势感知系统中关键技术的分析论述。     

Robust image hashing using non-uniform sampling in discrete Fourier domain

This paper proposes a robust image hashing method in discrete Fourier domain that can be applied in such fields as image authentication and retrieval. In the pre-processing stage, image resizing and total variation based filtering are first used to regularize the input image. Then the secondary image is obtained by the rotation projection, and the robust frequency feature is extracted from the secondary image after discrete Fourier transform. More sampling points are chosen from the low- and middle-frequency component to represent the salient content of the image effectively, which is achieved by the non-uniform sampling. Finally, the intermediate sampling feature vectors are scrambled and quantized to produce the resulting binary hash securely. The security of the method depends entirely on the secret key. Experiments are conducted to show that the present method has satisfactory robustness against perceptual content-preserving manipulations and has also very low probability for collision of the hashes of distinct images.     

Multipartite electronic entanglement purification using quantum-dot spin and microcavity system

This paper presents an entanglement purification protocol of multipartite electronic spin entangled state resorting to quantum-dot (QD) spin and micro cavity coupled system. The QD and microcavity coupling system is used to construct parity check detectors which provides a novel experimental platform of quantum information processing with photon and solid qubit. In this proposed protocol, the mixed multi-electron entangled state ensemble can be purified efficiently.     

软土地基海堤工程质量评定问题的思考

软土地基上的海堤工程施工加载后沉降量大、历程长,为保证堤顶高程达到设计标准必须的预留量,导致外观形状和位置相对设计断面产生了偏差;因地基沉降的不确定性及相关规范不配套,施工质量检验与评定工作不标准、不规范,使得海堤的施工质量控制以及质量检验与评定方法不统一。针对土石方为主体结构（不包括爆炸置换）的软基海堤工程质量评定存在的问题进行了分析和思考。     

经营成本变化对大庄电站经济效益的影响

我国水电蕴藏量居世界首位。近年来水电事业发展迅速,中小型水电项目的经济效益是投资者最为关注的内容,是影响投资者决策的首要因素。本文根据大庄水电站实际年运行费与设计阶段的经营成本对比,分析了经营成本变化的原因以及对项目经济效益的影响。分析结果显示,项目FIRR低于原设计标准,但高于新的财务基准收益率,项目连续亏损尚有其他原因,应做进一步分析。同时提出对经营成本与营业成本两个概念进行理论研究的建议。     

基于B/S架构的组件式PACS系统设计

传统的PACS系统(医学影像存档与传输系统)几乎全都是采用C/S架构,该设计模式对软件发布后系统的部署、升级、维护都造成了极大的困难,而对于PACS这一类客户需求灵活多变的特殊软件系统,矛盾显得更为突出.针对该问题提出了一套完整的基于B/S架构的PACS系统解决方案,然后简要地分析了系统的各个功能模块,在此基础之上结合国内PACS的发展现状,又介绍了一种组件式PACS系统的设计方法,将这两者结合运用将给PACS系统的开发带来极大的方便.     

T400工艺板在飞剪电控系统改造中的应用

本文在起停式飞剪的电控系统改造中,采用基于T400工艺模块的分级分布式计算机控制系统,建立了控制系统的数学模型,并针对该控制系统进行了MATLAB仿真。仿真结果表明,该控制系统设计合理,调节系统的动、静态特性较好。     

一种轻量级RFID安全协议

在分析了几种现有的典型RFID安全协议的特点和缺陷的基础上,提出了一种轻量级的RFID安全协议,该协议将一次性密码本与询问一应答机制相结合,实现了安全高效的读取访问控制,最后建立该协议的理想化模型,利用BAN逻辑对该协议进行了形式化分析,在理论上证明其安全性.