关于模态命题系统P5的协调性

证明模态系统P5的协调性．即：证明了模态系统P5的所有公理的布尔值为1．亦即：V^B(B是一个完全的布尔代数)是模态命题系统P5的布尔值模型．     

该隐的标记

该隐,《圣经》中人类始祖亚当的长子。据《创世纪》记载,他因嫉妒将弟弟亚伯杀死。这是人类历史上第一桩凶杀案。作为惩罚,上帝给该隐立了一个标记带在身上,因此在西方文学中将“该隐的标记”作为骨肉相残的比喻。该隐杀弟,揭开了人类互相残杀的序幕,其实在动物界同胞相残并不鲜见。     

制备泡沫铝的一种新方法:烧结溶解法

烧结溶解法是近几年发展起来的一种制造泡沫铝的新工艺，具有可以精确控制孔洞形状，尺寸和孔隙率及其分布等特点，具有较好的质量价格综合指数，是生产均匀或梯度微细开孔中密度泡沫铝的有效方法，所制泡沫铝在吸能，吸音等领域有广泛的应用前景。本文简要介绍烧结溶解法的原理与工艺，所制泡沫铝的组织特征与机械性能，并讨论与其它各类现有方法相比所具有的优势与局限。     

一类广义Ⅰ类不变凸半无限规划的最优性条件

利用对称梯度,对于一类半无限规划引入了几个非光滑广义Ⅰ类不变凸性概念,进而在这些新广义不变凸性情形,给出了半无限规划的一些最优性充分条件.     

杨氏模量测量的一个程序设计

本文通过用计算机对杨氏模量测量的程序设计，说明微机不仅可以迅速完成数据处理工作，还可以判断实验结果，从而更好地探索实验规律。     

状态空间方程的计算机仿真计算

本文通过对系统状态空间方程的计算机仿真计算,提出了状态空间方程的求解方法,并通过求解获取系统的有关信息,如敛散性、能控性、能观测性等,为系统的参数调整与设计提供依据。     

纺织材料压缩弹性仪的研究及其应用

本文全面地阐明了一种纺织材料压缩弹性仪的研制及其应用,并系统介绍五种测试纤维及其制品的功能与特性的计算方法。仪器的研制,为研究材料的压缩性能提供了有力的工具。     

最优化法在计算平台破损后浮态及初稳性中的应用

提出了一种用优化方法求解平台破损进水后浮态和初稳性的方法,并用所编制的计算机程序对平台破损后的浮态和初稳性进行了计算。文中给出了某一平台在下沉就位过程中的计算实例,计算结果表明:利用优化方法来求解平台破损进水后的浮态和初稳性是切实可行的.