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

计算机集成制造系统 2015年第12期21卷 3200-3208页

作者：徐周波肖鹏古天龙宁黎华桂林电子科技大学广西可信软件重点实验室广西桂林541004

针对遗传算法在求解装配序列规划问题中速度慢、产生重复解等问题,提出一种将蚂蚁算法、混沌算法和遗传算法结合,加入动态更新种群数目这一策略的新方法。利用拆卸干涉矩阵获取零件之间的信息,建立评优指标的信息矩阵。算法前期采用蚂... 详细信息

针对遗传算法在求解装配序列规划问题中速度慢、产生重复解等问题,提出一种将蚂蚁算法、混沌算法和遗传算法结合,加入动态更新种群数目这一策略的新方法。利用拆卸干涉矩阵获取零件之间的信息,建立评优指标的信息矩阵。算法前期采用蚂蚁算法进行局部搜索,后期运用混沌—遗传算法进行全局搜索。在全局搜索中,采用Logistic映射生成子代装配序列以避免产生重复解,并设置一定的比例筛选搜索结果,动态更新种群数目。为进一步提高序列优劣的区分度,将装配工具的运用次数与装配方向的改变次数合并为连贯性,同时引入辅助工具这一指标。以齿轮油泵为例,将所提算法与蚂蚁算法、遗传算法和混合算法进行比较,从适应度值、运行时间和收敛速度方面进行分析,验证了该算法的有效性。

关键词：装配序列规划蚂蚁算法遗传算法混沌算法信息矩阵

来源：评论

学校读者我要写书评

暂无评论

基于时间动态下推网络可达性分析

引用

电子学报 2017年第9期45卷 2241-2249页

作者：钱俊彦徐力古天龙赵岭忠蔡国永桂林电子科技大学广西可信软件重点实验室广西桂林541004

动态下推网络(DPN,Dynamic Pushdown Networks)由一组能刻画动态创建线程的动态下推系统(DPDS,Dynamic Push Down Systems)组成.本文首先将描述连续时间的实时时钟引入DPN,提出了时间动态下推网络(TDPN,Timed Dynamic Pushdown Networks),能对动态创建线程的实时并发递归系统建模;然后基于时钟关键点的时钟等价优化方法,并采用on-the-fly技术,仅关心栈顶及下一层的域状态转换,动态的将连续时间模型TDPN转换为时间域表示的离散模型DPN,同时给出TDPN到DPN的转换算法;最后证明在TDPN中的可达状态当且仅当其转换状态在DPN中可达,从而可解决带动态线程创建的实时并发系统的可达性分析.

关键词：动态下推网络时钟等价实时并发递归系统时间动态下推网络

来源：评论

学校读者我要写书评

暂无评论

多状态不交化路径可靠性分析的符号算法

引用

电子科技大学学报 2018年第6期47卷 819-828页

作者：李凤英何志伟董荣胜桂林电子科技大学广西可信软件重点实验室广西桂林541004

传统算法计算两条不交化路径传输的随机流网络可靠性,是通过获取系统最小容量向量的方法,需要存储整个网络的边以及移除冗余向量,运算非常复杂。因此提出基于MDD的多状态两条不交化路径可靠性分析算法MDD_2SMPs,利用MDD能够双向反映组... 详细信息

传统算法计算两条不交化路径传输的随机流网络可靠性,是通过获取系统最小容量向量的方法,需要存储整个网络的边以及移除冗余向量,运算非常复杂。因此提出基于MDD的多状态两条不交化路径可靠性分析算法MDD_2SMPs,利用MDD能够双向反映组件状态与系统状态关系的特点,通过定义MDD操作算子,在无需对路径进行流量分配的情况下获取路径容量,并在组合过程中引入约束剪枝策略对无效容量过滤,提高算法效率。针对路径失效问题,提出基于MDD的备用路径选择算法MDD_BMPs,通过将各路径转换为决策图多值变量形式,降低了计算备用路径可靠性的复杂性。实例结果表明,算法MDD_2SMPs比传统算法减少了计算可靠性的运算量,并能精确选择网络备用路径。

