基于OBDD的Iteration-free CPDL判定算法

命题动态逻辑是一种应用模态逻辑,用于程序行为的推理.Iteration-free CPDL是一种无迭代算子而含有逆算子的命题动态逻辑.对于给定的Iteration-free CPDL公式集,方法是应用NCNF变换和FLAT规则对其进行预处理,并对公式集重构模型,然后将其转化为布尔函数,并利用OBDD来表示,从而调用已有...     

生物硅藻土-动态膜生物反应器处理微污染原水的研究

以硅藻土作为基材开发了一种新型给水处理技术——生物硅藻土-动态膜反应器,并对该工艺系统处理微污染原水的去除性能进行了小试研究.结果表明,在通量为40 L/(m2.h)的条件下,系统对浊度有较好的去除效果,且出水浊度均在1 NTU以下.本工艺对CODMn和UV254也有较好的去除效果,去除率分别达58.14%和45.8%,这主要是由于硅藻土吸附、微生物降解和动态膜的分离作用;同时,反应器对氨氮的去除率也较好,达到90%以上,这主要基于反应器内微生物的分解作用.     

动态人脸识别系统的设计与实现

介绍了动态人脸图像的识别问题,包括模块结构设计、系统结构设计和系统的实现等方面.首先,设计了图像采集模块,通过摄像头在VC++环境下实现动态图像的采集、捕捉、存储等功能.其次,对人脸检测与识别的实现过程和算法进行了详细的阐述.设计出的动态人脸识别系统时间复杂度比较低,占用较少的系统空间资源,实验结果具有很高的准确率.     

IPSec双中心动态多点VPN网络的设计与实现

高校在进行多校区一体化管理的时候,往往会因为过多的公网传输而使数据面临极大的安全威胁.针对这个问题,选择采用IPSec VPN来实现校区间的隧道加密传输,并结合学校实际提出了双中心站点动态多点VPN的设计方案,增加了网络冗余,提高了网络安全.     

动态环境下几个改进微粒群算法的性能比较

微粒群算法是一种模拟动物群体行为的随机优化算法,而且已经提出了许多改进策略,然而,受各种不确定因素的干扰,现实世界中很少有系统是静态的,因此动态优化问题的研究更具有实际的工程意义。为此,在动态环境下,用最近提出的两个改进微粒群算法同标准微粒群算法以及其他两个高性能的改进微粒群算法进行性能比较和分析。通过比较,本文得出在不同的动态环境下,不同的算法表现出了相异的特点。     

一种动态不确定环境下的机器人路径规划算法

为了提高机器人在动态不确定环境下的实时性和适应能力,提出了一种机器人实时路径规划新方法.采用环境信息处理算法,通过搜索实时局部环境信息特征信息的方式对环境信息进行分析和处理.该方法能够捕捉动态障碍物并对动态障碍物的运动规律进行预测,将特征信息及时更新给运动动作规划算法部分.运动动作规划算法是通过引入启发式思想选择双安全子目标点,完成规划运动动作并实现优化路径.在不同环境下进行仿真实验,检验了算法的有效性,证明算法在动态不确定环境下具有良好的实时性和适应性。     

复杂动态网络的牵制同步控制

研究了复杂动态网络的牵制同步控制。首先,阐述了一个新的动态网络,这个网络具有不同的节点结构,而且每个节点都是具有相同维数的动力系统。通过设计合适的控制器,此网络的状态将指数同步到一个稳定的状态。其次,给出了一些同步准则和一个例子去验证理论结果。MATLAB仿真结果表明,在整个网络被控制到平衡点时,在网络中随机地选择两个节点施加牵制控制,甚至仅对网络中度最大的那一个节点施加牵制控制,都能使网络的状态在很短的时间内达到同步。MATLAB仿真结果与理论分析相一致。     

Ф75mm分离式霍普金森压杆试件长度效应的试验研究

在Ф75mm的分离式霍普金森压杆(SHPB)试验系统上,对不同长径比的C30和C60混凝土试件,以不同的子弹速度对试件进行冲击加载,研究了大直径(Ф75mm)SHPB试验中混凝土试件的长度效应.实验结果表明:对于Ф75mm的大尺寸SHPB装置,当混凝土材料试件长度小于25mm时,摩擦效应对测试结果影响较大;当试件长度大于90mm时,反射拉伸作用明显,不能反映材料真实动态力学性能;当试件长度为(30～75mm),即长径比L/D≈(0.4～1.0),在此范围内实验结果是可信的,能够准确地反映材料的动态力学性能.     

一种基于动态阈值的镀铜表面缺陷检测算法

表面缺陷检测是机器视觉检测领域的一个主要问题,针对版滚镀铜表面缺陷的特点,提出一种动态阈值缺陷检测算法。该算法采用整体结合局部的灰度特征方法、利用缺陷表面与正常表面的差异对镀铜表面进行检测。实验结果表明,该算法能精确的检测出各类缺陷所在位置及其面积大小且速度较快,达到了在线检测的要求。     

CDA市场环境模型进化研究

研究连续双边拍卖(continuous double auction,CDA)市场,分析现有工作静态环境与现实世界CDA市场动态性要求的差异,提出一种符合市场需求的动态连续双边拍卖(dynamic continuous doubleaction,DCDA)市场模型.该模型可模拟价格上涨、下跌和振荡等波动行为.将经典智能报价算法GD模型和GDX模型应用于此环境中,分析其在动态CDA市场模型中的表现.结果表明,GD模型和GDX模型在DCDA中的市场效率低于两模型在静态市场中的市场效率.