共查询到18条相似文献，搜索用时 62 毫秒
1.
结合组合解释和Vandermonde卷积公式,研究关于两类二项式系数的多重和式计算问题,所得结果包含Butler(2010)的新近结论作为特例. 相似文献
2.
从一个多重和多的计算公式出发,指出了凡一个组合数均可表述成一个多重和的形式,文中对多重和式进行了推广,给邮了用矩阵运算表示的递推公式,并指出了它在组合数学,数论,概率论,高等数学等学科中的应用。 相似文献
3.
本文通过无穷级数的部分和序列引进多重连和算符的概念,将它施于某些无穷数列得到相应的计算公式,并且获得了一些较复杂的组合恒等式,它们是许多常用组合公式的推广。 相似文献
4.
Rao和Subbarao用复杂的初等方法给出了一个三重级数的变换公式,本文利用组合数学方法,结合Bell多项式及Stirling数,给出了一类基于Riemann-Zeta函数的多重级数变换公式的简短证明.利用该变换公式,不仅可以得到Rao和Subbarao等人的经典结论作为特例,而且给出了一些新的结果. 相似文献
5.
6.
7.
一类增强的代理多重签名体制 总被引：3，自引：0，他引：3
在代理多重签名体制中，多个原始签名人可以分别将签名权力委托给各自的代理签名人，再由这些代理签名人联合生成一个代表所有原始签名人的数字签名．文中对现有的这种代理多重签名体制进行分析、改进，利用带委任状的部分代理机制，构造出更安全有效的方案．安全分析表明：新方案生成的代理签名包含代理签名人的真正信息，克服了抵赖问题；可以在委任状中限制代理签名人的签名能力，或在委任状中指定合法代理签名人的集合以防止代理签名人将签名能力向其他人转移，阻止了签名能力的滥用． 相似文献
8.
9.
COM/DCOM是突破性的技术，它是一种与操作系统和编程语言无关的软件构架，它将功能软件以即插即用的方式集成到应用中，便于软件系统的设计，升级和维护，降低成本，提高效率，DCOM是扩展了的COM，能够支持在局域网、广域网甚至Internet上不同计算机对象之间的通讯，使用多重接口是COM迈向DCOM必不可少的一步，这里介绍了COM/DCOM中利用嵌套类实现多重接口的技术，并提供了一个设计实例。 相似文献
10.
11.
初文昌 《大连理工大学学报》1986,(3)
本文研究一类对称函数的卷积求和问题，利用交叉分类原理证明了所述问题的封闭性定理及其多重模拟。作为应用，文中给出了一系列有趣的推论。其中涉及二项系数、Ａｂｅｌ系数的卷积公式及其多重形式。这些结果包括 Ｗａｎｇ（１９６９），Ｃａｒｌｉｔｚ(１９７４）和 Ｓｉｎｇｈ Ｃｈａｎｄｅｌ＆Ｄｗｉｖｅｄｉ（１９７９）等人的著名恒等式作为特款。 相似文献
12.
刘宗廉 《福州大学学报(自然科学版)》1988,(2):26-32
正整数的“划分”问题是组合论的重要内容之一，但在ｎ为大数的情况下，欲求其无序划分之个数，并非易事．本文就无序划分的个数问题，提出了若干求其确值的计数式． 相似文献
13.
唐善刚 《四川理工学院学报(自然科学版)》2008,21(1):30-32,35
讨论将n份礼品分配到k个礼盒这类限量分配模型在五种情形下的礼品的分配方式数的组合计数问题,给出礼品的分配方式数的显表示或隐表示形式。 相似文献
14.
许道云 《贵州大学学报(自然科学版)》2003,20(3):225-235
合取范式(CNF)公式H到F的同态是一个从H的文字集合到F的文字集合的映射、并保持补运算和子句映到子句。同态映射保持一个公式的不可满足性。一个公式是极小不可满足的是指公式不可满足而且从中删去任一个子句后得到的公式可满足。MU(1)是子句数与变元数的差等于1的极小不可满足公式类。S．Szeider证明了：每个不可满足公式F是MU(1)中某个公式日的同态像。从而，基于MU(1)的同态证明系统与树消解证明系统是p-等价的。MU(1)中的公式可以用基础矩阵表示，本文用基础矩阵的方法证了同态证明系统ПMU（1）的完备性。 相似文献
15.
范朝春 《西华师范大学学报(哲学社会科学版)》1999,20(1):97-99,103
回避数理统计中期望和方差的定义及性质,直接用排列知识和代数运算方法给出了抽样误差公式ｕｘ＝σ／√ｎ的初等证明,使不具备数理统计的知识学生感觉简单易懂。 相似文献
16.
17.
18.