共查询到20条相似文献,搜索用时 0 毫秒
1.
关于严格蕴涵系统的布尔值模型 总被引:3,自引:0,他引:3
李娜 《南京大学学报(自然科学版)》2003,20(2):161-168
本文是为Lewis的五个严格蕴涵系统建立布尔值模型.为此,本文首先定义了模态公式口α的布尔值‖口α‖;其次证明在该定义下,模态逻辑的严格蕴涵系统S1和S2的所有公理的布尔值为1;最后证明集合论的ZFC公理系统的布尔值模型VB(B是一个完全的布尔代数)也是严格蕴涵系统S1和S2的布尔值模型. 相似文献
2.
3.
沈恩绍 《北京师范大学学报(自然科学版)》1990,(3):9-17
给出模型论中弱力迫概念的一个语法特征。然后在此基础上引入弱力迫的一种布尔值模型表示,并给出这种表示对f-伴随理论的一些应用。 相似文献
4.
关于模态命题系统的一种布尔值模型 总被引:3,自引:2,他引:1
李娜 《南京大学学报(自然科学版)》2001,18(1):109-113
本文首先定义了模态命题公式□a的布尔值,然后证明模态命题逻辑的正规系统K、D和T以及严格蕴涵系统S1和S2的所有公理的布尔值为1.最后,证明了VB是K.D和T以及S1和S2的布尔值模型. 相似文献
5.
6.
周金元 《四川大学学报(自然科学版)》1992,29(4):443-445
在MA+7CH下证明了:1.正规空间在有限到一闭映射下的逆象未必正规;2.具有严格正的正则有限Bord测度的拓扑空间具有Caliber(?). 相似文献
7.
文献[2]没有解决严格蕴涵系统S3的协调性,本文证明严格蕴涵系统S3的协调性.为此,首先证明严格蕴涵系统P3的协调性(用布尔值模型方法);其次证明模态系统P3和严格蕴涵系统S3等价. 相似文献
8.
李娜 《南京大学学报(自然科学版)》2004,21(1):34-42
本文是为冯·赖特的一元和二元道义逻辑系统DT和DSR以及他1964年对DSR改造后的系统建立布尔值模型.因此,模态词O和P分别表示"应当"和"允许".为此,本文首先定义了模态公式Oα的布尔值‖ Oα‖和二元公式P(p/q)(或O(p/q))的布尔值‖ P(p/q)‖(或O(p/q)‖);其次证明在该定义下,道义逻辑系统DT和DSR等的所有公理的布尔值为1;最后证明集合论的ZFC公理系统的布尔值模型VB(B是一个完全的布尔代数)也是道义逻辑系统DT和DSR等的布尔值模型. 相似文献
9.
王见勇 《宁夏大学学报(自然科学版)》1995,16(1):70-73
该文给出一个无领域套基的空间的例子,证明了可分空间或拓扑向量空间中,领域套基的存在性等价于A1公理,并利用序数理论构造了一个非可分空间的例子,其中每点存在领域套基但不满足A1公理。 相似文献
10.
11.
马翼飞 《辽宁工程技术大学学报(自然科学版)》1987,(3)
本文应用最佳控制的离散最大原理,建立了井下轨道运输系统最佳营运的数学模型.以一个假设的例子介绍了建立模型过程和计算机求解方法.并求出了最佳营运计划. 相似文献
12.
13.
14.
火电厂热力系统定量分析通用模型 总被引:2,自引:0,他引:2
在等效热降理论的基础上,提出了2个新的分析参量--抽汽热流与抽汽热流系数,使得实际循环内功和循环吸热量的计算公式具有同一形式,且公式的物理意义明确,并由此导得热力系统定量分析的通用模型,其分析方法及导出的通用模型,可方便地应用于热力系统的节能潜力诊断与优化分析。 相似文献
15.
复合系统协调度模型研究 总被引:130,自引:0,他引:130
从系统学的角度提出了复合系统的复合因子、协调机制等概念,在此基础上以协同学为基础,给出了一类可以实际计算的复合系统协调度模型,并以某具体的“教育-经济-科技”复合系统为例进行了实证分析,从而验证了所建立的模型的正确性与可操作性。 相似文献
16.
应用最佳控制的理论建立了煤仓胶带系统的数学模型,并结合简例分析了数值解法,给出简例的数值解。通过对结果的分析,说明数学模型和解法都是正确的。 相似文献
17.
在受到文献[1][2]启发后,根据数学中的有限履盖原则,提出了一个实用的无线通讯系统发射站分布模型的优化及其评价标准,为无线通讯系统前期建设提供了一个有价值的设计参考方案,也可应用于类似的系统中。 相似文献
18.
浮选回路的在线模型是实现浮选回路计算机高级控制的基础.本文将多变量系统辨识理论和方法应用于浮选回路在线模型的建立,以带外生可观测干扰变量的多变量受控自回归滑动平均模型作为浮选回路在线时间序列模型的基本形式.在IBM-PC/XT微型机上建立了通用的多变量递推辨识程序包MVRIMPB,用以估计模型的阶和参数.最后用仿真方法考查了程序包的实用性. 相似文献
19.
陈连松 《辽宁师范大学学报(自然科学版)》1994,17(2):120-123
就睾酮激素分泌调节系统给出一个数学模型.用一非线性微分方程组来描述系统中黄体激素释放激素、黄体激素和睾酮激素三者之间的相互调节关系.并对方程组的定态解作了稳定性分析. 相似文献
20.
就如何建立经理人才市场及经理人才综合评价体系问题进行探讨,并提出对企业家进行综合评价的模糊数学模型,作为评价、奖惩、聘请或解聘经营管理人员的依据. 相似文献