论文部分内容阅读
Kleene代数在计算机科学中具有基础而特殊的重要性。在计算机工程应用中，Kleene代数及相关＊-半环已被成功应用于基础安全分析、底层程序变换以及并行控制等许多领域。本文定义了几类具有Kleene＊-运算的半环，给出了相关的等价刻画，并研究了这些＊-半环之间的关系。
关于几类具有Kleene＊-运算的半环
【摘 要】
：
Kleene代数在计算机科学中具有基础而特殊的重要性。在计算机工程应用中，Kleene代数及相关＊-半环已被成功应用于基础安全分析、底层程序变换以及并行控制等许多领域。本文定义
【机 构】
：
西安邮电学院应用数理系
【出 处】
：
西安邮电学院学报
【发表日期】
：
2008年3期
其他文献
目的探讨不同径路手术摘除上颌窦囊肿的方法。方法回顾分析收治的78例上颌窦囊肿患者,术前常规行鼻窦CT和鼻内镜检查,分别予“柯-陆”术式20例,鼻内镜下中鼻道自然口径路20例
2005年1月，北京市委、市政府在《北京城市总体规划（2004—2020）》中，提出了要将北京建设成为生态城市的目标，依照关于“两轴一两带一多中心”和城市次区域划分的设想，门头沟、房山
研究了Ｆｅ－Ｃ－Ｔｉ混合粉末在机械合金化过程中的形态、过饱和固溶体的形成以及真空热处理后ＴｉＣ的析出规律。结果指出，一定成分的Ｆｅ－Ｃ－Ｔｉ合金可以通过机械合金化法得到铁基过饱和固溶体，将其进行真空
目的对35例老年人腹股沟疝填充式无张力修补术的临床资料、手术效果等作一分析总结。方法回顾性分析35例老年人腹股沟疝填充式无张力修补术的临床资料、材料使用和手术方法。
周界报警已被越来越多地应用于防盗报警系统之中,它为人们的生命财产安全提供了有力的保护。而安装灵活、可靠性高的周界报警器就成为了人们关心的重要问题。在此尝试以无线
从课程改革必要性、整合课程教学内容、加强教材建设、教学方法、学习效果评价等五方面,探索眼视光技术专业人体解剖学课程改革。
学校的校园文化建设为学校不断向前发展提供着力量源泉,彰显着学校整体的教育水平,是学校治学精神的核心。当前我国农村小学的校园文化建设存在着观念陈旧、设施不全、缺乏特
针对目前交通信息查询机制(如GPS)普及慢的现状,提出了基于手机短消息(SMS)系统的交通信息查询系统,它结合蜂窝定位技术,短信息平台技术,地图引擎等易实现技术来充分满足驾驶员的一系列信息请求,诸如:路况信息查询,天气状况查询,加油餐饮娱乐医院信息查询,及求助或报警请求等。
研究了UWB DS-CDMA（超宽带直扩码分多址）系统多用户接收机的设计,提出了一种新的自适应MMSE多用户接收机方案.该方案将训练序列插入到信息序列中一起发送,从而避免了专用训练序