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

计算机科学 2023年第S01期50卷 673-680页

作者：陈澈郑艺峰杨敬民杨立伟张文杰闽南师范大学计算机学院福建漳州363000 数据科学与智能应用福建省高校重点实验室福建漳州363000 台北科技大学电子工程系中国台北106344 中国农业大学信息与电气工程学院北京100083

中继辅助移动边缘计算(Mobile Edge Computing,MEC)是近年来兴起的一种很有前景的方式,它可以提高5G网络和物联网(Internet of Things,IoT)等低功耗网络的资源利用率和数据处理能力。然而,设计中继选择和计算卸载策略以提高队列稳定系... 详细信息

中继辅助移动边缘计算(Mobile Edge Computing,MEC)是近年来兴起的一种很有前景的方式,它可以提高5G网络和物联网(Internet of Things,IoT)等低功耗网络的资源利用率和数据处理能力。然而,设计中继选择和计算卸载策略以提高队列稳定系统的能量效率仍然是一个挑战。为解决中继辅助移动边缘计算系统中的能耗优化问题,在任务缓冲队列稳定性约束下,建立混合整数非线性随机优化模型,最小化系统的长期平均能耗。该问题被分解为中继节点选择和中继卸载决策两个阶段进行求解。在中继选择阶段,通过设置权重参数V 1最小化传输能耗和缓冲队列长度的加权和来确定中继节点;在卸载决策阶段,应用李雅普诺夫方法将随机优化问题转化为确定性优化问题,在保持任务缓冲队列稳定的条件下,得到最优中继计算频率、最优中继传输功率,以及最优远程节点计算频率的理论表达式。仿真结果表明,该能量优化策略能够在缓冲队列稳定约束下有效降低系统的长期平均能耗,并收敛到穷举搜索的最优解,同时可通过调整算法中参数V 1和V 2的来取值改变能耗和等待时长的权重。

关键词：移动边缘计算中继选择缓冲队列卸载决策能量优化

来源：评论

学校读者我要写书评

暂无评论

基于时态测试器的实时分支时态逻辑模型检测

引用

软件学报 2022年第8期33卷 2930-2946页

作者：骆翔宇黄欣玥古天龙苏开乐陈祖希郑黎晓华侨大学计算机科学与技术学院福建厦门361021 广西可信软件重点实验室(桂林电子科技大学) 广西桂林541004 暨南大学信息科学技术学院/网络空间安全学院广东广州510632 南京信息工程大学人工智能学院江苏南京210044

基于自动机理论的模型检测技术在形式化验证领域处于核心地位,然而传统自动机在时态算子上不具备可组合性,导致各种时态逻辑的模型检测算法不能有机整合.为了实现集成限界时态算子的实时分支时态逻辑RTCTL*的高效模型检测,提出一种RTCTL... 详细信息

基于自动机理论的模型检测技术在形式化验证领域处于核心地位,然而传统自动机在时态算子上不具备可组合性,导致各种时态逻辑的模型检测算法不能有机整合.为了实现集成限界时态算子的实时分支时态逻辑RTCTL*的高效模型检测,提出一种RTCTL*正时态测试器构造方法以及相关符号化模型检测算法,既证明了所提出的RTCTL*正时态测试器构造方法是完备的,也证明了该算法时间复杂度与被验证系统呈线性关系,与公式长度呈指数关系.基于JavaBDD软件包成功开发了该算法的模型检测工具MCTK2.0.0.完成了MCTK与著名的符号化模型检测工具nu Xmv之间的实验对比分析工作,结果表明:MCTK虽然在内存消耗上要多于nu Xmv,但是MCTK的时间复杂度双指数级小于nuXmv,使得利用MCTK验证大规模系统的实时时态性质成为可能.

关键词：符号化模型检测公平离散系统正时态测试器实时分支时态逻辑二元决策图

来源：评论

学校读者我要写书评

暂无评论

基于锚泊地追忆的澳门特区氹仔历史街区活化再生研究

引用

建筑与文化 2022年第10期 160-163页

作者：姚敏峰林楷宸阳裕沈岚华侨大学建筑学院华侨大学建筑学院厦门市生态建筑营造重点实验室华侨大学建筑学院福建省东南沿海生态人居环境高校重点实验室

氹仔是澳门特区的离岛,“锚泊地”代表了氹仔历史街区曾经作为中国澳门重要港口码头的历史特征,锚泊地的消逝与氹仔历史街区的衰败戚戚相关。通过对“锚泊地”的追忆,还原澳门特区曾经最重要的“码头文化”,塑造氹仔历史街区的城市特色... 详细信息

