正规模态逻辑S4的表推演系统TS4

讨论正规模态逻辑Ｓ４的自动定理证明理论，给出了一个关于正规模态逻辑Ｓ４的表推演（Ｔａｂｌｅａｕ）系统ＴＳ４，证明了该系统的可靠性与完备性。     

固体超强酸TiO2／SO4^2—催化双酚——A的研究

使用固体超强酸ＴｉＯ２／ＳＯ４＾２－催化合成双酚－－Ａ，探讨了反应温度，催化剂用量，反应时间，反应物摩尔配比等因素对反应的影响，最佳条件下双酚－－Ａ的收率为３２．９％，同时利用红外光谱对固体超强酸ＴｉＯ２／ＳＯ４＾２－的酸强度进行了研究。     

PPM穿孔力与顶头形状的理论与实验研究

顶头形状设计是压力穿孔机理论研究的重要内容。减少穿孔力是相对提高穿孔机顶杆刚度，改善毛管偏心度的重要途径。根据压力穿孔过程中金属的变形特点，将变形区分成预穿孔区和穿孔延伸区。利用上限元法以最小穿孔力为目标。在穿孔延伸区中对顶头形状和变形锥长度进行了优化。确定了K0的选取原则。中间实验验证了理论分析的正确性。     

钢渣微晶玻璃的研究

探讨了ＣａＯ－ＭｇＯ－Ａｌ２Ｏ３－ＳｉＯ２系统钢渣微晶玻璃的烧结法制备工艺，研究了玻璃成分对烧结和晶化过程，结构和性质的影响，讨论了烧结和表面成核机理。     

质心运动守恒问题的一般解

文中导出了在求解质心系质心运动守恒问题时的一般解的表达式，通过该公式可以方便地确定出多刚体系统中任一个刚体的绝对运动，实例分析表明，该方法在求解此类问题时将是非常有效的。     

解决平顶山市“平声”交叉口交通问题的初探

本文针对“平声”交叉口的交通堵塞现状，运用系统工程的理论方法，结合交叉口交通的实际情况和特点。因地制宜地对交叉口交通综合治理方法件一探索．同时为中．小城市解决平面交叉口的交通问题提供了一个具有实际借鉴意义的意见。     

电机微机测试中软件同步采样的误差及其抑制

电机微机测试中软件同步采样的误差及其抑制马宏忠（南京建教中心２１０００３）胡虔生（东南大学南京２１００１８）１引言电机微机测试中通常采用同步采样法，其优点在于当满足一定的采样要求时，理论上没有测量方法误差。但在实际的同步采样测量中，由于锁相环路跟踪误...     

测频环节的随机波动对微机调速器性能的影响及其精确测量

本文讨论了水轮机调速器的数字测频环节随机波动的原因及对调速系统的有害影响,并提出了抑制随机波动的措施和精确测量测频环节的方法。这些措施和方法只有实用价值。本文也为测试微机调速器测速装置的静态特性提供了一个有效、实用的方法。     

氧化锌避雷器劣化诊断技术

前言以氧化锌为主体的非线性电阻元件的出现,由于其优越的非线性及吸收冲击能量的能力,实现了不带串联间隙的理想避雷器。使用这种ZnO元件的氧化锌避雷器,与以前带有串联间隙的避雷器相比较,具有以下特点。 (1)无放电延迟时间,提高了保护特性;     

步进电机的机械模拟分相电源小装置

步进电机的电源是一套专用电源,由频率发生器,环形分配器和功率放大器等组成,线路较为复杂。这里介绍一种步进电机电源是模拟步进电机电源的分相情况用机械方法获得。该电源可作步进电机示范动作用的电源,如有合适的频率的原电源(即机械分相前的电源),也可作步进电机的实验电源。