免费论文摘要：半环赋值代数的解与消息代数关系表面接洽

赋值代数是一种与限制计划出色关系、用来刻画消息处置办法的代数构造模子. 赋值代数的范例涵盖了联系数据库、牵制体例、断定因变量、贝叶斯网、命题论理等多个范围. 而在那些诸多范例中, 由半环开辟的赋值代数表演着要害的脚色. 正文重要对全序半环、牵制半环开辟的赋值代数的解、解的构造及其算法等题目举行了接洽; 而且计划了消息代数与消息体例之间的联系, 获得消息体例与消息代数在彼此开辟时贯串性与紧性的较为完备的彼此对应联系. 结果将消息代数表面与软集表面相贯串, 获得用消息代数模子处置软集的计划题目.作品的重要处事囊括以次几个局部:(1)全序半环开辟的赋值代数的表面解. 开始对全序半环开辟的赋值代数中的表面解与扩充解的本质及其解之间的联系举行了进一步接洽,借助那些本质可使得求解一个搀杂的赋值的表面解领会为求解几何大略赋值的表面解;而后给出了另一种思维求解表面解, 即借助变化映照, 如许可将一个搀杂题目变化到一个新的较为大略的体例之中去处置. 但怎样保护变化的进程中赋值的表面解被维持而不会丧失呢?  本节结果给出若变化映照~$f$~是一个半环同态, 则~$f$~保表面解.(2)牵制半环开辟的赋值代数的表面解. 本局部在前方实质的普通大将全序半环开辟的赋值代数的表面解的观念实行到牵制半环开辟的赋值代数之中.开始从偏序联系的观点将全序半环开辟的赋值代数的表面解的观念实行到牵制半环开辟的赋值代数中,并给出牵制半环开辟的赋值代数的表面解与扩充解的少许本质及其解之间的联系,那些论断的创造可使得少许赋值的表面解的求解简化;其次, 对牵制半环开辟的赋值代数中赋值的表面解的求法,同样可借助上一章变化映照的本领,但咱们创造,要使得变化的进程中赋值的表面解不丧失,变化映照~$f$~仅是一个半环同态仍旧不够的,还必需满意反保序的的前提, 即若~$f(varphi)结果经过借助回顾牵制半环赋值给出牵制半环开辟的赋值代数的表面解的一个算法, 获得论断~$C_{varphi}= Models(varphi_{F}^{downarrowvarnothing}(diamond))$.(3) 消息体例与消息代数. 接洽了消息代数与消息体例之间的联系.给出了贯串消息体例的观念以及与紧消息体例的联系;其次获得一个消息体例不妨开辟一个消息代数而不须要任何附加前提,而且一个贯串消息体例不妨开辟一个贯串消息代数, 一个紧消息体例不妨开辟一个紧消息代数;反之一个（贯串、紧）消息代数不妨开辟一个（贯串、紧）消息体例.那些论断的创造使得消息体例与消息代数之间对于贯串性与紧性实足彼此对应起来.(4) 消息代数模子与软集表面. 将消息代数表面与软集表面贯串起来.开始在软集表面中引入两种新的演算, 对其本质举行了接洽;其次在软会合经过将含消息"沟通"的软集的理想看成是一个软集类,进而提出商软集的观念,在商软会合引入共同演算与聚焦演算,结构了一个消息代数模子.而且若参数集有限,则该模子仍旧一个贯串消息代数的例子.结果给出消息代数模子用来处置软集的计划题目的算法, 贯串范例给予证明该算法的可行性与灵验性, 并与软会合的已有计划本领做了比拟, 表白该算法在处置软集计划题目的出色性.

来源：半壳优胜育转载请保留出处和链接！

本文链接：http://87cpy.com/214555.html