构件系统的动态更新需要构件间的动态依赖信息来判断构件何时更新才可以保证更新的安全性,而且动态依赖信息越精确,动态更新对系统......

随着各大机场和航空公司对机务人员的旺盛需求,飞机模拟维修训练器作为机务人员培训的重要手段之一,已逐渐成为当前研究热点。复杂......

本文提出一种基于ISP逻辑器件使用逻辑图输入方式设计同步时序逻辑电路的标准形式。该形式电路结构是固定的，根据电路的逻辑功能在......

构造一种新型神经Mealy机,神经Mealy机具有一定的学习能力,它主要通过学习来获得(von Newman)计算机结构,可以较好地避免普通计算......

语义验证是束缚语义软件和语义程序设计语言发展的问题之一,针对这一问题,在基于语义Web服务的语义程序设计语言SPL及其知识库业务......

为得到实时并发系统的最优运行路径,提出一种基于Mealy机建模的最优调度方法.通过分析以Ptime Petri网建模的实时系统,并用Mealy机......

藏文字构件分解是藏文信息处理的基础,具有重要的理论价值和广阔的应用前景.针对藏文字构件的复杂性与多样性,文章通过分析现代藏......

与传统验证方法相比,形式验证技术因其完备性,已在数字电路设计领域中得到越来越多的关注。通过对形式验证技术和状态机的研究,在L......

为了提高GUI(graphic user interface)程序的开发效率和质量,比较了Moor机与Mealy机模型的优缺点,提出了一种适用于GUI设计的有限......

为了解决具有不同复杂度的博弈战略自动机是否具有等价性，需要剔除博弈战略自动机中的冗余策略。文章提出一种基于Mealy机的博弈战......

本文从本质上归纳了二种时序机 Mealy机与 Moore机之间的转换效果 ,根据二者的输出序列相差一个时钟周期的特点提出了二种十分简单......