MEALY机

作品数：16被引量：23H指数：4
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：李永明刘贞吴春波苏厚勤才让卓玛更多>>
相关机构：陕西师范大学重庆大学中国民航大学东华大学更多>>
相关期刊：《计算机仿真》《数学的实践与认识》《电子学报》《计算机科学与探索》更多>>
相关基金：国家自然科学基金国家社会科学基金浙江省自然科学基金教育部“春晖计划”更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于三位一体协同的虚拟机隔离保护方案
《贵州大学学报（自然科学版）》2023年第1期62-69,共8页谢鑫 梁卫芳 张钰莎 
湖南省教育厅科学研究重点资助项目(18A512);湖南省自然科学基金资助项目(2019JJ50413,2020JJ5397)。
针对基于虚拟机(virtual machine, VM)保护框架的代码隔离技术中所存在的单一隔离环境安全问题,提出一种三位一体协同虚拟机保护方案。基于Mealy自动机对核心代码和关键数据进行混淆转换,采用虚拟机框架进行保护,将关键数据和核心代码...
关键词：虚拟机保护 代码隔离 三位一体协同 Mealy机混淆 
可交换模糊有限自动机的代数性质
《模糊系统与数学》2021年第3期41-49,共9页黄飞丹 武玲玲 李雪佳 曹发生 
国家社会科学基金资助项目(20XZX017);贵州省普通高等学校青年科技人才成长项目(黔教合KY字[2019]157);贵州省教育厅青年科技人才成长项目(黔教合KY字[2018]393);贵州省教育厅青年人才成长项目(黔教合KY字[2020]144)。
研究了可交换模糊Mealy机的同态性质、可交换模糊Mealy机与其子模糊Mealy机的关系、可交换模糊Mealy机的覆盖关系。定义了可弱交换的模糊Mealy机,并将可交换的模糊Mealy机的性质推广到可弱交换的模糊Mealy机上。
关键词：模糊Mealy机 交换 弱交换 同态 覆盖 
基于Mealy机的航空电子组件仿真模型被引量：1
《火力与指挥控制》2020年第12期165-170,共6页刘家学 李蒙阳 
国家自然科学基金重点项目(60832011);天津市科技攻关计划重点基金资助项目(06YFGZGX00700)。
为解决航空电子组件仿真模型故障注入效率低下的问题,提出一种基于Mealy机的航空电子组件仿真模型建模方法。该方法通过状态转移函数和输出函数分别表达出航空电子组件输入信号与组件状态、输入信号与组件输出之间的关系,可以方便地在...
关键词：仿真建模 米利机 航空电子组件 故障仿真 
强赋值幺半群上的加权Mealy机与加权Moore机的关系
《计算机科学与探索》2018年第8期1331-1338,共8页王敏 李永明 
国家自然科学基金No.11671244~~
赋值幺半群是一类包含半环在内的代数结构,在赋值幺半群的基础上定义强赋值幺半群。由于带输出的加权有穷自动机在自然语言的处理方面有很重要的意义,是自动机理论的一个重要研究方向。在权重取值于强赋值幺半群下定义了3种带输出的加...
关键词：强赋值幺半群 强赋值加权序列机 强赋值加权Mealy机 强赋值加权Moore机 等价性 
一种简单神经Mealy机的构造
《数学的实践与认识》2017年第12期225-233,共9页江瑜 宋丛威 
构造一种新型神经Mealy机,神经Mealy机具有一定的学习能力,它主要通过学习来获得(von Newman)计算机结构,可以较好地避免普通计算机那样损毁一条电路就带来灾难性后果的情况.其本质是将递归神经网络通过BP优化算法,对Mealy机进行模拟得...
关键词：递归神经网络 MEALY机 BP算法 
基于Mealy机的藏文字构件分解被引量：5
《电子学报》2015年第5期935-939,共5页才让卓玛 李永明 才智杰 
国家自然科学基金(No.61262051;No.11271237;No.61163018);国家社科基金(No.13BYY141;No.14BYY1322);教育部"春晖计划"合作科研项目(No.Z2012093);"长江学者和创新团队发展计划"创新团队资助项目(No.IRT1068)
藏文字构件分解是藏文信息处理的基础,具有重要的理论价值和广阔的应用前景.针对藏文字构件的复杂性与多样性,文章通过分析现代藏文字的构字规则和结构特点,研究了藏文字构件的分解过程,利用Mealy机的输出字符与移动一一对应的特性描述...
关键词：藏文信息处理 MEALY机 构件 构字分解 
Mealy机的实时系统调度方法
《华侨大学学报（自然科学版）》2014年第5期503-508,共6页汲洋弘康 王飞 余婷 
国家自然科学基金资助项目(61203040);福建省自然科学基金资助项目(2011J01352)
为得到实时并发系统的最优运行路径,提出一种基于Mealy机建模的最优调度方法.通过分析以Ptime Petri网建模的实时系统,并用Mealy机建立中库所及其对应时间的关系,得到在满足系统非死锁、非阻塞特性下的最优路径.基于这种方法,可获得P-ti...
关键词：实时系统 MEALY机 P-time PETRI网 调度分析 
关于有限理性博弈战略集的等价性研究
《统计与决策》2014年第14期55-57,共3页刘贞 施於人 阎建明 胡健 
国家自然科学基金资助项目(71073095);教育部人文社会科学基金资助项目(10YJC630161)
为了解决具有不同复杂度的博弈战略自动机是否具有等价性,需要剔除博弈战略自动机中的冗余策略。文章提出一种基于Mealy机的博弈战略化简算法。利用该算法,可以把不同复杂度战略的策略数目最小化,从而达到化简目的。进一步证明了采用该...
关键词：MEALY机 博弈战略 有限理性 战略化简 等价性证明 
一种基于Mealy!机的语义程序验证方法
《计算机应用研究》2012年第9期3320-3323,3329,共5页胡罗凯 柴新 许庆炜 应时 
国家自然科学基金资助项目(61070012);湖北省教育厅重点科研项目(D20103004);湖北省科学技术研究计划优秀中青年人才项目(Q20113001)
语义验证是束缚语义软件和语义程序设计语言发展的问题之一,针对这一问题,在基于语义Web服务的语义程序设计语言SPL及其知识库业务领域本体(BDO)的基础上,提出了一种基于Mealy!机对SPL所编排的业务过程进行语义验证的方法,结合在线外汇...
关键词：MEALY机 本体 语义程序设计 语义验证 
基于Mealy机精化关系的验证算法
《计算机应用与软件》2012年第8期169-172,共4页梁虹 金乃咏 
与传统验证方法相比,形式验证技术因其完备性,已在数字电路设计领域中得到越来越多的关注。通过对形式验证技术和状态机的研究,在LTL公式的可实现策略基础上,提出一个基于Mealy机精化关系的验证算法,实现了一个搜索工具原型:支持算术表...
关键词：形式验证 性质验证 精化 MEALY机 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部