扩展的语义分析的WAP协议缺陷测试

首先介绍了一种基于语义分析的缺陷测试技术.该测试方法利用语义测试及软件错误注入来进行测试.它比传统测试的成本要小,同时能达到很好的效果.但该方法只能检测协议实现级别的漏洞,而不能检测协议设计中可能存在的缺陷.本文结合了Petri网在协议测试方面的优点提出了一种扩展的语义分析的协议缺陷测试方法.它能通过对协议Petri网模型的分析来捕获协议层面的缺陷,而为此所需的额外开销是很小的.这弥补了原缺陷测试在协议层面的不足.之后对该方法各个阶段进行了介绍.对WAP-WSP协议的进行了缺陷测试,并对结果进行了分析,证明其可行性.     

一种基于P/T网的低级并发程序验证模型

随着片上多处理器/多核技术的不断发展,采用机器级语言的并发程序(低级并发程序)有了更加广阔的应用前景.然而,低级并发程序的验证问题也成为程序语言领域一种新的挑战.并发程序安全性验证领域现有的工作多数是针对高级语言、规范或者演算,而针对机器级语言的甚少。这种情况的主要原因之一是缺少低级抽象模型.文中描述一种可验证的低级并发编程模型P-PMCC.P-PMCC程序是一个扩展的P/T网系统,其网结构用来刻画低级并发线程(原子的顺序汇编级代码)之间的并发关系.P-PMCC程序的验证采取模型检查和定理证明相结合的方法,分开考虑并发行为与顺序线程的规范和验证:前者借助于Petri网领域已有的方法,后者则借助现有的顺序程序的正确性证明方法。P-PMCC程序也可以看作并发程序的一种可验证的低级中间表示.     

内对抗指导无监督多域适配网络的轴承协同故障诊断

现有的轴承无监督跨域智能故障诊断研究多数是基于单源域自适应开展的,这将导致实际场景中多个拥有充足且多样化诊断信息的源域未能得到协同利用.如何更好地从多个源域中提取到故障轴承的共性特征并融合多源域知识协同诊断是主要挑战.针对上述问题,本文提出了一种内对抗指导的无监督多域适配网络;构造了一个内对抗模块以计算多源域对抗损失,并联合多组源域-目标域自适应子网指导提取多源域和目标域间的共性特征,增强知识覆盖能力;设计了一个多子网协同决策模块,利用多组源域-目标域的对抗损失和分布差异损失计算置信分数,以辅助多子网分类器做出更佳的融合决策,提升协同故障诊断的准确率.基于恒转速和变转速工况的轴承故障数据构造了多个无监督多源域迁移诊断任务,对比实验结果表明所提方法的优越性和鲁棒性.     

石墨烯气凝胶全柔性触觉传感器的设计、组装及性能

针对柔性触觉传感器存在的设计难度大、抗干扰性差、不易封装以及线路布置困难等问题,基于Storakers材料模型的应变能密度函数发展了一种基于石墨烯气凝胶(graphene aerogel, GA)的具有“气泡膜”结构的全柔性触觉传感器的设计方法.通过模拟分析发现,相对于“三明治”结构,“气泡膜”结构的GA柔性触觉传感器具有更好的抗干扰性.在此基础上,设计并组装了“气泡膜”结构的GA全柔性触觉传感器,通过实验证实该GA全柔性触觉传感器具有优异的传感特性、力学特性和抗干扰特性.同时,设计开发了压阻式传感阵列的信号采集系统,并成功实现了其对力的大小、物体位置和形状等信息的实时采集和传感监测.     

FDM三维打印的支撑结构的设计算法

熔融挤压式(FDM)三维打印是由熔化的塑料丝沉积组成物体模型的过程.熔化的塑料丝由喷嘴喷出并与喷嘴正下方的物体模型融合.然而,塑料丝只能沉积在已经存在的物体的上表面上.因此,需要在物体悬空的部位下方添加支撑结构使得物体能够被打印,否则塑料丝将悬在空中无法沉积,不能成型.本文设计并实现了一种保证三维物体模型能够打印的支撑结构方法.能够自动寻找支撑点,并且自动寻找添加支撑结构杆.此外,还调整了支撑杆的具体结构以增加稳定性以及易于剥除性.相比一般切片引擎如Cura,Mesh Mixer的处理方法,文中提出的算法能够在确保可打印性的前提下,有效减少三维打印的材料和时间消耗.     

