广东省自然科学基金(S2013010015944)
- 作品数：11 被引量：13H指数：2
- 相关作者：奚建清苗德成苏锦钿陈忠宋杰更多>>
- 相关机构：韶关学院华南理工大学闽南师范大学更多>>
- 发文基金：广东省自然科学基金国家自然科学基金广东省战略性新兴产业核心技术攻关项目更多>>
- 相关领域：自动化与计算机技术理学经济管理更多>>
- Fibrations理论在索引归纳数据类型不确定语义中的应用
- 2017年
- 应用Fibrations理论对索引归纳数据类型的不确定语义计算进行了研究。论证了索引范畴的构造,提出了索引Fibration及其真值函子与内涵函子,建立了索引范畴上自函子的一种保持真值的提升,提出了部分F-代数的定义,并应用折叠函数等工具抽象描述了索引归纳数据类型不确定语义计算,辅以实例进行了简要分析,最后通过相关工作的论述指出了Fibrations理论研究方法的优势。
- 苗德成奚建清刘新盛苏锦钿
- 关键词：语义计算
- 一类离散型网络全局指数同步研究被引量：1
- 2014年
- 探讨了具有离散时滞的离散型神经网络系统,并给出了这类神经网络的全局指数同步的一个有效结论。
- 陈忠
- 关键词：离散神经网络离散时滞随机动力系统
- 基于Fibrations理论的共享系统数据模型被引量：1
- 2017年
- 传统共享系统数据模型的建模方法在语义性质分析和语义行为描述方面存在不足,针对以上问题提出了一种基于Fibrations理论的共享系统数据模型。主要工作体现在两个方面:首先,应用真值函子、保持真值的提升与内涵函子并结合代数方法精确分析了语义性质,应用等式函子、保持等式的提升及商函子并结合共代数方法形式化描述了语义行为;其次,在Fibrations理论框架内构造复杂归纳与共归纳数据结构上参数化的递归与共递归操作,抽象描述具有普适意义的归纳与共归纳规则,结合实例简要介绍了Fibrations理论的应用。相对于范畴论等传统方法,简洁描述与灵活扩展的Fibrations理论对共享系统数据模型的语义性质和语义行为进行了精确分析与形式化描述,抽象描述了复杂数据结构具有普适性的归纳与共归纳规则。
- 苗德成奚建清戴经国
- 关键词：数据模型语义性质共享系统
- 一类正则半群上的若干探讨被引量：5
- 2014年
- 设S为正则半群,S的逆子半群S0称为S的逆断面,如果S的每个元在S0有唯一的逆元。本文对具有逆断面的正则半群上的格林等价关系,同态关系作出探讨。
- 陈忠宋杰
- 关键词：正则半群逆断面
- 中国股市和美国股市的联动性分析
- 2014年
- 为分析中美股市之间的联动性,针对两国主要股票指数,建立VAR模型,运用脉冲响应函数和方差分解进行研究.结果表明:美国股市波动对中国股市有一定的影响,但中国股市波动对美国股市的影响较小,中美股市存在一定的联动性.
- 曾艳
- 关键词：联动性VAR模型脉冲响应函数方差分解
- Fibrations理论在索引归纳数据类型语法构造中的应用
- 2017年
- 应用Fibrations理论对索引归纳数据类型的语法构造进行了研究。提出了索引fibration及其真值与内涵函子的定义,构造了索引与代数范畴,利用折叠函数与伴随函子等工具构造了索引范畴中一类相对复杂的索引归纳数据类型,辅以实例进行了简要分析,并通过相关工作的论述指出了Fibrations理论研究方法的优势。
- 苗德成奚建清刘新盛
- 基于偏序规律的μ-演算一阶谓词界程逻辑模型检测被引量：4
- 2016年
- 基于μ-演算的一阶谓词界程逻辑,用谓词变量构造不动点公式,方便描述闭环系统的性质,公式语义简洁.该逻辑在有限控制移动界程上的模型检测目前性能最好的算法的时间复杂度与公式中不动点算子交错嵌套深度d呈指数关系,空间复杂度与d呈线性关系.文中设计了一个基于μ-演算的一阶谓词界程逻辑在有限控制移动界程上的模型检测高效算法,这也是目前已知的第3个同类算法,算法的时间复杂度与d/2+1呈指数关系,空间复杂度与d呈线性关系.文中所做的工作有:(1)找到了基于μ-演算的一阶谓词界程逻辑模型检测计算过程中的中间结果满足的两组偏序关系;(2)利用找到的偏序关系设计了一个快速模型检测算法;(3)分析了算法的复杂度.
- 江华
- 基于范畴论的共享系统数据模型研究综述
- 2015年
- 数据模型是共享系统设计与开发的核心与基础,范畴论对研究共享系统数据模型的建模方法具有独特的优势,为语义计算与程序逻辑的精确描述提供坚实数学基础,同时也具有广阔的应用前景.对共享系统数据模型的范畴论基础、基于范畴论的共享系统数据模型的研究现状及当前面临的主要问题等方面的主要和最新研究成果进行简要地介绍,以引起国内相关研究领域学者对基于范畴论的共享系统数据模型的关注.
- 苗德成
- 关键词：数据模型范畴论共享系统语义计算
- 形式语言基于Monads的语义计算模型
- 2017年
- 传统形式语言的语义建模方法在语义解释与规则描述等语义计算方面存在不足,应用范畴论方法的Monads对形式语言的语义计算进行了研究。基于Monads构造Kleisli范畴,在Kleisli范畴的形式化框架内建立语义计算模型,并对该模型进行了应用。与传统语义建模方法相比,所提语义计算模型具有普适性,其语义解释与规则描述的能力更强。
- 苗德成奚建清苏锦钿
- 关键词：语义计算MONADS伴随函子形式语言
- 基于范畴论的形式语言模型建模方法研究
- 2015年
- 形式语言模型转换的语义一致性与其形式系统完备性分析是当前形式语言理论尚未有效解决的难题。针对形式语言模型的应用需求与研究现状,建立形式文法模型及其形式语言模型,应用范畴论方法构建具有普适意义的形式文法模型范畴与形式语言模型范畴。在形式语言族模型的形式化理论框架内,用与特定形式语言无关的范畴论方法研究形式语言模型转换的语义一致性。初步分析形式系统的完备性,通过与形式语言理论主要研究方法的比对论证了范畴论方法的优势,为形式语言模型的范畴论方法研究提供一个便利、高效的形式化理论框架。
- 苗德成奚建清苏锦钿
- 关键词：形式语言范畴论语义一致性
