确定有限自动机最小化算法的并行处理

来源 :计算机科学 | 被引量 : 0次 | 上传用户:kumufengchun
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
对有限自动机模型最小化做了深入分析,提出了一种基于可区分状态表结构的并行最小化算法,以实例详细;描述了算法并行处理过程并验证其算法的可行性。
其他文献
通过纵深分析临床思维的特点,讨论临床思维教育在医学教育中的重要地位,有助于把基础医学和临床医学有机地结合起来,提高教学效果,进而提高医学生乃至医生自身素质。临床思维
目的:研究胞二磷胆碱对AD大鼠大脑皮质Aβ及其相关蛋白表达的影响。方法:选用30只SD雄性大鼠随机分成对照组、模型组、治疗组3组;模型组及治疗组腹腔注射D-半乳糖,同时喂饲AlCl3
目的:了解昆区区级及以下医疗单位消毒状况,进一步提高消毒质量。方法:按《医院消毒卫生标准》规定的方法,对昆区372所不同级别医疗单位的室内空气、医护人员手及物体表面、使
目的:了解2010级学生的心理健康状况。方法:使用SCL-90问卷对2010级845名学生的心理健康状况进行调查。结果:参加检测的学生中有个别学生存在中度心理问题,应该引起学生工作者的
时间约束Petri网(TimingConstraintsPetrinets,简称TCPNs)是一类重要的时间Petri网系统。针对TCPNs中变迁可调度原始语义的不足,本文对相关定义重新定义,丰富并完善了TPCNs理论。
首先分析了小波变换在进行图像处理时不能有效表示直线/曲线的奇异性问题,然后研究了能够很好表示二维或更高维奇异性的Contourlet变换的基本原理。接着讨论了将Contourlet变换应用于图像融合的可行性,提出了基于Contourlet变换方法进行图像融合的基本架构,并对变换系数的设置与融合过程的处理进行了详细说明。对主客观性能比较进行了仿真实验,结果表明,提出的新方法比其它几种方法的融合效果要
随着无线传感器网络的广泛应用,安全问题发生变化,通信安全成为重要的一部分,隐私保护日渐重要。首先分析了无线传感器网络的通信安全特点、通信安全的需求、面临的保密性威胁及
访问权限的委托限制是一种重要的安全策略,它的基本思想是用户将自己所具有的部分或者全部权限转授给其他用户,让接受授权的用户代表发出授权的用户执行某些任务。基于角色的委
将支持向量机和最小二乘支持向量机用于入侵检测之中,利用主元分析对数据进行约简,然后使用SVM和LS-SVM对数据进行训练和测试。基于KDDCUP’99做了三组对比实验,对支持向量机
本文针对原有协同系统在解决多用户群协同问题中的缺陷以及原有解决方案的弊端,以Chord定位查询^[1]和多版本图形设计协同一致性算法^[2]为基础并改造本地副本策略的通用协同