论文部分内容阅读
Kleene代数在计算机科学中具有基础而特殊的重要性。在计算机工程应用中，Kleene代数及相关＋-半环已被成功应用于基础安全分析、底层程序变换以及并行控制等许多领域。论文给出了对称＊-λ-半环的定义及其等价刻画，并指出对称＊-λ-半环是Kleene代数概念的推广。
对称^＊-λ-半环
【摘 要】
：
Kleene代数在计算机科学中具有基础而特殊的重要性。在计算机工程应用中，Kleene代数及相关＋-半环已被成功应用于基础安全分析、底层程序变换以及并行控制等许多领域。论文给出
【机 构】
：
西安邮电学院应用数学与应用物理系,西安交通大学理学院
【出 处】
：
计算机工程与应用
【发表日期】
：
2007年33期
其他文献
采用室内幼苗伤根接种法,对7个茄子砧木品种进行苗期人工接种茄子青枯病菌抗性试验。结果显示,7个供试砧木品种均表现不同程度的发病,通过比较筛选,发现砧木品种中托鲁巴姆系
采用故障树分析方法对城市燃气输配系统的故障树模型进行定性和定量失效分析。针对系统的事件发生概率不确定情况，将模糊数学引入到故障树分析方法，给出了输配系统的模糊故障树
群机器人仿真系统是一个能够对群机器人系统的体系结构、协调控制和学习算法等进行实验的数字仿真系统。分析了各仿真对象的物理特性及其实现难点，给出了仿真系统的软件架构和
图着色问题（GCP，Graph Coloring Problem）是经典的NP-Hard组合优化问题之一。长期以来，人们一直在寻求快速、高效的启发式算法，以便在合理的计算时间内解决大规模问题。由于对规模