刘益
- 作品数：15 被引量：20H指数：3
- 供职机构：宜宾学院计算机与信息工程学院更多>>
- 发文基金：四川省教育厅资助科研项目国家自然科学基金更多>>
- 相关领域：自动化与计算机技术经济管理更多>>
- 土地流转的人工社会模型被引量：1
- 2017年
- 针对农村土地流转统计分析无法体现土地流转中社会关系的复杂性和个体行为的随机性,提出了建立人工社会模型研究农村土地流转变化趋势.该模型结合制度分析、发展框架(IAD)与基于制度分析的主体模型系统(MAIA),形式化与土地流转有关的主要社会制度与规则,将土地流转主体(Agent)划分为农民主体与农户主体,并抽象出农户主体属性与行为,农民主体在不同角色下的属性与行为以及在角色之间的转换规则.通过模型计算可以得到土地流转、土地利用情况,不同年度农村人口结构、劳动力流动变化结果.结果分析表明,该模型能较好地反映个体行为与社会关系对农村土地流转的影响,可为研究土地流转政策提供合理的依据.
- 刘益周陶
- 关键词：土地流转人工社会角色
- 确定有限自动机推理的可计算逻辑分析被引量：1
- 2011年
- 针对确定有限自动机对输入符号串的识别过程,提出了采用可计算逻辑来分析确定有限自动机的功能结构及其状态转换函数。在可计算逻辑中,计算问题是机器和环境博弈的过程。同样确定有限自动机对输入符号串的识别过程也可当作机器与用户的博弈,如果输入符号串满足确定有限自动机的语法规则能够识别出来,表示机器赢,否则用户赢。
- 闵兰刘益陈晓敏
- 关键词：确定有限自动机博弈
- MAIA——建立在IAD框架上人工社会模型
- 2014年
- 通过比较BDI、SugarScape、MAIA三种Agent模型结构特点,介绍了MAIA结构与IAD框架之间的联系、构成MAIA元模型五个模块(集体模块、体制模块、物质模块、操作模块、评估模块)的作用和包括的内容,以及利用MAIA元模型建立人工社会的步骤.
- 刘益周陶
- 关键词：AGENT模型人工社会
- DFA最小化算法中状态等价判断方法
- 2010年
- 对使用"分割法"最小化DFA中出现的当一个状态没有相应的产生式存在时如何进行分割,提出了正确使用"分割法"最小化DFA关键是需要正确判断DFA中各个状态之间的等价关系,并对当一个状态没有相应的产生式存在时如何判断等价进行了分析.
- 刘益
- 关键词：DFA最小化
- 单片机中断服务程序处理方法被引量：3
- 2009年
- 通过对实现处理单片机中断服务程序的三种方法:汇编语言编写方法、高级语言编写方法和高级语言与汇编语言混合编写方法的分析,讨论了这三种编写方法中所定义的全局变量、局部变量在目标代码连接定位时地址分配方式的区别.
- 刘益邓祖明
- 关键词：单片机中断服务程序汇编语言高级语言
- 确定有限自动机的逻辑形式定义被引量：5
- 2008年
- 通过分析确定有限自动机状态转换函数的内在含义,引入有关的原子命题,得到确定有限自动机的逻辑形式定义并证明了状态转换函数表示与逻辑表示之间的等价性.
- 刘益闵兰
- 关键词：确定有限自动机命题逻辑
- EER模型中超类/子类到XML模式的转换研究被引量：1
- 2012年
- 针对目前所使用的增强型ER模型,本文介绍了对该模型中的超类/子类,特化和概化,以及超类型/子类型联系中的约束的无损语义转换方法。实践证明该转换方法具有很好的实用性,能对后续的算法设计起到很好的作用。
- 唐远翔刘益
- 关键词：SCHEMAEERDDT
- 非规则元胞自动机表示被引量：1
- 2018年
- 在规则元胞自动机中引入节点,通过平移节点坐标可以将三角形和六边形结构转变为四边形结构.非规则元胞自动机破坏了元胞机网格的规整性,使邻居关系存在不规则性,需要对每个元胞定义邻居关系和元胞规则.通过规则元胞自动机中引入的节点分析非规则元胞自动机的邻居关系和元胞规则,实现元胞机推演.
- 刘益
- 关键词：元胞自动机
- 机器学习的知识结构被引量：1
- 2010年
- 机器学习是模拟人类学习活动过程来完成进行学习。本文通过分析机器学习系统在学习过程对知识的使用特点,提出将机器学习系统中知识库里的知识分为样本特征知识,操作性知识和推理性知识三个方面;并根据它们在学习过程中的作用,讨论了这三方面知识之间的关系。
- 刘益唐远翔
- 关键词：操作性知识
- 确定有限自动机的矩阵形式被引量：4
- 2009年
- 研究自动机的方法有状态转换函数、RTL、VHDL以及矩阵形式等方法.矩阵形式与其它方法相比能很好地完成对自动机状态转化过程的演算.自动机是描述集合之间某种关系,它的工作过程是一种逻辑推理过程.根据自动机的逻辑形式定义,结合矩阵方式,建立了自动机的矩阵逻辑运算方程;同时讨论了矩阵表示的有关性质.
- 刘益闵兰李生林高黎
- 关键词：确定有限自动机矩阵逻辑运算