命题规则知识库更新的一种代数方法

知识库更新的一个重要主题就是寻找高效的实现方法,为此人们做了很多工作,但还没有很好地解决,代数方法具有良好的性质和实现方法,文中给出了基于规则知识库更新的代数方法．首先讨论了如何把知识库更新和协调性检查转化为代数问题．知识库中的规则用Petri网来表示,事实用Petri网的标识表示,这样把知识库更新和协调性检查转化为Petri网的可达性问题．在做了这个转化以后,协调性检查就变成了可达性问题,可达性的判断可以用代数的方法解决,同样,矛盾性检查也可以用代数方法实现,在此基础上,给出了基于规则命题知识库的更新方法,以及扩充逻辑程序知识库的更新方法,和相关的工作进行比较,所提出的方法更实用,效率更高。     

基于Agent的网构软件模型研究

以开放网络环境下的网构软件需求为切入点，基于软件Agent的原理、方法和技术，系统分析了基于面向对象方法学的经典软件结构模型及其支撑技术的限制，提出了一种开放协同软件模型来作为网构软件的基础模型．结合其关键支撑技术的研究，提出了基于移动Agent的协同程序设计技术、多模式交互机制及基于Agent中间件模型和面向体系结构的协同程序设计方法，并探讨其在主流软件技术中的应用，初步形成了一种适合于开放网络环境需求的技术框架体系，在此基础上，提出了一条建立基于Agent的网构软件模型的技术途径，即网构软件模型=开放协同模型＋环境驱动模型＋智能可信模型，从而为进一步的研究工作奠定了基础．     

基于模型融合的复杂生产过程产品质量预测

复杂生产过程中产品质量与工艺参数间存在复杂的非线性关系,为提高产品质量预测准确性,本文提出了一种基于模型融合的复杂生产过程产品质量预测方法.首先,分别对复杂生产过程建立基于改进随机森林算法的整体预测模型与分段预测模型,其中,针对整体预测模型特征选择问题,提出了一种相关性分析与去冗余处理相结合的特征选择方法,针对分阶段预测模型存在误差累积问题,提出了一种误差修正机制.其次,利用Stacking集成学习算法实现整体预测模型与分阶段预测模型的融合,综合利用二者的预测优势得到对产品质量的最终预测结果.最后,以烟丝生产过程烘丝机入口烟丝含水率的预测为例,通过对比传统单模型的预测方法,验证了本文所提基于模型融合预测方法的准确性.     

基于多活性代理的复杂信息系统研究

文中在系统理论指导下分析了信息系统（特别是在激烈对抗环境下,需要多种功能动态运筹发挥作用的复杂信息系统）的特点,提出了基于多活性代理的复杂信息系统研究方法．首先,给出了多活性代理方法的基本描述,初步得到了代理的“活性”表征及丧失的定性定量描述与分析,并从系统功能发挥剖面给出了多活性代理的基本动力学表征;其次,从系统自组织功能剖面给出了活性自组织机理的两集合模型;再次,给出了信息安全与对抗领域多活性代理复杂信息系统构建的功能模型,以及在此模型基础上多活性代理的3层次协商、协调模型;分析了基于Swarm群体结构的多活性代理复杂信息系统的3层次机理模型;最后,通过2个具体实例说明了如何利用多活性代理方法分析信息安全对抗领域复杂信息系统．多活性代理理论的提出将衔接应用基础层和应用层研究,对信息安全与对抗领域复杂信息系统的构建和分析提供基本的研究方法与理论支持．     

一种以软件体系结构为中心的网构软件开发方法

作为Internet环境下的一种新型的软件形态，网构软件对传统的软件开发理论、方法与技术提出了一系列的挑战．作为一种以软件复用为核心思想、以软件构件为基本实体、以软件体系结构为中心、以软件中间件为运行支撑的软件开发方法学，ABC（architecture based component composition）方法能够有力支持网构软件的开发．其中，基于特征的领域建模以及特定应用的特征模型剪裁方法和技术，反映了网构软件在问题空间实现自底向上、从“无序”到“有序”的构造过程；基于自适应软件体系结构的分析与设计方法，支持自适应网构软件的开发；具有反射机制、支持自主构件的中间件平台则为网构软件的运行，尤其是网构软件结构的自适应和实体的自适应提供支撑机制．     

