农业专家系统在武陵山片区油茶种植中的应用

分析了武陵山片区油茶种植的现状,提出了研究适用于此片区、此作物的农业专家系统.查阅了国内外相关资料,构建了目标系统模型.此系统的核心为SSH开发框架,以My Eclipse作为主要的开发工具,利用面向对象技术,将采集系统、专家系统等有机结合,实现对油茶种植状态进行实时监测等功能.此系统的研究在武陵山片区油茶种植中具有较好的发展前景.

非对称光学图像加密系统的已知公钥攻击

为了破解基于相位截断傅里叶变换的非对称光学图像加密系统,提出一种已知公钥的攻击方法,并通过理论分析和实验仿真进行了研究。结果表明,在已知公钥的攻击下,攻击者可通过获取通用解密密钥恢复基于相位截断傅里叶变换的非对称光学图像加密系统的明文,并取得了较好的破解效果。在整个攻击的实施过程中,除了公开的加密密钥,无需额外的资源,同时攻击难度大大降低,因此更具实际意义。

基于相位截断的非对称加密系统安全性的分析与改进

根据傅里叶迭代算法原理,对一种基于相位截断傅立叶变换的非对称加密系统的安全性缺陷进行分析,结果表明该系统不能抵抗傅里叶迭代算法的攻击,提出了一种改进的非对称加密系统;对改进系统进行了安全性分析和实验仿真。理论分析和实验仿真结果表明,改进系统克服了原系统不能抵御傅里叶迭代算法攻击的缺陷,而且能保持非线性特性,具有更高的安全性。

基于球面波照射的非对称光学图像加密

为了克服基于相位截断傅里叶变换的非对称光学图像加密系统不能抵御已知明文攻击的缺陷,采用球面波的自带因子扰乱输入图像空间信息的方法实现图像的加解密,并通过理论分析和实验仿真进行了研究。结果表明,该方法既能抵御已知明文攻击和保持非线性特性,又能获得原系统加解密图像的效果,同时还能减少相位掩膜数量,简化系统设置。这一结果对于改进基于相位截断傅里叶变换的非对称光学图像加密系统的安全性是有帮助的。

基于B方法的体系结构描述语言的形式化研究

通过分析B方法和软件体系结构描述语言ABC/ADL各自的特点,提出了一种两者结合的形式化方法。该方法利用B方法扩充的事件机制,定义软件体系结构描述语言的构件和连接子观察模型、行为规约和约束规约,并给出了规约实例,从而使得基于B方法的ABC/ADL能够形式化描述软件体系结构的结构和行为。

基于构件的“4+1”建模技术及应用

随着构件技术的迅速发展,原有的基于面向对象技术的构件描述模型已不能反映当前基于构件的软件开发特性。本文讨论基于新的构件模型的“4+1”体系结构描述模型的结构框架,并将其运用到简化了的图书馆系统的设计中。

Linux环境下的VPN异步加密模式的实现

论述了在Linux平台上,基于IPSec技术和NP技术,对虚拟专用网络系统的实现。本文主要讨论了在虚拟专用网络系统中协议分析模块、异步加密模式和SADB的实现。

UML包与B结合的形式化建模研究

分析UML和B相互转化的难点后,提出一种既克服转化难点又能得到简单证明义务的建模机制:选择包作为交互替换的UML实体去说明一个B组件和包的完整类图到一个单独B组件的转化映射,同时结合实例加以说明该机制的可行性.

基于B语言的构件精化开发方法

本文采用B语言抽象机操作和扩充的事件机制，通过对构件行为规约形式化定义，然后用精化规则对构件行为规约逐步精化，直到可执行程序，最后给出了一个简单例子。

基于B方法的体系结构描述语言的精化研究

通过分析B方法和软件体系结构描述语言各自的特点,提出了一种使两者无缝集成的精化开发方法:首先定义精化约束和规则保证在精化过程中模型系统的一致性;然后对ABC/ADL复合构件和复杂连接子使用定义的精化约束和规则逐步精化,直到可执行程序,最后给出实例加以说明该方法的可行性.

多播路由协议分析比较研究

IP多播技术已经提出很多的协议,而且有不少已经应用于路由器和Internet网络.详细分析多播路由协议,并对所分析的协议进行比较,最后对多播路由协议技术的进一步研究进行了展望.

面向CBSD的软件体系结构六视图模型研究

