心脏病图像分割方法研究

研究心脏造影图像准确分割问题。心脏病变区域存在大量水状的囊肿,囊肿区域的像素会造成病变区域图像像素灰度大幅下降,与正常区域的灰度差减少。传统的图像分割方法多是基于边沿像素灰度差进行分割,大量来自水状病变区域的干扰像素使得病变区域边沿像素与正常区域像素发生灰度混淆,造成利用灰度差方法进行图像分割的准确率比较低的问题。为此提出了一种基于改进神经网络算法的心脏造影图像分割方法。提取图像中的关键细节特点,运用改进后的神经网络模型,对水状杂质像素的干扰进行迭代分割过滤。实验证明,运用神经网络方法能够有效提高心脏造影图像病变部位分割的准确率,具有很好的应用价值。     

大视场景物非线性畸变校正的仿真

图像在应用时往往需要物体在图像中准确的位置,但由于物体在从世界坐标系到摄像机坐标系变换时存在平移和旋转,所以拍摄的图像会存在非线性几何畸变.为此针对广角镜头非线性畸变,在分析多项式变换的基础上,提出多项式分区域校正方法.首先检测标准网格和畸变网格的坐标,计算出镜头的畸变系数;然后拟合多项式进行坐标修正,重建图像;最后对重建的图像进行分块,计算每个小块的畸变系数并再次重建图像.实验结果表明,提高了图像校正的精度和智能化,从而达到高质量校正的目的.     

一种基于控制点自动提取的图像畸变校正算法

在机器视觉应用中,摄像机光学系统产生的图像存在不同程度的几何畸变。为了提高图像在做定量分析时的准确性,必须对这一类畸变进行修正。在基于控制点的校正方法基础之上,研究了一种将图像分片,利用模板自动提取控制点亚像素坐标,分片校正的快速算法。实际应用表明,该方法是可靠有效的。     

三维曲面图像无缝拼接方法的研究与仿真

研究三维曲面图像的无缝拼接问题。针对三维曲面图像拼接过程中,多个曲面图像之间的重叠区域由于像素的灰度和梯度等特征存在较大差异,像素不匹配,拼接后的重叠区域图像由于这种像素差异的存在,会存在明显图像裂缝的问题。为了解决这个问题,提出了一种基于交叉匹配的曲面图像拼接算法,该算法以互信息作为相似性测度,对待配准曲面图像的空间变换参数进行优化,运用空间曲面图像插值技术完成最后的三维曲面图像的融合,实现三维曲面图像的无缝拼接。实验表明,本文的方法能实现差异较大曲面图像的无缝拼接,取得了不错的效果。     

移动AR+VR支持下全景图像拼接均匀性校正方法

采用传统方法对全景拼接图像校正时,无法检测到全景图像中的重叠区域,导致全景图像结构相似度评分SSIM偏低、边缘差分谱评分DoEM低且校正误差较大.为解决上述问题,提出移动AR+ VR支持下全景图像拼接均匀性校正方法.采用相位相关算法在移动AR+ VR支持下检测全景图像重叠区域.确定全景图像的畸变中心坐标和畸变系数,将图像畸变区域投影到地图坐标中,通过亮度像素值校正镜头畸变和斜视变形,完成图像的均匀性校正.实验结果表明,所提方法的结构相似度评分SSIM均大于0.93,边缘差分谱评分DoEM最高可达0.9914,且扭曲度均低于10％,说明所提方法累计误差小,实验数据验证了所提方法具有明显应用优势.     

移动AR+VR支持下全景图像拼接均匀性校正方法

