对称逻辑公式在经典逻辑度量空间中的分布 被引量：19

1

作者 胡明娣 王国俊 《电子学报》 EI CAS CSCD 北大核心 2011年第2期419-423,共5页

将密码学中对称布尔函数的概念引入到计量逻辑学理论之中,定义了对称逻辑公式和准对称逻辑公式.指出二值逻辑公式与布尔函数既密切相关,又有重要区别.证明了n元对称公式占全体n元逻辑公式的比例随n的增大而趋向于零,然而全体对称公式的... 将密码学中对称布尔函数的概念引入到计量逻辑学理论之中,定义了对称逻辑公式和准对称逻辑公式.指出二值逻辑公式与布尔函数既密切相关,又有重要区别.证明了n元对称公式占全体n元逻辑公式的比例随n的增大而趋向于零,然而全体对称公式的真度之集却在[0,1]中稠密.最后从拓扑学的观点证明了全体对称公式之集在经典逻辑度量空间中无处稠密. 展开更多

关键词 对称逻辑公式 真度 稠密 经典逻辑度量空间 无处稠密

在线阅读 下载PDF 职称材料

经典逻辑度量空间上的反射变换 被引量：13

2

作者 胡明娣 王国俊 《陕西师范大学学报（自然科学版）》 CAS CSCD 北大核心 2009年第6期1-4,共4页

探讨了逻辑度量空间的结构,证明了在经典逻辑度量空间上存在一种反射变换φ,且φ保持逻辑等价关系不变,并且是同态映射;φ自然导出Lindenbaum代数上的一个反射变换φ*,φ*是Lindenbaum代数上的自同构变换,并且是等距变换.研究了φ*的不... 探讨了逻辑度量空间的结构,证明了在经典逻辑度量空间上存在一种反射变换φ,且φ保持逻辑等价关系不变,并且是同态映射;φ自然导出Lindenbaum代数上的一个反射变换φ*,φ*是Lindenbaum代数上的自同构变换,并且是等距变换.研究了φ*的不动点性态,得到了不动点的一般形式,即[A]∨φ*([A])或[A]∧φ*([A])(A∈F(S)).最后指出当n>2时,对于n值G del逻辑系统,相应的逻辑度量空间不具有上述性质. 展开更多

关键词 经典逻辑 LINDENBAUM代数 逻辑度量空间 反射变换 自同构 不动点 Gdeln值逻辑度量空间

在线阅读 下载PDF 职称材料

经典逻辑度量空间中的模2次范整线性空间结构 被引量：11

3

作者 胡明娣 王国俊 《电子学报》 EI CAS CSCD 北大核心 2011年第4期899-905,共7页

将次范整线性空间理论用于研究经典逻辑度量空间([F(S)],ρ).构造出了([F(S)],ρ)中的一类等距变换,证明了这类等距变换之集构成一个群;进而证明了经典逻辑度量空间([F(S)],ρ)相对于此结构构成带有模2加法性质的次范整线性空间,且此空... 将次范整线性空间理论用于研究经典逻辑度量空间([F(S)],ρ).构造出了([F(S)],ρ)中的一类等距变换,证明了这类等距变换之集构成一个群;进而证明了经典逻辑度量空间([F(S)],ρ)相对于此结构构成带有模2加法性质的次范整线性空间,且此空间同构于有限域F(2)上的线性赋范空间;建立了范数与逻辑公式的真度以及范数与逻辑度量空间中的度量ρ之间的关系. 展开更多

关键词 逻辑度量空间 平移群 次范整线性空间 真度 有限域F(2)上的线性赋范空间

在线阅读 下载PDF 职称材料

模糊模态逻辑中的永真式与准永真式 被引量：8

4

作者 胡明娣 王国俊 《电子学报》 EI CAS CSCD 北大核心 2009年第11期2484-2488,共5页

研究了模糊模态逻辑中的永真式与基本模态逻辑中的有效公式之间的关系.证明了永真式一定是逻辑有效公式,但反之不真;在模糊模态逻辑中,针对一类重要的二元关系、即连续型二元关系引入了准永真式的概念,研究了准永真式的基本性质,并结合... 研究了模糊模态逻辑中的永真式与基本模态逻辑中的有效公式之间的关系.证明了永真式一定是逻辑有效公式,但反之不真;在模糊模态逻辑中,针对一类重要的二元关系、即连续型二元关系引入了准永真式的概念,研究了准永真式的基本性质,并结合￡*系统构造出了一类永真式和准永真式. 展开更多

关键词 模糊模态逻辑 基本模态逻辑 永真式 有效公式 准永真式 模态逻辑系统M￡*

在线阅读 下载PDF 职称材料

基础R_0_代数的正规MP-滤子和布尔MP-滤子 被引量：8

5

作者 胡明娣 王国俊 《计算机工程与应用》 CSCD 北大核心 2007年第5期33-35,70,共4页

