形式Peano算术的G(o)del不完备性定理的一个简单证明

给出了形式Peano算术的Godel不完备性定理的一个简单证明.     

图的曲面嵌入

提供了曲面的一种多边形表示，它虽然由多面形表示演化而来，但使得图的曲面嵌入的存在性、计数、确定最大亏格等问题变得十分简单。多面形表示源于Heffter^[1],Hilbert和Cohn—Vossen提出过引线问题并将它与Heawood的地图着色猜想联系^[2]，经过近百年直至Ringal等获得证明^[3,4]。Edmonds(1960)^[5]的多面形表示曾被广泛引用．但30余年后，才发现是Heffter的对偶形式。虽然多边形表示始于本文作者的专著^[6,7]，但至今才发现它在处理上述问题的效力。这就导致此文并为过渡到组合地图理论搭起一座桥梁。     

屈原与五月五日——端午的渊源及意义

春秋战国各国历法不一，五月五日禁忌原是北方晋、齐等国的习俗，后来才影响到全国，它原本与屈原没有关系。在汉末至南北朝时期，北方厌胜之术与南方救屈原结合起来，才形成了完整的端午节风俗。作为端午节重要内容之一的竞渡在唐代风行于南北，端午风俗在唐代才基本定型；端午使屈原永远活在民俗和民间文化中。     

n元一次不定方程整数解的矩阵求法

利用矩阵的初等行变换，较简便求解一次不定方程的整数解，并且用矩阵给出其通解公式。     

浅谈科技社团在政府职能转换中的定位

加入WTO对科技社团带来了新的机遇和挑战。本文通过对科技社团功能作用及趋势发展面临挑战的分析，说明科技社团的发展在于积极争取政府职能。同时，科技社团只有加强自身建设，抓住机遇，做好承接政府职能转移的大文章，才能增强实力，赢得发展。     

重磁电震信息联合反演的随机建模技术

为了把目前的重磁反演从理论建模延伸到随机建模领域，本文从物理场、级数理论出发提出了重磁统计推断建模反演的方法．该方法在重磁场源分离的基础上，以断裂系统把研究区划分为一些独立的次级单元．在各单元内把要反演的地下界面深度作为其对应的极值重磁异常的二元复合逆函数，利用已知的重磁电震剖面资料，统计推断其逆函数的级数分布，以建立重磁电震联合反演的随机地质模型．应用该方法获得了合肥盆地的结晶基底构造图．该项技术探索．有潜能推进综合地球物理信息勘探技术发展．     

无剪切闭锁的厚薄板矩形单元的构造

在板弯曲的有限元计算中 ,因为剪切闭锁现象导致厚板元无法自动退化为薄板元 ,工程中很难构造既适用于厚板又适用于薄板的计算单元 ,因此采用由龙驭球教授提出的广义协调元法 ,构造了矩形厚薄板弯曲通用计算单元 .通过铁木辛柯梁理论 ,建立了板单元边界和板单元内部的位移插值场函数 .计算结果表明该单元可顺利解决剪切闭锁现象 ,可在实际工程中推广应用     

计算网格的抽象定义

计算网格是第三代因特网和高性能并行计算的研究热点,它提供了一个有效的平台,共享资源,支持全球范围内分布异构应用程序的运行,其动机和目标是明显的,并被人们广泛认同和接受。但是目前网格系统尚无一个清楚的定义,因此基于网格语义,通过高层抽象,用谓词/变迁系统给出计算网格的框架模型。     

基于事务形式验证(TBFV)及8051的TBFV模型

提出了一种基于事务的形式验证方法(TBFV)，为待验证的系统构造功能验证模型，每个模型包括指令序列、输入变量、输出变量、输出函数、输出判定函数．这些可用Kripke结构来描述．这些功能验证模型实现了特定的事务，从而可以将一般的验证要求映射为具体的实现属性．这样，验证者无需了解设计的细节，可在较高层次上对系统行为进行验证．为了证明该方法的效率，分别用该方法和传统的形式验证方法验证了8051的RTL实现．8051中所有的指令都进行了验证，并给出了相应的功能验证模型．实验结果表明，采用该方法可大大节省验证工程师的时间．功能验证模型和验证指令可以在其他设计中复用．     

节理边坡渗流离散元模拟及边坡可靠性分析

采用定性研究和定量分析相结合的方法，对地下水对节理边坡稳定性的影响进行了较为全面的研究。首先采用离散元方法进行了节理边坡地下水流动的数值模拟；其次用不确定性方法——模糊点估计方法对有水和无水作用两种情况下的边坡稳定性进行了模糊随机可靠性对比分析。研究表明，地下水的存在使边坡的破坏面积增大，破坏概率剧增，边坡可靠性指标极大地降低，因此地下水对节理边坡稳定性具有不可忽视的作用。