有效的符号网络函数生成程序SFGEX

本文介绍符号网络函数生成程序SFGEX的设计和实际运用。该程序依据网络拓展理论的“模型法”来构造,其特点是(1)占内存小,在小型机和微型机上能处理中等规模的电路;(2)运算量很省;(3)能灵活地给出局部子网络的结果而不增加运算量;(4)允许数学宏模输入;(5)程序容易扩充。文中给出了在DJS-6机上计算的例子。其中一个例子,在文献[2]中K.Singhal和J.Vlach认为其规模接近于符号应用有意义的极限。由于本程序在主要方面都具有超过现有其它方法的优点,因此是一个值得向电路设计人员和研究人员推荐的程序。     

基于时空光滑约束的总变分最小化视频去隔行算法

从隔行视频序列获得高质量图像需要进行去隔行处理．文中针对这一问题提出了一种基于时空光滑约束的总变分最小化视频去隔行算法．它首先应用Bayes公式将去隔行问题转化为一类最优化问题，然后应用图像随机场模型结合时空光滑约束导出优化问题的代价函数，通过变分法得到Euler-Lagrange方程，最后应用凸半二次规整化方法求得最优解．实验结果表明，文中的方法优于一般的去隔行算法．同时提出了两个去隔行方法的评价标准，它们可以定量检验去隔行方法的效果．     

新的广义距离与多模态医学图像配准

分析了Shannon互信息、Kullback-Leibler距离和Shannon不等式之间的相互关系,并根据不等式理论,提出了广义距离度量的新概念及其定义. 在此基础上构造了多模态图像配准的一类新测度--算术-几何均值距离、Cauchy-Schwartz距离和Minkowski广义距离. 从计算速度、噪声容忍性、测度函数图形的特点和图像窗口大小影响等几个方面,通过MR和PET医学图像的实验分析,验证了新配准测度的有效性.