r.e.的p—脱殊度是交不可到达的

本文证明 r.e.的 p-脱殊度是交不可到达的以及交不可到达的度是稠密的.     

拟交可到达的非分枝度

本文给出了拟交可到达的度的定义。并证明存在拟交可到达的非分枝度。     

论复变函数教材中交比的定义

列举多种复变函数教材关于交比的不同定义,指出其相互之间的数量关系.论述交比定义的所有可能性,其本质是所定义的交比必须是射影几何的基本不变量.     

交连续dcpo的遗传性和不变性

讨论了交连续dcpo的遗传性和不变性,证明了如下结论:(1)交连续dcpo对于开子空间和闭子空间都是可遗传的;(2)交连续dcpo在加最大元和去最小元运算下保持交连续性;(3)交连续dcpo的收缩核为交连续dcpo.另外,给出了交连续的主理想刻画的一个直接证明;构造了反例说明交连续dcpo对于主滤子是不可遗传的;也构造了反例说明所有主滤子都交连续的一个dcpo,自身不必是交连续的.     

关于交半格同态构成的函数空间与FS-交连续Domain

定义了一类序结构—FS-交连续domain,讨论其相关性质并证明:(1)FS-交连续domain关于由Scott连续且保持非空有限交运算的函数构成的函数空间封闭,以(代数)FS-交连续domain为对象、以Scott连续函数为态射的范畴是Cartesian闭范畴;(2)任意分配可乘的有界完备domain是FS-交连续domain,从而紧连续dcpo的Smyth幂domain是FS-交连续domain.这些结果表明,FS-交连续domain是关于保非空有限交的连续映射构成的函数空间封闭的最恰当序结构.     

关于交半格同态构成的函数空间与FS-交连续Domain

定义了一类序结构-FS-交连续domain,讨论其相关性质并证明:(1)FS-交连续domain关于由Scott连续且保持非空有限交运算的函数构成的函数空间封闭,以(代数)FS-交连续domain为对象、以Scott连续函数为态射的范畴是Cartesian闭范畴;(2)任意分配可乘的有界完备domain是FS-交连续domain,从而紧连续dcpo的Smyth幂domain是FS-交连续domain.这些结果表明,FS-交连续domain是关于保非空有限交的连续映射构成的函数空间封闭的最恰当序结构.     

线性格中t-交反链的LYM-型不等式

线性格Ln(q)是q元域上n维线性空间的所有子空间组成的格.两个子空间称为t-交的,如果它们交空间的维数不小于t.已知线性格的1-交反链满足LYM(Lubell-Yamamoto-Meschalkin)-型不等式,本文讨论线性格中t-交反链的LYM-型不等式,并在一些特殊情形下证明该不等式.     

关于DQrC-环

本文引进了DQ_rC-环.给出了DQ_rC-环的K?the根等于它的所有质理想交;右Noether DQ_rC-环每个理想皆可分解为有限个不可缩短右准质理想交，在稍强条件下，给出了Krull交定理在右Nocther DQ_rC-环上的推广.     

交C-连续偏序集

利用偏序集上的半拓扑结构,引入了交C-连续偏序集概念,探讨了交C-连续偏序集的性质、刻画及与C-连续偏序集、拟C-连续偏序集等之间的关系.主要结果有:(1)交C-连续的格一定是分配格;(2)有界完备偏序集(简记为bc-poset)L是交C-连续的当且仅当对任意x∈L及非空Scott闭集S,当∨S存在时有x∧∨S=∨{x∧s:s∈S};(3)完备格是完备Heyting代数当且仅当它是交连续且交C-连续的;(4)有界完备偏序集是C-连续的当且仅当它是交C-连续且拟C-连续的;(5)获得了反例说明分配的完备格可以不是交C-连续格,交C-连续格也可以不是交连续格.     

一道邀请赛题的思考

题目如图,⊙O是△ABC的内切圆,D、E、N是切点,连NO并延长交DE于K,连AK并延长交BC于M.求证:M是BC的中点.该题是第六届北方数学奥林匹克邀请赛试题,设计新颖,构思巧妙,是一道内容丰富、不落俗     

