一种新的QoS保证的快速组播路由算法

提出了一种新的服务质量保证的组播路由算法。算法使用了一个修改的斯坦利树近似算法来构建时延有界的低代价组播树,再通过最小时延路径与其他尚不在组播树的组内节点连接,并消除环路。理论和仿真表明,新算法与其他一些时延有界组播路由算法一样有较好的性能,并且有较小的复杂度。     

铜离子金属胶束介质中PNPA水解的动力学研究

研究了25℃时，铜离子与二胺类配体DMEA和DMPA(DMEA为N，N－二甲基乙二胺，DMPA为N，N－二甲基－1,3－丙二胺)形成的配合物对PNPA(对硝基苯酚乙酸酯)催化水解的动力学，并通过了胶束催化的二元复合物动力学模型对其进行定量处理，结果表明，铜离子与不同的二胺类配体形成的配合物在CTAB胱束溶液中对PNPA的催化水解表现出不同的催化效果，而催化的机理则可能是由于与铜离子配位的水分子去质子化以后形成的亲核体对PNPA进行亲核进攻的结果。     

矩阵的扩充与紧支撑正交小波

从矩阵的扩充出发给出了尺度因子a=4时紧支撑正交小波的一种构造方法，同时说明了补空间Wj在a=4时可以进一步分解为三个子空间的正交直和，实现Wj的细致化．     

基于数据挖掘技术的范例库维护

在范例推理系统中,系统的学习会使范例库无限增大,会导致系统的功能不断下降。范例推理学习系统必须有范例库的维护。本文在详细讨论了范例库的维护技术的同时,提出了一个基于数据挖掘技术的维护策略,以保证系统的学习不影响系统性能。     

差分PIC接收技术在WCDMA系统中的应用

研究了WCDMA系统中的差分PIC多级接收技术，探讨了减少运算量的简化算法，通过对WCDMA系统进行链路级仿真得到了该系统的性能曲线，最后给出了差分PIC技术的实现方案。     

Efficient expression of human factor Ⅸ cDNA in liver mediated by hydrodynamics-based plasmid administration

The transfection of plasmid DNA into mammalian cells is an indispensable tool in the study of gene transfer and gene function. Since the original report in 1990 on the successful expression of a reporter gene in muscle[1], plasmid DNA injection has been widely used to mediate gene transfer study. As a gene transfer vector, naked DNA has many obvious advantages. It is easy and cheap to be prepared and more safe after transfection. But the plasmid mediated gene expression is low because of t…     

一种预测三步搜索算法

提出了一种用于运动估计的预测三步搜索(PTSS)算法，它是基于三步搜索(TSS)算法，同时充分利用了运动向量场的空间和时间相关性的一种块匹配运动估计算法。该算法特别适用于视频格式转换的运动补偿插值。实验结果表明，与传统的TSS、新三步搜索(NTSS)、全搜索(FS)算法相比，利用PTSS算法补偿得到的图像帧，其图像的主观质量有明显的提高，具有更加平滑的运动矢量场，且图像帧同原始帧之间的最小平方误差(MSE)最小。     

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

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

负二项分布下参数的方差一致最小无偏估计及贝叶斯估计

本文利用充分完全统计量,给出了负二项分布下,总体均值μ和参数P的方差一致最小的无偏估计(UMVUE),特别当r=1时,给出了方差σ2的UMVUE,然后,再利用共轭先验分布给出参数P的贝叶斯估计,并在特殊情形下,对两种估计进行了比较。     

基于单向投影矢量的数字电子稳像方法

为了减少计算量，进行实时稳像，提出了一种基于单向投影矢量进行运动估计的数字稳像方法．把匹配块像素灰度值向水平或垂直方向投影，形成一个原始矢量；对参考图像的搜索区进行投影，形成多个同样维数的矢量．构建一个参考矢量矩阵；比较原始矢量与参考矢量矩阵中的每个矢量之间的差分．找到最佳匹配点．在构建矢量时，绑定像素的位置信息，以降低误匹配，并运用快速搜索法找到矢量间的最小绝对差分．对该算法的运算量进行优化，在PC机上实现了实时稳像．