搜寻平面机构中虚约束的拆杆组法

本文根据机构的组成原理,提出一种搜寻机构中虚约束的新方法一拆杆组法,用该方法能方便地判断出机构中所含的虚约束,同时能迅速排除含有特定几何条件而实际上并不存在虚约束的机构.     

基于多项式组主项解耦消元法的几何定理机器证明

用多项式组主项解耦消元法，将几何定理的假设条件（多项式组PS）化为主系数不含变元的三角型多项式组DTS，可得到定理命题成立的不含变化的非退化条件，即充分必要或更接近充分必要的非退化条件，由于多项式主系统不含变化，已不存在DTS多项式之间的约化问题，故方法有普遍意义，文中例为西姆松定理的机器证明。     

一个门限RSA密码体制

传统的门限RSA密码体制由于都是在环Zψ（n )上进行的，而会遇到固有的困难；Zψ（n ）不是域且ψ（n）必须保密，提出了一个新的门限RSA密码体制，通过数学变换克服了以上的困难，并且对它的安全性进行了简要分析。     

关于命题公式的主范式

本文讨论了两个命题公式的一次复合的主析(合)取范式与它们的主析(合)取范式之间的关系。     

LehmerDH数在模p剩余系的分布

设 p≥ 3为素数 ,集合A ={a|1≤a 相似文献   

公式H_n=lnn+C+ε_n及在级数中的运用

证明公式Hn =lnn+C+εn,并在级数收敛性判别中运用     

合金铸铁激光处理的探讨——Ⅱ.激光辐照工艺参数的控制

用热传导方程控制激光辐照温度,建立了一种新回归方程以控制激光辐照硬化深度,选用卡尔丹公式列热传导方程及同归方程联立求解,可得到同时满足一定的硬化深度及表面最高温度双重要求的工艺参数,此种方法可作为激光硬化处理工艺参数的控制或预报,对本合金铸铁的激光硬化处理,其表面温度的下限应大于其熔点温度,即以表面产生微熔的快速冷凝处理为宜,并以选取低功率慢扫描为最佳。     

用函数迭代法解一类函数方程

本文在文[1]的启示下,借助文[2]的迭代思想,研究函数方程P(X)f(X)+Q(Z)f(Z)=R(X),给出了它的可解条件及其求解公式,推广了有关文献的结论.     

浅谈牛顿的万有引力定律

万有定律的发现,牛顿对万有定律的贡献,万有定律对将来科学探索中仍然会发挥重要的作用。