新型明桥面轨枕板式无砟轨道结构参数研究

钢桁梁桥由于其承载性能好和跨越能力较强等优点,在大跨度铁路桥梁中被广泛采用。但大跨度钢桁梁桥具有跨中挠度大、梁端转角大和温度变形敏感等特点,为了减小大跨度钢桁梁桥二期恒载、适应桥梁变形特性,在大跨度钢桁梁桥上采用新型明桥面轨枕板式无砟轨道结构。以南沙港铁路某大跨度钢桁梁桥铺设新型明桥面轨枕板式轨道为背景,采用有限元法建立大跨度钢桁梁桥上轨枕板式无砟轨道结构计算模型,研究了轨枕板结构参数对轨道受力与变形的影响,确定轨道结构的合理尺寸与参数。结果表明:轨枕板的外形尺寸直接影响其受力和变形特征;板下垫层的厚度对垫层的受力特性的影响较大;建议南沙港铁路某大跨度钢桁梁桥上采用具有2组承轨台、宽度为2800 mm的轨枕板,轨枕板厚度为280 mm,板下垫层厚度为120 mm。     

一阶逻辑中的扩展子句消去原则

对于一阶逻辑定理证明器，子句集化简一直是必不可少的步骤，这将有助于提高后续一阶逻辑定理证明器的证明效率. 针对子句冗余性的判断，提出了一种评估子句冗余性的原则:集合蕴涵模归结原则. 并且证明了该原则在不带等词一阶逻辑上的可靠性，根据该原则删除子句，不会影响原始子句集的不可满足性或者可满足性. 此外，依据该原则提出了两种新型的一阶逻辑预处理方法:集合归结包含消去（set resolution subsumption, SRSE）方法和集合归结不对称恒真消去（set resolution asymmetric tautology elimination, SRATE）方法，并证明了这两种子句消去方法在不带等词一阶逻辑子句集上的可靠性. 最后在理论上比较了SRSE方法和归结包含消去（sesolution subsumption elimination, RSE）方法以及SRATE方法和归结不对称恒真（sesolution asymmetric tautology elimination, RATE）方法之间的有效性，结果表明SRSE方法和SRATE方法分别比RSE方法和RATE方法更为有效.      

关于Fuzzy测度与Fuzzy积分的若干定理

研究了Fuzzy集合上的Fuzzy测度与积分理论,给出了两种条件下Fuzzy测度分解定理、Funy积分若干极限定理和Fuzzy积分表现定理。     

船舶结构分析中的全刚度空间平面应力薄膜单元

本文在改进四节点等参元和四节点Ｗｉｌｓｏｎ不协调元的基础上，发展了适用于船舶结构直接计算的全刚度空间平面应力薄膜单元，它能解决以前应用平面应力薄膜单元在空间结构计算中出现的非正定问题，更适合于船舶结构分析使用。本单元已作为１３类单元放入直接计算法的有限元数值分析模块中。     

大众进口车前途光明——访大众进口汽车销售有限公司首席运营官沙德

目前大众进口车业务的表现如何，其前景又是怎样的？ 在经过了3年的建设后，大众进口车业务目前达到了每年5000辆左右的水平，我们主要走高端产品和运动化车型的路线，在这方面市场需求还是非常大的，估计明年会有6000至7000台的销量，大众进口车业务应该能占到8%的市场份额，达到10至15%的增长幅度。     

制造世界一流产品创建世界一流企业走向国际化的航特

对航特液压制动有限公司本刊曾有过多次详细的跟踪报道.这家被誉为"中国第一刹"的摩托车碟刹专业制造企业,其发展速度、市场定位、战略选择,每每出其不意,给人意外的惊喜!     

NL法的一个有限单元解

根据有限元基本原理，编制了港工规范中推荐的NL法的计算程序，经分析该程序计算结果正确，可用来分析一些规范中的相似原理不能计算的问题。