一种新型的模块化多电平型固态变压器及其内模控制策略

针对现有固态变压器拓扑结构存在的局限性及控制方法的不足,本文提出了一种模块化多电平型固态变压器(MMC solid state transformer,MMC-SST),并相应介绍了一种内模控制(internal model control,IMC)实现方法.首先分析了MMC-SST系统拓扑与运行特性,建立了同步旋转坐标系下MMC-SST输入级和输出级的数学模型;然后根据内模控制的特性,将内模电流内环与PI电压外环相结合,构造出新的双闭环控制结构,实现对MMC-SST输入级和输出级的控制;最后,基于Matlab/Simulink建立了MMC-SST系统仿真模型,在网侧电压波动、负荷突变和网侧功率因数变化多种工况进行了性能测试,结果表明,本文提出的基于内模控制的MMC-SST能够按照给定的功率因数运行,并且具有电压、电流动态响应快、抗负载扰动能力强等特点.     

融合块结构的等周算法及其在CT图像分割中的应用

等周分割是一种基于图谱理论的分割算法,能有效提高图像分割质量且有较高的效率及稳定性.本文提出了一种融合块结构的等周分割算法.该算法采用块结构来减少图中节点数.并根据CT图像特征,将该算法应用到CT图像分割中.实验结果表明,融合块结构的等周分割算法在CT图像分割中取得较好的分割效果,并大大提高了分割效率.     

国家游泳中心子结构模型损伤识别试验研究

为对复杂空间结构进行损伤识别, 在损伤定位向量法的基础上, 提出了基于测点区域的损伤识别方法, 并引入归一化损伤定位指标判定损伤区域. 对国家游泳中心“水立方”子结构模型的两种损伤状态进行了识别试验. 采用力锤激励, 实测了子结构模型损伤前后的加速度响应, 利用特征系统实现算法对加速度响应进行模态参数识别, 采用基于测点区域的识别方法对子结构模型损伤区域进行判定. 结果表明, 所用方法能够有效定位损伤区域.     

基于高阶面元法与模态法的静气动弹性分析方法

建立了一种基于高阶面元法与模态法的静气动弹性分析方法，并基于此方法对弹性机翼进行了静气动弹性分析．基于机翼几何实体模型建立了三维气动力模型，利用高阶面元法计算气动力，通过模态法实现气动与结构的耦合，以AGARD445．6机翼和一个小展弦比机翼为研究对象，分析了机翼结构弹性变形对气动力的影响．本文重点研究了机翼的气动力系数、翼根载荷、结构变形、不同展向位置的压力分布等参数的变化趋势，并将部分结果与风洞试验、基于风洞试验气动力所得弹性结果进行了对比．结果表明：高阶面元法计算所得气动力具有较高的精确性；基于高阶面元法与模态法的静气动弹性分析方法具有可行性、可靠性和高效性，可以提供较为全面的静气动弹性数据为飞机初步设计参考．     

基于多活性代理的分布式入侵检测系统构建分析研究

针对应用了移动代理技术的分布式入侵检测系统在代理安全性和稳定性方面所存在的问题,本文在基于多活性代理复杂信息系统研究方法的指导下,提出了一种新的分布式入侵检测系统结构,即基于多活性代理的分布式入侵检测系统(DIDS-MLA).该系统将传统分布式入侵检测系统的两层结构扩展为三层结构,通过增加的一层结构对系统中各个检测代理活性状态值进行监测,使系统能够在多活性代理协商协调机理的指导下,根据代理活性状态值的变化来调整各代理的工作,从而达到保护系统中代理安全性以及维护系统检测稳定性的目的.在之前的研究工作中,我们仅仅对活性代理进行了定性分析,本文中则进一步提出了一种在分布式入侵检测环境下定量分析代理活性的方法,并在此基础上给出了系统中活性代理的实现思路.最后通过对系统工作流程以及对分布式拒绝服务攻击的检测效果进行分析之后,我们可以看出,本文所设计的DIDS-MLA系统在安全性和稳定性方面比传统分布式入侵检测系统(DIDS)以及基于移动代理的DIDS系统有明显改善,能够在强对抗环境下保证系统检测工作的正常运行.     

基于自适应多特征融合的双重图像退化修复网络