基于构件的软件开发是在一定构件模型的支持下,复用构件库中的一个或多个软件构件,通过组合构件来构造应用软件系统的开发过程。但是,目前CBSD仅仅在实现层次上支持构件交互,缺乏一套系统的方法来指导整个开发过程。对此,文章提出了一种面向CBSD的软件体系结构六视图模型,为系统的设计与实现提供参考模型和技术指导,并将其运用到图书馆系统的设计中。

基于NXD的研究与应用

在介绍XML数据文档的基础上,讨论了XML数据库处理技术的分类及各自的适用场合;然后分析了NXD的主要特点,以及其相对于XED的应用优势;最后结合"高校数字图书馆"系统的实际开发,提出了基于NXD开发应用系统的一般流程.

数字视频伪造被动取证技术研究综述

数字视频伪造被动取证技术直接依据已获得的视频数据本身来判别其真实性,具有更好的适应性,逐渐成为取证研究领域的主流。为了从整体上梳理与描述数字视频伪造被动取证技术,分析了常见的视频伪造操作的特点和它们遗留的痕迹以及对视频被动取证的影响,从取证手段和采用技术2个角度,归纳与总结了基于数字视频来源、基于视频篡改遗留痕迹、基于深度学习框架和基于原始视频特征表征等视频被动取证的典型方法,并详细地探讨了视频伪造被动取证领域面临的挑战和未来的发展趋势。

基于双分支网络的图像修复取证方法

图像修复是一项利用图像已知区域的信息来修复图像中缺失或损坏区域的技术。人们借助以此为基础的图像编辑软件无须任何专业基础就可以轻松地编辑和修改数字图像内容,一旦图像修复技术被用于恶意移除图像的内容,会给真实的图像带来信任危机。目前图像修复取证的研究只能有效地检测某一种类型的图像修复。针对这一问题,提出了一种基于双分支网络的图像修复被动取证方法。双分支中的高通滤波卷积网络先使用一组高通滤波器来削弱图像中的低频分量,然后使用4个残差块提取特征,再进行两次4倍上采样的转置卷积对特征图进行放大,此后使用一个5×5的卷积来减弱转置卷积带来的棋盘伪影,生成图像高频分量上的鉴别特征图。双分支中的双注意力特征融合分支先使用预处理模块为图像增添局部二值模式特征图。然后使用双注意力卷积块自适应地集成图像局部特征和全局依赖,捕获图像修复区域和原始区域在内容及纹理上的差异,再对双注意力卷积块提取的特征进行融合。最后对特征图进行相同的上采样,生成图像内容和纹理上的鉴别特征图。实验结果表明该方法在检测移除对象的修复区域上,针对样本块修复方法上检测的F1分数较排名第二的方法提高了2.05%,交并比上提高了3.53%;针对深度学习修复方法上检测的F1分数较排名第二的方法提高了1.06%,交并比提高了1.22%。对结果进行可视化可以看出,在检测修复区域上能够准确地定位移除对象的边缘。

基于学习模型的3D-HEVC提前Merge模式终止算法

作为高效视频编码(HEVC)的扩展,3D-HEVC 标准有效地提高了 3D 视频的压缩效率,但是也带来了很高的编码计算复杂度。为了显著地降低 3D-HEVC 编码复杂度,提出了一种提前 Merge 模式终止算法。首先,提取 Merge 模式编码后的残差信号作为特征信息;然后,根据当前编码帧内已经编码的编码单元(CU)的最优Merge 模式残差信号建立学习模型;最后,提取当前 CU 的 Merge 模式的残差信号,并且利用学习模型预测 Merge模式是否为最优模式。实验结果表明,提出的提前 Merge 模式终止算法分别将 3D-HEVC 纹理视点和深度图编码的时间降低了 41.9%和 24.3%,且编码性能的降低几乎可忽略不计。相较于现有的提前 Merge 模式算法,提出的提前 Merge 模式终止算法能进一步降低 3D-HEVC 的编码时间,并且设计简单,易于集成到 3D-HEVC 测试模型。

金银花烘干控制器的设计与研究

针对目前金银花烘干加工方法在加工效率和品质保持等方面不能完全满足应用需求的现状,研究了一种基于STC89C52单片机的低成本金银花烘干控制器的设计方法.该方法采用分段控时控温的方法,克服了传统的高温烘干药效成分得不到保持、低温烘干耗时久的缺陷;在分段控时控温方案中采用DS18B20实时采集加温区的温度,通过单片机程序控制每阶段烘干加工的温度和持续时间;电路上采用4×4矩阵键盘修改每阶段加工温度和持续时间,满足不同花种个性化的加工需求.实验结果验证了设计的有效性.