检索结果-内蒙古大学图书馆

计算机学报 2009年第7期32卷 1280-1290页

作者：蒋运承王驹邓培民汤庸周生明华南师范大学计算机学院广州510631 中国科学院软件研究所计算机科学国家重点实验室北京100190 广西师范大学计算机科学与信息工程学院广西桂林541004 中山大学计算机科学系广州510275

循环术语集是描述逻辑长期以来的研究难点,它的最基本的问题即语义及推理问题没有得到合理的解决.分析了描述逻辑循环术语集的研究现状和存在的问题,基于混合μ-演算将不动点构造算子引入到含有枚举构造算子的描述逻辑ALCIO中,提出了一... 详细信息

循环术语集是描述逻辑长期以来的研究难点,它的最基本的问题即语义及推理问题没有得到合理的解决.分析了描述逻辑循环术语集的研究现状和存在的问题,基于混合μ-演算将不动点构造算子引入到含有枚举构造算子的描述逻辑ALCIO中,提出了一种允许包含循环术语集的描述逻辑μALCIO.给出了μALCIO的语法和语义,证明了μALCIO的可满足性推理等价于混合μ-演算的可满足性推理,并利用树自动机理论给出了μALCIO的可满足性推理算法以及给出了推理算法正确性证明和复杂性定理.

关键词：描述逻辑 μALCIO 混合μ-演算树自动机不动点构造算子

来源：评论

学校读者我要写书评

暂无评论

基于RBF和Elman混合神经网络的入侵检测系统的研究

引用

微电子学与计算机 2009年第8期26卷 155-157,162页

作者：于延王建华张军哈尔滨师范大学计算机科学与信息工程学院黑龙江哈尔滨150025

提出一种基于RBF和Elman混合神经网络模型的入侵检测系统.本模型具有记忆功能,可以有效地检测离散而又相联系的攻击行为.RBF网络是一个实时的模式分类器,而Elman网络实现了对事件的记忆能力.基于此混合模型的入侵检测系统使用DARPA数据... 详细信息

提出一种基于RBF和Elman混合神经网络模型的入侵检测系统.本模型具有记忆功能,可以有效地检测离散而又相联系的攻击行为.RBF网络是一个实时的模式分类器,而Elman网络实现了对事件的记忆能力.基于此混合模型的入侵检测系统使用DARPA数据集进行测试评估,使用ROC曲线直观的显示测试的结果.实验证明基于此混合模型的入侵检测系统可以有效地提高检测率,降低误报率和漏报率.

关键词：入侵检测系统异常检测误用检测混合神经网络

来源：评论

学校读者我要写书评

暂无评论

转阀式直接驱动伺服阀的参数自调整模糊PID控制

引用

微电子学与计算机 2008年第9期25卷 141-143页

作者：孙惠杰哈尔滨师范大学计算机科学与信息工程学院黑龙江哈尔滨150080

转阀式直接驱动电液伺服阀具有很大的优越性,但必须对其进行有效的控制.针对摩擦非线性比较严重,建立精确数学模型困难的情况,采用自整定模糊PID控制.介绍了设计过程,研制出针对转阀的模糊规则和合适的PID参数调整规律,最后通过数字仿... 详细信息

转阀式直接驱动电液伺服阀具有很大的优越性,但必须对其进行有效的控制.针对摩擦非线性比较严重,建立精确数学模型困难的情况,采用自整定模糊PID控制.介绍了设计过程,研制出针对转阀的模糊规则和合适的PID参数调整规律,最后通过数字仿真验证了该控制方法较强的抗干扰能力.

关键词：转阀式直接驱动伺服阀控制自调整模糊PID控制模糊控制

来源：评论

学校读者我要写书评

暂无评论

自适应双坐标系的差分进化算法求解混合变量优化问题

引用

计算机学报 2024年第9期47卷 2116-2140页

作者：周新宇黄君洪彭虎王晖王峰江西师范大学计算机信息工程学院南昌330022 吉林大学计算机科学与技术学院长春130012 九江学院计算机与大数据科学学院江西九江332005 南昌工程学院信息工程学院南昌330022 武汉大学计算机学院武汉430072

