夏兰亭
- 作品数：4 被引量：3H指数：1
- 供职机构：中山大学信息科学与技术学院软件研究所更多>>
- 发文基金：国家自然科学基金中国博士后科学基金澳门特别行政区科学技术发展基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于强化学习的业务流程中的柔性约束研究被引量：2
- 2011年
- 软件业务流程需要较高的灵活性和适应性。目前,众多的方法集中在流程建模阶段,通过一些方法提高流程的灵活性,却忽略了流程的运行阶段。由于外界环境的变化具有动态性,在建模阶段不易对其描述。由于外界环境的变化能够在运行阶段体现出来,分析流程的运行阶段是必要的。以流程中的约束为研究内容,通过对流程运行阶段的数据进行分析,提出一种基于强化学习的柔性约束模型,以提高流程的适应性。同时,将该算法应用于一类以用户为中心的复杂信息系统,实例分析表明算法是实用和有效的。
- 韩道军夏兰亭卓汉逵李磊
- 关键词：柔性约束
- 基于属性和主体、操作和客体分层描述的逻辑授权语言被引量：1
- 2012年
- 安全策略是访问控制的核心,安全策略的描述、验证和执行离不开授权语言。在实际应用中,安全需求具有复杂性和动态性的特点,而现有的授权语言不能很好地适应这一特点,并不能对多种访问控制策略提供足够的支持。提出了一种基于属性和主体、操作和客体分层描述的逻辑授权语言(SOOSAL)。SOOSAL以一阶逻辑为基础,通过谓词对主体、客体和操作进行刻画,并以分层的方式通过规则对主体、操作和客体之间的关系进行描述。此外,SOOSAL从逻辑语义世界假设的角度对现实世界中的策略进行了分类:封闭性世界策略和开放性世界策略,并对这两种策略的安全性进行了讨论,给出安全性问题的简单解决方案。实例结果表明,SOOSAL具有较强的策略描述能力,能更好地实现策略的动态变化,并对不同的安全需求和授权原则提供良好的支持。
- 翟浩良夏兰亭李磊
- 关键词：逻辑
- 逻辑方法在BOM排产上的实现
- 本文重点论述了逻辑方法在BOM排产上的具体实现。文章充分论述了说明性程序设计的重要性和发展前景。并且分别从程序语言的发展方向、面临的问题及目前的理论基础几个方面分别对逻辑方法在实际问题上的应用进行了分析和说明。
...
- 夏兰亭
- 关键词：逻辑方法程序设计J2EE技术
- 文献传递
- 评价目标前提的逻辑框架
- 2012年
- 多前提决策问题是决策领域中重要的研究内容,其决策质量可反映决策理论研究的成果。在多前提决策中,目标会有多种实现方式,每种实现方式都有相应的实现难度。在多前提决策研究中,定义了目标的条件集,提出了将条件集分解到最简单形式的算法,并证明了算法的输出为目标的极小最简不完备条件集。然后,提出了条件集可信度的概念及其计算方式,利用可信度评估目标的所有极小最简不完备条件集的实现难度,并以此确定实现该目标的最优条件集。最后,给出了评价目标前提的逻辑框架O的形式定义,证明了框架O的可计算性和推理能力,并用逻辑程序Prolog实现了框架O的原型,通过对框架O的原理性实验和具体的工程应用验证了框架O的有效性。
- 夏兰亭韩道军边芮李磊