氹仔是澳门特区的离岛,“锚泊地”代表了氹仔历史街区曾经作为中国澳门重要港口码头的历史特征,锚泊地的消逝与氹仔历史街区的衰败戚戚相关。通过对“锚泊地”的追忆,还原澳门特区曾经最重要的“码头文化”,塑造氹仔历史街区的城市特色,促进氹仔历史街区的活化再生,进而探讨城市特色塑造方式对历史街区的活化再生。

关键词：氹仔历史街区锚泊地文化城市特色塑造活化再生

来源：评论

学校读者我要写书评

暂无评论

双向地震作用下新型性能可恢复摇摆柱抗震性能研究

引用

工程抗震与加固改造 2021年第5期43卷 58-63,87页

作者：阮杰刘阳张世江张艺欣任彧华侨大学土木工程学院福建厦门361021 华侨大学福建省结构工程与防灾重点实验室福建厦门361021 福建建工集团有限责任公司福建福州350001

为研究新型性能恢复功能摇摆柱(IRR柱)在双向地震作用下的抗震性能,采用ABAQUS有限元软件建立了IRR柱的精细化有限元模型。通过已完成的主轴加载下足尺IRR柱抗震性能试验数据与有限元分析结果进行对比,验证了模型的合理性。利用验证后... 详细信息

为研究新型性能恢复功能摇摆柱(IRR柱)在双向地震作用下的抗震性能,采用ABAQUS有限元软件建立了IRR柱的精细化有限元模型。通过已完成的主轴加载下足尺IRR柱抗震性能试验数据与有限元分析结果进行对比,验证了模型的合理性。利用验证后的有限元模型进行参数分析,研究了不同加载角度、钢板阻尼器厚度和轴压比对IRR柱抗震性能的影响。分析结果表明:震后可恢复功能摇摆柱具有良好的抗震性能;加载角度从0°增大到45°时,摇摆柱峰值承载力和耗能能力逐渐增大;增大钢板阻尼器厚度可显著提高双向受力摇摆柱的峰值承载力和耗能能力;随着轴压比的增大,双向受力摇摆柱峰值承载力逐渐提高,耗能能力逐渐降低。

关键词：性能可恢复摇摆柱双向加载抗震性能数值分析

来源：评论

学校读者我要写书评

暂无评论

海带岩藻聚糖的无乙醇提取工艺研究

引用

食品工业科技 2022年第6期43卷 168-177页

作者：陈艳红董玉婷啜鹏杰陈石乔昕姜泽东朱艳冰倪辉邓尚贵李清彪集美大学海洋食品与生物工程学院福建厦门361021 华侨大学实验室与设备管理处福建泉州362021 福建省食品微生物与酶工程重点实验室福建厦门361021 厦门市食品生物工程技术研究中心福建厦门361021 浙江兴业集团浙江舟山316014

本研究在传统的热水浸提-乙醇沉淀法提取岩藻聚糖工艺基础上,基于岩藻糖和硫酸基团的含量及其有益生物活性的差异,对海带岩藻聚糖的提取工艺进行改进和优化,旨在获得高品质和生物活性岩藻聚糖的无乙醇的提取工艺。通过三种不同提取工艺... 详细信息

本研究在传统的热水浸提-乙醇沉淀法提取岩藻聚糖工艺基础上,基于岩藻糖和硫酸基团的含量及其有益生物活性的差异,对海带岩藻聚糖的提取工艺进行改进和优化,旨在获得高品质和生物活性岩藻聚糖的无乙醇的提取工艺。通过三种不同提取工艺(热水浸提-乙醇沉淀法、热水浸提-酸沉淀法、热水浸提-酸沉淀-酶解辅助法)对海带中岩藻聚糖进行提取,分别得到样品1、样品2和样品3。岩藻糖和硫酸基团的含量及生物活性(抗氧化、抑菌)分析结果表明,热水浸提-酸沉淀-酶解辅助法制备的岩藻聚糖(样品3)中岩藻糖含量(41.10%±0.87%)和硫酸基团含量(24.90%±0.15%)均显著(P<0.05)高于行业标准(SC/T 3404-2012)要求以及样品1和样品2,并且具有最佳的抗氧化和抑菌活性。利用响应面法对热水浸提-酸沉淀-酶解辅助法提取岩藻聚糖的关键工艺条件进行优化,得到最佳提取工艺参数为:浸提温度90℃,浸提时间2.0 h,液料比为40:1 mL/g,其提取得率达到9.65%±0.11%。综上所述,本研究中热水浸提-酸沉淀-酶解辅助法的岩藻聚糖提取得率及其所制备的岩藻聚糖的生物活性显著(P<0.05)高于热水浸提-乙醇沉淀法、热水浸提-酸沉淀法制备的岩藻聚糖,因此热水浸提-酸沉淀-酶解辅助法可以作为一种有效替代热水浸提-乙醇沉淀法提取岩藻聚糖的良好工艺。

