论文部分内容阅读
对BR0-逻辑代数进行了进一步研究，得到了BR0-逻辑代数的一种无序表示形式，使得BR0-代数中的序关系蕴涵于BR0-代数的基本运算＋和→之中，并根据BR0-代数的无序表示形式提出了WBR0-代数理论，初步地讨论了其中的性质。
BR0-代数的无序表示形式及WBR0-代数性质
【摘 要】
：
对BR0-逻辑代数进行了进一步研究，得到了BR0-逻辑代数的一种无序表示形式，使得BR0-代数中的序关系蕴涵于BR0-代数的基本运算＋和→之中，并根据BR0-代数的无序表示形式提出了WBR0-
【机 构】
：
陕西师范大学数学与信息科学学院
【出 处】
：
工程数学学报
【发表日期】
：
2009年3期
【基金项目】
：
国家自然科学基金（10871121）,陕西师范大学重点科研基金（995130）.
其他文献
在经典变分图像分解模型中,平衡参数通常依据图像振荡分量的先验信息进行选取。本文针对这一局限性,以更为一般的一类Meyer分解模型为出发点,首先讨论了该模型解的存在性和唯一性,然后给出一种能依据图像自身信息,自适应地确定平衡参数的分级分解框架,进而得到一种分级多尺度图像表示方法,最后,对其收敛性进行了理论分析。并利用Chambolle的投影方法给出具体算法。数值实验结果表明,该方法能较好地弥补单尺度
为了进一步研究约束拉拔植筋锚固性能,以植筋深度、植筋胶厚度、植筋表面特征等为设计参数,进行了7组19个单筋约束拉拔试验.在试验分析的基础上,提出了约束拉拔时植筋胶-混凝
造成企业社会责任^[1-2]问题的原因是多方面的，既有企业自身的因素，又有社会的因素，既有政府的因素，又有历史文化的因素等等，本文着重从以上几方面剖析了我国企业公民建设存在的问
据说，中小学生有“三怕”：一怕文言文；二怕周树人（鲁迅）；第三怕，就是写作文。不少家长反映：孩子一遇到写作文，便抓耳挠腮，老半大也连不成句。语文教师呢，也觉得如今的作文不好教；学生们的
这是一面被誉为世界上最伟大的墙，两千多年来，不少流放到世界各地的犹太人历尽千辛万苦回到这面象征着犹太人信仰和苦难的墙前低声祷告。这里曾经被认为是欧洲的尽头、欧洲和亚
《温州科技职业学院学报》是温州科技职业学院主办的以农业科研、农业教育和农业推广为特色的综合性内部学术期刊，主要设有“农林探索”“五水共治”“课改实践”“院校建设”
图书馆人才资源的开发需要理想的事业平台做基础，这是关于图书馆事业发展的关键问题。文章结合实际工作的经验，重点论述了构建事业平台的意义和具体措施。
当黑暗来临 怎敢亵渎你的神圣 当黎明来临 怎敢窥视你的光芒 当苦难来临 怎敢践踏你的尊严 当幸福来临 怎敢汲取你的甜蜜 当你在神州大地上舞动雄风 怎敢成为你的束缚 当你在华夏天空中展翅腾飞 怎敢成为你的羁绊 当你在飒飒秋风中绽放异彩 怎敢成为你的阻碍 南北对话眼里常含泪水 怎敢用泪水稀释我对这土地深沉的爱 （指导教师李友新）
曲线的保形插值是几何外形设计的重要课题。本文构造了一类带控制参数且包含极点的（3,2）k（k=1,2）阶有理插值样条。对于给定的单调和保凸数组,通过对样条中参数的适当选取达到保形