自反Banach空间中锥拟凸映射多目标最优化问题锥有效解集的弱连通性

本文在自反Banach空间中引进了锥弱连续映射和点集的弱连通概念．在讨论锥弱连续和锥拟凸映射以及锥最小上界的几个性质的基础上,证明了当象集为锥凸集时定义在自反Ba- nach空间中的有界闭凸集上的锥弱连续和锥拟凸映射多目标最优化问题的锥有效解集是弱连通的．

弱连通传递框架类的命题逻辑

在维瑟(Albert Visser)的基本命题逻辑(BPL)基础上增加公理(p→q)∨((p→q)→p)得到的逻辑LB相对于弱连通传递框架类是完全的。增加达米特(M.Dummett)公理(p→q)∨(q→p)得到的逻辑LD是不完全的。本文还证明LB具有有穷模型性质,但是不具有两常元性质和析取性质。

具有混合故障的超立方体网络中的高效路由

针对容错超立方体网络中的同时具有大量节点和链路故障模式,提出了两类“局部弱连通性”:即k-维局部弱连通性和任意局部弱连通性的概念;并在基于局部弱连通性的基础上,给出了两个满足局部弱连通性条件的超立方体网络的分布式容错路由算法。同时证明了新提出的两个局部弱连通性概念分别是原有的两个局部连通性概念的扩展。