聚能射流侵彻的计算与模拟试验研究

对聚能射流侵蚀效果的关键影响因素进行分析,针对具体问题在既有理论基础上结合数值模拟对聚能射流进行设计,并通过模拟试验验证设计的有效性。实践证明,利用该聚能射流进行工程中靶板材料的侵彻是可行的,值得进一步推广。     

基于程序正确性的演算方法

为了使开发出的程序更具有可靠性,研究了两种正确性验证的演算方法,Dijkstra的最弱前置谓词变换法和Hoare的公理化方法.针对于Hoare公理化方法证明中的前置条件难以寻找的问题,提出了将这两种演算方法结合使用的方法.对最弱前置谓词变换法的过程进行分析,确定了最弱前置谓词算法的准确性.将最弱前置谓词应用到公理化方法中,即把最弱前置谓词变换法求出的前置谓词作为公理化方法的前置条件.通过一个具体实例,详细说明了其验证过程,并证明了该方法的有效性.     

基于改进边界距离变换的路径提取算法研究*

针对虚拟内窥镜中心路径提取算法时间效率不高的问题,通过改进边界距离变换,提出了中心路径的快速提取算法。首先建立最小距离场,在边界内推过程,仅扫描并处理与边界点面连接的点并对其设标记属性,每次向里剥离一层体素标记属性随之增加,直到对内部点集都置到边界的最小边界距离值（DFB）;然后找到DFB值不小于其所有面邻接点DFB值的体素点,即3D局部最大值;最后用最短路径相连3D局部最大值,形成中心线。实验结果表明,改进的中心路径提取算法的时间效率较传统距离变换算法有很大提高。     

灰色偏相关评价法在认知型学生模型中的应用

针对认知能力评价这类因素较多,且难以进行定量描述的问题,建立认知能力因素评价体系,利用灰色偏相关评价法建立认知型学生模型。首先分析各认知能力因素的相互影响关系,计算偏相关系数得到各认知能力因素的权重值。然后确定评价灰类,建立白化权函数,得到各认知能力因素关于各评价灰类的灰色评价权值,从而建立认知型学生综合评价模型。最后通过实例对方法模型进行验证。实例表明,该方法模型能够对学生知识水平作出评价并引导学生进行学习,其结果具有一定的可靠性。     

一种DWT与背景重构相结合的运动目标分割方法

针对视频处理中数据量大、消耗时间长的缺点,在假定"背景像素总是以较高的频率在图像序列中出现"的前提下,提出了一种新的运动目标分割方法。首先将待处理的视频图像序列经过DWT变换(Discrete Wavelet Trans-form)提取其近似分量,然后利用像素点聚类方法,结合双阈值和相似类合并,选择一段时间内频率出现较高的像素值来重构背景,最后借鉴图像匹配的评价标准来验证重构背景的准确性。实验结果表明,该方法能提取出较好的背景,从而实现对运动目标的高效且完整分割。     

MANET节点移动模型仿真研究

移动自组网（MANET）节点移动特性对网络拓扑结构有重要影响,在合理的节点移动模型下对网络性能的评估才真实可靠。通过对网络仿真软件NS2进行拓展,实现个体、群体和具有地域限制的节点移动模型,提出物理链路和路由协议2个层面的评估准则,给出不同类节点模型对路由协议性能的影响程度。对研究和评估MANET的路由协议有重要的参考价值。     

DHCPv6中的中继代理在IPv6路由器中的实现

随着IPv6下的动态主机配置协议DHCPv6的制定,各大设备和服务供应商已经开始支持DHCPv6的功能。本文对DHCPv6的特性、原理及工作过程做了介绍;设计实现了DHCPv6Relay功能,并详细介绍了中继代理对报文的处理过程。DHCPv6Relay已经在某公司的高端路由器SR88系列上投入了商用。     

基于笔式界面的交互式可视化分析系统

当前可视化分析软件对于人机交互的支持不足,造成分析推理过程效率较低。针对此问题,设计并实现了一个笔式可视化分析系统。首先分析了可视化分析过程的交互任务,然后提出了笔式可视化分析系统的体系结构,研究了基于草图的自适应布局算法,并对分析过程中的交互方式进行设计。最后给出了该系统的应用实例,可用性实验评估结果表明,该系统可以为可视化分析提供一种自然、高效的支持工具。     

异质扩散的图像边缘特征提取方法

图像检测中提高成像的质量、抑制图像的噪声、增强图像的对比度是图像检测的主要目标。其主要目的是为了强化边缘特点,方便进行具体的测量。针对偏微分方程(PDE)在图像处理中的运用进行了探讨,并将其与形态学腐蚀算子相结合,提出了基于形态学腐蚀和梯度计算的边缘检测方法,并通过仿真测试进行验证。     

基于无线局域网的变电站在线监测系统设计

无线局域网的广泛利用大大推动了变电站的数字化建设。通过对基于无线局域网的监测管理系统的研究,提出了基于无线局域网的变电站在线检测系统的设计方案。分析了无线局域网的协议标准选取,设计了高效的现场组网方案,实现了本地无线局域网的搭建以及后继的现场信息远程传输。