论文部分内容阅读
Kleene模及相关代数结构在程序推理中发挥着重要作用。作为对Kleene模等概念的推广，本文提出了＊-μ-半模的概念，并给出了＊-μ-半模成为Kleene模的充要条件。
Kleene模与＊-μ-半模
【摘 要】
：
Kleene模及相关代数结构在程序推理中发挥着重要作用。作为对Kleene模等概念的推广，本文提出了＊-μ-半模的概念，并给出了＊-μ-半模成为Kleene模的充要条件。
【机 构】
：
西安邮电学院应用数理系,临沂师范学院数学系
【出 处】
：
西安邮电学院学报
【发表日期】
：
2007年5期
其他文献
分组交换技术在下一代网络中扮演了关键的角色.本文对目前和的主要分组交换技术IP、ATM和MPLS的设计目标、背景、特点进行了分析描述,重点分析ATM和MPLS技术支持综合业务、提
信任在电子商务中的作用是十分重要的,本文通过分析Yan-HuanTan和WalterTheon的有关电子商务信任的理论,分析了中国的电子商务发展中,信任在不同电子商务模式中的作用,从而得
简要阐述了西部大开发给西部高等学校带来的发展机遇和面临的挑战,并在深入分析西部高校管理模式现状的基础上,提出了新形势下具有西部特色的高校管理体制之基本模式和框架构
一芝田仁弟大人阁下:昨接四月廿四日来牍,附寄丹崖星使电信,知英铁甲二只新海部不肯售,亟须另筹办法。兹致劼刚星使电报洋文一纸,内英文五字号码卅八个,务祈即刻交电信局发
“矿难”频发不是一个简单的安全生产问题，而是具有其发生的深层次机理和多种因素，具体包括经济增长方式的粗放式经营、矿产资源产权的扭曲、微观企业对超额利润的贪求、政府监
【正】 在捻军反清斗爭的最后几年中(1865年以后),捻军曾經有一种出名的战术,罗尔綱先生最初称它为“捻军的运动战”,后来(1955年以后)又把它改称为“太平天国新軍的运动战”
针对文档是由字符、行、段落组成,而且字符之间、行之间具有一定距离的特点,提出在文档的竖直方向上利用行移编码嵌入水印,在文档的水平方向利用字移编码嵌入水印.在水印信息
【正】 英国近代著名学者德昆西在《鞑靼人的反叛》一书中充满激情地写道:“从有最早的历史记录以来,没有一桩伟大的事业能象上个世纪后半期一个主要鞑靼民族跨越亚洲的无垠
【正】 一提起三国故事的戏剧和曲艺(以下簡称戏曲),人們就不期而然地联系列罗貫中的著名小說《三国演义》,这恰好說明两者密切不可分割的关系。近来有些替曹操翻案的文章,却