关键词：海带岩藻聚糖无乙醇提取工艺抗氧化抑菌

来源：评论

学校读者我要写书评

暂无评论

沉管隧道运维期回淤影响下的长期沉降模型

引用

岩土工程学报 2023年第2期45卷 292-300页

作者：王延宁周桓竹俞缙汕头大学土木与环境工程系广东汕头515063 汕头大学广东省结构安全与监测工程技术研究中心广东汕头515063 中国矿业大学深部岩土力学与地下工程国家重点实验室江苏徐州221008 武汉大学土木建筑工程学院湖北武汉430072 华侨大学福建省隧道与城市地下空间工程技术研究中心福建厦门361021

当下跨海集群工程建设过程中绝大部分均采用了沉管隧道的通过方式,如港珠澳大桥和深中通道工程等,随着陆续完成,运维期的长期沉降规律逐步成为研究重点。在对管节接头沉降计算中,多采用Winkler地基上的Euler梁模型,而忽略了柔性管节的... 详细信息

当下跨海集群工程建设过程中绝大部分均采用了沉管隧道的通过方式,如港珠澳大桥和深中通道工程等,随着陆续完成,运维期的长期沉降规律逐步成为研究重点。在对管节接头沉降计算中,多采用Winkler地基上的Euler梁模型,而忽略了柔性管节的剪切变形和地基土体的连续性,没有考虑管-土相互作用引起的沉管位移,与实际结果偏差较大。考虑沉管隧道运维期受到长期回淤清淤荷载的影响,基于柔性沉管隧道的受力变形特征,将沉管隧道管节等效为置于Vlasov双参数地基上的Timoshenko梁,考虑了地基土体的连续性,强化了土体的刚度,同时考虑了管节截面的弯曲变形和剪切变形,即将管节变形视为位错变形模式,并以此推导了其竖向变形计算公式,与Winkler地基上的Euler梁模型和Timoshenko梁模型进行比较,以验证所提出的计算方法的合理性。以甬江沉管隧道工程为例,分析在运维期回淤荷载影响下的沉管隧道管节接头竖向位移规律,将基于上述模型的理论计算结果与实测结果对比分析表明:提出的基于Vlasov双参数地基的Timoshenko梁模型更为合理,计算结果与实测数据更吻合。回淤荷载引起的管节接头沉降伴随时间呈指数型变化,在早期阶段沉降发展快,在中后期以半年为周期呈阶梯性下沉,清淤频次影响沉降大小,一年两次清淤引起的管节-接头沉降最小,研究结果对沉管隧道管节-接头的设计计算和运营管理具有一定指导意义。

关键词：沉管隧道理论模型管-土相互作用 Vlasov双参数地基循环荷载

来源：评论

学校读者我要写书评

暂无评论

分层超立方网络的可靠性评估

引用

通信学报 2021年第3期42卷 111-121页

作者：刘西蒙张郁芳周书明李小燕福州大学数学与计算机科学学院福建福州350108 福州大学网络安全福建省高校重点实验室福建福州350108 福建师范大学数学与信息学院福建福州350007

针对目前关于分层超立方网络的可靠性研究不够系统,严重制约了其应用和推广的问题,以分层超立方网络为研究对象,在得到分层超立方网络相关拓扑性质的基础上,通过理论推导得到了n维分层超立方(HHC_(n))在PMC模型和MM*模型下的h-额外条件... 详细信息

针对目前关于分层超立方网络的可靠性研究不够系统,严重制约了其应用和推广的问题,以分层超立方网络为研究对象,在得到分层超立方网络相关拓扑性质的基础上,通过理论推导得到了n维分层超立方(HHC_(n))在PMC模型和MM*模型下的h-额外条件诊断度和t/s-诊断度。此外,设计了HHCn在PMC模型和MM*模型下的t/s-诊断算法,并分析了其时间复杂度。研究结果表明,HHCn的h-额外条件诊断度是其传统诊断度的约h+1倍,t/s-诊断度是其传统诊断度约s+1倍。该结果进一步完善了分层超立方网络的可靠性指标,为其应用和推广提供了重要的理论依据。

