王拥兵
- 作品数：11 被引量：9H指数：2
- 供职机构：陕西师范大学更多>>
- 发文基金：国家自然科学基金安徽省优秀青年科技基金安徽省教学研究项目更多>>
- 相关领域：自动化与计算机技术理学文化科学更多>>
- 师范生教学技能培养中存在的问题及对策被引量：5
- 2012年
- 对目前我国地方高等师范院校师范生培养中存在的若干问题进行了分析研究,并针对问题提出几点建议。
- 余桂东王拥兵
- 关键词：师范院校师范生教学技能
- 加权有限自动机的幺半群被引量：2
- 2016年
- 讨论了加权有限自动机的变换幺半群,并通过加权有限自动机的同余关系,提出了语法幺半群的概念,给出了语法幺半群有限的条件,并建立了变换幺半群与语法幺半群之间的关系。最后讨论了加权有限自动机的转移幺半群。
- 王拥兵李永明
- 关键词：半环同态
- 交换QF环上的有限生成模
- 2010年
- 给出了QF环上模的一些特征,刻画了交换QF环上的有限生成模,得出了交换QF环上的有限生成模的相关性质,并进一步讨论了交换QF环上的有限生成模对直和以及取直和项,上述性质仍然保持.
- 张丽霞杜先能王拥兵
- 关键词：有限生成模QF环投射模内射模GORENSTEIN投射模
- 模糊正则文法的逼近性
- 2008年
- 为了扩大现有研究的应用范围,基于max-min型模糊正则文法引入了max-*型模糊正则文法(其中*为特定t-模)的概念,讨论了max-*型模糊正则文法可以通过max-min型模糊正则文法在任意给定的逼近精度来逼近。研究表明,当t-模*满足一定的条件时,max-*型模糊正则文法与max-min型模糊正则文法在生成模糊语言能力方面是等价的。
- 王拥兵李永明
- 关键词：逼近性等价
- 模糊正则语言的拓扑性质被引量：1
- 2015年
- 借助有限字母表上完备的度量空间(Profinite拓扑空间),利用拓扑空间中的连续与一致连续函数对模糊有穷自动机识别的模糊正则语言予以刻画。提出闭包基、闭包子基以及Profinite拓扑空间中的(上半)下半连续函数的概念,证明在射有限字符集上存在唯一的拓扑以正则语言类为一个闭包子基,并讨论Profinite拓扑空间的(上半)下半连续函数与模糊正则语言之间的关系。
- 王拥兵李永明
- 关键词：度量空间
- 直觉模糊同步机与最小化被引量：1
- 2013年
- 提出了具有输入和输出功能的直觉模糊同步机的概念,研究了直觉模糊同步机直觉容许关系、等价关系、同态的若干性质。在直觉模糊同步机同构的基础上,得到了极小化直觉模糊同步机。
- 王拥兵张丽霞
- 关键词：直觉模糊集等价同余
- 确定型模糊多重集有限自动机的极小化
- 2016年
- 主要研究确定型模糊多重集有限自动机的状态极小化问题。给出了模糊多重集有限自动机的同余和同态概念,并利用同余和同态关系研究了确定型模糊多重集有限自动机的极小化问题。进一步从确定型模糊多重集有限自动机自身出发,构造出极小模糊多重集有限自动机,并给出了极小化的算法。
- 王拥兵李永明
- 关键词：同余同态极小化
- 基于量子逻辑的确定型正则文法
- 2013年
- 基于量子逻辑的文法理论是量子计算模型的一个重要研究方向。给出了基于量子逻辑的确定型正则文法的概念,证明了基于量子逻辑的确定型正则文法与基于量子逻辑的确定型自动机的等价性。利用此等价性,给出了量子确定正则语言的代数刻画和层次刻画,并得到量子确定正则语言关于正则运算的封闭性。
- 王拥兵张丽霞雷红轩
- 关键词：量子逻辑正交模格
- 模糊文法的逼近性
- 文法理论是算法描述和分析、计算复杂性理论、可计算性等研究的基础，它为计算理论提供了可靠的数学模型．同样，模糊文法提供了一种研究和处理包含模糊性的自然语言的有力工具，它必将为基于词的软计算理论提供可靠的形式基础． 本文研究...
- 王拥兵
- 关键词：T-模逼近性灵敏度
- 文献传递
- 加权自动机的拓扑和代数特征研究
- 自动机是计算理论的最简单数学模型,在经典计算理论中占有重要的地位.加权自动机是目前含盖面最广泛的一类自动机模型.根据权(半环)的结构选择的不同,加权自动机可以含盖经典自动机、概率自动机、模糊自动机、以及量子自动机等.而语...
- 王拥兵
- 关键词：拓扑特征
- 文献传递
