检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

描述逻辑εL的二阶线性推理机制

软件学报 2017年第2期28卷 216-233页

作者：王驹陈光喜余泉广西可信软件重点实验室(桂林电子科技大学) 广西桂林541004 黔南民族师范学院数学系贵州都匀558000

基于描述逻辑的本体的保守扩充理论、模块抽取理论、通用模块构建理论及其相关算法是本体工程中本体构建、本体融合及重构的核心理论与工具.国际上该领域已有Lutz等人使用形式构模方法证明了ALC的保守扩充判定算法复杂度是二阶时间指数... 详细信息

基于描述逻辑的本体的保守扩充理论、模块抽取理论、通用模块构建理论及其相关算法是本体工程中本体构建、本体融合及重构的核心理论与工具.国际上该领域已有Lutz等人使用形式构模方法证明了ALC的保守扩充判定算法复杂度是二阶时间指数的,而轻量级的系统?L的算法复杂度是一阶时间指数的.但当前文献中的形式构模方法思路复杂,难以把握,几乎不能在实用的工程层面上实现.提出一种面向轻量级的描述逻辑系统家族(DL-Lite family)的统一的二阶线性推理机制,并给出该推理机制的完备性证明.该方法直观,思路清晰,从而在工程中容易实现.同时,该方法对?L,FL0,FL?,v L等DL-Lite家族的所有系统都有效.在该线序推理系统下,可以根据"空间换时间"的原则,设计和实现关于保守扩充判定的图推理机制,其复杂性(相对于空间的大小)是多项式的.

关键词：描述逻辑保守扩充模块本体抽取二阶线性推理机制 DL-Lite家族

在线全文

学校读者我要写书评

暂无评论

基于相关性与纹理度量的SVM隐写分析算法

清华大学学报（自然科学版） 2009年第8期49卷 1233-1236页

作者：陈光喜廖振生王道顺桂林电子科技大学数学与计算科学学院桂林541004 清华大学计算机科学与技术系北京100084

为提高图像信息隐藏正确检测率,扩展隐写分析算法的适用范围,提出了一种新的基于最低有效位(LSB)的隐写分析方法,引入了一组基于相邻像素相关性和图像纹理复杂度的差值关系的高阶统计矩作为特征矢量。基于此特征量构造分类器,采用支持... 详细信息

为提高图像信息隐藏正确检测率,扩展隐写分析算法的适用范围,提出了一种新的基于最低有效位(LSB)的隐写分析方法,引入了一组基于相邻像素相关性和图像纹理复杂度的差值关系的高阶统计矩作为特征矢量。基于此特征量构造分类器,采用支持向量机(SVM)进行训练和分类。对1 600幅BMP图像在不同嵌入率情形下进行仿真实验,并与经典的RS(regular singular)隐写算法和GPC(gray-levelplane crossing)算法进行对比分析。结果表明,针对原始无损存储图像,基于该文建立的分类器的准确率高于目前的主流算法识别掩密图像,具有较可靠的盲检测性能。

关键词： LSB隐写分析纹理复杂度支持向量机(SVM)

同方期刊数据库

在线全文

学校读者我要写书评

暂无评论

一种基于代数数的序列密码方案与实现

计算机应用 2004年第12期24卷 64-66页

作者：陈光喜桂林电子工业学院计算科学与数学系广西桂林541004

数据有效加密是信息安全一个最根本的要求。近年来各种加密方法层出不穷。文中讨论了信息加密的基本方面,提出一种基于代数数的加密方案,利用代数数的无周期性和无穷性,产生密钥流;利用Sturm定理和二分法,给出一类代数数的快速展开计算... 详细信息

数据有效加密是信息安全一个最根本的要求。近年来各种加密方法层出不穷。文中讨论了信息加密的基本方面,提出一种基于代数数的加密方案,利用代数数的无周期性和无穷性,产生密钥流;利用Sturm定理和二分法,给出一类代数数的快速展开计算密钥流的算法。文章还讨论了实现策略,给出了实例,表明了算法的有效性和实现效率。

关键词：信息安全有效数据加密密钥流代数数

在线全文

学校读者我要写书评

暂无评论

大规模数据分类的支持向量预处理方法

计算机应用 2007年第B12期27卷 257-259页

作者：徐健陈光喜桂林电子科技大学数学与计算科学学院安徽财经大学统计与应用数学学院安徽蚌埠233030

对支持向量分类机中大规模数据集训练速度慢的瓶颈提出一种预处理方法,通过设置邻域特征值,比较样本点特征信息,建立样本集删除矩阵,剔除重复反映分类特性的样本点,达到在保持分类精确度的同时提高数据集训练速度,减少训练时间的目的。... 详细信息

对支持向量分类机中大规模数据集训练速度慢的瓶颈提出一种预处理方法,通过设置邻域特征值,比较样本点特征信息,建立样本集删除矩阵,剔除重复反映分类特性的样本点,达到在保持分类精确度的同时提高数据集训练速度,减少训练时间的目的。通过对随机数据和UCI标准数据库的数值实验验证了算法有效性,且相应调整计算阈值时可以达到提高分类精度的效果。

关键词：支持向量机预处理方法大规模数据集运算速度

以潮流玩具为导向的高校文创产品创新设计探析

在线全文

学校读者我要写书评

暂无评论

玩具世界 2023年第4期 100-103+107页

作者：张坤陈光喜于亚男桂林电子科技大学艺术与设计学院

