论文部分内容阅读
非对称x-演算是一种移动计算模型。文介绍非对称x-演算的语法和符号操作语义，给出非对称x-演算的符号互模拟的验证算法，该算法根据算法输出的谓词等式系，求解最大符号解。并证明算法正确性．这在一定程度上为今后的自动机验证提供了理论基础。
非对称_χ-演算的符号互模拟验证算法
【摘 要】
：
非对称x-演算是一种移动计算模型。文介绍非对称x-演算的语法和符号操作语义，给出非对称x-演算的符号互模拟的验证算法，该算法根据算法输出的谓词等式系，求解最大符号解。并证明
【机 构】
：
浙江师范大学数理与信息工程学院
【出 处】
：
微电子学与计算机
【发表日期】
：
2006年9期
【基金项目】
：
浙江省自然科学基金项目（Y105272）
其他文献
高职教育中计算机应用专业的培养目标是应用型技术人才,应用技术人才培养最突出的特征就是重视实践教学、突出能力培养,本文从四个方面浅谈计算机实训教学的改革
良性十二指肠淤滞症亦称肠系膜上动脉综合征，是肠系膜上动脉或其分支压迫十二指肠水平部或升部引起十二指肠间歇性发作慢性肠梗阻。患者多为体型瘦长的中青年女性，也见于体重快
本文主要从目的语的合乎语法性和可接受性对大学生的英语口头表达的错误进行分析,指出大学生的英语口头表达的错误主要涉及语音、语法和语用等几方面。
交易级建模在系统功能建模和验证方面可以增快速度,也可以加速仿真的速度并允许在高层次抽象中研究和确认设计中可供选择的模块.针对Wishbone片上总线协议,依据SystemC中接口
讲评课是地理教学中不可缺少的重要环节.上好讲评课不仅可以巩固、深化所学知识,发现、解决教学疑难,改进教学,而且可以促使学生不断总结吸收前面各阶段学习的经验和教训,开
目的观察灯盏花素治疗慢性乙型肝炎纤维化的疗效。方法50例慢性乙型肝炎肝纤维化患者随机分为对照组和治疗组,各25例。治疗组应用灯盏花素及还原性谷胱甘肽治疗,对照组应用还
“绵杂麦168”小麦于2007年分别通过国家和四川省品种审定。 一、特征特性 绵杂麦168属春性早熟品种，全生育期18天左右。株高90厘米左右，植株较紧凑，穗层整齐，后期落黄转色好。穗长方形、长芒、白壳，穗大粒多，每穗结实50粒左右，粒大，千粒重46克左右。籽粒浅红色、均匀、饱满、半角质，容重784克/升，粗蛋白质含量14.39％，湿面筋30.5％，沉降值39.9毫升，稳定时间3.6分
通过对我院2007年－2008年6月出生的正常新生儿1000例（包括早产儿、足月儿）生后口服“妈咪爱”散剂后，观察该药对新生儿高胆红素血症的影响，生后口服该药时间不同，对高胆红素血症影
本文按照药学专业的培养模式,探索了药学专业《分析化学》在理论教学、实验教学、考试模式和德育渗透方面的改革思路。通过一系列改革提高了学生学习和解决问题的能力,并培养