论优化问题的公理方法（Ⅳ）——有限改进算法与迭代算法

本文用公理方法建立了三个有限改进算法及一个迭代算法。     

经典公理集合论系统与中介公理集合论系统之间的包含关系

本文首先在中介公理集合论系统ＭＳ中构造出Ｐｅａｎｏ自然数系统，以此为基础重新定义了ＭＳ中的良集概念，证明了新定义的良集满足经典公理集合论系统ＺＦＣ^－（ＺＦＣ中去掉正则公理的集合论系统）的全部公理，从而说明经典公理集合论系统ＺＦＣ^－为中介公理集合论系统ＭＳ的子系统．     

L-Fuzzy拓扑空间的层分离性公理

在一般L-fuzzy拓扑空间中引入一套新的分离性公理。即层分离性公理。并研究其性质．讨论层分离性公理与L-fuzzy拓扑空间中的第一套分离性公理间的关系。表明前者比后者弱且两者有很好的协调性。     

论模糊性及其数学问题

近年引发的关于模糊逻辑的争论，从根本上说触及到产生模糊性的背景和相应的数学方法问题。本文从认知科学的角度考察模糊性，认为模糊性源于人类在认识客观事物的各种认知思维活动，并在不同层次的认识思维反映过程中，形成了狭义模糊性，一般模糊性，广义模糊性和泛模糊性。文中初步了不同层次的模糊怀问题和相应的数学问题，抛砖引玉，以引起广大研究者的关注，研究和讨论。     

中学"边角边"公理教学中的思考

0 引言 近年来,在中学数学课程的不断调整过程中,一个一直有争议的问题是如何处理几何教程中的公理.这个问题也涉及对希尔伯特公理体系的理解,事实上,希尔伯特当初建立一个完整的欧几里德几何公理体系,是为了回答当时很多人对欧几里德几何的严格性的质疑.这个问题是"初等的"几何,但它本身绝不是初等的,恰恰相反,它是很深很困难的,是当时数学的顶尖工作(在今天属于数理逻辑的范围).这项工作说明,欧几里德几何体系完全可以严格化和完备化,并且是不矛盾的.但严格化的方法并不止一种,例如张景中就曾给出与希尔伯特公理体系等价的其他公理休系.     

三次数学危机作为高等数学第一课的教学探索与实践

三次数学危机是数学史上的重要事件,与高等数学的教学内容联系密切,但通常在教学中不被重视.通过分析给出了三次数学危机作为高等数学第一课的设计思路、实施方案和实践效果.实践证明,这一课打开了学生了解微积分脉络的窗口,培养了学生的质疑精神,在数学史观的熏陶下,使学生学好高等数学的同时,成为数学文化的承载者和传播者.     

折纸及其折痕设计研究综述

折纸是指不经剪裁和粘接,将二维平面纸张折叠成三维立体的方法,具有设计简单、成形迅速、适用范围广等优点,在可展开式结构、结构组装与自成型等领域有着广阔的应用前景. 本文首先简述了多种典型的新式折纸应用,如屈曲诱导的微尺度三维结构、可折叠太阳能电池板、DNA螺旋组装结构等;根据折纸的曲线折痕数量、相对运动、刚性折叠面、使用纸张数量界定折纸的分类;然后 折痕设计是实现折纸结构的核心问题,着重阐述了折纸的折痕设计方面,包括梳理折痕设计的基本条件,给出若干典型折痕设计如三浦折痕设计、水弹折痕设计、吉村式折痕设计和对角线型折痕设计,介绍典型折痕设计的显著特点及几何条件,将目前折纸折痕设计的创新方法归纳为对经典折痕设计适当改进、形成折痕设计数据库、利用拓扑优化方法、借助成型的汇编算法等;最后,基于当前折纸的研究进展对未来的研究方向进行了展望,其中涉及到可重构折纸结构、四维折纸、多材料折纸和多尺度折纸等.      

基于无干扰理论的并发程序隐私性分析模型研究

基于无干扰理论和Hoare公理方法,针对并发进程中不可信代码带来的信息泄露问题,提出一种隐私性分析模型CPNIAM,一方面把并发程序功能正确性证明分化为对程序中所有并发进程的形式化验证,以达到复杂程序简单化证明的目的;另一方面,可以在进程的功能正确性验证的基础上进行并发进程间的无干扰性分析.实例分析表明,相对于传统的无干扰模型,本文提出的模型可以在程序设计及实现阶段的形式化验证过程中,对由不可信代码导致的进程间隐私泄露问题进行分析,分析结果可指导程序设计者用于不可信代码定位和修改.     

关于有1模格的等价定义

进一步讨论有1模格的等价定义问题,得到并证明了一个(2,2,0)型代数成为有1模格的一个充分必要条件.这样大大简化了有1模格的等价定义.     

关于向量空间定义中运算公理的独立性

对于向量空间定义中的八条运算公理,证明了"加法满足交换律"这一公理的独立性依赖于其它某些运算公理的定义形式,并证明了运算公理"k(lα)=(kl)α"和"k(α+)β=kα+kβ"的独立性与基础数域的选取有关,即当基础数域是有理数域时,这两条运算公理是其它运算公理的逻辑推论.