树自动机

作品数：40被引量：84H指数：5
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：马海涛郝忠孝谭鹏许朱燕胡忠刚更多>>
相关机构：解放军信息工程大学陕西师范大学哈尔滨工业大学广西师范大学更多>>
相关期刊：《科学技术与工程》《计算机工程与应用》《北京理工大学学报》《南昌航空大学学报（自然科学版）》更多>>
相关基金：国家自然科学基金国家高技术研究发展计划国家重点基础研究发展计划黑龙江省自然科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
格值交替树自动机
《软件学报》2019年第12期3605-3621,共17页魏秀娟 李永明 
国家自然科学基金(11671244,11271237);高等学校博士学科点专项科研基金(20130202110001)~~
交替(树)自动机因其本身关于取补运算的简洁性及其与非确定型(树)自动机的等价性,成为自动机与模型检测领域研究的一个新方向.在格值交替自动机与经典交替树自动机概念的基础上,引入格值交替树自动机的概念,并研究了格值交替树自动机的...
关键词：格值交替树自动机 格值正布尔公式 对偶运算 格值计算树 接受运行 
格值树自动机的乘积与覆盖
《模糊系统与数学》2019年第2期45-49,共5页孙小迎 胡忠刚 
江西省教育厅科学技术研究项目(GJJ181058)
给出了格值树自动机的全直积、限制直积、级联积、圈积与覆盖的概念,讨论格值树自动机积之间的关系、格值树自动机的之间的覆盖关系以及格值树自动机的积之间的覆盖关系。
关键词：格值树自动机 同态 全直积 限制直积 级联积 圈积 覆盖. 
并发加权μ-演算的一致性内插被引量：1
《计算机技术与发展》2018年第11期22-25,29,共5页余寒 张晋津 
国家自然科学基金(61602249)
并发加权μ-演算(concurrent weightedμ-calculus,CWC)是对Kim. G. Larsen所提出的并发加权逻辑的强有力的扩充,通过加入不动点算子,增强表达能力,实现对复杂模块化系统的有效建模。对CWC进行了研究,给出了CWC的语法并阐述了CWC的标记...
关键词：μ-演算 互模拟量词 并发 加权 轮替树自动机 ω展开 一致性内插 
并发加权μ-演算的若干性质
《计算机科学与探索》2018年第10期1684-1690,共7页余寒 
国家自然科学基金No.61602249~~
最近,针对为组合性标记加权转移系统建模的需要,Larsen等人提出了并发加权逻辑。该逻辑是多模态的,包含了反映给定状态的资源总量和限制转换过程的模态词,以及能够应对组合性系统的二元模态词,可以有效地表达系统的质化、量化和模块化...
关键词：并发加权逻辑 μ-演算 轮替树自动机 可判定性 小模型性 
基于嵌套树的对等博弈应用研究
《高技术通讯》2015年第10期895-904,共10页郭婧 徐中伟 
国家自然科学基金(61075002);国家科技支撑计划重大项目(2011BAG01B03);863计划(2012AA112801)资助项目
进行了软件系统性质验证研究。首先提出了用嵌套树表示软件程序的方法,以解决软件系统的抽象表示问题,该方法能在表示程序顺序结构的同时,更好地表示调用返回关系。然后定义了嵌套树上的μ-演算,以便将要验证的需求性质用公式表示,并把...
关键词：对等博弈 嵌套树 交替树自动机 μ-演算 概要 
可逆加权树自动机
《模糊系统与数学》2015年第4期125-134,共10页魏秀娟 李永明 
国家自然科学基金资助项目(11271237;61228305);教育部博士点基金资助项目(200807180005)
提出可逆自下而上树自动机,可逆加权树自动机和弱可逆加权树自动机的概念,证明了Σ和交换半环S上的可逆加权树自动机所识别语言的全体关于标量乘法、Hadamard-Product运算封闭,Σ和交换半环S上可逆加权树自动机所识别的语言做和运算得...
关键词：可逆自动机 加权树自动机 Σ-代数 树级数 
格值树自动机的同余与同态被引量：1
《模糊系统与数学》2015年第4期135-138,共4页胡忠刚 娄全福 
从代数的角度研究了格值树自动机的同余与同态,得出了格值树自动机的同态基本定理,进而研究了格值树自动机的语言之间的关系。
关键词：格值树自动机 同余 同态 格值树语言 
树自动机超最小化
《南昌航空大学学报（自然科学版）》2015年第2期27-32,共6页胡芙 黄兆华 
江西省自然科学基金(20122BAB201040);江西省教育厅科技项目(GJJ13337)
提出一种新的树自动机超最小化算法,该算法将确定的树自动机转换为确定的有限自动机,再根据确定的有限自动机划分f-等价类方法及状态合并算法,对转换后的自动机进行超最小化,得到最终具有有限差异的确定的树自动机。通过采用实例算法证...
关键词：树自动机 超最小化 f-等价类 
基于非确定树自动机的复合攻击建模研究
《计算机应用与软件》2013年第10期64-66,共3页罗俊丽 
国家自然科学基金项目(61003035)
攻击模型是检测网络攻击的有效方法,通过对复合攻击建模方法的研究,提出一种基于非确定树形自动机的建模方法。该方法扩展和改进了传统攻击树的建模方法,基于非确定树自动机对复合攻击进行建模。自动机可以接受树形的数据结构的输入,复...
关键词：攻击建模 攻击树 自动机 网络安全 网络攻击 
虚拟组织的资源查询机制研究
《电脑知识与技术（过刊）》2012年第5X期3452-3454,3459,共4页赵凯 冯百明 陈旺虎 
国家自然科学基金(61040022)
为支持虚拟组织成员透明访问分布、异构的信息资源,对虚拟组织内的资源查询机制进行研究。首先对分布异构信息资源的虚拟化问题进行阐述,然后对虚拟化资源的描述机制进行描述,对于以前XML文档查询的研究加以分析。随后,利用资源树自动...
关键词：虚拟组织 虚拟化 查询 XPATH 树自动机 
全选清除导出
共4页<1234>
检索报告 对象比较 聚类工具 使用帮助 返回顶部