论数学中的公理化方法

本文介绍了公理化方法的发展历程,并就公理化方法所表现的形式及存在的优劣性进行了比 较研究。     

拓扑分子格的弱分离公理

本文是文［１］的继续，我们以Ｑ－远域为工具，首先引入和研究了拓扑分子格的ＳＴｉ分离公理（ｉ＝－１，０，１，２，３，４）。其次我们引入了Ｓ－不定序同态和Ｓ－同胚序同态等概念，给出了它们的若干特征性质。最后我们得到了各种ＳＴｉ分离公理是Ｓ－同胚序同态下保持不变的性质。     

客车侧翻碰撞中安全带对乘员损伤的影响分析

参照欧洲ECE R66法规要求,建立客车侧翻仿真模型及其乘员约束系统模型。利用LS_DYNA软件对客车侧翻碰撞试验和客车座椅动态试验进行模拟分析,并与试验结果进行对比,结果表明,有限元模型具有较高的精度。将4个HybridⅢ50%男性假人模型放置在客车最薄弱的车身段座椅上。对客车侧翻过程中,3种约束条件(无安全带、两点式安全带和三点式安全带)的乘员损伤情况进行分析。研究结果表明:无安全带约束时,假人头部和颈部将受到严重损害;两点式安全带和三点式安全带对于所有假人颈部及胸部的保护效果相近;两点式安全带能有效降低大部分假人的头部损伤风险,但碰撞侧外侧假人头部损伤值仍较高。     

关于一类不定方程有解的一般性结论

用模型论的方法证明了一类不定方程a1xr11 a2xr22 ... anxrnn=bys(其中a1,...,an,b为任意整数,r1,...,rn,s为任意正整数)有解.进一步地,我们用相同的方法解决了一个猜想.     

基于IDS 80图形系统的液压和气动设备符号库

我们在此给出一个在意大利IDS—80图形计算机系统上实观的符号库。我们扼要地概述了该库的构造和使用方法。这个库是一个遵循机械设计统一标准UNI的标准符号库并且我们的方法(模型扩张)是新的和有价值的。     

篮球假动作技术的控制论分析与训练

篮球假动作技术掌握受动作的难易程度、身体素质、教学技巧等多种因素的影响.本文从控制论角度对影响篮球假动作技术的形成机制进行分析,并结合实战特点,提出了假动作技术的训练方法,旨在共同探讨假动作运用的实效性.     

一种新的关联度量化模型及其在农民收入结构分析中的应用

在已有灰色关联理论的基础上,综述了现有的几种典型灰色关联度量化模型,并分别指出了其缺陷。在此基础上,领会灰色关联度公理的内涵,提出了一种灰色关联度量化模型———演变模型,克服了现有关联度量化模型的缺陷,并证明了其科学性。最后,以河南省农民收入结构分析为例,介绍了其应用方法。图1,表1,参19。     

L-fuzzy拓扑空间的相对乘积空间与STi分离性(i=1,2)

就STi（i=1，2）分离性，讨论了L-fuzzy拓扑空间的相对乘积运算中的可乘性问题。     

论布尔代数的公理系统与公理的独立性

朱秉涛在文“关于布尔代数公理的独立性问题”中认为由Hunttngton E. V.提出的关于布尔代数的八条公理是相互独立的这一结论是错误的。本文将论证朱的这一结论是错误的,也即Huntington的关于布尔代数的八条公理的确是相互独立的。另外本文还提供关于布尔代数的其它两个公理系统,它们的各公理不但仍是相互独立的,且从某种意义上讲,它们比Huntington的优越。     

(P(x),,,-)逻辑的语义问题

本文得出了在 (P(x) , , ,- )逻辑的语义问题中 ,标准命题演算系统的每条公理在 (P(x) , , ,- )逻辑中都是模糊恒真的 ,但标准命题演算系统的定理 ,在 (P(x) , , ,- )逻辑中却不都是模糊恒真的。