如何设计求解混合变量优化问题(Mixed-variable Optimization Problems,MVOPs)的相关算法,是计算机算法设计与分析领域中的一个重要研究方向.该问题的求解难点在于需同时优化连续型和离散型决策变量,目前进化算法(Evolutionary Algorith... 详细信息

如何设计求解混合变量优化问题(Mixed-variable Optimization Problems,MVOPs)的相关算法,是计算机算法设计与分析领域中的一个重要研究方向.该问题的求解难点在于需同时优化连续型和离散型决策变量,目前进化算法(Evolutionary Algorithms,EAs)是求解该问题的一种有效手段.然而,现有的相关EAs忽略了问题变量之间的相关性,导致算法性能还存在一定不足.为此,本文从变量相关性角度出发,提出了一种自适应双坐标系的差分进化算法来求解MVOPs.首先,利用种群的协方差矩阵信息来构建特征坐标系,实现在特征坐标系下执行算法的相关操作,以松弛连续变量与离散变量之间的相关性;其次,为避免种群多样性丢失,仍保留了原坐标系,并设计了一种自适应策略来应用特征坐标系和原坐标系,以发挥双坐标系的优势;最后,为提高离散变量的优化效果,专门设计了一种基于离散变量相关性的局部搜索策略,以增强算法的整体性能.为验证本文方法性能,在一套包含28个测试函数的通用测试集上进行了大量实验,与5种求解MVOPs的知名EAs进行了对比,结果表明本文方法有更好性能.此外,在一个实际MVOP上,即焊接梁设计问题,本文方法能取得目前已知最好解.本文方法为计算机算法设计和分析领域的相关工作提供了新的思路.

关键词：混合变量差分进化变量相关性特征坐标系双坐标系

来源：评论

学校读者我要写书评

暂无评论

基于两通道深度卷积神经网络的图像隐藏方法

引用

电子与信息学报 2022年第5期44卷 1782-1791页

作者：段新涛王文鑫李磊邵志强王鲜芳秦川河南师范大学计算机与信息工程学院新乡453007 河南工学院计算机科学与技术学院新乡453003 上海理工大学光电与计算机工程学院上海200093

现有的基于深度卷积神经网络(DCNN)实现的图像信息隐藏方法存在图像视觉质量差和隐藏容量低的问题。针对此类问题,该文提出一种基于两通道深度卷积神经网络的图像隐藏方法。首先,与以往的隐藏框架不同,该文提出的隐藏方法中包含1个隐藏... 详细信息

现有的基于深度卷积神经网络(DCNN)实现的图像信息隐藏方法存在图像视觉质量差和隐藏容量低的问题。针对此类问题,该文提出一种基于两通道深度卷积神经网络的图像隐藏方法。首先,与以往的隐藏框架不同,该文提出的隐藏方法中包含1个隐藏网络和2个结构相同的提取网络,实现了在1幅载体图像上同时对2幅全尺寸秘密图像进行有效的隐藏和提取;其次,为了提高图像的视觉质量,在隐藏网络和提取网络中加入了改进的金字塔池化模块和预处理模块。在多个数据集上的测试结果表明,所提方法较现有的图像信息隐藏方法在视觉质量上有显著提升,载体图像PSNR和SSIM分别提高了3.75 dB和3.61%,实现的相对容量为2,同时具有良好的泛化能力。

关键词：图像信息隐藏深度卷积神经网络金字塔池化预处理

来源：评论

学校读者我要写书评

暂无评论

基于分布式计算的网络管理平台的设计与实现

引用

计算机工程 2005年第23期31卷 113-115页

作者：王彦丽陈明田登山首都师范大学信息工程学院北京100037 石油大学计算机科学与技术系北京102200

提出了一个基于分布式计算的网络管理系统模型,从理论和实践两方面,详细论述了系统的结构及实现机制,对系统的特点和性能进行了分析与研究,并将该系统应用到实际中,结果表明是有效而实用的。

关键词：网络管理分布式计算管理平台

来源：评论

学校读者我要写书评

暂无评论

一种分布式动态描述逻辑

引用

计算机研究与发展 2006年第9期43卷 1603-1608页

作者：蒋运承史忠植汤庸王驹中山大学计算机科学系广州510275 中国科学院计算技术研究所北京100080 广西师范大学计算机科学与信息工程学院桂林541004

分析了目前描述逻辑(DL)的研究现状和存在的问题,特别是动态描述逻辑(DDL)作为语义Web逻辑基础所存在的问题.针对语义Web的特点和需求,对DDL进行了扩充,提出了一种新的描述逻辑,即分布式动态描述逻辑(D3L),给出了D3L的语法和语义,并研究... 详细信息

分析了目前描述逻辑(DL)的研究现状和存在的问题,特别是动态描述逻辑(DDL)作为语义Web逻辑基础所存在的问题.针对语义Web的特点和需求,对DDL进行了扩充,提出了一种新的描述逻辑,即分布式动态描述逻辑(D3L),给出了D3L的语法和语义,并研究了D3L的推理机制,提出了两种推理方法:直接推理和转化推理.与动态描述逻辑DDL相比,该D3L可以为语义Web提供更为合理的逻辑基础,弥补了DDL作为语义Web逻辑基础的不足.

关键词：描述逻辑动态描述逻辑分布式动态描述逻辑语义Web

来源：评论

学校读者我要写书评

暂无评论

软件体系结构层的耦合性度量研究

引用

微电子学与计算机 2009年第5期26卷 103-105,109页

作者：赵佳华伦立军哈尔滨师范大学计算机科学与信息工程学院黑龙江哈尔滨150080

提出一种软件体系结构层耦合性度量套件,分别定义了CBC度量构件间耦合、CBCC度量构件间消息传递集耦合及CBCCT度量系统全局耦合,并根据提出的耦合性度量算法,为体系结构设计提供设计依据,最后通过实例分析了该度量套件的可行性.

关键词：软件体系结构软件度量耦合性

来源：评论

学校读者我要写书评

暂无评论

多目标优化的粒子群算法研究

引用

计算机工程与科学 2009年第9期31卷 86-87,91页

作者：刘玉喜于延冯卉哈尔滨师范大学计算机科学与信息工程学院黑龙江哈尔滨1500025 哈尔滨师范大学阿城学院黑龙江哈尔滨1500025

本文介绍了粒子群优化算法PSO中的多目标优化的粒子群算法及其应用,并将其运用在防守对方多个前锋球员的进攻威胁,以粒子群算法随机性来适应不断变化的形势。

关键词：粒子群粒子群优化算法多目标优化算法

来源：评论

学校读者我要写书评

暂无评论

模糊描述逻辑L-ALCN

引用

计算机研究与发展 2008年第4期45卷 619-625页

作者：李淑英李梅蒋运承王驹刘真环广西师范大学数学科学学院广西师范大学计算机科学与信息工程学院桂林541004

为了使描述逻辑能够处理更一般化的模糊信息,Straccia给出了基于完备格的L-ALC描述逻辑系统.在该方法的基础上,提出了带数量约束算子的L-ALCN系统,给出了L-ALCN的语法,并详细给出了概念(≥nR)和(≤nR)的语义.经典的描述逻辑系统中引入... 详细信息

为了使描述逻辑能够处理更一般化的模糊信息,Straccia给出了基于完备格的L-ALC描述逻辑系统.在该方法的基础上,提出了带数量约束算子的L-ALCN系统,给出了L-ALCN的语法,并详细给出了概念(≥nR)和(≤nR)的语义.经典的描述逻辑系统中引入了数量约束算子后,角色R就出现了多个后继.当系统的真子集扩充到完备格时,角色R的后继和断言的真值同时出现了多个.为了保证推理算法的合理性且得到可行的计算复杂度,引入了一个特殊的集合DL(c),并且利用集合DL(c)扩展了完备格上的两条运算性质.在这些工作的基础上,深入研究了系统的推理算法,并证明了算法的终止性、可靠性与完全性.相对于L-ALC,系统L-ALCN具有更强的表达能力,并且L-ALCN的计算复杂度是Pspace完全的.

关键词：描述逻辑完备格 L-解释 tableau算法一致性问题

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：