BR0-代数是MV-代数和R0-代数的共同基础,论文引入了BR0-代数的正规MP-滤子和布尔MP-滤子,讨论了他们之间的关系,给出它们的特征性质,并且给出了刻画正规BR0-代数的特征定理。

关键词 BR0_代数 正规BR0_代数 正规MP-滤子 布尔MP-滤子

在线阅读 下载PDF 职称材料

基于L^＊和Luk逻辑系统的反向三I算法的统一形式 被引量：2

6

作者 胡明娣 王国俊 《计算机工程与应用》 CSCD 北大核心 2008年第8期59-62,共4页

三I算法是模糊推理的FMP和FMT模型的有效的算法,反三I支持算法为设计模糊推理规则提出了一个新思路。讨论了基于L*和Luk逻辑系统的反向三I推理,并给出推理算法的统一形式。

关键词 Fuzzy推理 L^＊蕴涵算子 Luk蕴涵算子 三I算法 反三I算法

在线阅读 下载PDF 职称材料

经典逻辑度量空间中的边角关系 被引量：2

7

作者 胡明娣 楼志刚 《西北大学学报（自然科学版）》 CAS CSCD 北大核心 2011年第2期205-209,共5页

目的研究逻辑度量空间的内蕴结构,讨论其中三角形的结构及相关性质。方法利用计量逻辑学理论中建立的距离函数进行计算。结果首先证明了在经典逻辑度量空间([F(S)],ρ)中存在等边多边形,直角三角形等特殊图形。其次证明了不存在边长大... 目的研究逻辑度量空间的内蕴结构,讨论其中三角形的结构及相关性质。方法利用计量逻辑学理论中建立的距离函数进行计算。结果首先证明了在经典逻辑度量空间([F(S)],ρ)中存在等边多边形,直角三角形等特殊图形。其次证明了不存在边长大于或等于2/3的等边三角形,但存在边长可任意接近2/3的等边三角形。同时证明了Lindenbaum代数上的反射变换φ*和平移变换ηG保持等边三角形、直角三角形的边角关系不变。最后证明了在经典逻辑度量空间中三逻辑公式构成的三角形中,内角的余弦在[0,1]中稠密,即,它们的内角在[0,π2]上稠密分布。结论等边三角形的边长可任意接近2/3,但是逻辑度量空间中不存在边长大于或等于2/3的等边三角形。并且,Lindenbaum代数上的反射变换和平移变换保持等边三角形、直角三角形的边角关系不变。以上结论为进一步讨论和找寻经典逻辑度量空间中的基本结构奠定了基础。 展开更多

关键词 经典逻辑度量空间 等边三角形 LINDENBAUM代数 等距变换 内角

在线阅读 下载PDF 职称材料

NML代数的滤子及其结构

8

作者 胡明娣 《计算机工程与应用》 CSCD 北大核心 2008年第2期35-37,共3页

首先在NML代数上引入MP-滤子与素滤子的概念,进而讨论了滤子和素滤子的基本性质,最后在全体素滤子之集上建立了拓扑结构。

关键词 NML代数 MP-滤子 素滤子 拓扑空间

在线阅读 下载PDF 职称材料

对称逻辑度量次范整子空间及其性质

9

作者 楼志刚 刘宏昭 胡明娣 《计算机工程与应用》 CSCD 2013年第5期40-43,共4页

在经典逻辑度量空间中定义了加法和数乘运算,利用公式的距离引入了经典逻辑度量空间中的范数的概念,从而证明了经典逻辑度量空间作成线性次范整空间。引入了次范整线性子空间的概念。证明了n元逻辑公式之集中的对称逻辑公式子集构成了... 在经典逻辑度量空间中定义了加法和数乘运算,利用公式的距离引入了经典逻辑度量空间中的范数的概念,从而证明了经典逻辑度量空间作成线性次范整空间。引入了次范整线性子空间的概念。证明了n元逻辑公式之集中的对称逻辑公式子集构成了次范整线性子空间,并讨论了该子空间的简单性质。 展开更多

关键词 对称布尔函数 对称逻辑公式 次范整线性空间 真度 对称逻辑子空间 经典逻辑度量空间

在线阅读 下载PDF 职称材料

基于Vague集的异构网络垂直切换算法

10

作者 王静 胡明娣 《光通信研究》 北大核心 2017年第3期62-65,共4页

为了使第三代移动通信技术与无线局域网能够最有效地融合,提出了一种新的基于Vague集的多目标决策算法。首先对所提算法的唯一性进行证明,之后针对异构网络中的各个参数值,根据其特点利用不同的公式进行Vague化处理,并利用所提算法对这... 为了使第三代移动通信技术与无线局域网能够最有效地融合,提出了一种新的基于Vague集的多目标决策算法。首先对所提算法的唯一性进行证明,之后针对异构网络中的各个参数值,根据其特点利用不同的公式进行Vague化处理,并利用所提算法对这些处理过的数据进行计算和仿真,最后将仿真结果与传统的模糊集切换算法进行了比较。通过仿真结果的比较可以看出,在异构网络的切换融合中,所提算法更加智能化,同时能更加有效地减少乒乓效应。 展开更多

