共查询到17条相似文献,搜索用时 109 毫秒
1.
研究了122号初等元胞自动机的演化语言,证明了其宽度为1的演化语言是正规的,宽度大于1的演化语言不是正规的。结果表明:仅用有限自动机是无法接受由122号初等元胞自动机产生的演化语言。 相似文献
2.
3.
目的建立数学模型,预测甲型H1N1流感传播规律。方法利用元胞自动机在时间、空间和状态都离散的复杂系统模型工具,对甲型H1N1流感的传播进行建模并用矩阵实验室(Matlab)进行模拟。结果模拟结果和实际甲型H1N1流感传播过程接近。结论甲型H1N1流感传播的复杂性可以借助元胞自动机模型进行建模,从而对疾病进行预测控制。 相似文献
4.
提出细胞自动机元胞级超并行无失真数据压缩方法,并用遗传进化算法获得细胞自动机中的数据压缩规则,证明了细胞自动机文本压缩规则的正确性,讨论了有关的时间复杂性及符号动力学特性。与其他传统的串行或小规模并行的数据压缩方法相比,本文的方法有更好的实时性,普适性,以及Systolic硬件实现的可行性。 相似文献
5.
构造出高阶置换映射,进而得出更有效的高阶细胞自动机超并行数据压缩方法,与细胞行动机超并行数据压缩方法相比,其处理速度可以成倍地提高。证明了用遗传进化算法得到的高阶细胞自动机元胞级无失真数据压缩规则的正确性和可行性。并推广到任意阶,给出了对应的置换映射,之后讨论了有关的时间复杂性及高阶数据压缩方法的有效性。 相似文献
6.
在数学分析教学中,从数列极限定义开始,就接触一种特有的语言:ε语言。例如:极限定义、连续定义、一致连续性定义、确界定义、级数收敛的定义、柯西收敛准则等很多问题都是用ε语言描述出来,笔者把能够用ε语言描述或证明的问题统称为ε语言问题。 相似文献
7.
8.
目的 研究脱氧核酶在细胞水平调节Period1基因表达的作用及注射脱氧核酶对小鼠吗啡精神依赖的影响。方法 设计合成Period1 mRNA的10-23型脱氧核酶(DRz164),将pcDNA3-Per1和DRz164在脂质体介导下转染NIH3T3细胞,通过逆转录-聚合酶链反应(RT—PCR),流式细胞术(FCM)检测转染细胞内Period1基因表达水平。脑室注射DRz164。建立小鼠条件位置偏爱模型,观察对吗啡精神依赖的影响。结果 转染DRz164后,RT—PCR半定量检测Period1mRNA与对照组相比减少42.4%。细胞内PER1蛋白表达减少57.2%。给予DRz164后小鼠未能形成对吗啡的位置偏爱。结论 脱氧核酶DRz164在胞内能够切割Period1mRNA,抑制Period1基因表达,小鼠脑室注射DRz164可拮抗吗啡所引起的奖赏效应,缓解其对吗啡的精神依赖。 相似文献
9.
研究CFSM模型的自动机语义,提出了一种从CFSM到自动机转换的算法。该算法的核心思想是构造一个包含控制自动机、输入自动机、输出自动机的有限状态自动机系统,利用自动机的同步性模拟CFSM的异步行为。本文的工作为进一步利用自动机理论和工具对CFSM模型进行分析和验证奠定了基础。 相似文献
10.
一、语言环境与语言学习语言环境指的是本来客观存在的或者是专门为语言学习者提供和创造的一种特定的有利于语言学习者提高自身的语言素质的相对环境;而语言素质是指以语言文字为载体的,人的认知、情感和操作等几种因素在学习、交际、创造与自身发展中的综合体现。那么培养人的语言素质的最佳切入点在哪里呢?根据婴幼儿医学研究资料表明,人的受精卵在母体内发育到五、六个月左右,胎儿的听觉系统就能对自身周围的声音做出反映,特别是父母亲的讲话声。其实,人的语言学习从尚未出生就已开始对其周围环境的语言进行摹仿。因此,人们学习自己母语总是轻而易举的。语言摹仿的最初基本特征就是复述语言,这在小孩学说话的过程中表现最为突出;他们总是不厌其烦地复述大人的语言,从呀呀学舌开始,最后在不断地实践和潜移默化之下,逐步学会掌握语言。所以对我们来说,父母的声音就是第一个非常重要的语言环境,在这个环境里面,我们聆听到了人生中最亲切的声音,也是最重要的声音。语言环境对语言学习的重要性不容忽视,一个语言学习者运用语言的能力是在一定的语言学习环境里面各种可见或是不可见的因素综合作用的结果。一个好的语言环境能够激发每一个人的语言学习兴趣,为语言学习提供原动力,从而语... 相似文献
11.
12.
13.
周 《南通大学学报(哲学社会科学版)》2000,(4)
哈米尔顿的谓项量化理论揭示了量化命题中的简单换位规律 ,突破了原有三段论的规则 ,增加了大量新的三段论式。德摩根的主项质化理论给传统的逻辑方阵增添了新的内容 ,八个命题之间存在着紧密的内在联系 ,谓项量化、主项质化命题有着广泛的思维空间和运用价值 ,且语言表达灵活多样。哈米尔顿和德摩根都对联项“是”作了深入研究、赋予新的内涵 ,给逻辑注入了新的活力。 相似文献
14.
15.
基于并行语言的操作语义,提出一组将语言构造模块转化为硬件电路的规则。利用这些规则,系统地将程序转化为由寄存器、锁存器及数据路径组成的电路。硬件实现的正确性可以通过转化规则得以保证。 相似文献
16.
详细介绍SNOMED CT与OpenEHR的发展历史、主要内容、主要架构,通过数据类型转换、原型中的临床术语与SNOMED CT的映射、候选术语集等方法进行SNOMED CT与OpenEHR的整合,从而使原型中的术语更加规范,也为互操作提供可能。 相似文献
17.
目的建立一套基于非参数统计原理的评估方案,用于空白标本检测结果为非正态分布、标准曲线为非直线线性的检测体系最低检出限(limit of detection,LoD)的确定。方法根据数据分布模型,以非参数统计方法确定空白标本检测结果的第95百分位数作为空白检测限(limit of blank,LoB),通过LoD=LoB+tβ×s低值的数学模型来评估LoD。结果以非参数统计方法建立的评估程序可通过验证程序证明该LoD值有效。结论对于空白标本检测结果不符合正态分布,标准曲线为非直线线性的资料可用非参数统计的评估方法来确定LoD。 相似文献