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

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

基于开关电流的Morlet小波变换研究

开关电流技术是一种新型的电流模式的模拟取样数据信号处理技术,对于实现小波变换具有很大的优势.Morlet小波在时域和频域都具有较好的局部性,能够提取信号中的幅值和相位信息.用开关电流技术实现Morlet小波变换的关键是高斯函数发生器.用Padé遥近获得高斯函数的有理分式逼近后,可以用开关电流一阶节和二阶节来实现高斯函数...     

基于系统动力学的配电网规划评价

电网规划评价方法大都侧重于电网的静态分析,对电网发展的趋势及动态特性并未进行分析,使得评价结果有一定的局限性.鉴于系统动力学在缺少数据的情况下仍具有较强的定量分析能力,应用系统动力学中因果反馈的原理,提出一种基于系统动力学的配电网动态分析评估体系与模型,通过选取适当的技术经济指标进行动态模拟,分析得到电网规划方案的评价...     

装甲车噪声源诊断

文章通过实验及其信号处理得到了各轮子的声力传递函数。根据这些测量与分析结论可以定量比较装甲车四种轮子受到同样大小的力激励时,其振动和声辐射通过各传递环节而对车内声场的综合贡献大小。以便在降低装甲车车内噪声时,确定哪种轮子是应该着重考虑采取降噪措施的对象,为装甲车降噪措施的合理化研究提供一定的科学依据。     

背包公钥密码体制的数学理论研究

对背包公钥密码体制的数学理论进行了研究,给出了背包单射加密函数的一个充分必要条件,以及获得单射加密函数的方法,并给出了背包公钥密码体制中的3个数学结论。     

原子尺寸因素对块体非晶形成能力的影响

块体非晶的研究无论在理论上还是在应用上都有重要意义,而非晶形成能力是决定非晶制备的关键因素之一.通过研究原子尺寸分布对非晶形成能力的影响,计算了原子尺寸差函数与合金非晶形成能力间的关系,系统地分析了其机理,并对其合理性进行了验证.结果表明,原子尺寸差函数可以估计合金体系的非晶形成能力.相同合金体系中,非晶形成能力与基元素的原子百分含量存在线性关系.     

基于SVM不同核函数的多源遥感影像分类研究

选取同地区同时相的多光谱和高光谱影像,在实验样本和验证样本相同的情况下,采用SVM分类算法中4种不同的核函数,对2种影像进行分类实验.结果表明,对于多光谱影像,RBF核函数分类精度最高,Sigmoid最低;对于高光谱影像,Linear核函数分类精度最高,Sigmoid最低;对于同地区相同分辨率的遥感图像,在分类条件相同的情况下,多光谱影像的分类精度和高光谱的分类精度相近.     

一类广义水平线性互补问题解的结构及其误差界

文中借助Fischer函数将水平线性互补问题（HLCP）等价转化为一个方程系统,并讨论（HLCP）的解的结构及其误差界．     

基于OpenCV的匀速模糊图像复原与算法分析

对水平匀速直线运动造成的模糊图像进行频谱分析,估计出模糊距离,进而求得图像的点扩散函数。采用维纳滤波法和投影复原法复原图像,分析这2种算法对模糊距离的鲁棒性。采用OpenCV与MFC函数库作为软件设计基础,实现的软件系统对匀速模糊图像的复原效果比较理想。     

多支持向量机的乳腺肿瘤识别

针对乳腺肿块具有大小不固定和个体差异等特性,提出了一种多支持向量机对乳腺肿块的识别方法.选择八个方向上的支持向量生成分类器,选取高斯核函数作为核函数,其中取σ=30时分割正确率达到97.3%.表明多支持向量机应用于乳腺肿块识别可以获得较好的识别效果,为进一步的医学诊断提供可靠的依据.