1) 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个子矩阵组合生成所需要的低密度校验矩阵,最后利用文中提到的短环检验算法搜索出使得生成的校验矩阵四环数、六环数均为零的移位算子。
2) 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.
针对齿轮曲面倒角加工设备调整参数计算算法所存在的问题,分别从算法的精确性、集成性和实用性三个方面对其进行了改进:对曲面倒角数学模型的建模机理进行了分析研究,从而推导出模型的修正方程以降低求解难度,提高计算效率和精度;根据倒角检测剖面的空间几何关系及公差带的相关理论,提出了公差圆检验算法,改善了算法的集成性;在对加工设备各种信息定义的基础上,根据计算图形学理论,提出设备调整实现的具体流程和方案,最终得到设备状态转换矩阵,增强了算法的完整性。
3) test algonrithm
算法检验
4) T-test algorithm
t检验算法
5) test theorem and algorithm
检验定理与算法
6) 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公式描述系统的性质,给出并发系统性质验证的一种模型检验算法。
补充资料:验收抽样检验和监督抽样检验标准
验收抽样检验和监督抽样检验标准
standards for acceptance sampling and audit sampling inspection
扣nshou ehoUVa叩Jianyan he iiandu eh以JYang iianyanbi0Ozhun验收抽样检验和监督抽样检验标准(stands记sfor accepteLnce sampling and audit saznpling Ins侧沈-tion)有关抽样检验的中华人民共和国国家标准至1卯8年已达20个。其中验收抽样检验标准有巧个,它们是:①《逐批检查计数抽样程序及抽样表》(GBIT2828一1987),②《周期检查计数抽样程序及抽样表》(G田T282乡一1987),③《不合格品率的计量抽样检查程序及抽样表》(GBIT6378一1986),④《计数序贯抽样检查程序及表》(GBZT8()5l一1987),⑤《单水平和多水平计数连续抽样检查程序及表》(CBIT 5052一1987),⑥《不合格率的计量标准型一次抽样检查程序及表》(GBIT 8()53一1987),⑦《平均值的计量标准型一次抽样检验程序及抽样表》(GBIT 8()54一1卯5),⑧《不合格品率的计数标准型一次抽样检查程序及抽样表》(GB/T13262一1991),⑨《跳批计数抽样检查程序》(GWT13263一1卯1),⑩《不合格品率的小批计数抽样检查程序及抽样表》(GB/T 13么抖一I卯I),⑧《抽样检查导则》(G田T13393一1卯2),⑩《挑选型计数抽样检查程序及抽样表》(GBIT13夕场一l卯2),O《粒度均匀散料抽样检验通则》(G脚T 13732一l卯2),。(孤立批计数抽样检验程序及抽样表》(GBIT 1523乡一l更抖),0《计量截尾序贯抽样检验程序及抽样表》(GBIT l63()7一l型拓)。 监督抽样检验标准有5个,它们是:①《产品质量监督计数抽样程序及抽样表》(GBIT 14162一1卯3),②《产品质量平均值的计量一次监督抽样检验程序及抽样表》(GB/T 14灾盯一l臾抖),③《产品质量监督小总体计数一次抽样检验程序及抽样表)(CBITI,侣2一1卯5),④《产品质量监督复查程序及抽样方案》(GBIT163C盼一1性尧刹玉),⑤《产品质量监督计数一次抽样检验程序及抽样方案》(eBzTI科37一l期)。 在上述的抽样检验标准中,较有代表性的抽样检验标准是GBIT2828、GB/T132以、GBIT6378、GBlT8()54,月41,、侧,J
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条