函数算术均值极限的黎曼积分形式及其在R0命题逻辑中的应用

来源 :电子学报 | 被引量 : 0次 | 上传用户:adf2008
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
提出并证明了在有界闭域上非负且黎曼可积的多元函数的算数平均值极限的黎曼积分形式,还证明了n值R0命题逻辑中当n趋于无穷大时公式的广义真度极限的存在定理;并根据在有界闭域上非负且黎曼可积的多元函数的算数平均值极限的黎曼积分形式和n值R0命题逻辑中当n趋于无穷大时公式的广义真度极限的存在定理,在连续值R0命题逻辑中建立了相对于局部有限理论的公式的广义真度理论,为在R0命题逻辑中建立基于局部有限理论的近似推理,广义积分语义理论等奠定了基础.
其他文献
桥梁工程大体积混凝土施工是桥梁建设的主体部分,要实现桥梁工程大体积混凝土施工质量的提升,就必须达到有效防治桥梁工程大体积混凝土的裂缝。桥梁工程大体积混凝土裂缝是交
文章结合以往的一些工程实例,简要介绍地质工程中浅层高承压水地区如何进行钻探与封孔的实用技术,为今后同类地层进行钻探工作提供经验、借鉴。
自动切换试验是检验变电站站用交流电源系统能否正常工作,或在其出现故障时能否自动切换而不致站用交流电源失压的重要检验手段。文章从站用交流电源自动切换试验的基本概念出
煤矿机电设备的管理与维护其实就是针对人与物的综合性管理和维护,是一个非常重要的煤矿管理体系。设备维修是煤炭企业的一项重要管理,是设备正常运行的的重要保证,也是生产费用
融资额度:6000万主导项目/产品简介:食用菌厌氧发酵工艺,植物提取高纯度植物中间体。工艺获得国家发明专利保护。20多年来承担了紫杉醇、染料木素、白藜芦醇、叶黄素等多个国家重
据美国趣味科学网站报道,德国科学家发现,可以用蜘蛛丝培育人类皮肤,这项研究为皮肤移植等医学难题提供了好的解决办法。
数据中心网络利用多个并行路径为集群计算等网络服务提供高对分带宽.然而,现有的流量调度算法可能会引起链路负载不均衡,核心交换机冲突加剧,造成网络总体性能降低.本文将流调度问题转化成0-K背包问题求解,提出基于离散粒子群的流调度算法DPSOFS(Discrete Particle Swarm Optimization Flow Scheduling).该算法根据Fat-Tree结构特点定义了粒子速度、
目前基于规则的软件体系结构(Software Architecture,简记为SA)层性能优化方法大多未充分考虑优化过程中规则的使用次数和使用顺序的不确定性,导致了搜索空间受限而难以获取更
文章提出将亚阈值区超浅结MOSFET的氧化层和Si衬底划分为三个区域,得到三个区域的定解问题,并用特征函数展开法求出了因边界衔接条件而产生的未知系数,首次得到超浅结亚45nm
通过实践研究表明,在废水厌氧治理中应用硫酸盐具有一系列的优势。文章简要分析了硫酸盐还原菌在废水厌氧治理中的运用,希望可以提供一些有价值的参考意见。