当前图像修复方法大多局限于处理某个单一特定任务,如超分辨率、去噪、着色等,很少有网络模型同时具备处理双重退化的能力.而现存可以解决多重图像退化问题的算法普遍结构复杂、训练时间长、人力成本较大.本文提出一种基于自适应多特征融合的双重退化修复网络(adaptive multi-feature fusion dual degradation restoration network, AMFNet),利用自引导模块(SGM)融合图像的多尺度信息,有效去除了图像中的部分缺陷;使用带有空洞卷积的编码解码器模块巩固图像的语义信息,实现了中间图像的着色;引入带有自适应多特征融合模块(AMF)的中间信息传输机制(ITM)链接以上两大结构,自适应选择保留网络递进过程的图像特征以避免有用信息的丢失.实验结果表明,基于自适应多特征融合的双重图像退化修复网络模型视觉生成效果最优,通过在CelebA和Landscape数据集上的测试分析,其结构相似度(SSIM)与感知图像补丁相似度(LPIPS)优于同类方法,而峰值信噪比(PSNR)则远超同类方法高达5 dB.     

基于磁流变驱动机制的电磁先导阀的可行性研究

结合国内外电磁先导阀发展现状,设计一种基于磁流变阀驱动的高压高水基先导阀,实现对传统电磁先导阀的电液控制.根据现有的电磁先导阀结构,对其正常工况时进行力学分析,建立其动力学模型.通过MATLAB/SIMULINK仿真软件得到磁流变网电场强度与压力降的关系,为磁流变驱动机制的可行性提供了理论依据.     

基于PCE代理模型和贝叶斯优化的结构参数快速反演方法

为保证工程结构的安全,根据实测资料进行反演分析,获取真实环境下的材料参数值具有重要价值.而现有的参数反演方法普遍存在计算效率与精度不可兼得的问题.本文利用小样本构建基于混沌多项式展开(polynomial chaos expansions, PCE)的高精度代理模型,并采用贝叶斯优化进行参数反演.新方法基于大型结构响应随机量化方法,充分利用复杂因素影响下结构响应随机特性,并依据贝叶斯后验更新方法,仅需要少量正向计算样本,便可高效、精确地进行大型结构的参数反演.某混凝土拱坝材料参数的反演算例表明,与基于贝叶斯优化算法直接进行迭代优化反演方法和基于Kriging代理模型的反演方法相比,本文所构建的方法具有优异的计算效率,适合于大型复杂结构问题的快速反演,为实际工程中在线反演和实时预测提供了新的发展维度.     

加工时间离散可控作业车间调度问题分解方法

给出了加工时间离散可控的作业车间调度问题（job-shop scheduling problem with discretely controllable processing times,JSP-DCPT）基于析取图的模型及其数学描述.提出一种三步分解方法,使得JSP-DCPT可以通过求解一个作业车间调度问题（job-shop scheduling problem,JSP）以及一系列离散时间-成本权衡问题得到解决.为简化分解方法,引入时间-成本相平面描述离散时间-成本权衡问题的权衡点,并详细阐释了一种基于极限模式的集合支配理论以确定用于消减JSP-DCPT分解所得离散时间-成本权衡问题的一个上界.随后提出一种基于极限模式的集合支配分解算法EMSDDA（extreme mode-based set dominant decomposition algorithm）.基于JSP标准算例FT10构造了测试算例JSPDCPT_FT10,实验仿真验证了提出的理论及分解方法的有效性.     

嫦娥四号月面巡视器全景相机制图方法

作为嫦娥四号月面巡视器的科学载荷,全景相机不仅承担着探测月面地质的任务,同时可以用于制图和地形重建,直接服务于巡视器的导航规划工作.在试验场选用一种模型方法用于前期标定实验,但为了后期制图工作的方便往往需要选用另一种模型,基于此,本文提出了一种基于畸变模型参数转换的去畸变方法,技巧性地解决了标定模型和制图模型不一致的问题,并融合支持像点(support points)稠密匹配、空间前方交会、最小二乘光束法平差、离散点云生成、德劳内三角化等多项技术,将全景相机影像用于制图工作.基于月面巡视器在LE00210站点拍摄的全景相机影像,在实验室构建控制场对本文提出的畸变模型参数转换方法进行了可行性和精度测试,结果表明畸变模型转换后定位精度优于1.6 cm,相对距离精度优于4%,并成功应用于嫦娥四号巡视器全景相机制图.