下推格值自动机词的计算

在格半群意义下,提出基于词计算的下推格值自动机模型,它的输入是输入字母表的模糊子集,即词串,对应的是具有模糊性的自然语言.并研究下推格值自动机识别的格值词语言,利用格半群的性质证明了下推格值自动机基于词的计算可以通过基于值的计算实现.     

下推自动机的半环方法

文章介绍半环代数理论,讨论了下推自动机,在下推自动机概念的基础上给出了其在半环上的定义,特别是下推转换矩阵的引入,使下推自动机的行为和半环代数理论上的等式建立了联系.从而使下推自动的讨论更加简洁.     

基于完备剩余格值逻辑的下推自动机与上下文无关文法

引入了L-值下推自动机的概念,讨论了L-值下推自动机按2种不同方式所接受的语言类的等价性,并指出了它能识别L-值正则语言。利用广义的子集构造方法,证明了一般的L-值下推自动机与状态转移为分明函数且具有L-值终态的L-值下推自动机的等价性。通过此等价性,给出了L-值上下文无关语言的代数刻画和层次刻画,并证明了L-值上下文无关语言关于正则运算的封闭性。另外,提出了L-值上下文无关文法的概念,给出了与之等价的且带有经典开始符的L-值上下文无关文法。借此等价关系,讨论了L-值下推自动机与L-值上下文无关文法是等价的,并说明了在完备剩余格值逻辑意义下,可采用最左派生、最右派生、Chomsky范式或者Greibach范式中的任何一种来生成L-值上下文无关语言。     

蒙古语词干提取单带非线性自动机构造

设计并实现了一种基于单带非线性的蒙古语词干提取自动机模型.该模型采用单输入带自动机模型,使用一种具层次的主从式非线性蒙古词语表示方式.所设计的单带非线性自动机是新的解决蒙古词干提取问题的方法.     

PCR-RFLP技术应用于鉴定美洲斑潜蝇和番茄斑潜蝇的初步研究

本文试探运用 PCR- RFL P技术 ,从美洲斑潜蝇 (L iriomyza sativae)和番茄斑潜蝇 (L iriomyza bryoni-ae)中提取总的 DNA,根据实蝇 18S和 5 .8S保守序列设计一对引物扩增这两种斑潜蝇的 ITS1基因区域 ,用五种限制性内切酶对 PCR产物进行酶切 ,构建了酶切图谱。从酶切图谱中选择特异酶切位点作为区分两种斑潜蝇的标记。根据特异的酶切片段来区分这两种斑潜蝇     

建兰DNA的快速提取

用SDS高盐提取介质简便快速提取建兰(Cymbidiumensifolium)嫩叶DNA.提得的DNA分子大小约为48kb,A260/A280=1.77～1.86,DNA得率为每g鲜叶410～1145μg.提取的DNA无需经RNase处理,可直接用于限制性内切酶酶切和随机扩增多态DNA反应.     

应用电子计算机帮助建立蓖麻蚕核型多角体病毒DNA的物理图谱

蓖麻蚕核型多角体病毒(ArNPV)核酸为双股环状DNA,分子量约81×10~6道尔顿。用BamHI,BglⅡ.EcoRI三种限制性内切酶对ArNPV-DNA进行了酶切研究,采用三酶切法通过电子计算机的分析,建立了ArNPV-DNA的三种限制酶的物理图谱     

结构特异性核酸内切酶FEN1及其与肿瘤的关系

FEN1是一种结构特异性的多功能核酸酶,具有5'-3'flap核酸内切酶(FEN)、缺口核酸内切酶(GEN)和核酸外切酶(EXO)三大酶切活力.在细胞内,FEN1在多条DNA代谢途径中起着重要作用,包括冈崎片段成熟、长片段碱基切除修复和端粒维持等.鉴于FEN1的复杂功能,细胞内必定存在着一套精确调控机制,以确保FEN1在合适的时间与地点发挥作用.FEN1功能失调将导致基因组的稳定性和完整性下降,最终诱发包括肿瘤在内的多种染色体相关的疾病.本文主要针对FEN1的功能调控、功能失调与肿瘤的关系做一个综述.     

基于时间自动机的嵌入式系统AADL模型可调度性验证

采用时间自动机形式化模型检验方法建立了结构分析与设计语言(AADL)调度模型的自动机,实现了从AADL模型到时间自动机模型的自动转换与验证.首先,设计了周期、非周期的线程时间自动机模板及抢占、非可抢占的调度器时间自动机模板,建立了AADL调度模型到时间自动机模型的语义映射法则.然后,设计了自动化模型转换插件,并将其集成到OSATE建模工具中,实现了建模、转换、验证的集成开发环境.最后,利用UPPAAL工具对时间自动机模型进行模拟与验证.仿真实验结果表明,所建立的模型转换方法能够有效、实时地将AADL模型转换为时间自动机模型,并可在UPPAAL中分析原模型的可调度性.     

PPTL模型检测器实现的一个关键技术

针对命题线性时序逻辑表达能力有限的问题,设计并开发了基于SPIN(Simple Promela interpreter)验证系统的命题投影时序逻辑(PPTL)模型检测器.将协议元语言(ProMeLa)描述的系统转换为系统自动机,将PPTL公式表达的性质转换为性质自动机,通过判定系统与性质自动机的积自动机接受的语言是否为空来判断系统是否满足性质.PPTL模型检测器修改了SPIN的匹配机制,从而改进了验证算法,使得PPTL模型检测器支持有穷和无穷模型的验证.实验结果表明,该模型检测器可以减少无效验证产生的无效迹数目,有效地实现PPTL模型检测.