论文部分内容阅读
在LTL公式和自动机理论的基础上，给出了一种从LTL公式到自动机的转换算法。该算法先简化LTL公式，然后再对简化的LTL公式转换，形成选择Buchi自动机。此算法与其他算法相比，具有可扩展性的优点，可以在此基础上形成属性描述语言PSL向自动机的转换。
LTL公式到自动机的转换
【摘 要】
：
在LTL公式和自动机理论的基础上，给出了一种从LTL公式到自动机的转换算法。该算法先简化LTL公式，然后再对简化的LTL公式转换，形成选择Buchi自动机。此算法与其他算法相比，具有可
【机 构】
：
西安电子科技大学微电子学院,西安邮电学院计算机系
【出 处】
：
计算机科学
【发表日期】
：
2008年7期
【基金项目】
：
国家自然科学基金(NO.90607008)资助;陕西省教育厅项目(07JK373)资助
其他文献
对低治愈率、低存活率疾病而言,因过失医疗行为致使患者生存机会或治愈机会进一步减少,进而造成死亡或残疾后果的,医疗机构应承担侵权责任。我国对此类医疗纠纷的处理尚无定
<正> 戏剧节奏关于节奏,我们一般只是以为在音乐或舞蹈中才存在。对于这两种艺术来说,节奏是一个极其重要的因素。然而,在建筑、绘画、雕塑和戏剧中也存在着节奏。所谓节奏就
个体户即个体工商户的简称,是指以个人或家庭财产作为经营资本、依法经核准登记,并在法定范围内从事工商业经营活动的自然人的特殊形式,可以是个人或家庭经营,但对外必须以"
目的探讨沈阳市某二级甲等医院妇产科围手术期患者使用抗菌药物的不良事件,以促进妇产科围手术期患者抗菌药物的合理应用。方法采用分层随机抽样法,选取2010年6月至2011年6月
<正>怀孕的妈妈们都会去做胎教,其中有一项便是听莫扎特得音乐。据说听莫扎特音乐能变的聪明,这到底是不是真的呢?近期新华网科普中国就对此事进行了讲解,我们也一起去了解一
随着计算机、网络和通讯技术的飞速发展,电子商务应运而生了,电子商务的应用普及必须有金融电子化作保证,而要真正发挥金融电子化对电子商务的保证作用,还需要建立完整的网络
《医学免疫学》是一门重要的医学专业基础课,但是,其中很多内容比较抽象、概念较多且较难懂、知识前后联系密切、学生普遍反映知识点难理解、难记忆,为改进教学方法,我们对临
先证者 男 ,10岁 ,足月顺产 ,第 1胎 ,无窒息史 ,体格及智力发育差。两岁多会行走 ,行走困难呈鸭步。 3岁前被叫名字时有反应 ,并能随母亲叫其父亲名字。其后 ,对外界无反应
我国作为茶文化的发源地,其发展历史可谓源远流长。在千年的文化积淀中,茶文化演变成了茶学、茶画、茶诗以及茶故事等丰富多彩的茶文化表现形式。任何茶文化专有名词的翻译对
研究了35CrMo钢获得板条马氏体的热处理工艺,并对其获得的板条马氏体组织进行了接触疲劳试验,结果发现板条马氏体的接触疲劳寿命为调质态的4倍多.