A Maximum Principle via Malliavin calculus for combined stochastic control and impulse control of forward‐backward systems

We consider a combined stochastic control and impulse control problem of forward‐backward systems driven by Lévy processes, where both the system coefficients and the objective performance functional are allowed to be random, non‐Markovian; the information available to the controller is partial information. Applying a Malliavin calculus approach, we derive a maximum principle for this control problem, where the adjoint processes are explicitly represented by the parameters and the states of the system. Finally, we give two examples of applications. © 2015 Chinese Automatic Control Society and Wiley Publishing Asia Pty Ltd     

基于改进Rank变换和分段MER的镜片疵病检测算法

为了解决目前光学镜片表面疵病宽度测量主要依赖人工检测而导致弯曲划痕宽度检测精度较低的问题,提出一种基于Rank变换和分段最小外接矩形(MER)的镜片表面划痕宽度测量方法.该方法首先通过改进的Rank变换算法比较像素灰度相对关系来提取疵病目标,然后计算其最小外接矩形,根据矩形长宽比初步判别疵病类型(划痕或麻点),最后将疵病分割为多个小区段,分别计算每段的最小外接矩形并获得其宽度,比较取最大宽度作为疵病宽度值.试验结果表明,该方法具有较高的可行性与精确性,能够有效提取出疵病和计算其特征参数,可以满足工程实际的需要.     

基于逆向概率密度函数的一维污染源排放重构

应用逆向概率密度函数进行一维对流扩散方程污染释放过程重构,给出了采用逆向概率与传统优化过程的流程图和主要区别。采用逆向概率密度函数进行污染源重构,其微分方程求解次数等于观测数据量,有效地降低了数值计算量。应用逆向概率密度函数结合优化算法针对一维对流扩散方程中正态波式和矩形波式的污染源排放过程重构的仿真结果显示:对于1～2个污染物正态函数波释放过程,采用一到两个监测点即可准确得辨识出主要参数;3个正态函数波释放过程,采用3个监测点,辨识结果仍有一定误差,可能与模型的非线性特征或释放过程波的相互干扰有关。矩形波释放过程,采用三个监测能准确辨识出所有参数。     

垂直螺旋管道内单颗粒悬浮运动的试验

采用高速摄影方法拍摄记录垂直矩形螺旋管道内单颗粒的悬浮运动,采用捕捉试验中颗粒运动轨迹的方法,获得其运动参数,并分析颗粒受力的规律。试验结果表明:旋转水流的角速度对颗粒运动有较大的影响;颗粒在运动过程中主要是受有效重力、阻力和旋转科氏力的作用;在一定条件下,颗粒所受的旋转科氏力与离心力满足抛物线的关系,旋转科氏力比离心力大2～3个数量级;在小尺度低速度旋转流中,颗粒所受的旋转科氏力所占比例较大,在受力分析中不应被忽略。     

具有向后无关性的本地验证撤销群签名方案

用户撤销是群签名中的一个重要问题,本地验证撤销(VLR)是一种有效的解决方法.2004年CCS的Boneh-Shacham方案是签名长度很短的VLR方案,但它不具有向后无关性(BU).此后BU-VLR群签名方案被提出来,效率却弱于Boneh-Shacham方案.基于弱DTDH假设和q-SDH假设,首先提出一种BU-VLR群签名方案,具有较短的签名长度和较低的运算量.其次为了减少公布在撤销列表上的数据,给出扩展方案.最后用构造签名的方法,改进2007年IEICE中Nakanishi-Funabiki方案,使得到的签名长度更短,运算量保持不变.     

一种改进的数据求精证明规则

提出一种改进的数据求精规则,并用关系模式进行描述。引入全局状态来描述程序所有可能的输入和输出,允许非平凡的初始化,允许前向模拟和后向模拟,能应用于消除具体模型的不确定性晚于消除抽象模型的不确定性的情况。并用实例说明了在Isabelle定理证明器中规则的应用方法。     

几种基于特殊媒介的无线传输技术

随着科技的发展和应用需求的推动,基于特殊媒介的无线传输技术不断涌现。对国外几种典型的基于特殊媒介的无线传输技术的基本机理、主要特点及国外发展情况进行了介绍,其中海面蒸发波导通信可显著降低微波超枫五巨传播损耗;基于电离层加热的沿场散射通信能够显著改善HF／VHF／UHF超视距通信性能;水声通信是一种极有前途的对潜通信手段;中微子通信具有钻地入海的直线通信能力。各项技术利用其独特的信道特性提供了优于常规通信的传输性能,对未来通信发展具有重要意义。     

数字式大气波导测试仪设计

由于常规大气结构探测设备的误差较大,根据开口微波谐振腔的谐振频率随流过腔内介质不同而变化的原理,设计了一种数字式大气波导测试仪。实验证明：大气波导测试仪能够探测出气象仪器所无法获得的精细大气波导结构,具有精度高、响应速度快等特点。该仪器可为舰船雷达、通信系统实现超视距传播奠定基础。     

基于矢量传感器的海洋声场观测潜标系统

以三维矢量传感器为核心,构建海洋矢量声场观测潜标系统。潜标由定深锚固定,工作于指定海深,可完成海洋矢量声场信息的观测与存储。矢量传感器输出的矢量声信号,经前置预处理后采样,并以文件分配表（FAT）32文件格式存储于潜标微型快擦写存储卡（CF）中;矢量传感器水下姿态由潜标中三维地磁姿态仪实时给出。潜标集成USB传输模块,回收后可通过USB串口完成数据上传PC机。海试结果表明：潜标系统可正确记录海洋矢量声场信息,且可稳定水下工作90d以上。     

基于CIC抽取滤波器的谐波分析算法

为消除非同步采样引起的频谱泄漏,提高电网信号的谐波分析精度,提出了基于级联积分梳状(CIC)抽取滤波器的谐波分析算法。在前端AD过采样的情况下,该算法采用逆向搜索的方法实现非同步采样数据的整周期截断,用基于CIC抽取滤波器变频的方法实现信号采样频率与信号基波频率同步,通过快速傅立叶变换(FFT)得到信号频谱,计算基波及各次谐波的幅值和相位。仿真实验结果及误差分析表明,相对于常规的分析方法,该算法具有较高的测量精度。该算法对于非稳态周期信号的谐波分析只需单周期采样,简单易实现,是一种有效的测量方法。