论文部分内容阅读
基于时间自动机不同模型的验证被工业界广泛应用，本文形式描述了两种这样的模型，给出了从事件时钟自动机到双向时间自动机的构造方法，证明了二者识别语言之间的包含关系。
时间自动机两种模型的构造互模拟研究
【摘 要】
：
基于时间自动机不同模型的验证被工业界广泛应用，本文形式描述了两种这样的模型，给出了从事件时钟自动机到双向时间自动机的构造方法，证明了二者识别语言之间的包含关系。
【机 构】
：
郑州大学信息工程学院,西安电子科技大学计算机学院,周口师范学院计算机科学系,北京科技大学信息工程学院
【出 处】
：
微电子学与计算机
【发表日期】
：
2007年1期
【基金项目】
：
国家自然科学基金项目（69873040）河南省自然科学基金项目（0411012169）
其他文献
1 教学原则和方法 为保证教学活动切实达到教学要求,实现教学目的,新大纲提出的教学中应该注意的几个问题,是数学教学工作必须遵循的一些准则,具有教学法指导意义。 新大
随着图书馆事业的发展,对图书馆工作的要求越来越高,作为一个图书馆员,应当以什么样的工作姿态,以什么样的思想指导自已的工作,使之朝着良性循坏轨迹运行,从而做出成绩,以促
学术期刊编辑编排都要遵守执行国家有关标准和法规,这不只是编辑、编排技术方面的问题,而是涉及到内容和质量的一个重要问题,也是涉及到贯彻执行国家有关法律、法规的重大事
针对广域网络环境下面向用户需求的信息服务要求，给出了一个面向用户信息需求的信息服务模型，并对该模型进行了形式化描述，在此基础上设计了一种基于语义覆盖网络的信息服务体系
介绍了对矩阵进行LU分解算法求逆的电路结构设计．设计过程中通过对算法进行分解得到合理的运算顺序，从而发现结构中可以复用的模块。结构的设计采用了脉动阵列．并且阵列单元模块
1992年,国家教委《关于印发【文献检索课教学基本要】的通知》下发后,许多高校文检课教学上了新的台阶。据调查。1988年底,全国高校中开设文检课的学校占学校总数的55.8％;高校
患者,女,47岁,护士。因反复咳嗽、咯痰5d,加重伴喘息1d,于2011年4月16日11：00,以＂右下肺炎＂收入院。既往体健,1年前患肺炎已治愈,否认有食物、药物过敏史。查体：T37．1℃，P1007次／min
目的：观察针刺、电针、中药汤剂及心理疏导疗法综合治疗顽固性失眠的临床疗效。方法：将96例患者随机分为两组各48例,对照组采用口服右佐匹克隆片治疗,治疗组采用针刺、电针、中
目的：观察滋肾汤联合羟苯磺酸钙对慢性肾衰竭患者肾功能、血浆内皮素（ET）及D-二聚体的影响。方法：将40例慢性肾功能衰竭患者作为研究对象,随机分为两组,各20例,对照组予羟苯磺酸