赵岭忠
- 作品数：120 被引量：135H指数：6
- 供职机构：桂林电子科技大学更多>>
- 发文基金：国家自然科学基金广西壮族自治区自然科学基金软件工程国家重点实验室开放基金更多>>
- 相关领域：自动化与计算机技术文化科学医药卫生交通运输工程更多>>
- 一种可重构处理器阵列的抽象模型方法
- 本发明公开了一种可重构处理器阵列的抽象模型方法,包括如下步骤：基本设计思想、构造算法、模型和原阵列的映射函数、抽象的属性保留证明和算法在抽象模型中的实现，主阵列被视为一个具体模型，针对可重构处理器阵列提出了一个重构抽象模...
- 钱俊彦白章顺古天龙陈光喜周志德赵岭忠
- 文献传递
- 一种基于资源占用的边缘服务迁移仿真方法
- 本发明公开一种基于资源占用的边缘服务迁移仿真方法，通过对创建的边缘节点及其上的边缘服务进行边缘服务迁移仿真，并在边缘服务仿真过程中获得不同边缘节点服务迁移的最优阈值，从而指导实际生产中边缘服务迁移算法的部署与实施。本发明...
- 翟仲毅向科赵岭忠钱俊彦潘海玉刘培培
- 文献传递
- 基于差分进化算法多智能体任务分配被引量：7
- 2019年
- 为提升多智能体系统的工作效率,克服差分进化算法DE (differential evolution)在多智能体系统任务分配过程中的不足,提出一种基于QOC (quantization orthogonal crosser)策略改进的正交交叉差分进化算法AOCDE (an orthogonal crosser differential evolution)。QOC在DE算法基础上,引入正交思想和数据量化技术,通过改变交叉策略,增强算法全局寻优能力,提升算法收敛性。使用该算法解决多智能体系统任务分配问题,将仿真结果与其它算法进行比较,验证了该算法的有效性。
- 熊远武赵岭忠赵岭忠
- 关键词：智能体系统正交矩阵
- 从经典逻辑知识构建ASP知识库的新方法被引量：6
- 2010年
- 回答集程序设计(ASP)是一种主流的非单调知识表示工具。为了能够在利用ASP求解问题过程中使用现有的以经典逻辑表示的知识,给出了一种把以谓词逻辑公式表示的约束型知识和定义型知识转化为ASP程序或知识库的新方法,并以实例说明了其有效性。该方法满足转化后ASP程序的回答集与原公式集的模型具有一一对应关系。在实际应用中,该方法提供了一项从现存的以谓词逻辑为表示语言的知识库,构建以ASP为知识表示语言的非单调知识库的技术。
- 赵岭忠王雪松钱俊彦蔡国永
- 关键词：谓词逻辑
- 网络最大流问题的一种新的符号ADD求解算法被引量：15
- 2005年
- 通过对网络及网络最大流问题的符号代数判定图描述,在Trff算法的基础上,给出了网络最大流问题的一种新的符号ADD求解算法。与Dinic、Karzanov算法相比,本文算法的空间复杂度较低。实验结果表明,该算法可处理更大规模的问题。
- 徐周波古天龙赵岭忠
- 关键词：网络优化最大流
- 改进形式语言与自动机理论课程教学刍议
- 2008年
- 分析了形式语言与自动机理论课程的特点以及该课程在桂林电子科技大学教学的现状,针对存在的问题,从课程内容设置、实验教学和理论教学三个方面提出了改进教学效果的几点建议。其基本思想是通过认识该课程的重要性,提高学生在课程学习中的积极性;通过把现代交互式教学方法贯彻到教学的各个环节,提高学生学习的趣味性和交互性。
- 赵岭忠王雪松钱俊彦
- 关键词：动态性交互性教学辅助软件
- 信息安全专业人才摸索能力的培养研究被引量：1
- 2011年
- 该文针对信息安全专业的特点,提出了摸索能力的概念,结合实践经验,提出了一系列培养学生摸索能力的教学方法,并且对于改进和完善考核方式以及加强摸索能力的考核提出了行之有效的方法。
- 王勇赵岭忠张文辉
- 关键词：高校大学生教育
- 基于数据分发网络的边缘服务智能协同方法
- 本发明公开一种基于数据分发网络的边缘服务智能协同方法，构建了包括智能家居、智能社区和安防中心等三种Agent，通过基于MQTT协议的数据分发集群网络，实现边缘服务智能协同处理复杂事件。另外，在本发明采用的数据分发网络中，...
- 赵岭忠林炫宇翟仲毅钱俊彦潘海玉王经书
- 文献传递
- 一种基于集成的合作多智能体深度强化学习方法
- 本发明公开了一种基于集成的合作多智能体深度强化学习方法,包括如下步骤：步骤1、演员评论家网络或者动作值网络的初始化；步骤2、获取局部观察；步骤3、合作多智能体系统在环境中的决策；步骤4、抽取转移样本；步骤5、训练演员评论...
- 徐鼎赵岭忠
- 基于上下文定界的队列通信并发递归程序验证方法
- 基于上下文定界的消息队列通信并发递归程序的验证方法属于软件安全、可靠性技术领域，其特征在于通过对每个下推系统迭代地应用Post<Sup>*</Sup>算法，穷尽搜索其执行的状态空间，并通过有限的上下文切换次数k利用上下文...
- 钱俊彦贾书贵赵岭忠蔡国永郭云川
- 文献传递
