排序方式: 共有17条查询结果,搜索用时 866 毫秒
1.
给出了剩余偏序集的定义,导出了剩余偏序集的一些性质.证明了如果FI-代数上有二元运算满足(ab)→c=a→(b→c),那么FI-代数是剩余偏序集;正则FI-代数与正则剩余偏序集是相同的代数结构.通过剩余偏序集细化了FI-代数与其它常见逻辑代数之间的联系,并绘制了剩余偏序集与其它相近逻辑代数之间联系的网络图. 相似文献
2.
将2-值命题逻辑的语义理论推广到了有限布尔代数,得到了2n-布尔值命题逻辑.同时本文给出了2n-布尔值命题逻辑应用的一些例子. 相似文献
3.
城市水生态系统建设模式研究进展 总被引:9,自引:2,他引:9
在总结城市建设发展历史进程和城市水生态系统研究建设进展的基础上,指出目前国内外对城市水生态系统没有开展全面的综合研究,未能形成系统性的研究体系,缺乏城市-人类-水体相协调的理念.针对这种状况,提出了水安全、水环境、水景观、水文化和水经济五位一体的城市水生态系统建设模式,这种模式可以有效地解决城市涉水规划和建设的单一性问题,有利于完善城市水生态系统的管理体系,为城市生态建设提供理论指导和技术支持。 相似文献
4.
将塞瓦定理推广到三维空间得到结论:P是不在四面体的面所在平面上的一点.且P点不在过棱且平行于对棱的平面上,则四面体的各棱中点,过各棱与点P的平面与对棱所在直线的交点,及过各顶点与点P的直线与四面体对面所在平面的交点和四面体在这个面上的顶点的连线中点.这24个点在同一个二次曲面上.当点P在四面体内或四面体的三面角的对顶角区域内时,24点二次曲面为椭圆面;当点P在四面体的面分空间所成的其它区域内时,24点二次曲面为双曲面或二阶锥面. 相似文献
5.
通过对正则剩余格和WBR0-代数的深入研究, 进一步明确了WBR0-代数与其他逻辑代数之间的关系。 主要结果有: (1)证明了正则剩余格与WBR0-代数是相同的代数结构;(2)通过联络图表列举了WBR0-代数与其他经典逻辑代数之间的联系,体现了WBR0-代数在逻辑代数中的地位与作用;(3)通过构造WBR0-代数的实例说明WBR0-代数与其他逻辑代数之间的区别。 相似文献
6.
本文提出以比磨削功率P_g作为磨削烧伤适应控制参数,推出了一种使用单板计算机的磨削烧伤适应控制系统,用以对磨削加工过程实行实时控制,以预测和避免磨削加工中烧伤现象的发生。 相似文献
7.
R_0-蕴涵算子是王国俊在2000年建立的一种新型蕴涵算子.目前,R_0-蕴涵算子在模糊控制、近似推理、模糊识别、模糊系统、计量逻辑的研究方面有着重要应用,而这些应用的共同点,是公式通过R_0-蕴涵算子所导出的逻辑函数在其中发挥着关键的作用.本文在R_0-型命题逻辑系统中,对由n个原子公式生成的公式通过R_0-蕴涵算子导出的逻辑函数的特征进行了研究,得到了函数可由R_0-型命题逻辑系统中的公式通过R_0-蕴涵算子导出的充要条件. 相似文献
8.
筹资是任何一个企业从事生产经营活动的先决条件。筹资决策的目的是在满足企业自身资金需求的基础上,谋求资金成本最小化,而不同的筹资方式,其税前、税后的资金成本迥异,这就为企业在筹资决策中进行税收筹划提供了可能。本文从筹资风险、筹资成本和筹资的税收筹划等方面论述了筹资决策应注意的相关事宜。 相似文献
9.
10.
WBR_0-代数的正则性及与其他逻辑代数的关系 总被引:1,自引:0,他引:1
通过对正则剩余格和WBR0-代数的深入研究,进一步明确了WBR0-代数与其他逻辑代数之间的关系。主要结果有:(1)证明了正则剩余格与WBR0-代数是相同的代数结构;(2)通过联络图表列举了WBR0-代数与其他经典逻辑代数之间的联系,体现了WBR0-代数在逻辑代数中的地位与作用;(3)通过构造WBR0-代数的实例说明WBR0-代数与其他逻辑代数之间的区别。 相似文献