关键词：备用路径 MDD 网络可靠性不交化路径

来源：评论

学校读者我要写书评

暂无评论

大规模图数据的k^2-MDD表示方法与操作研究

引用

计算机研究与发展 2016年第12期53卷 2783-2792页

作者：董荣胜张新凯刘华东古天龙广西可信软件重点实验室(桂林电子科技大学) 广西桂林541004

对包含亿万个顶点和边的图数据进行高效、紧凑的表示和操作是大规模图数据分析处理的基础.针对该问题提出了基于决策图的大规模图数据的一种表示方法——k^2-MDD,给出了k^2-MDD的构造过程以及图的边查询、外(内)邻查询、出(入)度查询、... 详细信息

对包含亿万个顶点和边的图数据进行高效、紧凑的表示和操作是大规模图数据分析处理的基础.针对该问题提出了基于决策图的大规模图数据的一种表示方法——k^2-MDD,给出了k^2-MDD的构造过程以及图的边查询、外(内)邻查询、出(入)度查询、添加(删除)边等基本操作.该表示方法在k^2树的基础上进行优化与改进,对图的邻接矩阵进行k^2划分后,采用多值决策图进行存储,从而达到存储结构更为紧凑的目的.通过对来自米兰大学LAW实验室的一系列真实网页图和社交网络图数据的实验结果可以看出,k^2-MDD结构在节点数上仅为k^2树的2.59%~4.51%,达到了预期效果.通过对随机图的实验结果可以看出,k^2-MDD结构不仅适用于稀疏图,同样也适用于稠密图.图数据的k^2-MDD表示,既具有k^2树表示的紧凑型和查询的高效性,又能实现符号决策图表示下图模式的高效操作,从而实现了描述和计算能力的统一.

关键词：图数据存储优化々2_ M D D 々2 树决策图

来源：评论

学校读者我要写书评

暂无评论

基于改进遗传编程的并行装配序列规划

引用

计算机集成制造系统 2013年第6期19卷 1238-1248页

作者：刘亚杰古天龙徐周波常亮桂林电子科技大学广西可信软件重点实验室广西桂林541004

针对遗传算法只能生成线性装配解的局限,提出采用遗传编程来求解并行装配序列规划问题的方法。对传统的遗传编程算法进行改进,由于各零件间只有装配的动作,删除了遗传编程符号集内容,只保留了终端集;对遗传编程算法中有关算子及参数进... 详细信息

针对遗传算法只能生成线性装配解的局限,提出采用遗传编程来求解并行装配序列规划问题的方法。对传统的遗传编程算法进行改进,由于各零件间只有装配的动作,删除了遗传编程符号集内容,只保留了终端集;对遗传编程算法中有关算子及参数进行了设计与改进,使算法最终能够处理并行装配序列规划问题。该方法使用树型解结构代替串型解结构,转变了装配方式,提高了零件的装配效率和自动化装配水平。结合生产实际需求,给出了一种新的装配适应度衡量因子———装配总重,结合其他传统适应度衡量因子,共同评判装配解的优劣。

关键词：遗传编程算法装配序列规划树型结构并行装配适应度衡量因子虚拟装配

来源：评论

学校读者我要写书评

暂无评论

基于深度学习的SIMON3264安全性分析

引用

计算机研究与发展 2021年第5期58卷 1056-1064页

作者：王慧娇丛鹏蒋华韦永壮广西可信软件重点实验室(桂林电子科技大学) 广西桂林541004

轻量级分组密码的安全性分析越来越倾于向自动化和智能化的方向发展.目前基于深度学习对轻量级分组密码进行安全性分析正在成为一个全新的研究热点.针对由美国国家安全局在2013年发布的一款轻量级分组密码SIMON算法,将深度学习技术应用... 详细信息

