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

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

混凝土温度收缩裂缝的产生机理及对策

对混凝土温度收缩裂缝产生机理及影响因素进行研究。从原料的选择、配合比的设计、施工及养护等几方面控制温度收缩裂缝的方法，控制混凝土温度收缩裂缝的出现，对混凝土施工有一定的参考价值。     

采动区建筑物损害的鉴定方法

文章根据开采沉陷的理论 ,提出了在采动损害鉴定时可以采用的鉴定方法。     

该隐的标记

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

浅谈玻纤格栅防止沥青路面反射裂缝的作用理论与应用实践

本文介绍了玻纤土工格栅在沥青混凝土路面结构中的应用机理,在防止沥青路面反射裂缝方面的作用理论和实际应用实例,以及在设计、施工中应注意的要点.     

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

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

物理教学中的美学渗透

物理教学不应只是为了教学生背诵几个公式或是解几道题,而是为了让他获得一种学习的能力,让学生认识物理学中的美,在物理教学渗透美,是帮助学生获得这种能力的一种方法.     

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

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

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

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