The proof system, based on resolution method, has become quite popular in automatic theorem proving, because this method is simple to implement. At present many kinds of extensions for resolution method are known: Re...The proof system, based on resolution method, has become quite popular in automatic theorem proving, because this method is simple to implement. At present many kinds of extensions for resolution method are known: Resolution with restricted number of variables in disjuncts, resolution over Linear Equations, Cutting planes, etc. For Classical, Intuitionistic and Minimal (Johansson's) propositional logics, the authors introduce the family of resolution systems with full substitution rule (SRC, SRI and SRM) and with e-restricted substitution rule (SeRC, SeRf and SeRM), where the number of substituted formula connectives is bounded by . The authors show that for each of mentioned logic the SR-type system (in tree form) is polynomially equivalent to Frege systems by size, but for every ~' 〉 0, Se+lR-type has exponential speed-up over the SeR-type (in tree form).展开更多
Both HIV and COVID-19 infections show that the centuries-old scientifically established epidemiological rules are still valid today, but they have to be applied in time and in a correct manner. Furthermore, when incom...Both HIV and COVID-19 infections show that the centuries-old scientifically established epidemiological rules are still valid today, but they have to be applied in time and in a correct manner. Furthermore, when incompetent funded “rights defenders” or political organizations referring to human rights have spread lies and have spoken against the experts-created epidemiological rules as well as the acceptance of vaccination, they have not only cheated everybody but they could also be accused by the crime of endangering of great mass of people which action can cause occasionally death also! It has to be also stated that the interests and rights of the total population are always over that of a single person and also realized that all pathogens live their own life among us according to their determinacy independently from our rights and interests!展开更多
当前较多的图像伪造检测算法直接将未经优化的图像特征提取结果用于篡改检测,忽略了伪图像特征的影响,导致其不能较为准确地检测伪造内容。对此,本研究提出了一种优化因子耦合比值制约规则的方法,用于检测伪造图像。首先,引入高斯差分(D...当前较多的图像伪造检测算法直接将未经优化的图像特征提取结果用于篡改检测,忽略了伪图像特征的影响,导致其不能较为准确地检测伪造内容。对此,本研究提出了一种优化因子耦合比值制约规则的方法,用于检测伪造图像。首先,引入高斯差分(Difference of Gaussian,DoG)算子,通过比较像素点与其邻域点像素值的方法来提取图像特征。再利用DoG算子的二次Taylor展开式,构造优化因子,从提取的图像特征中筛选出不稳定的伪特征,以提高伪造内容的检测准确度。随后,在图像特征点的极坐标系中,建立特征点的8邻域区,用以计算特征向量。然后,通过特征向量求取特征点间的欧式距离信息,以及通过归一化互相关(Normalizedcrosscorrelation,NCC)函数求取特征点间的互相关信息,从而完成图像特征的匹配。最后,借助特征点间欧氏距离信息构造比值制约规则,对匹配特征点进行归类,以识别篡改内容。实验结果表明,较当前图像篡改检测方法而言,在各种几何变换操作下,本研究提出的算法具有更高的检测精度与鲁棒性,能够较为完整地检测出篡改内容。展开更多
文摘The proof system, based on resolution method, has become quite popular in automatic theorem proving, because this method is simple to implement. At present many kinds of extensions for resolution method are known: Resolution with restricted number of variables in disjuncts, resolution over Linear Equations, Cutting planes, etc. For Classical, Intuitionistic and Minimal (Johansson's) propositional logics, the authors introduce the family of resolution systems with full substitution rule (SRC, SRI and SRM) and with e-restricted substitution rule (SeRC, SeRf and SeRM), where the number of substituted formula connectives is bounded by . The authors show that for each of mentioned logic the SR-type system (in tree form) is polynomially equivalent to Frege systems by size, but for every ~' 〉 0, Se+lR-type has exponential speed-up over the SeR-type (in tree form).
文摘Both HIV and COVID-19 infections show that the centuries-old scientifically established epidemiological rules are still valid today, but they have to be applied in time and in a correct manner. Furthermore, when incompetent funded “rights defenders” or political organizations referring to human rights have spread lies and have spoken against the experts-created epidemiological rules as well as the acceptance of vaccination, they have not only cheated everybody but they could also be accused by the crime of endangering of great mass of people which action can cause occasionally death also! It has to be also stated that the interests and rights of the total population are always over that of a single person and also realized that all pathogens live their own life among us according to their determinacy independently from our rights and interests!
文摘当前较多的图像伪造检测算法直接将未经优化的图像特征提取结果用于篡改检测,忽略了伪图像特征的影响,导致其不能较为准确地检测伪造内容。对此,本研究提出了一种优化因子耦合比值制约规则的方法,用于检测伪造图像。首先,引入高斯差分(Difference of Gaussian,DoG)算子,通过比较像素点与其邻域点像素值的方法来提取图像特征。再利用DoG算子的二次Taylor展开式,构造优化因子,从提取的图像特征中筛选出不稳定的伪特征,以提高伪造内容的检测准确度。随后,在图像特征点的极坐标系中,建立特征点的8邻域区,用以计算特征向量。然后,通过特征向量求取特征点间的欧式距离信息,以及通过归一化互相关(Normalizedcrosscorrelation,NCC)函数求取特征点间的互相关信息,从而完成图像特征的匹配。最后,借助特征点间欧氏距离信息构造比值制约规则,对匹配特征点进行归类,以识别篡改内容。实验结果表明,较当前图像篡改检测方法而言,在各种几何变换操作下,本研究提出的算法具有更高的检测精度与鲁棒性,能够较为完整地检测出篡改内容。