对推理规则在非经典逻辑中失效的分析

论文认为强化前件规则对虚拟条件句确实足失效的，但传递原则、逆换原则和析取前件消去规则并没有像希尔皮南所说失效了。如果对同一性替换规则加上条件对一个命题的某个部分实施替换，要求所利用的同一性在该命题的模态下也成立，则同一性替换规则可以运用于模态语境。奎因对存在概括规则在模态语境中失效的分析并不完全准确。     

重大件货物装卸中船舶稳性的计算及调整

基于船舶静力学理论，推导了重大件货物装卸过程中船上重吊在任意位置时船舶稳心高度及横倾角的计算方法，分析了影响船舶稳性及横倾的基本要素，并给出了调整船舶横倾的具体方法，为船方掌握重大件货物作业中船舶稳性及横倾的变化规律并采取恰当的安全措施提供了理论依据。     

浅析砌体裂缝及预防

<正> 砌体出现裂缝是非常普通的质量事故之一,砌体轻微细小的裂缝影响外观和使用功能,严重的裂缝影响砌体承载力,甚至引起倒塌。在很多情况下,裂缝的发生与发展往往是大事故的先兆。砌体中发生裂缝的原因主要有:地基不均匀沉降,地基不均匀冻胀,温度变化引起的伸缩,地震等灾害作用以及砌体本身承载力不足等五个方面。1 地基不均匀沉降引起裂缝 地基不均匀沉降后,沉降大的部分砌体与沉降小的部分砌体产生相对位移,从而使砌体中产生附加拉力或剪力,当这种附加内力超过砌体强度时,砌体中便产生裂缝。这种裂缝一般向凹陷处。     

非结合环的交换性条件

研究了一些非结合环的交换性。利用这些环的任意元与该环中心的关系．给出了一些充分条件，使该环成为可交换的．     

常系数线性中立型微分方程周期解存在唯一的充要条件

本文利用Fourier级数讨论具有常系数的任意阶中立型泛函微分方程的周期解，除一种特殊情况外，我们得到了用有限代数方程组描述的周期解存在唯一性的充要条件，对这种特例，我们也得到了若干实用结果．     

浅谈老年住宅的设计

老年问题涉及到千家万户，特别是老年人的居住问题直接影响到每一个家庭，影响到社会的各个层面。根据老年人心理及生理方面的变化，分析了老年住宅的特征，提出了适合老年住宅的设计要求。     

循环冷却水杀菌剂的发展

综述了国内外冷却水用杀菌剂的现状以及酶处理技术、复配式杀菌剂的发展。提出了应加强杀菌剂种类、针对性杀菌剂及复配式杀菌剂的研究。     

散货船分轮装卸最佳方案的确定

为保证散货船的船舶强度在装卸过程中不受过度疲劳的损伤，提出一种确定分轮装卸最佳方案的方法，它是通过对船舶强度在装卸过程中变化的“单调性”、“平稳性”、“均匀性”的依次综合判断来实现的．实例计算的结果表明方法中选用的参数能真实地反映强度变化的特点，此方法可行，为解决散货船装卸过程中船体结构的疲劳损伤问题提供了新的依据．