一种新型的自路由多播容错网络

提出一种新的自路由多播的多路径多级互连网络MRCBN,实现自路由并发多播的同时兼顾容错．该网络硬件代价较小,构造规范简单,路由易于实现．在该网络的基础上提出一种新的自路由多播实现方案,将网络分成多播分解子网和置换子网两个部分,通过对多播目标地址预处理后,多播分解子网实现满足一定条件的多播分解,置换子网实现分解后的置换,路由的时间复杂度为O（log2 N）．另外,由于链路数目的增加,为多播路由提供了冗余路径,达到了容错的目的．     

单排管冻结温度场ТРУПАК和БАХОЛДИН公式的适用性

采用Ansys有限元分析软件模拟单排管冻结壁温度场的分布情况,将得到的数据与Трупак单排管公式和r2flx03i,K14H单排管冻结温度场公式作比较,分析Трупак公式与Бахолдин公式,找出公式的不足,同时验证工程中还在应用的Трупак公式与Бахолдин公式根据测温值反算冻土壁厚度公式的适用性.结果表明,冻土柱交圈前,Трупак单管公式能比较真实地反映单根管情况下冻土温度场的情况;交圈后Трупак公式的应用是极不合适的,而Бахолдин公式得到了满意的结果.     

均布荷载作用下梁拱组合桥梁的实用计算

将外部静定、内部高次超静定的梁拱组合桥梁分解成梁拱闭合体和吊杆两种构件,并且将吊杆力假定为膜张力,通过力学方法求解得到下承式梁拱组合体系在均布荷载作用下挠度计算的实用公式及其修正系数,为设计人员理解梁拱组合体系的受力特性,在概念设计阶段确定较合理的结构参数提供了理论依据.     

超对称量子力学与Lefschetz不动点公式

在超对称量子力学的框架下,通过利用一种特殊的边界条件,给出了Lefschetz不动点公式的一个物理证明.回顾了黎曼流形上的N=1超对称量子力学系统,并将Hodge算子实现为Fock空间上的物理算子.     

具有非光滑边界强拟凸多面体带权因子的新积分公式

利用权因子得到Cn空间中具有非光滑边界强拟凸多面体上的带权因子的新的积分公式及其-方程的带权因子的解,避免了边界积分的复杂估计.其次,引进了权因子,使带权因子的积分公式在应用上具有更大的灵活性.     

一类隐函数的求导方法

由多元方程所确定的多元隐函数的求导中,当方程的形式是以幂指函数的形式出现的时候,可以用隐函数的求导公式与对数求导法两种方法求的。     

确定的与非确定的公式时钟自动机的等价性

本文分析了传统的时间自动机在实时系统进行形式化验证方面所存在的问题,提出了一种新的形式化验证工具——公式时钟自动机,给出了公式时钟自动机的形式化定义。在公式时钟自动机中,每一个事件对应一个命题、并且针对给定命题集上的每个时态公式,我们定义两个时钟:公式记录时钟与公式预测时钟。前者记录公式最近一次被满足时距目前的时间,后者预测下一次公式将被满足时距目前的时间。最后讨论了公式时钟自动机的确定性和非确定性,并证明了确定的公式时钟自动机和非确定的公式时钟自动机的等价性。     

图表法在《概率论与数理统计》教学中的若干应用

图表法简单,直观,易于理解,《概率论与数理统计》中涉及的公式及题目有些往往比较抽象,学生难以理解。引入图表法可以让学生对这些公式或问题有比较直观的了解,使学生对相应问题有个客观的参照。这样,学生学习过程中,更容易进入状态。     

光的双缝干涉中公式△x=d/lλ的推导及应用

光的干涉是高中物理学中光的波动性的重要内容。现行教材物理第三册（人民教育出版社物理室编著）第24页提出,在l远大于d的前提下,让同学们自己推导,在这里,就平时的物理教学谈谈对公式△x=d/lλ的推导及应用。     

含有卷积核的线性Volterra积分微分方程的数值解

利用不动点定理证明了含有卷积核的线性Volterra积分微分方程古典解的存在性与唯一性.讨论了用TayIor公式求解该类方程的方法,并通过几个具体的例子说明这种方法的精确性.