论文部分内容阅读
为了从另一个角度研究格上逻辑，通过对闭包算子与闭包系统的研究，用对偶的方法给出内部算子的定义，建立了相应的内部系统．
内部算子与内部系统
【摘 要】
：
为了从另一个角度研究格上逻辑，通过对闭包算子与闭包系统的研究，用对偶的方法给出内部算子的定义，建立了相应的内部系统．
【机 构】
：
陕西师范大学数学与信息科学学院,商洛职业技术学院
【出 处】
：
南阳师范学院学报
【发表日期】
：
2009年12期
【基金项目】
：
国家自然科学基金（10471083）,陕西师范大学重点科研基金（995130）
其他文献
运用集总参数数学模型,利用文献提供的数据和Matlab 5.0软件模拟和分析了室内干性多孔材料(地毯)、涂料类一次衰减源和墙体在不同组合情况下对室内污染物浓度的贡献情况.模拟
对建筑工程方案进行综合优选,有可能因计算疏漏或别的原因使方案优选结果出现误断.为了解决由此误断给决策带来失误的问题,本文从科学论证的角度,创造性地提出了一种具有实验
以氧化锌精矿为原料,采用湿化学方法制备出ZnO纳米晶须,并就具体的精矿提纯及晶须合成工艺进行了研究.结果表明:经酸溶精矿,净化除杂先得到纯净ZnSO4溶液,然后在70℃以3.1 mo
进行了野外大比例(1:2)土-箱形基础-框架结构动力相互作用模型的试验研究.在假定环境激励是有限带宽白噪声的前提下,用NEXT法测试并分析了该7层框架结构模型脉动响应信号及其
推导出了由左右手材料构成的双层结构的转移矩阵,计算了由N个该双层结构周期性排列所形成的一雏有限长度光子晶体沿其轴线方向的态密度.计算表明:在一定条件下,禁带中出现了
在计算机辅助设计装配体设计中,必须建立一个有效合理的装配体数据结构.本文从装配体拆卸出发,构建了一个装配体的二叉树结构模型.通过对该结构的后序遍历,自动生成装配序列,
氢氧化钾存在下,异丙醇/水作溶剂,室温下硫酚对替加氟的环甘油硫代磷脂缀合物发生亲核开环,高产率的得到新型的甘油骨架上含硫的替加氟硫代磷脂缀合物,经抗肿瘤活性测定,目标
利用电子束实验仪进行电子荷质比测定的磁聚焦实验原理，通过对同一实验多组实验数据的分析处理，提出了磁聚焦法测荷质比实验电子束螺旋线起点位置的方法．
阐述了岩质边坡生态防护植被现场及室内冲刷试验的试验目的,详细介绍了其试验方案及试验方法.通过对试验区草种生长情况的评判,对试验区草种与固土结构的不同组合在不同坡度
电能质量有多个分项指标,必须归一量化,以适应电能商品论质论价的要求,这是电力市场化改革提出的新课题.本文提出了基于日周期的电能质量量化和评价方法,这种方法以概率统计