Cayley图连通圈的一个代数性质研究

探讨Cayley图连通圈成为Cayley图的一个充分条件.利用代数学中关于群扩展理论的基本知识证明了如果Carley图连通圈中的Cayley图是具有完全旋转的Cayley图时,则相应的Cayley图连通圈可表示为一个半直积群对应的Cayley图,并通过几个实例进行说明验证.     

Folded Hypercubes 在PMC模型下的可诊断数

可诊断数是衡量多处理器系统可靠性的一个重要参数。文中通过对折叠立方体的可诊断性研究,证明了在PMC模型下,折叠立方体是(n+2)-可诊断的(n≥3),且是(2n+2)/(2n+2)-可诊断的(n≥4)     

Hypermesh网络在PMC模型下的两种可诊断数

通过对元维Hypermesh网络t-可诊断性与t/t-可诊断性的研究,证明了在PMC模型下,Hypermesh网络是n(k-1)-可诊断的(n≥2,k≥3),且是［2n(k-1)-k］/［2n(k-1)-k］-可诊断的(n≥3,k≥3)。     

在低速风洞中红外热图诊断技术的实验研究

文章介绍了NF－3风洞应用红外热图技术和热丝加热方法实施的一项综合研究结果。该项研究对等弦长直机翼和无人机机翼进行了附面层流态诊断，分析出不同攻角、不同风速（雷诺数）下机翼表面的层流区、紊流区及转捩线位置。结果表明，在低速风洞中，用红外热像仪进行实验模型的附面层状态的诊断，是一种简便、快捷、可信的方法。     

红外热像图在医学诊断的开发应用概况

本文重点介绍了一些罕见病例热像图的监测提示，得到明确诊断，说明热像图在医学领域研究的价值。通过常见病的热像图检查，阐述其临床应用的广泛性。     

一种提高软件可测试性的诊断测试方法

本文从提高软件可测试性角度进行软件诊断测试方法的研究,针对三个主要目标:更系统地把握软件行为、更方便地跟踪定位故障、更直接的软件异常测试。提出了一种软件打点加定制脚本结合的方案,介绍了可测试性设计与可测试性执行的实施内容,在软件可测试性方面具有一定的适用性。     

概率图模型在无线网络推理中的应用

重点研究概率图模型发展和分类,其信号处理方法可以有效解决无线网络中一些不确定性推理问题。在无线理论研究中,讨论并分析因子图的一些已有成果,同时关注到因子图方法在无线传感网络中的应用。结合无线网络的关键技术要求对该类模型的应用领域做进一步探讨,展望未来图模型在该领域中的应用前景。     

图着色模型在停机位分配问题中的应用研究

停机位分配是地面机场系统运作的一个重要任务,关系到航空公司,机场和旅客三者的利益,文章以机场的角度提出停机位分配最优方案,为复杂的机场停机位分配建立初步简化模型。文章以图着色为核心算法,将航班抽象为图像中的顶点,将停机位抽象为不同的颜色,将航班之间的时间冲突抽象为图像中的连线。结合图论的其它相关知识建立停机位分配图着色模型,并结合贪婪算法,实现对机场停机位的初步处理。最后利用二部图对分配结果进行展示。     

激光图像可匹配性评价模型

为了解决实际应用中激光实时图像的可匹配性预判的问题,通过优化的主成分分析法对常用的6个激光图像评价参数进行了筛选,最终得了到能够很好评价图像质量的四个关键参数,并应用这四个参数建立了激光强度图像可匹配性评价模型。从验证的结果看,该评价模型的评价结果与激光图像的匹配率具有很好的一致性,这说明了该模型在实际应用中对激光图像的可匹配性的预估具有一定的参考价值。     

面向任务的作战系统模型一致性研究

为检测作战系统中任务模型的一致性,文中基于图文法提出一种形式化的检测方法:把作战系统模型转换成属性图文法,并检测功能需求间冲突和依赖。循环依赖将导致模型无法执行,错误依赖则表示功能需求与动态模型的执行流程不一致。文中对此提出相应的依赖检测算法,循环依赖检测算法通过深度优先搜索找到依赖关系中的环,错误依赖检测算法通过遍历活动图检测依赖关系与动态模型的执行流程是否一致。最后基于该方法实现了作战系统模型一致性检测系统并结合实例进行验证。     

基于PMC模型的条件故障诊断

系统级故障诊断是保证复杂多处理器系统可靠性的一种重要的手段,PMC模型是一种重要的系统级故障诊断模型.本文通过对PMC模型的t条件可诊断性进行分析和论证,首次给出了互测PMC模型的t条件可诊断的充要条件.并通过构建条件故障模式方程组,然后利用自然连接和笛卡尔积等关系代数对条件故障模式方程组进行求解,进而首创了一种便捷的条件故障模式算法.本文最后根据互测PMC模型的t条件可诊断的充要条件进一步给出了一种新型的t条件可诊断判定算法,该算法简单有效.     

无连接传送网的管理信息模型

介绍了面向连接和无连接传送技术特性的异同,概括了无连接传送网在功能抽象方面的特性;比较了无连接与面向连接传送网的功能体系结构;介绍了流的概念和特性;并在此基础上采用UML与文本描述结合的方式,从管理对象的行为、属性、操作、通知、以及管理对象的关系等方面定义了一个与协议无关的通用的无连接传送网的管理信息模型。     

网络安全动态防御模型研究

文章在PPDR动态防御模型的基础上,综合防火墙、入侵检测和蜜罐等技术,提出了一种主动防御的网络安全动态防御模型,它侧重于早期发现攻击,分析攻击者,形成新的防御策略,从而使网络防御入侵始终处于主动地位。     

电信网络管理质量的分层评价模型

基于电信网络管理的内容和特点,给出了网络管理质量的定义,提出了一个网络管理质量的分层评价模型,并根据此模型探讨了网络管理质量的评价流程。     

嵌入式系统网卡驱动模型设计与实现

以嵌入式系统下网卡驱动的功能为出发点,提出了一种嵌入式系统下网卡驱动设计模型,通过在网络协议层与网卡驱动之间增加一个网卡驱动功能抽象中间层,有效地隔离上层网络协议与底层具体的网卡驱动,使得驱动实现的细节对上层协议透明。中间层作为网卡驱动的抽象层,在提供网卡驱动控制服务的同时,可实现网络层协议与驱动之间的交互;有效地简化网卡驱动的设计工作。通过在合适的平台上进行验证和测试,实验结果证明该模型能有效指导嵌入式系统网卡驱动的设计,网卡驱动能正确,可靠地工作,网络通信功能正常。     

互动反馈模式在网络英语教学中的应用

互动反馈模式在网络英语教学中的应用形成了网络加互动应用型英语教学模式,这样一种模式的开发与应用表现的是网络英语教学过程当中对师生在学习中的作用的肯定,教师与学生通过网络课堂内的课堂互动、信息交流以及资源共享等来实现语言能力的提高和语言运用能力的保证。本文正是对这样一种网络英语教学模式进行说明和分析,希望对网络英语教学工作者有所启示。     

米波段下海面多径模型研究

 目前的海面电磁散射主要是研究微波段下的情况,本文针对米波段研究了海面多径回波模型.首先计算出米波段下的海水介电常数,通过仿真相关反射系数和瑞利判据,得出在米波段下,海情级六级以下,入射余角小于5度时,散射信号中的镜面反射分量占主要部分,并且可以认为此时的海面是光滑的,得到基于镜面反射的多径模型是适用的.