胡明娣

作品数：31被引量：84H指数：7
导出分析报告
供职机构：西安邮电大学更多>>
发文主题：逻辑度量空间真度单幅图像高等代数代数更多>>
发文领域：理学自动化与计算机技术文化科学电子电信更多>>
发文期刊：《山东大学学报（理学版）》《计算机工程与应用》《电子学报》《周口师范学院学报》更多>>
所获基金：国家自然科学基金陕西省教育厅科研计划项目西安市科技计划项目陕西省国际科技合作计划更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
单幅图像去雨数据集和深度学习算法的联合评估与展望被引量：5
《中国图象图形学报》2022年第5期1359-1391,共33页胡明娣 吴怡 宋尧 杨静冰 张瑞芳 王红 孟德宇 
国家自然科学基金项目(62071378);陕西省国际科技合作计划项目(2022KW-04);西安市科技局计划项目(21XJZZ0072)。
雨天会影响室外图像捕捉的质量,进而引起户外视觉任务性能下降。基于深度学习的单幅图像去雨研究因算法性能优越而引起了大家的关注,并且聚焦点集中在数据集的质量、图像去雨方法、单幅图像去雨后续高层任务的研究和性能评价指标等方面...
关键词：单幅图像去雨 深度神经网络 雨图数据集 雨图合成 模型数据双驱动 后续高层任务 性能评价指标 
基于Vague集的异构网络垂直切换算法
《光通信研究》2017年第3期62-65,共4页王静 胡明娣 
国家自然科学基金资助项目(61502386);陕西省教育厅资助项目(2013JK1074)
为了使第三代移动通信技术与无线局域网能够最有效地融合,提出了一种新的基于Vague集的多目标决策算法。首先对所提算法的唯一性进行证明,之后针对异构网络中的各个参数值,根据其特点利用不同的公式进行Vague化处理,并利用所提算法对这...
关键词：异构网络 切换 VAGUE集 乒乓效应 
基于乘积蕴涵算子相似度量的异构网络垂直切换被引量：1
《西安邮电大学学报》2017年第3期6-12,共7页胡明娣 王静 谭明明 
国家自然科学基金资助项目(61502386);陕西省教育厅科学研究计划资助项目(2013JK1074)
为了使无线异构网络有效融合,给出一种基于乘积蕴涵算子R_π的Vague集相似度量算法H_W(x,y),将其表示式应用于多属性判决方法之中,从而得出一种基于H_W(x,y)的垂直切换算法。将所得算法应用到LTE和WLAN组成的无线异构网络模型中,仿真可...
关键词：异构网络 相似度量 切换 VAGUE集 
基于Vague集的异构网络垂直切换算法被引量：3
《西安邮电大学学报》2016年第6期83-87,共5页胡明娣 谭明明 
国家自然科学基金资助项目(61502386);陕西省教育厅科学研究计划资助项目(2013JK1074)
给出一种基于Vague集的异构网络垂直切换算法,在模糊化时将参数映射到Vague集上,并构造新的计分函数使其更为智能化。仿真结果表明,所给算法可减少不必要切换的频率,减小乒乓效应的不利影响。
关键词：VAGUE集 异构网络 垂直切换 
对称逻辑度量次范整子空间及其性质
《计算机工程与应用》2013年第5期40-43,共4页楼志刚 刘宏昭 胡明娣 
陕西省基金项目(No.102-00X903)
在经典逻辑度量空间中定义了加法和数乘运算,利用公式的距离引入了经典逻辑度量空间中的范数的概念,从而证明了经典逻辑度量空间作成线性次范整空间。引入了次范整线性子空间的概念。证明了n元逻辑公式之集中的对称逻辑公式子集构成了...
关键词：对称布尔函数 对称逻辑公式 次范整线性空间 真度 对称逻辑子空间 经典逻辑度量空间 
平衡逻辑公式在逻辑度量空间中的分布
《模糊系统与数学》2013年第1期55-62,共8页胡明娣 
国家自然科学基金重点资助项目(11171200);陕西省科技厅国际合作重点项目(2012KW-03-01)
引入了平衡逻辑公式的概念,证明了和一个平衡逻辑公式等价的逻辑公式是平衡逻辑公式。并且n元平衡逻辑公式中等价类关于→,∨,∧,→运算封闭,等价类之集[A](A是n元平衡逻辑公式)关于包含序在∨,∧下构成一个格。证明了n元平衡逻辑公式...
关键词：平衡布尔函数 平衡逻辑公式 逻辑度量空间 真度 逻辑等价 
经典逻辑度量空间中的边角关系被引量：2
《西北大学学报（自然科学版）》2011年第2期205-209,共5页胡明娣 楼志刚 
国家自然科学基金资助项目(10771129);陕西师范大学研究生培养创新基金资助项目(2009CXB006)
目的研究逻辑度量空间的内蕴结构,讨论其中三角形的结构及相关性质。方法利用计量逻辑学理论中建立的距离函数进行计算。结果首先证明了在经典逻辑度量空间([F(S)],ρ)中存在等边多边形,直角三角形等特殊图形。其次证明了不存在边长大...
关键词：经典逻辑度量空间 等边三角形 LINDENBAUM代数 等距变换 内角 
经典逻辑度量空间中的模2次范整线性空间结构被引量：11
《电子学报》2011年第4期899-905,共7页胡明娣 王国俊 
国家自然科学基金(No.10771129);陕西师范大学研究生培养创新基金(No.2009CXB006)
将次范整线性空间理论用于研究经典逻辑度量空间([F(S)],ρ).构造出了([F(S)],ρ)中的一类等距变换,证明了这类等距变换之集构成一个群;进而证明了经典逻辑度量空间([F(S)],ρ)相对于此结构构成带有模2加法性质的次范整线性空间,且此空...
关键词：逻辑度量空间 平移群 次范整线性空间 真度 有限域F(2)上的线性赋范空间 
对称逻辑公式在经典逻辑度量空间中的分布被引量：19
《电子学报》2011年第2期419-423,共5页胡明娣 王国俊 
国家自然科学基金(No.10771129);陕西师范大学研究生培养创新基金(No.2009CXB006)
将密码学中对称布尔函数的概念引入到计量逻辑学理论之中,定义了对称逻辑公式和准对称逻辑公式.指出二值逻辑公式与布尔函数既密切相关,又有重要区别.证明了n元对称公式占全体n元逻辑公式的比例随n的增大而趋向于零,然而全体对称公式的...
关键词：对称逻辑公式 真度 稠密 经典逻辑度量空间 无处稠密 
L3^＊系统中逻辑度量空间的拓扑性质被引量：2
《山东大学学报（理学版）》2010年第6期86-90,共5页胡明娣 折延宏 王敏 
国家自然科学基金资助项目(10771129);陕西师范大学研究生培养创新基金(2009CXB006)
研究了L3*系统中逻辑度量空间的拓扑性质,证明了逻辑度量空间(F(S),ρ3)是不完备、非紧致零维空间,该空间具有一种类似于樊畿性质的所谓"有限等球连通性"。
关键词：L3^＊系统 逻辑度量空间 不完备 非紧致空间 零维空间 
全选清除导出
共4页<1234>
检索报告 对象比较 聚类工具 使用帮助 返回顶部