(m,n)型二重(R,r)-循环线性系统求解的快速傅里叶算法

利用快速傅里叶变换（FFT）技术，给出了计算系矩阵为非奇异的（m,n）型二重（R，γ）－循环矩陈的线性方程的求解、非奇异（m,n）型二重（R，γ）－循环矩阵求逆的快速算法，证明了它们的计算复杂性均为o(mnlog2 mn）。     

布朗单样本轨道的重分形分析

主要研究布朗单W＝{W（s1,s2)s1，s2≥0}样本轨道的重分形分析问题．在布朗单一致连续模的基础上讨论“α—快点集”的重分形分析性质，得到了两类不同增量形式的“α—快点集”的Hausdorff维数．     

重主族累积多烯分子中的非经典多重键

综述了重主族累积多烯化合物的最新研究进展和非经典多重键的理论研究方面的成果.使用abinitio和密度泛函法对磷杂硫烯酮、硅杂磷杂丙二烯及其相关分子进行了量子化学计算,计算结果表明,这些分子都具有弯曲几何构型.     

模型参数不确定的不完全驱动船舶航迹控制自适应反演设计(英文)

针对不完全驱动船舶航迹控制系统模型中存在的参数不确定性 ,基于重定义输出变量思想 ,利用自适应反演积分技术 ,提出了一种具有全局渐近稳定跟踪性能的非线性自适应控制律 ,该控制律能够使得处于不完全驱动状态下的偏航船舶在所有模型参数未知情况下 ,对一条直线参考轨迹进行全局渐近稳定的航迹跟踪。同时 ,通过严格的理论证明 ,该控制律还可以使得文中的重定义输出变量及其组成变量具有相同的收敛性。最后 ,以本校远洋实习船“育龙”号为例 ,利用Matlab软件进行了计算机仿真研究 ,对所提出的控制器进行了验证 ,所得结果比较理想     

重磁电震信息联合反演的随机建模技术

为了把目前的重磁反演从理论建模延伸到随机建模领域，本文从物理场、级数理论出发提出了重磁统计推断建模反演的方法．该方法在重磁场源分离的基础上，以断裂系统把研究区划分为一些独立的次级单元．在各单元内把要反演的地下界面深度作为其对应的极值重磁异常的二元复合逆函数，利用已知的重磁电震剖面资料，统计推断其逆函数的级数分布，以建立重磁电震联合反演的随机地质模型．应用该方法获得了合肥盆地的结晶基底构造图．该项技术探索．有潜能推进综合地球物理信息勘探技术发展．     

基于事务形式验证(TBFV)及8051的TBFV模型

提出了一种基于事务的形式验证方法(TBFV)，为待验证的系统构造功能验证模型，每个模型包括指令序列、输入变量、输出变量、输出函数、输出判定函数．这些可用Kripke结构来描述．这些功能验证模型实现了特定的事务，从而可以将一般的验证要求映射为具体的实现属性．这样，验证者无需了解设计的细节，可在较高层次上对系统行为进行验证．为了证明该方法的效率，分别用该方法和传统的形式验证方法验证了8051的RTL实现．8051中所有的指令都进行了验证，并给出了相应的功能验证模型．实验结果表明，采用该方法可大大节省验证工程师的时间．功能验证模型和验证指令可以在其他设计中复用．     

关于利用方向极限求二重极限一个错误结论的纠正

给出了二元函数的二重极限、方向极限、弱二重极限的概念，指出了文[1]中定理6利用方向极限求二重极限的结论是错误的原因，纠正了文[1]中定理6的结论及其例7的解法。     

重介子谱的相对论动能修正

使用超弦理论激发的伸缩子--胶子有效耦合得到的重夸克势研究了重介子的能谱，采用统一的方式来求解Salpeter方程和SchrEodinger方程，以便能真实地比较相对论动能修正的效应。发现相对论Salpeter方程更好地说明了实验上观察到的重介子能级。     

关于在重介质选煤领域推广超耐磨管的探讨(一)

输送管道是重介质洗煤设备重要的组成部分，长期的实践发现。输送管道经受磨粒磨损。磨损速度很快。不仅造成了资源的大量浪费。而且影响了劳动生产率，因此。研制开发适用于洗煤系统。特别是重介质洗选系统的高耐磨性输送管道具有广阔的市场前景。文章对目前使用的几种输送管道的生产过程及特性做了比较与介绍。     

影响哺乳动物体细胞克隆效率因素的研究进展

动物克隆技术的低效率在很大程度上限制了它的应用.克隆过程的多步骤决定了影响因素的多样性.综述了体细胞核的重编程、供体细胞的选择、受体胞质、活化方法、培养条件等对克隆效率的影响,对这些问题的认识将有利于对克隆机理的研究.