Local Poisson SPH For Viscous Incompressible Fluids

Enforcing fluid incompressibility is one of the time‐consuming aspects in SPH. In this paper, we present a local Poisson SPH (LPSPH) method to solve incompressibility for particle based fluid simulation. Considering the pressure Poisson equation, we first convert it into an integral form, and then apply a discretization to convert the continuous integral equation to a discretized summation over all the particles in the local pressure integration domain determined by the local geometry. To control the approximation error, we further integrate our local pressure solver into the predictive‐corrective framework to avoid the computational cost of solving a pressure Poisson equation globally. Our method can effectively eliminate the large density deviations mainly caused by the solid boundary treatment and free surface topological change, and show advantage of a higher convergence rate over the predictive‐corrective incompressible SPH (PCISPH).     

广义左,右线性递归规则组改写

本文从左，右线性递归规则组的定义出发，提出了广义左，右线性递归规则组的定义，放宽了左，右线性递归规则组寻规则形式的限制，扩展了Ｕｌｌｍａｎ提出的左，右线性递归规则组改写方法的适用范围。本文证明了由广义左，右线性递归规则组向左，右线性规则组转换的相容性，并给出了具体的转换算法。     

一个无线定位应用开发框架

目前无线定位应用程序存在结构不统一、无法兼容多种定位设备的问题。应用开发框架对应用程序中的共性部分进行抽象,可以提高软件复用,缩短开发周期。设计了一个无线定位应用开发框架,支持多种定位设备数据的融合,实现了业务逻辑与底层定位平台的隔离,标准化了无线定位应用程序的体系结构。同时,给出了该框架的一个应用实例,介绍了其中的关键技术,验证了该框架的有效性和实用性。     

低成本航空侦察视频压缩系统研究

设计了一种无人机视频压缩与传输系统;采用TMS320C2812进行系统控制,通过集成图像传感器OV7620完成图像信号的采集和数字化处理,以ADV612芯片对采集图像进行小波变换;经过CPLD和DSP完成变换域数据的压缩和转换发送;图像的无线传输使用甚高频数字电台;地面站解码后,送入上位计算机进行图像处理;系统时间延迟较小,实时性较强,基本满足工程实际需要;对SPHIT算法中的零树结构进行改进,给出最小零树结构一种简单可行的划分策略,通过Matlab仿真实验对两种算法进行对比,结果表明改进措施有效。     

Robust minimum class variance twin support vector machine classifier

The recently proposed twin support vector machine (TWSVM) obtains much faster training speed and comparable performance than classical support vector machine. However, it only considers the empirical risk minimization principle, which leads to poor generalization for real-world applications. In this paper, we formulate a robust minimum class variance twin support vector machine (RMCV-TWSVM). RMCV-TWSVM effectively overcomes the shortcoming in TWSVM by introducing a pair of uncertain class variance matrices in its objective functions. As a special case, we present a special type of the uncertain class variance matrices by combining the empirical positive and negative class variance matrices. Computational results on several synthetic as well as benchmark datasets indicate the significant advantages of proposed classifier in both computational time and test accuracy.     

一个标识子系统的设计与实现

特征造型的关键是合理地确定新旧模型拓扑元素之间的对应关系，文中提出一个基于特征的标识子系统，使得产品模型中每个拓扑元素都对应一个唯一的标识，标识匹配算法可以建立新旧模型拓扑元素之间的对应关系，标识子系统是作者开发的特征造型系统GDS的重要线成部分，为特征编辑、语义操作，二三维约束统一求解等奠定了基础。     

互信息医学图像配准研究与局部极值的克服

研究了基于互信息的三维医学图像配准,并克服了的局部极值问题。改进了互信息和归一化互信息的公式,减小了计算量：对Powell算法的方向替换策略进行矫正,最大限度地保持原搜索方向;采用预谩旋转量的方法有效解决了插值赝像局部极值问题。采用背景阚值策略,减小了互信息的计算区域,应用形态学方法,去除了PET图像的背景伪迹,使用了多分辨率策略,有效地提高了配准的速度。实验表明,用谊改进的算法进行三雏医学图像配准可以达到亚像素精度,且在速度上有了明显的提高。     

公平非否认协议的有限状态分析

本文针对公平非否认协议给出了一种基于有限状态自动机的分析模型,并使用SPIN模型检测工具,对Zhou-Gollmann非否认协议进行了分析,结果发现该协议不满足公平性和机密性．为此对该协议进行了改进。     

基于FPGA的多相数字基带转换器设计与实现

介绍了深空测控系统中数字基带转换器的原理及作用.在研究△DOR对航天器跟踪测轨原理的基础上,根据其信号频谱特征选择围绕多相信道化滤波器组来设计数字基带转换器.算法实现过程中,利用实信号谱以π为周期互为镜像的特点解决了接收信道存在盲区的问题.硬件实现前在Matlab环境下对算法进行验证.仿真正确后利用DSP Builde...