论文部分内容阅读
滤子和开滤子是研究序结构和拓扑结构的非常有用的工具．作者通过反例说明L即使为完全分配代数格也无法保证OFilit（L）的分配性，并且证明了对于连续分配半格L，其开滤子Domain OFilt（L）为分配格当且仅当L稳定连续．
开滤子Domain的分配性
【摘 要】
：
滤子和开滤子是研究序结构和拓扑结构的非常有用的工具．作者通过反例说明L即使为完全分配代数格也无法保证OFilit（L）的分配性，并且证明了对于连续分配半格L，其开滤子Domain OFilt（L
【机 构】
：
四川大学数学学院,三峡学院计算机科学系
【出 处】
：
四川大学学报：自然科学版
【发表日期】
：
2006年5期
【基金项目】
：
National Science Foundation of China （0020105401084） and the Science and Technology Research Project of Chongqing Educational Committee （KJ061102）
其他文献
对一类抛物型方程建立了四边形网格剖分上的半离散和全离散广义差分格式．在一定条律下．作者得到了最优的L2模误差估计．
在已克隆的盐藻（Dunaliella salina）3-磷酸甘油脱氢酶GPD基因的基础上,利用实时荧光定量PCR的方法,研究了经高盐、厌氧、磷酸盐以及氧化等不同外界胁迫条件下该基因的表达情况,
从胜利油田东辛采油厂含油废水中分离到3株能以原油为唯一碳源和能源并能乳化原油的菌株,采用油膜扩散法测其乳化能力,筛选原油乳化较好的菌株并预处理原油,再接种白腐真菌降
以中药废渣为原料,用香菇对中药废渣的固态和液态发酵工艺进行研究,并对发酵产物进行小鼠喂养实验.研究结果表明:中药废渣经固体发酵,粗蛋白(CP)含量提高了68.20%,粗纤维(CF)
讨论了非线性抛物方程初边值问题{δu/δt=△u＋λ｜u｜^γ-1u-βu^p,（x,t）∈Ω×（0，＋∞）u（x＋t）｜δΩ×（0，＋∞）=0，u（x＋0）=u0（x）,x∈Ω解的渐近性态，给出了解在有限时间熄灭的充分条件．
作者对软交换中的QoS问题进行了全面的阐述．首先讨论了软交换中QoS管理机制的要求及软交换中QoS管理的内容，然后着重研究了3种IP QoS模型：综合业务（InterServ）／RSVP、差分业务（DiffS
为考察灵芝培养基在添加不同中药后,其发酵液药理作用的变化,选择小鼠负重游泳实验,戊巴比妥钠睡眠时间试验,小鼠断头后致急性脑缺氧试验,以及对S180荷瘤小鼠瘤重的影响,研究
提出了一种基于DSP（Digital Signal Processor）和CPLD（Complex Programmable Logic Device）的旁路直通智能化多雷达接入和规范化处理设计，为多雷达信号的接入提供了一条安全可靠的
利用E．coli BL21原核表达，纯化得到了His-hPin1融合蛋白，并研究了它的热稳定性．在中性条件下进行不同温度处理，SDS-PAGE分析表明，低于40℃处理不会影响His-hPin1的溶解性，50～100℃处
XML文档数据的编码模式与索引技术决定了基于纯XML数据库的XML查询效率，在正则路径表达式实现方面有重要意义．基于树遍历的XML文档编码在更新与结构关系判断方面存在不足．为了解