轻量级分组密码的安全性分析越来越倾于向自动化和智能化的方向发展.目前基于深度学习对轻量级分组密码进行安全性分析正在成为一个全新的研究热点.针对由美国国家安全局在2013年发布的一款轻量级分组密码SIMON算法,将深度学习技术应用于SIMON3264的安全性分析.分别采用前馈神经网络和卷积神经网络模拟多差分密码分析当中的单输入差分多输出差分情形,设计了应用于SIMON3264的6~9轮深度学习区分器,并比较了2种神经网络结构在不同条件下的优劣.通过对前馈神经网络和卷积神经网络的7轮深度学习区分器向前向后各扩展1轮,提出了针对9轮SIMON3264的候选密钥筛选方法.实验结果证实:采用128个选择明文对,可以成功地将65535个候选密钥筛选在675个以内.这说明基于深度学习的差分区分器相比传统差分区分器需要更少的时间复杂度和数据复杂度.

关键词： SIMON3264 深度学习差分密码分析区分器候选密钥筛选

来源：评论

学校读者我要写书评

暂无评论

基于OBDD的描述逻辑εL循环术语集推理

引用

软件学报 2014年第1期25卷 64-77页

作者：古天龙吕思菁常亮徐周波广西可信软件重点实验室(桂林电子科技大学) 广西桂林541004

循环术语集推理是描述逻辑研究中面临的难点问题,尚未得到很好的解决.有序二叉决策图(ordered binary decision diagram,简称OBDD)是一种对布尔函数进行紧凑表示和高效操作的数据结构,适用于表示和处理大规模问题.将OBDD应用于描述逻辑... 详细信息

循环术语集推理是描述逻辑研究中面临的难点问题,尚未得到很好的解决.有序二叉决策图(ordered binary decision diagram,简称OBDD)是一种对布尔函数进行紧凑表示和高效操作的数据结构,适用于表示和处理大规模问题.将OBDD应用于描述逻辑循环术语集的推理.首先,针对描述逻辑εL中的循环术语集,给出了描述图上关于最大模拟关系的重要性质,并借助集合表示和集合运算对该性质进行了表述和证明.在此基础上,应用布尔函数对描述图进行编码,给出了基于OBDD求解最大模拟关系的方法,进而给出了最大不动点语义下基于OBDD对概念包含关系进行判定的算法;接下来,基于OBDD给出了求解描述图中可以到达循环路径的所有结点的方法,进而给出了最小不动点语义下基于OBDD对概念包含关系进行判定的算法;最后,对算法的正确性、复杂度等进行了分析和证明,并对算法进行了编程实现,给出了关于计算性能的实验结果.该工作为循环术语集的推理提供了一条有效途径,也为OBDD在逻辑推理中的应用提供了新的案例.

关键词：描述逻辑εL 循环术语集有序二叉决策图概念包含关系不动点语义

来源：评论

学校读者我要写书评

暂无评论

9,10-二苯乙炔基蒽光谱及其特性分析

引用

广西科技大学学报 2025年第1期36卷 80-86页

作者：孙永祥高友君吴桂容朱东建瞿金为蒋礼林贺州学院材料与化学工程学院广西碳酸钙资源综合利用重点实验室广西贺州542899 桂林电子科技大学材料科学与工程学院广西桂林541004 贺州学院食品与生物工程学院广西贺州542899

为完整、准确地表征优异荧光材料9,10-二苯乙炔基蒽(9,10-bis(phenylethynyl)anthracene,BPEA)的光物理性质,采用稳态吸收光谱和荧光光谱、时间分辨荧光光谱以及实验和理论计算Raman光谱研究不同体系下的BPEA的光谱特性。稳态吸收光谱... 详细信息

为完整、准确地表征优异荧光材料9,10-二苯乙炔基蒽(9,10-bis(phenylethynyl)anthracene,BPEA)的光物理性质,采用稳态吸收光谱和荧光光谱、时间分辨荧光光谱以及实验和理论计算Raman光谱研究不同体系下的BPEA的光谱特性。稳态吸收光谱和荧光光谱揭示了BPEA分子聚集导致的强分子间相互作用和极低荧光量子产率(荧光猝灭)现象;时间分辨荧光光谱展现的大占比衰减成分和长荧光寿命特征表明激发态经历了一个单线态裂分(singlet fission,SF)或电荷复合的非辐射失活机制;通过实验Raman光谱测量和密度泛函理论计算校正和指认了BPEA分子的Raman振动模式。结果表明:相对于BPEA/n HX和BPEA/THF溶液体系而言,BPEA/Film体系具有明显展宽、较大红移和复杂的振动结构等特点。这为深入认识和理解BPEA经历SF和三重态湮灭(triplet-triplet annihilation,TTA)过程时光谱结构和分子振动结构的变化提供依据。

