检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
机构地区:[1]陕西师范大学数学与信息科学学院,陕西西安710062 [2]徐州师范大学数学科学学院,江苏徐州221116 [3]陕西师范大学计算机科学学院,陕西西安710062
出 处:《陕西师范大学学报(自然科学版)》2011年第1期5-9,共5页Journal of Shaanxi Normal University:Natural Science Edition
基 金:国家自然科学基金资助项目(60873119);教育部高等学校博士点专项科研基金项目(200807180005)
摘 要:给出了赋值代数系统上投影问题的概念,定义了投影问题的解序和问题序,研究了这些序之间的关系.证明了半环间的映射保问题序与该映射单调是等价的.通过引入映射具有性质P的概念,证明得到半环间的一个满射保投影问题的解序的充分必要条件是该映射为一个半环同态.The definition of projection problem on valuation algebra is introduced.The solution-order and the problem-order on projection problems are defined.The relationship between these order relations on projection problems are studied.It is proved that a mapping between two semirings preserves problem-order if and only if it is monotonic.By introducing the property P of a mapping,it is shown that a surjective mapping between two semirings preserves the solution-order on projection problems if and only if it is a semiring homomorphism.
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.7