国家科技期刊平台

相关度

相关度
发表时间

每页显示10条

每页显示10条
每页显示20条
每页显示30条

已找到 9 条结果

基于Kripke的状态保留模型修复算法
作者：戴敏潘海玉
发表期刊：桂林电子科技大学学报 2024年6期
关键词：模型检验模型修复可达状态计算树逻辑Kripke结构
摘要：针对模型验证中受到广泛关注的模型修复问题,在极小模型修复的基础上保留原模型中尽可能多的可达状态,并给出了具有多项式时间复杂度的修复算法.模型经过检验后,若被判定存在违反给定性质的行为,则可以借助经典模型检验的不动点思想,找出模型中的验证失败路径,从而进行修复.此外,由于全局模型修复已被证明是NP问题,将修复算法的范围约束在CTL的一个子集内进行讨论.根据极小修复思想,选取对原模型中状态影响最小的修复操作,同时在经典模型检测的基础上,结…查看全部>>
基于Moldflow技术的汽车前保吸能块模流分析与优化北大核心CSTPCD
作者：朱晓东
发表期刊：塑料科技 2018年2期
关键词：汽车前保吸能块产品设计模型修复模流分析预变形优化
摘要：以某款汽车前保吸能块为例,从产品设计、模型修复、模流分析、预变形优化等方面进行了CAD/CAM一体化设计,大大优化并缩短了模具研发周期,为产品的顺利成型提供良好的技术保障,为相关产品的设计及优化提供借鉴.
基于子组行为关系的过程模型修复
作者：李丽方贤文
发表期刊：牡丹江师范学院学报（自然科学版） 2022年1期
关键词：模型修复行为关系子组块结构
摘要：提出基于子组行为关系的模型修复方法.依据必要事件保序对日志进行过滤,将日志与模型分解成子组日志和模型子块;基于最优对齐提取子组日志中不拟合的子日志,分析子日志活动间行为关系;对于增加、删除的行为关系,在子块中插入、删除活动及相应的弧和库所;对于发生变化行为关系,在子块中改变相应的弧以支撑新行为.
基于Petri网的并发事件流程模型修复分析北大核心CSCDCSTPCD
作者：杨慧慧方贤文邵叱风
发表期刊：计算机工程与科学 2021年10期
关键词：Petri网模型修复对齐块结构并发事件
摘要：目前,流程模型可以从大量的事件日志中挖掘出来,以重放大多数的日志.但是,少数偏离流程模型的日志亦是有效的,为了使事件日志与流程模型更加拟合,模型修复是一个很好的方法.提出了基于Petri网的并发事件流程模型修复分析方法.首先,找到事件日志与流程模型的最优对齐,筛选出用于修复的并发事件;其次,利用提出的重构子流程的修复方法,对筛选得到的并发事件进行重构;最后,根据算法嵌入到原始模型中以实现模型修复,并通过一个具体实例说明了该方法的合理有…查看全部>>
模糊Kripke结构的子模型修复算法
作者：王辉石铁柱钱俊彦潘海玉
发表期刊：郑州大学学报（理学版） 2023年1期
关键词：模型检测计算树逻辑模糊逻辑模型修复
摘要：在模糊模型检测时,如果模糊Kripke结构不满足性质规约,模型检测工具会给出模型中违反性质规约的反例,这往往需要设计人员手工修复,会导致效率低下,因此如何对模糊Kripke结构进行自动修复具有极大的研究意义.由此,提出一个基于模糊tableaux方法的子模型修复算法,从而将经典的模型修复算法提升到模糊系统中,使得模糊Kripke结构能够自动修复.通过一个医疗诊断的例子来阐述该算法在实际中的价值.
面向云制造平台的模型修复算法及任务调度算法的研究北大核心CSCDCSTPCD
作者：李天群童晶黄思钰朱红强范瑶瑶
发表期刊：计算机应用研究 2018年8期
关键词：3D打印云制造平台模型修复任务调度
摘要：随着三维打印技术的发展,面向3D打印服务的云制造平台也得到快速发展,改变着传统的制造模式.然而目前的云制造平台面临着诸多问题,针对目前存在的模型修复难度高及任务不能合理调度的问题,提出了保特征的模型修复算法和基于遗传算法的任务调度算法,并通过实验和仿真验证了算法的有效性.为了更好地体现算法效果,搭建了一个基于分布式制造的云制造平台,该平台配合模型自动修复算法以及基于遗传算法的任务调度算法,为用户提供低门槛、高效、优质的3D打印服务.
基于偏差约减的大数据交易模型分析与修复方法北大核心CSCDCSTPCD
作者：郭艺叶剑张鹏
发表期刊：电子学报 2018年7期
关键词：大数据交易模型修复模型评估偏差约减
摘要：大数据交易是促进数据流通和提升数据价值的关键环节.实现大数据交易的过程优化对于构建高效和鲁棒的交易平台至关重要.大数据交易是典型的复杂过程模型,传统的模型修复方法无法有效发现和约减流程执行与流程规则之间存在的偏差.本文提出了一种基于偏差约减的大数据交易模型修复方法,通过过程模型的可达标识图发现事件日志与模型之间的偏差关系,对事件日志与模型之间偏差进行约减,实现基于有效偏差的模型修复.该方法应用于天元大数据网大数据平台,通过与基于模型校…查看全部>>
形状约束的样本填充式三维模型修复北大核心CSCDCSTPCD
作者：
发表期刊：光学精密工程 2018年11期
关键词：模型修复模型轮廓模型相似度形状约束非刚性变换
摘要：为解决不完整三维模型修复过程中孔洞形状不规则、现有方法曲面配准精度不高的问题,提出一种能够有效保持孔洞边界过渡自然并恢复模型表面细节特征的模型修复方法.首先,追踪所有1-邻域边和1-邻域三角形数量不相等的点来探测模型的孔洞边界.设计一种基于二维网格数量的算法确定不完整模型的匹配候选集,同时根据双稀疏表示的三角网格顶点位置误差、边平滑误差和正交约束来预测最优匹配模型;然后,结合边界顶点的曲率、边界轮廓线折角的余弦值及相邻边界点的线段长度…查看全部>>
模糊计算树逻辑的模型检测修复算法
作者：毛兆东钱俊彦蔡泳
发表期刊：桂林电子科技大学学报 2020年5期
关键词：模糊逻辑模型检测计算树逻辑模型修复
摘要：为了解决基于模糊逻辑的模型检测修复问题,提出了模糊计算树逻辑模型检测的模型修复算法.该算法采用原子修复操作来修复模糊Kripke结构,通过模糊Kripke结构之间的距离比较原始的模糊Kripke结构和修复后的模糊Kripke结构,并从多个修复后的模糊Kripke结构中,选出满足给定模糊计算树逻辑的α-极小的修复模型作为算法的最终返回结果.研究结果表明,模糊计算树逻辑中的命题逻辑以及?X的修复问题能够在多项式时间内得到解决.