摘要：在小波变换域内,将水印嵌入在特定的小波系数中,对图像带来的失真影响很小,同时可以准确地检测和篡改定位,因此目前实现认证的脆弱水印和半脆弱水印大多在小波域内。提出了一种使用提升小波变换的半脆弱水印方法。在原始宿主图像经过提升小波变换之后的低频子带,根据水印和小波系数的特征自适应地修改小波系数,嵌入过程实现了很好的不可见性和鲁棒性,实现了盲提取,并能准确地实现篡改的检测和定位。

摘要：回溯法是解决组合搜索问题的重要方法,该方法的搜索通过一个多阶段的确定过程来实现,在每一阶段都需要从一些选择中选择一个分支,一旦发现前面的选择不可能获得一个解,则算法进行回溯,即重新回到刚搜索过的选择点,并选择该结点另一个没有被试过的分支,如果该点处所有的分支都已试过,则算法回溯到该结点之前被选择的点。首先对一类分配调度问题进行了分析,然后提出一种基于回溯法的解决方案,并给出了算法的具体实现过程,最后对所提出算法的复杂度进行了分析。实验结果验证了方法的有效性。

摘要：通过将来自多条链路的数据包融合为一个单独的编码信息流进行传输,网络编码技术能够显著地提高无线多跳网络的容量。提出一种基于区分服务的异构无线传感器网络编码协议(DBNC)。协议的核心思想是周期性地计算节点剩余能量的均值和标准差,对节点进行动态分类。在此基础上,将服务质量需求映射到网络编码协议中。为此,引入能量感知编码包转发机制,以高效地利用节点的能量;另一方面,设计多优先级数据包调度策略,目的是创造更多的编码机会。仿真结果表明,DBNC不仅可以保障数据的可靠传输,而且可有效地减少低能量节点的能耗,从而延长网络的生命周期。

摘要：水面机器人是继无人驾驶汽车、无人机后的工业界、学术界的又一关注热点,机舱作为水面机器人的控制和运行中枢,要求具备高度的智能化和自治化。基于边缘计算模式设计和实现了水面机器人机舱预测性维护系统,该系统具有机舱运行参数实时感知、故障诊断,估计剩余寿命,进而开展预测性维护的功能。论文给出基于边缘计算的预测性维护系统体系结构设计,以NVIDIA Tegra Parker深度学习Soc为核心的边缘网关架构设计,基于GRU门控循环单元神经网络学习算法的故障诊断、剩余寿命预测方法及预测性维护实现思路,最后在NASA的PCo E发动机退化模拟数据集上验证了系统设计的可行性及预测算法的有效性。

摘要：计算机仿真技术是中华传统手工艺乱针绣保护、传承的重要途径。在乱针绣仿真过程中,所绣制图案的构成、尺寸变化无严格规律,纹理和边界形状也是千变万化,而用于绣制的针法种类、形状和尺寸受到限制,导致针法的选择与排布难以达到满意的效果。针对乱针绣的应用背景和约束条件,提出在几何约束下的针绣图块路径排布规划方法。将绣制区域进行均匀剖分以选定图形排布的大致位置,通过设计最小化能量函数的计算来选择和精确排布。然后,采用优化策略使填充图块形变,以达到重叠和缝隙可控的排布效果。仿真结果表明,上述方法能够提高图块排布精度和适用性,满足乱针绣模拟在几何约束下的针法排布要求。

摘要：软件规模与复杂度的迅速增长已成为设计与检验现代高质量无人机飞行控制软件(FCS)系统的重要挑战。采用模型驱动工程(MDE)的框架,使用嵌入式实时系统建模语言(MARTE)建立起某型无人机飞控软件系统的模型,给出了基于时间自动机的系统动态行为的形式化模型实例;结合无人机FCS系统的应用背景,建立了基于时间自动机模型的测试用例生成方法,包括建立测试用例生成框架、测试用例生成规则以及用例生成策略等;对某型无人机飞控软件系统中的主控模块进行了建模与测试用例生成的实例分析研究。

摘要：SDN作为一种新型网络架构,对网络进行集中控制、拥有全局网络视图和灵活编程能力,很大程度上代表了未来网络的发展方向。但SDN集中控制的特性和数据平面与控制平面的分离,会大大增加受到DoS攻击的可能性。该文首先详细分析了SDN环境下控制平面、数据平面、网络主机等遭受洪范式DoS攻击或隐藏式DoS攻击的不同特点;然后利用轻量级虚拟仿真软件Mininet,结合Floodlight控制器以及流量监测工具sFlow,展示了网络拓扑创建、主机间联通测试、流表下发和网络流量监测的整体流程;最后用SDN环境下的洪范式和隐藏式DoS攻击和防御案例进行实验教学。

摘要：抗几何攻击的图像水印算法作为多媒体水印研究领域的一个热点和难点问题受到关注。研究了几何攻击类型的估计方法,提出了一种基于边信息和仿射模型的抗几何攻击小波域自适应图像水印算法。该算法根据HVS的掩蔽特性将水印信息自适应地嵌入到图像小波域的低频子带中,在保证不可见性的前提条件下,根据几何攻击估计方法来判断图像所经受的几何攻击类型。实验结果表明,提出的几何攻击估计方法简单、有效,该水印算法不仅具有较好的不可感知性,而且对诸如平移、旋转、缩放、镜像和转置等几何攻击以及一般的图像处理均具有较强的鲁棒性。

摘要：介绍了基于组播的安全协同多会话交谈系统的设计与实现。讨论了组播技术涉及到的安全问题:信息的完整性、密钥管理、密钥分发等,提出一种新的基于组播的安全群组通信的模型及策略,并引入到协同多会话交谈系统中,对提出的模型和策略进行了验证。

摘要：SCADE同步语言是一种常用的嵌入式系统程序设计语言。在航空、航天、交通等安全关键领域的装备研发中,SCADE同步语言通常被用于实现实时嵌入式自动控制系统。SCADE语言是工业级的开发工具,它源于Lustre语言,并在其基础上增加了更多的语言结构来精简代码。目前,相比Lustre语言,SCADE程序模型检测的学术研究相对落后。为此,文中提出了一种对SCADE程序进行模型检测的方法并实现了一款SCADE模型检测工具,该方法的核心思想是基于程序转化,即把SCADE程序经过词法分析、语法分析、抽象语法树生成与化简等操作最终转化为等价的Lustre程序,然后用JKind与SMT求解器完成模型检测。此外,通过理论推导和大量实验证明了工具的模型检测的正确性。实验结果表明,功能相同的两个SCADE和Lustre测试用例模型的检测结果相同,但SCADE程序的模型检测效率相对较低。