搜索筛选:
搜索耗时3.0581秒,为你在为你在102,285,761篇论文里面共找到 22 篇相符的论文内容
发布年度:
[学位论文] 作者：丁湘陵,,
来源：湖南大学 年份：2018
随着便携式采集设备的普及,数字视频丰富着我们的日常生活。功能强大的视频编辑工具比以往更容易制造虚假视频,而不留下任何可感知痕迹。这就打破我们传统的“所见即所得”观...
[期刊论文] 作者：丁湘陵,,
来源：怀化学院学报(自然科学) 年份：2008
IP多播技术已经提出很多的协议，而且有不少已经应用于路由器和Internet网络．详细分析多播路由协迁，并对所分析的协议进行比较，最后对多播路由协议技术的进一步研究进行了展望．......
[期刊论文] 作者：丁湘陵,
来源：怀化学院学报 年份：2012
通过分析B方法和软件体系结构描述语言各自的特点,提出了一种使两者无缝集成的精化开发方法：首先定义精化约束和规则保证在精化过程中模型系统的一致性;然后对ABC/ADL复合构件...
[期刊论文] 作者：丁湘陵,
来源：计算机时代 年份：2007
基于构件的软件开发是在一定构件模型的支持下,复用构件库中的一个或多个软件构件,通过组合构件来构造应用软件系统的开发过程.但是,目前CBSD仅仅在实现层次上支持构件交互,...
[期刊论文] 作者：丁湘陵,
来源：激光技术 年份：2013
为了克服基于相位截断傅里叶变换的非对称光学图像加密系统不能抵御已知明文攻击的缺陷，采用球面波的自带因子扰乱输入图像空间信息的方法实现图像的加解密，并通过理论分析和实......
[期刊论文] 作者：丁湘陵,,
来源：考试周刊 年份：2013
作者以Matlab的图形用户界面和图像处理工具箱为平台,设计数字图像处理可视化系统,该系统由窗口、选单、按钮和文字说明等构成,简捷、直观、清晰地体现出系统的功能和特征,适合数字图像处理课程教学。......
[学位论文] 作者：丁湘陵,
来源：湖南师范大学 年份：2006
伴随着计算机软件系统的规模和复杂程度的提高,软件系统的结构变得日益复杂,软件设计重心从“算法+数据结构”设计转变成为体系结构设计。软件体系结构已经成为决定软件系统...
[期刊论文] 作者：丁湘陵,
来源：电脑知识与技术·学术交流 年份：2008
摘要：在分析B语言和面向对象方法的基础上，提出一种具有面向对象特性的形式化描述语言B+，该语言克服原有B语言没有机制形式描述一系列实例变量和不确定的行为的缺点。 关键词：形式化；面向对象；B语言；B+ 中图分类号：TP301文献标识码：A文章编号：1009-3044(2008)20-302......
[期刊论文] 作者：丁湘陵,
来源：计算机时代 年份：2007
摘 要：基于构件的软件开发是在一定构件模型的支持下，复用构件库中的一个或多个软件构件，通过组合构件来构造应用软件系统的开发过程。但是，目前CBSD仅仅在实现层次上支持构件交互，缺乏一套系统的方法来指导整个开发过程。对此，文章提出了一种面向CBSD的软件体系结构......
[期刊论文] 作者：丁湘陵,王志刚,
来源：计算机工程与科学 年份：2013
通过分析B方法和软件体系结构描述语言ABC／ADL各自的特点，提出了一种两者结合的形式化方法。该方法利用B方法扩充的事件机制，定义软件体系结构描述语言的构件和连接子观察模型、......
[期刊论文] 作者：丁湘陵,王志刚,
来源：怀化学院学报 年份：2010
分析UML和B相互转化的难点后,提出一种既克服转化难点又能得到简单证明义务的建模机制：选择包作为交互替换的UML实体去说明一个B组件和包的完整类图到一个单独B组件的转化映射...
[期刊论文] 作者：丁湘陵,王志刚,
来源：电脑知识与技术：学术交流 年份：2007
本文采用B语言抽象机操作和扩充的事件机制，通过对构件行为规约形式化定义，然后用精化规则对构件行为规约逐步精化，直到可执行程序，最后给出了一个简单例子。...
[期刊论文] 作者：陈光仪,丁湘陵,
来源：电脑知识与技术 年份：2007
在介绍XML数据文档的基础上,讨论了XML数据库处理技术的分类及各自的适用场合;然后分析了NXD的主要特点,以及其相对于XED的应用优势;最后结合"高校数字图书馆"系统的实际开发...
[期刊论文] 作者：丁湘陵,陈光仪,,
来源：计算机与现代化 年份：2007
论述了在Linux平台上,基于IPSec技术和NP技术,对虚拟专用网络系统的实现。本文主要讨论了在虚拟专用网络系统中协议分析模块、异步加密模式和SADB的实现。...
[期刊论文] 作者：丁湘陵,崔永忠,
来源：激光杂志 年份：2013
根据傅里叶迭代算法原理,对一种基于相位截断傅立叶变换的非对称加密系统的安全性缺陷进行分析,结果表明该系统不能抵抗傅里叶迭代算法的攻击,提出了一种改进的非对称加密系...
[期刊论文] 作者：丁湘陵,王志刚,陈光仪,
来源：计算机与现代化 年份：2006
随着构件技术的迅速发展，原有的基于面向对象技术的构件描述模型已不能反映当前基于构件的软件开发特性。本文讨论基于新的构件模型的“4＋1”体系结构描述模型的结构框架．并将其......
[期刊论文] 作者：周妮,丁湘陵,钱莹晶,,
来源：怀化学院学报 年份：2017
分析了武陵山片区油茶种植的现状,提出了研究适用于此片区、此作物的农业专家系统.查阅了国内外相关资料,构建了目标系统模型.此系统的核心为SSH开发框架,以My Eclipse作为主...
[期刊论文] 作者：丁湘陵,袁倩,张乐冰,,
来源：激光技术 年份：2014
为了破解基于相位截断傅里叶变换的非对称光学图像加密系统,提出一种已知公钥的攻击方法,并通过理论分析和实验仿真进行了研究。结果表明,在已知公钥的攻击下,攻击者可通过获...
[期刊论文] 作者：李跃, 杨高波, 丁湘陵, 朱亚培,,
来源：通信学报 年份：2019
作为高效视频编码(HEVC)的扩展,3D-HEVC 标准有效地提高了 3D 视频的压缩效率,但是也带来了很高的编码计算复杂度。为了显著地降低 3D-HEVC 编码复杂度,提出了一种提前 Merge...
[会议论文] 作者：姚羽轩,杨高波,章登勇,丁湘陵,
来源：第十三届全国信息隐藏暨多媒体信息安全学术大会 年份：2016
本文提出了一种基于清晰度和帧差的相关系数的视频帧率上转换的取证方法.首先,利用形态学梯度计算视频帧的清晰度,并根据得到视频的清晰度曲线是否存在异常,判断视频是否经历过帧率上转换.此外,考虑到可能出现的少量误分类,引入帧差相关系数,对可疑的篡改视频进......
相关搜索：
