连续值逻辑系统中的代换定理

在舍弃了经典逻辑系统中公理L1的基础上建立了一类模糊命题逻辑的准形式演绎系统L^*G-R，并在此基础上研究了模糊逻辑系统中的代换定理，为进一步研究模糊命题逻辑系统的完备性奠定了一定的基础．     

微格教学在离散数学中的应用

本文利用微格教学的思想．设计了离散数学课程中一节课的教学进程，以期揭示利用微格教学的作用和方法。     

四值非线性格值逻辑中公式的概率真度

王国俊在多值逻辑系统中提出了公式的真度等概念并初步建立了计量逻辑学理论.但其研究的多值命题逻辑是线性赋值格结构且真度是赋值均匀的.在四值非线性格值逻辑系统上通过势为4的概率测度空间上的无穷乘积测度定义了公式的概率真度,得到了一些平行的相关结果,说明计量逻辑学在非线性格值逻辑上和非均匀概率空间上有一定的可行性.     

百色市大气污染物减排与环境空气质量改善措施

根据百色市2006～2010年环境质量报告书和百色市环境保护局2008～2011年的减排统计数据,分析2008～2011年百色市大气污染物排放情况和城区环境空气质量变化情况,以及百色市大气污染物排放对城区环境空气质量的影响趋势,提出百色市大气污染物减排与城区环境空气质量改善的措施,为百色市环境空气质量改善提供参考。     

三个几何命题的推广

平面几何的许多命题可以推广到立体几何中,本文就三个平几命题加以推广,并给以证明．     

互逆主义逻辑中的逻辑命题

互逆主义逻辑对命题进行了严格分类,认为命题可分成不同级别、不同阶次.同时互逆主义逻辑的多层逻辑思想揭示了各类命题之间的内在关系,最高层即二层逻辑主要用于处理最高级别的逻辑命题,这是经典逻辑所不具备的功能.互逆主义逻辑还提供多种方法帮助证明命题的真伪,周氏图就是其中经常使用的方法之一.     

广东高考语法填空题的解题策略

本文将从命题特点、解题技巧和训练方法三个方面详细地分析广东省高考的语法填空题型,目的在帮助广东省的高中英语教师在平时的教学中对学生进行指导教学,循序渐进地指导学生学习语法,提高他们对语法填空这种题型的解题能力。     

基于集合分析的数据查询方法

针对具有全称量词及蕴含运算查询构造困难的问题,用数学中集合论工具,分析了这两类查询的本质,得到了关于这两类查询应满足的集合条件的两个定理.应用这两个定理,推导出了实现几类复杂查询的统一查询模式.推出的查询集合条件简单明了,从而使具有全称量词和蕴含运算命题查询的构造更容易理解.典型应用示例验证了基于集合分析数据查询方法的有效性.     

大体积混凝土配合比优化设计及施工工艺研究

对甬江特大桥承台大体积混凝土配合比及施工工艺进行了研究,为克服大体积混凝土因水化热产生开裂,工程采用控制水泥用量、掺加粉煤灰和矿渣及高效减水剂、延长混凝土设计龄期等方法,运用密实骨架堆积理论对混凝土配合比进行优化设计,通过预埋冷却水管降温措施及严格的施工管理,有效减小混凝土温度差,减少混凝土温度裂缝的产生.     

《体育心理学》考试命题设计的实证分析

以《体育心理学》考试命题设计为实证,分析了体育心理学课程考试命题设计的方法、原则、试卷编制的内容和试卷质量的评价指标.探讨最优化的考试命题设计模式,以期有效地考查教师的教学水平和学生的学习效果,为考试命题设计提供参考依据.