有限自动机的确定化算法子集法问题探析     

王婷婷  赵光亮  贾毅峰 《六盘水师范高等专科学校学报》2013,(3):11-14

子集法是目前普遍采用的确定4LNFA为DFA的方法,但在子集法存在两处疑难：一是NFAM的状态子集I的a弧转换集合Ia的定义与解释;二是确定化过程中先对NFA做改造的必要性以及条件。  相似文献   

Ia超新星对变化暗能量模型的限制     

彭跃华  吴普训  罗进 《湖南科技学院学报》2006,27(5):36-38

最近Wetterich给出了一个简单的参数化的w（z）=（1＋w0）/（1＋b1n（1＋z））来表示一个变化的暗能量模型,本文利用194Ia超新星的观测数据对这一暗能量模型进行了检验.我们发现Ia超新星偏爱w（z）不变的Phantom宇宙,并且在95.4%的可能性上我们可以排除Ωm0＞0.6和w0＞-0.5的分布区域.  相似文献