关键词： 9 10-二苯乙炔基蒽(BPEA) 时间分辨荧光 Raman光谱光谱特性分子聚集非辐射失活机制

来源：评论

学校读者我要写书评

暂无评论

一种基于势博弈的无线传感器网络拓扑控制算法

引用

物理学报 2016年第2期65卷 342-351页

作者：李小龙冯东磊彭鹏程桂林电子科技大学计算机科学与工程学院桂林541004 桂林电子科技大学广西可信软件重点实验室桂林541004

在实际的应用中,无线传感器网络常常由大量电池资源有限的传感器节点组成.如何降低网络功耗,最大化网络生存时间,是传感器网络拓扑控制技术的重要研究目标.随着传感节点的运行,节点的能量分布可能越来越不均衡,需要在考虑该因素的情况下... 详细信息

在实际的应用中,无线传感器网络常常由大量电池资源有限的传感器节点组成.如何降低网络功耗,最大化网络生存时间,是传感器网络拓扑控制技术的重要研究目标.随着传感节点的运行,节点的能量分布可能越来越不均衡,需要在考虑该因素的情况下,动态地调整节点的网络负载以均衡节点的能耗,达到延长网络生存时间的目的.该文引入博弈理论和势博弈的概念,综合考虑节点的剩余能量和节点发射功率等因素,设计了一种基于势博弈的拓扑控制模型,并证明了该模型纳什均衡的存在性.通过构造兼顾节点连通性和能耗均衡性的收益函数,以确保降低节点功耗的同时维持网络的连通性.通过提高邻居节点的平均剩余能量值以实现将剩余能量多的节点选择作为自身的邻居节点,提高节点能耗的均衡性.在此基础上,提出了一种分布式的能耗均衡拓扑控制算法.理论分析证明了该算法能保持网络的连通性.与现有基于博弈理论的DIA算法和MLPT算法相比,本算法形成的拓扑负载较重、剩余能量较小的瓶颈节点数量较少,节点剩余能量的方差较小,网络生存时间更长.

关键词：无线传感器网络拓扑控制势博弈

来源：评论

学校读者我要写书评

暂无评论

融合二维频域与改进型ResNet的故障诊断模型

引用

桂林电子科技大学学报 2025年第01期 1-10页

作者：王琳贾飞胡晓丽桂林电子科技大学广西可信软件重点实验室

因为数据形态的制约，故障数据经快速傅立叶变换后直接使用深度学习模型，往往不能获得足够的数据特征，使得很难进一步提高变工况下故障诊断的准确性和泛化程度。为此，提出一种融合二维频域与改进残差网络的轻量级故障诊断模型。在获... 详细信息

因为数据形态的制约，故障数据经快速傅立叶变换后直接使用深度学习模型，往往不能获得足够的数据特征，使得很难进一步提高变工况下故障诊断的准确性和泛化程度。为此，提出一种融合二维频域与改进残差网络的轻量级故障诊断模型。在获取和学习更多特征之前，截取FFT方法转换所得对称频谱的前半段，并在二维面上以行优先方式展开，得到以矩阵表示的频域数据特征信息；然后以ReLU6作为残差网络的激活函数来学习矩阵特征；最后把终态特征信息映射为独热码向量。在凯斯西储大学的数据集上测试表明，该模型与一维诊断模型相比，诊断准确率提高了7.07个百分点；与标准残差网络相比，准确率的波动降低了0.14个百分点，提升了故障预测的准确率和稳定性。

关键词：故障诊断二维频域残差网络独热码全局平均池化

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：