陈波
- 作品数：38 被引量：139H指数：7
- 供职机构：广西科技大学计算机科学与通信工程学院（软件学院）更多>>
- 发文基金：国家自然科学基金国家重点基础研究发展计划国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术机械工程经济管理金属学及工艺更多>>
- 强化学习中的混合探索方案被引量：2
- 2006年
- 对强化学习中的探索方案进行了研究,描述了间接探索和直接探索两种方案各自的特点。综合它们的优点,提出了一种集直接探索和间接探索为一体的混合探索方案。该方案在学习的初始阶段,由于对环境的经验知识较少,侧重于直接探索;在获得比较多的经验后,侧重于间接探索,使得行动选择渐渐趋向于最优策略。实验表明该方案比纯粹的间接探索-greedy方案有更高的学习效率。
- 李春贵陈波
- 关键词：MARKOV决策过程Q学习
- 求解最小生成树的一种小生境遗传禁忌算法被引量：1
- 2013年
- 针对最小生成树问题,提出了一种小生境遗传禁忌算法。算法中使用Prfer数对生成树进行编码。在选择交叉之前使用小生境技术,使得被选中交叉的个体之间的适应值的距离大于一定的阈值,从而保证了个体的多样性。遗传变异算子使用禁忌搜索算法,提高了遗传算法的局部搜索能力,加快了算法的收敛速度。模拟实验结果证明该算法是有效的。
- 欧阳浩陈波
- 关键词：遗传算法禁忌搜索小生境最小生成树
- 基于动态阈值的陌生网络实体间信任建立方法
- 2010年
- 不完全信息的自动信任协商中存在如披露最少证书获得对方最大信任、协商效率等优化问题.利用博弈分析信任协商过程中的协商方的收益,给出权衡资源比重方法,量化了信任协商的计算过程,提出基于动态阈值的信任协商建立方法.动态阈值具有随证书披露与信息完整而进行自主变化的能力,可以减少协商过程的隐私披露.样例分析和仿真试验表明:使用动态阈值方法可以限制证书披露的数量,提高不完全信息下信任建立的效率.
- 鲍宇曾国荪陈波夏冬梅
- 关键词：信任协商协商策略信任建立动态阈值
- 一种具有模糊时间参数的离散事件仿真方法
- 2012年
- 本文研究离散事件系统中输入信息不确定性的处理。针对输入参数概率分布特征难以获取和现有离散事件模糊仿真难以再现系统所有演化的问题,提出一种新的离散事件模糊排序方法。该方法首先根据模糊数上下确界确定可比模糊数集,然后根据待排序模糊数集的顺序与其前一个事件结束时的当前时刻确定下一个将要发生的事件,确定待发生事件后对模糊数区间进行了更新。将该方法应用于生产加工系统,仿真结果与理论计算结果相符,与现有模糊离散事件仿真方法相比,该方法在不引入不可达状态情况下能再现系统演化的所有状态,而且其输出结果包含了基于概率分布的仿真方法输出结果,因此能更好的表达系统的输入信息不确定性。
- 黄镇谨陈波欧阳浩
- 关键词：离散事件仿真概率分布
- 基于排队模型的工矿企业生产调度研究
- 2014年
- 生产调度是工矿企业生产管理中一个很重要的问题。以往的调度研究并未考虑任务的随机性与动态性,但在生产中有很多随机服务的环节。针对在生产过程中生产任务与服务节点的匹配问题,提出一种基于排队模型的任务调度方法。此方法满足相应的成本约束条件,可根据不同任务和服务节点的特征,将任务分派到不同的服务节点上,从而达到降低生产成本的目的。通过Matlab实验证明此方法是有效的。
- 欧阳浩黄镇谨戎陆庆陈波
- 关键词：生产调度
- 基于时态逻辑的可信平台信任链建模被引量：5
- 2008年
- 针对可信计算中信任链理论缺乏深入分析验证的现状,分析了信任链理论中,可信与信任的内涵及其隐含的动态特性,借助时态逻辑的时间推理能力,建立了可信平台中的信任链的形式化模型,依据该模型,观察信任传递的过程,从而从理论上验证了信任在信任链上的可传递性,并得出信任在信任链上传递的充分条件。
- 李莉李莉曾国荪
- 关键词：信任模态逻辑
- 基于标签树的自动信任协商策略分析被引量：1
- 2009年
- 网络实体间的信任建立是彼此进行安全交互的前提,自动信任协商为分布式环境下陌生实体的信任建立提供了方法。但现有的信任协商默认协商中访问控制策略正确,而策略本身很可能存在某些问题,导致协商失败。重点分析协商策略的性质,首先针对可能存在的冲突策略、平凡策略等策略不一致问题,构建了一种基于标签树的逻辑证明方法,进行策略一致性的检测,并证明了此证明方法的可靠性、完备性;其次,通过对策略树进行化简以求得最小证书集,并对其进行一次性披露和匹配,尽快达成成功协商,从而避免策略环问题,提高协商效率及成功率。
- 夏冬梅曾国荪陈波鲍宇
- 关键词：自动信任协商一致性
- 本科《数据库系统》教学改革的尝试和体会被引量：6
- 2008年
- 本文分析了《数据库系统》课程教学现状中存在的问题，探讨了解决这些问题的改革方法，从教学目标区分不同的教学内容和要求，采用案例教学方法重新组织教学内容，同时加入任务驱动教学方法和多样的教学手段，在实践教学和考核手段上做出探索，从而在课程改革上给出有益的尝试。
- 陈波
- 关键词：数据库系统教学改革教学目标案例教学任务驱动教学
- 一种刻画功能和时间空间性能的统一验证模型atsFPM被引量：6
- 2009年
- 对复杂信息系统的功能、性能进行组合验证,进而评估系统是否安全、可信,是当前的研究热点,但目前缺乏增加空间约束的验证模型.文章扩展已有的功能、性能验证模型,在状态空间上定义空间要求函数,提出一种刻画功能、时间和空间性能的统一验证模型atsFPM.给出基于正则式的路径范式描述信息系统行为的功能属性,给出atsFPM模型的语法和语义,构造路径范式与系统模型的积自动机,证明积自动机与原始模型在功能刻画、时间和空间描述上的等价,提出针对atsFPM的功能性能组合模型验证算法.实例分析表明,atsFPM统一验证模型能够有效解决信息系统功能和性能的组合分析问题,确保系统正确、安全、可信.
- 钮俊曾国荪陈波
- 关键词：功能性能
- 基于活动序列的服务二元行为模式及操作语义被引量：1
- 2009年
- 组合E-服务是电子商务开发部署中被广泛关注的问题,行为需求的刻画、建模是服务设计开发的重要步骤,分析和验证服务行为满足用户特定需求则是保证服务可信的关键工作.已有分析服务行为研究中,行为需求都是LTL类逻辑规范或MSC类图式规范,前者基于活动的,后者基于场景的.现在提出一种新颖的基于活动序列的行为规范概念,该概念的粒度介于活动和场景概念之间,目的是便于直接表达某些行为需求,针对活动序列设计了"序列前提、序列因果和序列嵌入"二元行为模式,用模式来刻画基于活动序列的活性和安全性,其结果是行为需求表达更为简洁,将这些模式映射标记传递系统LTS,精确刻画了行为模式的操作语义,为需求验证提供基础,最后给出实例分析.
- 陈波李春贵