数学诗词四首

直线垂直平面的判定与性质(忆王孙)平面之上两交线,双双垂直一直线,该线理当垂平面.平行线,一线垂面另必然.平面平行的判定与性质(忆王孙)一面之上两交线,同时平行另一面,两面平行是必然.交三面,交线平行不共点.三垂线定理(卜算子)平面有斜线,斜线可投影.投影直线属平面,细把关系审.面上一直线,倘若垂射影.必当重直那斜线,定理结论成.两平面垂直的判定两面垂直,何法判断?先看夹角,首明概念.夹角“九十”,垂直显然.次用定理,需研面线,一面经过,另面垂直,二面垂直,显而易见.数学诗词四首@柏林$四川达县师范高等专科学校…     

在线可中断二台机器流水作业问题

本文研究了可中断的二台机器流水作业排序问题,目标函数为最小化最大完工时间,工件实时到达,工件信息在工件到达之前不可知。我们给出了该在线问题的下界,并对问题中只有两个到达时间的特殊情况给出了3/2竞争的在线算法。     

递归不可分集的r.e.度

递归不可分概念是递归论中的一个重要概念.Sacks 的分裂定理(Splitting Theorem)是不可解度理论中的一个重要定理,自从它问世以后,不少人从不同的方面给以加强,使分裂出来的集合具有一些特殊的性质.本文将递归不可分性与分裂定理结合起来研究,给出了 Sacks定理的加强形式.     

软可换BCI-代数

将软集合理论应用到可换BCI-代数中,给出了软可换BCI-代数的概念,讨论了软可换BCI-代数和软BCI-代数之间的关系,研究了软可换BCI-代数的扩展交、限制交、限制并以及限制差分等性质.最后,研究了软可换BCI-代数的同态性质.     

DEA的交形式生产可能集及其应用

DEA理论、模型及方法可用以评价给定决策单元之间的相对有效性,其在经济学中的应用体现在经验生产可能集的构造上.DEA的生产可能集有两种等价形式—和形式及交形式.相比较而言,交形式更具几何直观性及计算便利性.     

单向奇异粗糙模糊集合的结构

用模糊集合与模糊等价关系对单向奇异粗集进行了研究,并给出了单向奇异粗糙模糊集合的数学结构及其并、交、补运算和性质.同时证明了单向奇异粗糙模糊集合对并、交、补运算构成完全可无限分配的软代数.     

保费随机收取的双险种二项风险模型的破产概率

本文考虑双险种二项风险模型,对保单到达时收取的保费是一随机变量进行了研究,得到了其破产概率的一般公式和lundberg不等式.     

经过三角形顶点的直线的一个性质与推论

<正>性质如图1,O是△ABC的外心,经过A点的直线交直线BC于点D (O,B,C不在直线AD上),P是直线AD上任意一点(A,P不重合),以PA为直径的圆分别与AB,AC的另一个交点为E,F,PM∥AO交EF于点M.则BD/CD=EM/FM.证明延长PM交以PA为直径的圆于点Q,连接QE,QF.过O点作OG⊥AB于G,     

带负顾客和强占优先权的不耐烦信元排队

考虑带有负顾客的两类信元的强占优先权M/M/1排队系统.两类信元及负顾客的到达过程均为泊松过程.两类信元到达后分别在各自有限的缓冲器内排队,第一类信元较第二类信元有强占优先权,同时第一类信元是不耐烦的.负顾客一对一抵消队尾的第一类信元(若有),若系统中无第一类信元,到达的负顾客就自动消失.负顾客不接受服务.采用矩阵分析的方法得到了两类信元各自的稳态分布,并作了相应的性能分析.     

具有负顾客到达的M/G/1可修排队系统

本文考虑一个具有负顾客到达的M／G／1可修捧队系统．所有顾客(包括正顾客和负顾客)的到达都是泊松过程,服务器是可修的．Harrison和Pitel研究过具有负顾客到达的M／G／1捧队系统．这里我们推广到有可修服务器情形,系统的稳态解最后可以通过Fredholm积分方程解出．