论文部分内容阅读
在逻辑系统MTL中,对全体逻辑公式集上建立的逻辑伪度量空间进行研究,讨论了孤立点的情形,指出积分真度不为零的公式一定不是对应空间中的孤立点,而对于积分真度为零的公式,则要分不同性质类型的系统讨论,得到的情形也完全不同。
逻辑伪度量空间中的孤立点
【摘 要】
：
在逻辑系统MTL中,对全体逻辑公式集上建立的逻辑伪度量空间进行研究,讨论了孤立点的情形,指出积分真度不为零的公式一定不是对应空间中的孤立点,而对于积分真度为零的公式,则
【机 构】
：
陕西师范大学数学与信息科学学院,宝鸡文理学院数学系
【出 处】
：
计算机工程与应用
【发表日期】
：
2010年11期
【基金项目】
：
国家自然科学基金No.10771129,宝鸡文理学院重点科研项目(No.ZK2519)~~
其他文献
一、概述徐州市位于江苏省西北部,全市总面积11258km2,2012年全市总人口990万。徐州市境内河流纵横交错,湖泊、水库星罗棋布,废黄河斜穿东西,京杭大运河横贯南北,东有沂、沭
燃煤电厂扩建工程的取用水与前期工程有着密切的联系。本文以国电蚌埠发电厂为例，在一期工程实际运行以来的取水、用水情况调查与评价基础上，对二期工程的取水合理性、用水合理
为了优化蛭弧菌的生长条件，在前期研究确定适于蛭弧菌BD1生长的最佳pH、盐度、二价金属离子（ Ca2＋、Mg2＋）、谷氨酸钠的浓度范围的基础上，综合考虑4个因子对蛭弧菌BD1生长的影响，利用
2014年8月5日，南四湖生态应急调水启动。淮河水保局按照淮河防总部署，迅速派出监测人员进驻蔺家坝泵站，启用移动水质自动监测站和移动实验室开展现场水质监测，并同步采集水样送网
目的:了解妊娠妇女不同孕期尿碘水平及动态变化.方法:检测不同孕期尿碘水平,进行动态跟踪观察.结果:早、中、晚孕期及未孕妇女尿碘中位数分别为261.54、221.97、239.15和268.
介绍M701F型联合循环机组厂级监控信息系统（SIS）的网络结构设计，在分析SIS实际要求的基础上，具体论述SIS的网络系统结构以及SIS与分散控制系统（DCS）的连接方式，提出SIS和DCS应采用独
BT是政府利用非政府资金来进行非经营性基础设施建设项目的一种融资模式，由政府组建的项目法人通过公开招标或经批准的其他方式确定投融资单位，投融资单位负责筹措建设资金，并负
为了提高TiO2光催化剂日光催化性能及解决催化剂回收问题,采用微乳液法制备了La3＋、Fe3＋、Co2＋、Ce4＋共掺杂TiO2/粉煤灰微珠光催化剂,用紫外-可见分光光度计测定了光催化剂的可见
提出了一种基于多智能体（Multi—Agent System，MAS）的可重构网络化控制系统体系结构，该系统中的各控制节点可根据实际工况重新配置并相互配合完成控制任务，从而有效提高系统的灵活