基于群体一致性强度的模糊评估方法

需求质量已经成为确保软件项目成功的一个重要因素，对复杂软件系统的需求进行检查和验证，是需求工程中非常重要的工作。在基于领域本体的需求获取和分析等相关工作基础上，提出了一种基于本体和语义规则的需求一致性

论文摘要通过分支时序逻辑(CTL) 公式表示系统约束, 利用Petri 网的可达性分析技术来验证约束一致性是一种重要的、 切实可行的约束一致性验证方法。文章描述了一种由CTL 公式向Petri 网映射

一阶一致性(1) 连续时间系统一阶数学模型:(1) 一致性协议：(2) 判据：存在有向生成树共同状态：无向连通图或强连通平衡图时，实现平均一致性：

Matlab基于相位一致性原理的图像特征检测技术-基于相位一致性原理的图像特征检测技术.pdf 摘要：相位谱分析技术目前在图像纹理分析与边缘检测中正得到越来越多的应用．讨论了Fourier变 换

基于时空一致性的块合成视频去模糊，朱振峰，蒋双霜，针对视频的去运动模糊问题，提出了一种基于时空一致性的块合成方法。通过强化帧间运动的相关性，提高模糊函数估计模型的准确性，

提出一种多波长显微干涉光强一致性的控制方法。将光强可调的白光LED作为多波长光源,在显微干涉光路中加入光强探测器,将从不同滤光片出射光的光强实时反馈到STM32单片机中,通过PID(Proportio

用非正式的方式定义的特定领域建模语言(DSML)无法精确地表示其结构语义,因此无法系统地分析和验证模型的属性(例如一致性)。 作为回应,本文提出了一种自动推理DSML一致性的方法。 首先,我们建立基于

首先提出了一致性测试的形式化方法的总体架构;然后分析了Mosbus协议形式化方法,给出了Modbus的FSM模型;接着分析了Modbus形式化测试生成方法,并采用U方法生成测试序列;最后设计并实现了一

针对轴向预载随结构的热变形改变而导致光机系统特性失效的设计难点,提出了一种光机结构轴向一致性可控方法。建立光机结构的热效应模型,分析热变形与轴向预载的关系,通过与传统轴向压紧结构的热分析比较,设计了一

PCIE1.01.12.0数据一致性分析方法，一部描述很详细的资料，公司内部参考文献，开发FPGA调试的好教材。