张福刚
- 作品数:6 被引量:1H指数:1
- 供职机构:陕西师范大学更多>>
- 发文基金:国家自然科学基金更多>>
- 相关领域:理学语言文字文化科学自动化与计算机技术更多>>
- 基于量子相干度量的量子态序和量子不确定性关系
- 源于量子叠加原理的量子相干是量子力学中最基本的特征之一,也是量子世界有别于经典世界的根本原因之一.量子相干在量子光学,量子计算与量子信息,热动力学,以及低温热动力学等方面有着广泛的应用.Baumgratz等在2014年提...
- 张福刚
- 关键词:量子相干
- 文献传递
- 浅议格值代数系统与格值上下文无关语言
- 2015年
- 引入格值语言及文法的概念,建立格值代数系统与格值上下文无关文法的转换法则,并证明二者的等价性.研究格值代数系统与格值上下文无关语言的关系,得到结论 :格值代数系统的强解的某个分量就是与该格值代数系统等价的格值上下文无关文法生成的格值上下文无关语言。
- 张孟青张福刚郑新宁
- 模糊剩余有穷自动机
- 自动机是计算的简单数学模型,在计算机科学中有着重要的作用.最小化问题一直是自动机领域的重要问题之一.确定型有穷自动机(DFA)的最小化已经得到了有效的算法,但对于非确定型有穷自动机(NFA)却一直没有得到理想的结果.剩余...
- 张福刚
- 文献传递
- 模糊剩余自动机
- 在[0,1]格值区间上引入了模糊剩余自动机(FRFA)的概念:若一个模糊自动机(FFA)的每一个状态都定义了其接受语言的一个剩余语言,则称为模糊剩余自动机。讨论了模糊剩余自动机的一些性质以及模糊自动机的消去与饱和运算。在...
- 张福刚李永明
- 文献传递
- 以任务驱动教学法推进数学建模培训的改革
- 2011年
- 本文介绍了西安电力高等专科学校在数学建模竞赛培训与课程建设方面的探索历程,数学建模教学培训与竞赛组织方面的体会。从数学课程、教学、生源、师资等方面介绍了西安电力高等专科学校开展数学建模活动的现状和存在的问题,最后在数学建模培训中结合目前高职院校的实际情况对“任务驱动教学”进行创新,提出了一套具有本校特色的任务驱动式培训法——任务驱动培训法。
- 段东东张福刚廖君华寇磊
- 关键词:高职高专数学建模任务驱动教学法
- 模糊剩余自动机被引量:1
- 2012年
- 在[0,1]格值区间上引入了模糊剩余自动机(FRFA)的概念:若一个模糊自动机(FFA)的每一个状态都定义了其接受语言的一个剩余语言,则称为模糊剩余自动机。讨论了模糊剩余自动机的一些性质以及模糊自动机的消去与饱和运算。在定义既约模糊剩余语言的基础上定义了标准模糊剩余自动机,并给出了构造方法。证明了一个模糊正则语言对应的标准FRFA即为识别这个语言的最小状态FFA,此研究为模糊自动机的状态最小化研究提供了另一种研究思路。
- 张福刚李永明