采用传统方法对全景拼接图像校正时,无法检测到全景图像中的重叠区域,导致全景图像结构相似度评分SSIM偏低、边缘差分谱评分DoEM低且校正误差较大.为解决上述问题,提出移动AR+ VR支持下全景图像拼接均匀性校正方法.采用相位相关算法在移动AR+ VR支持下检测全景图像重叠区域.确定全景图像的畸变中心坐标和畸变系数,将图像畸变区域投影到地图坐标中,通过亮度像素值校正镜头畸变和斜视变形,完成图像的均匀性校正.实验结果表明,所提方法的结构相似度评分SSIM均大于0.93,边缘差分谱评分DoEM最高可达0.9914,且扭曲度均低于10％,说明所提方法累计误差小,实验数据验证了所提方法具有明显应用优势.     

一种基于网格图像的几何畸变修正方法

在层削照相测量装置中,由于摄像装置所处的角度以及摄像镜头差,会导致获取的图像存在非线性几何畸变。因此在对图像进行重建之前,需要对获取的图像进行几何校正。为此,论文提出了一种基于网格图像的几何校正算法,该算法运用分段插值的思想,利用分块低次插值去逼近几何畸变,达到高次插值的效果。最后的分析结果表明,利用60X60正方形网格,该算法的校正误差不超过0.1个像素,能够有效校正图像的综合畸变。     

多图无缝拼接的配准算法

针对多幅待拼接数字图像所存在的曝光程度差异、图像配准误差、被摄物本身形态变化以及光学成像过程所产生的畸变等原因都会出现明显的拼接缝隙现象,即,在视觉效果上能够明显看得出存在“接缝线”和清晰地分辨出处于“接缝线”两侧存在着明显色差或亮度的原始相邻两幅图像等技术问题,提出一种多图像无缝拼接的智能配准融合算法.通过建立图像非线性畸变矫正数学模型、图像数据坐标转换、图像畸变校正及其求逆运算、寻找相邻两幅图像上的公共特征点、图像配准与融合等过程,能够完善地解决大型宽幅（广角）平面图像自动无缝拼接的技术难题.     

基于投影模型和图像融合的拼接畸变消除算法

图像拼接技术是数字图像处理的一个重要分支,广泛运用于空间纹理检测、文物保护、医学图像、公安取证、虚拟现实等领域。由于拍摄的图像存在光照、角度、位移和抖动等各种因素影响,导致图像拼接时易造成图像畸变和变形。采取投影模型和图像融合,对畸变和变形进行研究,改进传统的拼接算法,提出一种自适应强、时效性高、稳定性好的投影模型和图像融合相结合的拼接算法。实验结果表明,该算法能够很好地消除拼接过程中产生的畸变和变形,并具有很好的鲁棒性。     

多传感器大差异像素图像融合方法研究与仿真

研究多传感器采集的图像高清融合问题。图像采集传感器分布区域较为广阔,各区域的图像像素灰度、梯度、像素密度等存在较大差异,不同区域的像素灰度存在较大冲突。传统的多传感器多采用图像的像素叠加技术完成融合,无法避免不同区域的传感器采集图像像素不匹配引起的像素冲突。针对造成融合图像信息丢失的问题,提出一种基于冲突惩罚因子的多传感器图像融合方法,通过对像素进行分类,运用冲突惩罚因子,选取高信息量的像素进行平滑融合,得到高清晰多传感器融合图像。实验证明,这种多传感器图像融合方法能够最大化地保证融合后的图像信息,得到高清晰度的融合图像。     

Semantics and verification of monitors and systems of monitors and processes

In this paper we present a sound and complete semantics for the monitor concept of C.A.R. Hoare. First a method for specification of monitors, introduced by O.-J. Dahl, is reviewed. This method is based on the relation between the historic sequence of monitor procedure calls and the historic sequence of monitor procedure exits. Based on such specifications and our new monitor semantics we present a method by which it is possible to prove that a concrete monitor is an implementation of an abstract one. In the last part of the paper an axiomatic semantics for systems of concurrent processes and monitors is introduced. The method supports verification by separation of concerns: Properties of the communication to and from each process are proven in isolation by a usual Hoare style axiomatic semantics, while abstract monitors are also specified in isolation by the method reviewed in the first part of the paper. These properties of the components of the system are then used in a new proof rule to conclude properties of the complete system. Stein Gjessing received a Ph.D. (actually a Dr. philos.) from the University of Oslo (Norway) in 1985. Presently he is an Associate Professor at the Institute of informatics, University of Oslo, Norway. Dr. Gjessings research interests are in the area of concurrent and distributed programming, operating systems, formal specification and verification and programming languages.     

