情况下-一流百科

信源编码定理

简介在信息论中，信源编码定理（或无噪声编码定理）确定了可能的数据压缩的限制，以及香农熵的操作意义。源编码定理以克劳德·香农命名，它表明（在极限情况下...

词条百科

发生检查

简介在计算机科学中，发生检查是句法统一算法的一部分。如果S包含V，它将导致一个变量V和一个结构S的统一失败。在定理证明中的应用在定理证明中，没有发生检...

词条百科

泊松小波

泊松小波在数学中，在函数分析中，几个不同的小波被称为泊松小波。在一种情况下，泊松小波一词被用来表示一个由正整数集合标记的小波家族，其成员与泊松概率...

词条百科

后置条件

什么是后置条件在计算机编程中，后置条件是一个条件或谓词，它必须在代码的某些部分执行后或在正式规范的操作后始终为真。后置条件有时在代码本身中使用断言...

词条百科

边缘双功能化

边缘双功能化边缘双功能化是指涉及两个相邻中心（最常见的是碳）的转变的化学反应。在α,β-不饱和的羰基化合物中，这种转化可以通过亲核体对β位的共轭加成，然...

词条百科

碳二亚胺

碳二亚胺在有机化学中，碳二亚胺（系统的IUPAC名称：Methanediimine）是一个官能团，公式为RN=C=NR。它们是完全合成的。一个众所周知的碳二亚胺是二环己基碳...

词条百科

棉纺机械

棉纺机械棉纺机械是指机哪个进程（或旋）制备的棉粗纱成可行的纱或线。这种机器可以追溯到几个世纪以前。在18世纪和19世纪，作为工业xxx的一部分，人们开发了...

词条百科

招股说明书

招股说明书招股说明书，是一个描述披露文件金融安全的潜在买家。它通常为投资者提供有关共同基金、股票、债券和其他投资的重要信息，例如公司业务描述、财务...

词条百科