搜索到458篇“ 偏序关系“的相关文章
一种基于偏序关系的通用并发缺陷检测方法及系统
本发明提出一种基于偏序关系的通用并发缺陷检测方法及系统,属于软件测试技术领域和软件可靠性领域,可以将多种并发缺陷经过转化得到待测序列,进而进行检测,本发明不局限于某一种特定的并发缺陷,能够检测数据竞争、死锁、原子性违背等...
蔡彦云昊
基于偏序关系的路由源信息冲突判定方法及装置
本申请提出一种基于偏序关系的路由源信息冲突判定方法及装置,涉及互联网通信技术领域,其中,方法包括:监测网络冲突事件,并确定冲突事件相关的路由方;获取所述路由方的授权信息并确定授权关系;根据所述路由方的冲突信息生成仲裁事件...
姜盛林徐恪李琦李琪
基于偏序关系的路由源信息冲突判定方法及装置
本申请提出一种基于偏序关系的路由源信息冲突判定方法及装置,涉及互联网通信技术领域,其中,方法包括:监测网络冲突事件,并确定冲突事件相关的路由方;获取所述路由方的授权信息并确定授权关系;根据所述路由方的冲突信息生成仲裁事件...
姜盛林徐恪李琦李琪
基于矩阵偏序关系的形态学算子
2023年
已有形态偏序由于忽略了图像像素的局部相关性导致运算结果产生噪声叠加、拓扑失真等问题,本文在矩阵Frobenius范数的基础上定义了一种新的偏序关系,从理论上证明了该序满足的自反性、传递性和反对称性.在此基础上,本文提出了基于新序的形态学膨胀、腐蚀算子和相关的梯度运算算子.为验证新序和算子的有效性,与已有的算法进行对比实验,结果表明,新序和相应的算子在保证颜色分量相关性的同时,利用矩阵运算保证了像素的局部相关性,在抑制噪声和边缘保持方面均优于现有的算法.同时,通过结果对比和理论分析发现,新的形态算子对结构元素尺寸的包容性强,克服了形态算子在应用时难以选择合适结构元素大小的问题.这种新序是多通道图像处理的基础,可以扩宽形态学理论的应用范围.
王娜王俊平朱俊辉
关键词:数学形态学偏序关系噪声抑制拓扑保持
基于偏序关系确定特殊元素的标记方法
2023年
直接根据离散数学教材中特殊元素的定义来判断偏序关系的特殊元素容易混淆。本文采用可视化的标记方法,不仅可以简便地求取特殊元素,还可以形象化地理解哈斯图以及特殊元素的求解方法。
李晓阳
关键词:偏序关系哈斯图标记法离散数学
基于对比学习的表达式偏序关系建模
2023年
数学公式解题任务要求模型根据数学问题生成表达式用于解答。该任务的主流方法是将目标表达式当作文本序列来生成。然而,这一设定导致模型忽略了表达式树作为树形结构所带有的偏序关系,如交换律、分配律等。这不仅降低了模型对表达式生成的学习效率,也减弱了模型的泛化能力。为解决这一问题,该文提出一种基于对比学习的表达式偏序关系建模方法。该方法的核心做法是在模型训练时,对表达式树做微调扰动,产生和原有表达式等价和不等价的正样本和负样本,并通过对比学习最小化原式和等价式子之间的距离,且最大化与不等价负样本式子之间的距离。在公开数据集Math23K和MAWPS上的对比实验表明,该文方法相对于基线模型具有显著性能提升。
胡星武桂韬张奇陈运文高翔
关键词:偏序关系
一种前后列车偏序关系确认方法、设备及存储介质
本发明涉及一种前后列车偏序关系确认方法、设备及存储介质,该方法根据列车运行任务的排序以及列车运行方向,在轨旁资源管理系统实时确认前后列车运行的偏序关系,从而实现与列车运行任务顺序的校验,确保与运行计划要求的列车运行任务匹...
潘亮汪小勇陈绍文凌小雀胡荣华刘磊
基于偏序关系的随机占优多属性Hasse图分析
2023年
随机多属性决策能够有效刻画指标赋值的不确定性,与此同时模型计算的复杂度明显增加。由于方案在指标上的取值为随机变量,任意指标上的方案比较实质为偏序关系而非全序关系的比较。在随机占优关系偏序表达的基础上,得到每个指标对应的Hasse图,之后根据属性权重顺序得到综合Hasse图,进而完成方案的比较与排序。结果表明:随机占优多属性决策结果对应偏序集的Hasse图。Hasse图表达的结果直观且稳健程度高。若能得到方案在各指标上的偏序关系,无需具体数据,便可实现方案的比较,拓展了传统方法的应用范围。实例分析展示了该方法的操作要点和独特之处。
闫艳姚利微
关键词:多属性决策偏序关系
BDI计划执行中的偏序关系的学习方法、介质和设备
本发明涉及BDI计划执行中的偏序关系的学习方法、介质和设备,方法将传统智能体与学习结合,将计划中的步骤及偏序关系转化为决策树,用树形结构表示出计划步骤执行顺序的所有可能,通过学习得到计划中步骤执行的最优顺序,将计划对应决...
宋程程姚远产思贤刘晓莹郑可琛刘一帆
兼容控制流变化的基于偏序关系的通用并发缺陷检测方法及系统
本发明提出一种兼容控制流变化的基于偏序关系的通用并发缺陷检测方法及系统,包括:提出独创概念不动点事件、等价序列和后缀边界;对待测目标程序进行插桩并收集原始执行序列;根据执行序列中记录的静态信息和目标程序计算不动点事件和后...
祝世豪蔡彦

相关作者

邵勇
作品数:34被引量:58H指数:5
供职机构:西北大学
研究主题:半环 同余 乘法半群 半格 逆半群
朱怡安
作品数:263被引量:385H指数:8
供职机构:西北工业大学
研究主题:嵌入式系统 多核 嵌入式 并行计算机 WEB服务
赵素平
作品数:12被引量:0H指数:0
供职机构:西北工业大学
研究主题:关节运动 空间机器人 偏序关系 运动学方程 多任务
康立山
作品数:178被引量:1,639H指数:22
供职机构:武汉大学计算机学院软件工程国家重点实验室
研究主题:遗传算法 演化算法 多目标优化 遗传程序设计 收敛性
王礼萍
作品数:30被引量:27H指数:4
供职机构:哈尔滨学院理学院
研究主题:对称核 闭包 命题公式 代数化 偏序关系