Models and Complexity of Problems of Design and Reconstruction of Telecommunication and Transport Systems

This article considers network synthesis problems arising in the design and exploitation of telecommunication and transportation systems. A formalization of network synthesis problems on graphs is proposed in which constraints on cut capacities are given and possibilities of failing some network components are taken into account. Approaches to the solution and analysis of the complexity of the considered problems are described.     

Teamcenter与NX集成客户化定制技术研究与实现

PDM产品实施过程中一项重要工作是系统集成与客户化定制。对Teamcenter Engineering(简称Teamcenter)与NX系统集成客户化定制中业务建模、属性映射等相关技术进行了研究,提出了Teamcenter与NX集成客户化定制的技术思路,并以客户化定制NX工程图纸标题栏为例,介绍了Teamcenter与NX集成定制实现的关键步骤及方法。     

椭圆拉伸变形长短轴的计算及应用

在CAD应用软件程序编制中,椭圆的长短轴是很重要的参数。应用相关数学知识推导出6个计算公式,可利用这些公式确定椭圆沿坐标轴拉伸变形后的长短轴大小与位置并在CAD软件中实现与之相关的功能。     

IPSEC与防火墙协同工作设计与实现

IPSEC提供网络层的安全服务，通过对IP报文的加密和验证，保证数据在传输过程中的安全．由于IPSEC封装了报文中一些重要信息，使得IPSEC与防火墙不能同时有效地工作．本文提出一种分层IPSEC(Layered IP Security，L_IPSEC)思想，即将协议头和数据部分分别进行安全处理．并将这种分层思想与分布式处理技术结合，设计与实现一种IPSEC与防火墙协同工作方案．     

智能业务和软交换互通的设计与实现

电信业的快速发展及下一代网络的全面建设促进智能业务与软交换实现互通。文中首先介绍了互通的种类和方案，并重点讲述了智能网和软交换互通过程中模型的重要部分——软交换侧的SSP。在此基础上，提出了智能网和软交换互通的实现方案，并且以智能用的典型业务FPH为例简明分析了方案，对利用业务服务器实现软交换中的智能业务进行了插述和分析。     

Kohonen与Madaline用于解析重叠光谱测定钨和钼

首先应用Kohonen网络对钨、钼的混合吸收光谱进行波长选择，在全光谱中优选最能代表光谱特征的波长，被选波长处吸光度作为Madaline网络的输入，设定输出目标函数为G（λ）＝∑Aiexp[-4(ln20）(λ-t）^2/2]，进行解析重叠光谱，同时测定了钨和钼，该法利用特征光谱代表全谱进行光谱解析，减少了解析光谱中大量的数据。     

智能业务和软交换互通的设计与实现

电信业的快速发展及下一代网络的全面建设促进智能业务与软交换实现互通.文中首先介绍了互通的种类和方案,并重点讲述了智能网和软交换互通过程中模型的重要部分--软交换侧的SSP.在此基础上,提出了智能网和软交换互通的实现方案,并且以智能网的典型业务FPH为例简明分析了方案,对利用业务服务器实现软交换中的智能业务进行了描述和分析.     

Binary perfect and extended perfect codes of lengths 15 and 16 and of ranks 13 and 14

Inaccuracies in computations in the paper of the authors on classification of perfect binary codes of lengths 15 and 16 and of rank 13 are fixed. An explicit construction of all extended perfect codes of length 16 and rank 13 with a given kernel size is presented. Perfect binary codes of length 15 and rank 14 obtained by the general doubling construction are classified.