马丁公理的逻辑分析

讲座了公理集合论中马丁公理的若干问题，即：（１）什么是马丁公理；（２）马丁公理的等价命题；（３）马丁公理和连续统假设之间的关系；（４）马丁公理在现代数学中的作用。     

关于选择公理的某些应用

本文在对选择公理在数学基础中的地位和作用以及某些等价命题进行探讨的基础上，比较系统地论述了选择公理在某些学科的重要应用．     

Boole代数的等价刻画

目的给出Boole代数的等价刻画,揭示Boole代数和二值命题逻辑的另一种内在联系,使Boole代数更便捷地和其他代数联系。方法从二值逻辑的公理集入手,运用推理,证明,举例的方法进行了讨论。结果得出了Boole代数的等价刻画以及等价刻画中各条公理的独立性.并且利用等价刻画,讨论了Boole代数与其它代数的关系。结论Boole代数新定义的引入为进一步认识和研究Boole代数提供了新的途径。     

不识最大自然数等使课本有一系列重大根本错误

可数集的各元都必可有自然数“配偶”这一特点使自识正整数5千年来一直“深埋地下”的最大自然数及无穷多无穷大自然数一下子“破土而出”推翻百年“标准实数完备”论，显示已知实数全体仅为实数宇宙中的一颗星球。从而揭示中、小学课本有一系列重大错误：搞错变量的变域而将部分误为全部（继而推出病态的“部分可=全部”）；误以为“有首项的无穷数列必无末项”使级数论有常识性与概念性错误而使小学课本违反起码数学常识地断定0．99…=1；…。     

L-双拓扑空间的弱分离公理

在L-双拓扑空间中引入一组新的分离公理,即配WTi(i=2,3,4)分离公理,研究了它们的一系列性质,并讨论了分明双拓扑空间的配WTi(i=2,3,4)分离性与它诱导的L-双拓扑空间的配WTi(i=2,3,4)分离性之间的关系.     

中学极重大根本错误:无穷数列必无末项——“一对一”常识推翻五千年科学“常识”:无最大自然数

由"一一配对"常识证明了:自识自然数5千年来科学界一直认定的"无最大自然数"是极重大根本错误,{n≥1}不一定是非0自然数集N+而有可能是其真子(扩)集;无穷级数都有末项;存在欧拉使用的无穷数。不识"更无理"无穷数的数学自相矛盾,其目光太短浅、视野太狭窄从而远不能满足实际的需要,其对"无穷"的认识有极其重大根本错误。指出数轴R内各已知数点x均有无穷多与之无限逼近的用而不知的无穷数点x+△x,故R的已知数x全体仅是R的沧海一粟。强调教科书的重大错误所造成的重大经济损失一点也不亚于经济建设中的重大错误所造成的经济损失。     

基于公理设计的软件构件设计优化

为了提高软件开发的有效性和正确性,提出了一种基于公理设计的构件设计与优化新方法,详细给出了该方法的设计和实现过程.在此基础上,以调度构件的开发作为研究实例,分别对按照公理设计和传统方法得到的两种设计方案进行了设计、分析、比较和优化,验证了该方法在软件开发方面的有效性和正确性.     

极显然：自然数集增或减一元就变为非可数集了——中学重大错误：将两异集误为同一集

编序号常识使“深藏”5千年且被标准分析否定的无穷大自然数及其倒数一下子露出原形，同时使统治数学的集论露出百年病魔原形。“有胡子的，不一定是爹。”2，3，…，n＋1，…不一定是自然数列N的一部分。自识自然数5千年来一直无人识破此真相就有中学重大错误：搞错了y＝n±1等函数的值域而将两异集误为同一集。     

基于NashCC-Q学习的两交叉口信号灯协调控制

提出一种NashCC-Q学习算法用于解决两交叉口信号灯协调控制问题.根据博弈论概念,相邻两交叉12之间的协调控制问题属于二人非零和合作博弈类型.在Nash.Q学习算法的基础上,将Q值函数的更新建立在Nash合作博弃中提出的Nash"公理方法"求博弈谈判解的基础上,进而解决合作博弈的问题,实现两交叉口信号灯协调控制.采用Paramics仿真软件进行仿真,结果表明该方法的有效性.