文章通过研究高校文创、潮流玩具的成功案例，以探讨具有时代特色的高校文创产品，为当代高校文创设计创新提供更多的可能性，促进高校文创的灵活发展。将潮流玩具与高校文创作为讨论基点，分析潮流玩具设计技巧与高校文创现状，借助潮... 详细信息

文章通过研究高校文创、潮流玩具的成功案例，以探讨具有时代特色的高校文创产品，为当代高校文创设计创新提供更多的可能性，促进高校文创的灵活发展。将潮流玩具与高校文创作为讨论基点，分析潮流玩具设计技巧与高校文创现状，借助潮流玩具设计优势为高校文创赋能，进一步提高高校文创的综合价值。高校文创产品的设计创新可以借鉴潮流玩具设计理念，其创新设计须从时代发展和大众需求出发，深化情感连接和凸显个性，以丰富精神文化内涵与审美兼备的产品形式赢得更多的受众。

关键词：高校文创潮流玩具文创设计

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

BIM在施工单位工程造价管理中的应用研究

BIM在施工单位工程造价管理中的应用研究

作者：陈光喜天津大学

学位级别：硕士

随着建筑业的快速市场化发展,施工单位面临更加严峻的市场竞争,利润空间进一步压缩,同时随着经济的高速发展,人工材料机械等费用也在逐年攀升,施工成本的控制难度进一步提升,对施工单位工程造价管理提出了更高的要求。长期以来,施工单... 详细信息

随着建筑业的快速市场化发展,施工单位面临更加严峻的市场竞争,利润空间进一步压缩,同时随着经济的高速发展,人工材料机械等费用也在逐年攀升,施工成本的控制难度进一步提升,对施工单位工程造价管理提出了更高的要求。长期以来,施工单位工程造价管理是一种低效率的粗放式管理模式,已经无法满足日趋成熟的信息化、精细化、智能化的行业发展要求。BIM技术的出现,为工程建设各方提供了一个有效的信息共享平台,利用BIM技术创建三维可视的信息化智能化模型,对施工单位提高工程计量准确性,快速进行变更索赔,加快施工进度、实现各阶段各专业之间造价信息的有效共享,合理控制施工成本,全面提高工程造价管理效率提供了很好的解决办法。本文针对当前工程造价管理中的问题,提出了基于BIM的造价管理方式并分析研究了其在施工单位工程造价管理中的应用。首先通过分析BIM的内涵及国内外发展现状,提出其对建筑信息化发展的积极作用。其次,研究了我国工程造价管理发展历程,结合施工单位工程造价管理现状,分析了基于BIM各阶段工程造价管理中的应用价值及优越性。最后结合工程案例,分析了BIM技术在施工单位工程造价管理招投标阶段、施工阶段、竣工验收阶段等各不同阶段的具体应用,总结了BIM在施工单位造价管理中的应用方法并展望其发展前景。

关键词： BIM 施工单位工程造价管理

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

一种收敛的重开始GMRES算法(英文)

复旦学报（自然科学版） 1997年第6期36卷 645-651页

作者：曹志浩陈光喜侯小东复旦大学数学所上海

提出了一种收敛的GMRES（m）方法，它克眼了重开始GMRES算法的残量范数停滞现象，并给出了收敛速度的估计．数值试验证明了方法的有效性与可行性．

关键词：线性方程组 Krylov子空间 GMRES算法收敛

在线全文

学校读者我要写书评

暂无评论

一种处理较大规模数据分类的支持向量机

计算机工程与应用 2007年第6期43卷 165-167页

作者：徐健陈光喜桂林电子科技大学数学与计算科学学院广西桂林541004

对支持向量分类机中的一些基本方法作出详细地介绍,并进一步研究了方法的求解与改进。并通过对标准支持向量机的改造考虑了一种改进的方法,并进行相关的理论分析,通过数据实验验证了这种方法比传统的分类机在运算速度上有提高,特别是在... 详细信息

对支持向量分类机中的一些基本方法作出详细地介绍,并进一步研究了方法的求解与改进。并通过对标准支持向量机的改造考虑了一种改进的方法,并进行相关的理论分析,通过数据实验验证了这种方法比传统的分类机在运算速度上有提高,特别是在处理较大规模的数据集时运算时间的效果更明显。

关键词：支持向量机数据分类算法大规模数据集运算速度

在线全文

学校读者我要写书评

暂无评论

基于HVS的自适应鲁棒视频水印算法

计算机科学 2008年第11期35卷 214-216页

作者：陈光喜成彦桂林电子科技大学数学与计算科学学院桂林541004

视频水印与静止图像比较,包含有运动部分,具有变化的特性。根据人眼对快速运动的物体敏感度会下降的特点及DCT域视觉掩蔽模型,提出一种自适应的鲁棒视频水印算法。算法首先通过比较I帧与相邻帧的同一区域的DCT直流系数,得到一个快速运... 详细信息

视频水印与静止图像比较,包含有运动部分,具有变化的特性。根据人眼对快速运动的物体敏感度会下降的特点及DCT域视觉掩蔽模型,提出一种自适应的鲁棒视频水印算法。算法首先通过比较I帧与相邻帧的同一区域的DCT直流系数,得到一个快速运动图像块集,然后在该图像块集中根据视觉掩蔽模型计算图像块的DCT中频系数,选择区域自适应嵌入水印。仿真实验表明,该水印算法不仅能很好地抵抗MPEG压缩,而且能较好地协调不可见性和鲁棒性,并能抵抗一定的几何攻击。

关键词：数字水印 DCT变换人眼视觉特性