关键词 异构网络 切换 VAGUE集 乒乓效应

在线阅读 下载PDF 职称材料

分组mask引导的单幅图像去除雨滴 被引量：2

11

作者 胡明娣 宋尧 +1 位作者 郑甜 范九伦 《西北大学学报（自然科学版）》 CAS CSCD 北大核心 2022年第4期581-589,共9页

恢复被雨滴损毁图像是提高自动驾驶或视频监控等机器视觉在自然场景中识别性能的必要预处理任务。该任务的核心技术是对雨图中雨滴的定位和恢复被雨滴覆盖的背景信息。现有基于数据驱动的解决方案是基于雨滴定位采取固定阈值下硬掩码(ha... 恢复被雨滴损毁图像是提高自动驾驶或视频监控等机器视觉在自然场景中识别性能的必要预处理任务。该任务的核心技术是对雨图中雨滴的定位和恢复被雨滴覆盖的背景信息。现有基于数据驱动的解决方案是基于雨滴定位采取固定阈值下硬掩码(hard mask)或软掩码(soft mask)引导的深度神经网络去除雨滴。考虑到雨滴形状的多样性、对背景损毁程度的模糊性,该文提出基于分组函数的自适应阈值分割算法(称为分组掩码)引导的雨滴去除算法。首先,分组掩码根据雨滴大小的多样性和雨滴对背景模糊程度的不同自适应提取雨滴信息;然后,将雨滴损毁图像和分组掩码级联作为输入,用对抗损失训练生成对抗网络(GAN)去除雨滴,输出恢复的干净背景图。综合实验可见,文中提出的图像去雨滴算法比现有的算法更具有优越性。 展开更多

关键词 分组函数 分组mask 生成对抗网络(GAN) 雨滴去除

在线阅读 下载PDF 职称材料

反卷积YOLOv3算法及其在刑侦领域的应用 被引量：1

12

作者 胡明娣 许天倚 +1 位作者 张中茂 杨洁 《计算机应用与软件》 北大核心 2021年第8期199-205,共7页

针对YOLOv3在刑侦领域车辆目标检测中对远距离小目标检测效果较弱的问题,提出反卷积YOLOv3算法。对Darknet-53输出的小尺度特征图反卷积后与大尺度特征图进行特征融合,得到更多小目标的特征信息,用add代替concat进行特征融合从而增加描... 针对YOLOv3在刑侦领域车辆目标检测中对远距离小目标检测效果较弱的问题,提出反卷积YOLOv3算法。对Darknet-53输出的小尺度特征图反卷积后与大尺度特征图进行特征融合,得到更多小目标的特征信息,用add代替concat进行特征融合从而增加描述图像每维度信息量;利用K-means++对车辆目标数据集聚类分析后重设预设框;在公安部重点实验室现场勘验图片库中与YOLOv3、SSD、Faster RCNN算法进行对比实验。结果表明,相较上述三种算法其精确度分别提升3.72、6.53、3.98百分点,召回率分别提升4.92、8.29、5.82百分点。 展开更多

关键词 YOLOv3 刑侦领域 车辆目标检测 特征融合

在线阅读 下载PDF 职称材料

人型网络乳腺钼靶影像分类方法研究 被引量：1

13

作者 杨洁 胡明娣 +3 位作者 李立 翟晓红 许天倚 张中茂 《计算机工程与应用》 CSCD 北大核心 2020年第24期164-168,共5页

乳腺癌是女性最常见的恶性肿瘤之一,严重威胁患者健康,因此乳腺钼靶图像多分类对临床诊断乳腺癌具有十分重要的作用。传统卷积神经网络直接采用高级特征对乳腺钼靶图像进行多分类研究,此方法准确率不高。为了进一步提高分类准确率,构建... 乳腺癌是女性最常见的恶性肿瘤之一,严重威胁患者健康,因此乳腺钼靶图像多分类对临床诊断乳腺癌具有十分重要的作用。传统卷积神经网络直接采用高级特征对乳腺钼靶图像进行多分类研究,此方法准确率不高。为了进一步提高分类准确率,构建人型网络模型进行分类。此结构通过堆叠的卷积层以及最大池化层来进行图片的低级特征进行提取,通过堆叠的卷积层以及上池化层将特征逐步返回到图片形式的特征图,通过堆叠的卷积层以及最大池化层再次提取到更高级的特征并与之前的低级特征进行级联,将级联的特征经过全局最大池化层进行池化并得到最终分类。在中山大学肿瘤防治中心的1 824幅乳腺钼靶图像做仿真实验,实验结果表明,该方法的准确率达到了74.54%,优于现有相关网络模型。 展开更多

关键词 卷积神经网络 乳腺钼靶图像 低级特征 高级特征 特征融合

在线阅读 下载PDF 职称材料