刘益
作品数： 15被引量：20H指数：3
  • 所属机构:宜宾学院计算机与信息工程学院
  • 所在地区:四川省 宜宾市
  • 研究方向:自动化与计算机技术
  • 发文基金:四川省教育厅资助科研项目

相关作者

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