关键词： h-额外条件诊断度 t/s-诊断度 t/s-诊断算法分层超立方网络可靠性

来源：评论

学校读者我要写书评

暂无评论

基于相似性度量的PPI网络链接预测算法相关性分析

引用

湖南理工学院学报（自然科学版） 2024年第3期37卷 20-24页

作者：陈宇蔡荣彦闽南师范大学数学与统计学院福建漳州363000 数据科学与统计重点实验室福建漳州363000 福建省粒计算及其应用重点实验室福建漳州363000 数字福建气象大数据研究所福建漳州363000 国家电网福建省电力有限公司福建福州350003

针对基于相似性度量的蛋白质相互作用网络(PPI网络)链接预测算法Sim,证明Sim指标是基于3-跳路径的指标,分析Sim矩阵和PPI网络邻接矩阵具有较强相关性,为基于相似性度量的PPI网络链接预测算法提供理论依据.

关键词： PPI网络链接预测相似性度量相关性分析

来源：评论

学校读者我要写书评

暂无评论

边缘环境下基于模糊理论的科学工作流调度研究

引用

计算机科学 2022年第2期49卷 312-320页

作者：林潮伟林兵陈星福州大学数学与计算机科学学院福州350108 福建省网络计算与智能信息处理重点实验室福州350108 福建师范大学物理与能源学院福州350117

作为一种新型计算范式,边缘计算已成为解决大规模科学应用程序的重要途径。针对边缘环境下的科学工作流调度问题,考虑到任务计算过程中的服务器执行性能波动和数据传输过程中的带宽波动造成的不确定性,文中基于模糊理论,使用三角模糊数... 详细信息

作为一种新型计算范式,边缘计算已成为解决大规模科学应用程序的重要途径。针对边缘环境下的科学工作流调度问题,考虑到任务计算过程中的服务器执行性能波动和数据传输过程中的带宽波动造成的不确定性,文中基于模糊理论,使用三角模糊数表示任务计算时间和数据传输时间,同时提出一种基于遗传算法算子的自适应离散模糊粒子群优化算法(Adaptive Discrete Fuzzy GA-based Particle Swarm Optimization,ADFGA-PSO),目的是在满足工作流截止日期约束的前提下,降低其模糊执行代价。该方法引入遗传算法的两点交叉算子以及关于任务优先级的邻域变异算子和关于服务器编号的自适应多点变异算子,避免粒子陷入局部最优,有效提高算法的搜索性能。实验结果表明,与其他调度策略相比,基于ADFGA-PSO的调度策略能够更加有效地降低边缘环境下带截止日期约束的科学工作流的模糊执行代价。

关键词：边缘计算工作流调度不确定性三角模糊数遗传算子

来源：评论

学校读者我要写书评

暂无评论

基于矩阵的可变粒度变精度邻域粗糙集近似集更新方法

引用

模糊系统与数学 2022年第1期36卷 97-109页

作者：郑文彬李进金张燕兰许晴媛闽南师范大学计算机学院福建漳州363000 数据科学与智能应用福建省高校重点实验室福建漳州363000 闽南师范大学数学与统计学院福建漳州363000

邻域粗糙集可以同时处理名义与数值属性,多粒度粗糙集提供多个粒度视角下的目标概念近似,变精度粗糙集使得近似集计算不再局限于完全包含。本文首先提出了一种同时具有以上三种粗糙集模型长处并且粒度可变的变精度多粒度邻域粗糙集模型... 详细信息

邻域粗糙集可以同时处理名义与数值属性,多粒度粗糙集提供多个粒度视角下的目标概念近似,变精度粗糙集使得近似集计算不再局限于完全包含。本文首先提出了一种同时具有以上三种粗糙集模型长处并且粒度可变的变精度多粒度邻域粗糙集模型,并设计基于矩阵的近似集计算与更新方法:首先提出静态计算近似集的矩阵算法,继而考虑在邻域粒变小时,基于静态计算算法对近似集进行更新,提出一种邻域粒变小时近似集更新的矩阵算法,最后通过UCI公开数据集实验验证了计算与更新算法的有效性。

关键词：动态计算近似集更新可变粒度可变精度邻域多粒度粗糙集矩阵算法

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：