1) model-checking algorithm
模型检验算法
1.
This paper presents a model-checking algorithm for verifying the properties of concurrent systems using proposition linear temporal logic (PLTL) based on Manna-Pnueli framework as formal language to specify concurrent systems; describing the properties by PLTL temporal formula.
采用Manna和Pnueli提出的命题线性时态逻辑PLTL作为并发系统的形式化规约语言,用PLTL公式描述系统的性质,给出并发系统性质验证的一种模型检验算法。
2) check algorithm
检验算法
1.
Using the check algorithms of the short cycles to find the combinations of shifting operators by which the parity check matrix desires has no girth- four and no gir.
首先设计3个不同的子矩阵,每个子矩阵通过对单位矩阵进行不同的移位运算后组合生成,然后将这3个子矩阵组合生成所需要的低密度校验矩阵,最后利用文中提到的短环检验算法搜索出使得生成的校验矩阵四环数、六环数均为零的移位算子。
3) test algonrithm
算法检验
4) test algorithm
检验算法
1.
According to the geometry of measuring face and the theory of tolerance zone,the test algorithm named tolerance circle was put forward to enhance the abil.
针对齿轮曲面倒角加工设备调整参数计算算法所存在的问题,分别从算法的精确性、集成性和实用性三个方面对其进行了改进:对曲面倒角数学模型的建模机理进行了分析研究,从而推导出模型的修正方程以降低求解难度,提高计算效率和精度;根据倒角检测剖面的空间几何关系及公差带的相关理论,提出了公差圆检验算法,改善了算法的集成性;在对加工设备各种信息定义的基础上,根据计算图形学理论,提出设备调整实现的具体流程和方案,最终得到设备状态转换矩阵,增强了算法的完整性。
6) model checking
模型检验
1.
Application of model checking technology to automatically vulnerabilities finding in software;
模型检验技术在软件漏洞自动挖掘中的应用
2.
Using model checking to generate test cases for class testing;
一种基于模型检验的类测试用例生成方法
3.
Method of model checking based on linear weighted generalized list;
基于线性带权值的广义表的模型检验方法
补充资料：模型算法控制
分子式：
CAS号：
性质：预测控制算法的一种。采用基于脉冲响应的非参数模型作为内部模型，用过去和未来的输入输出信息，根据内部模型，预测系统未来的输出状态，经过用模型输出误差进行反馈校正，再与设定值的输入轨迹进行比较，应用二次型性能指标进行滚动优化，然后，再计算当前时刻应加于系统的控制动作，完成整个控制循环。
CAS号：
性质：预测控制算法的一种。采用基于脉冲响应的非参数模型作为内部模型，用过去和未来的输入输出信息，根据内部模型，预测系统未来的输出状态，经过用模型输出误差进行反馈校正，再与设定值的输入轨迹进行比较，应用二次型性能指标进行滚动优化，然后，再计算当前时刻应加于系统的控制动作，完成整个控制循环。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条