局部载荷作用下四边固支矩形板弹性解答及其应用

针对局部横向载荷作用下四边刚性固定矩形板,运用能量法推导出板中挠度解答方程组,利用Matlab编程求解,可计算得到任意矩形板尺寸及横向载荷尺寸下弹性阶段的变形,将结果与有限元数值解进行对比,证明了该方法的精确与快速性,并将该公式应用于极地船舶冰区加强区域外板强度的快速校核中。     

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

对于一阶逻辑定理证明器，子句集化简一直是必不可少的步骤，这将有助于提高后续一阶逻辑定理证明器的证明效率. 针对子句冗余性的判断，提出了一种评估子句冗余性的原则:集合蕴涵模归结原则. 并且证明了该原则在不带等词一阶逻辑上的可靠性，根据该原则删除子句，不会影响原始子句集的不可满足性或者可满足性. 此外，依据该原则提出了两种新型的一阶逻辑预处理方法:集合归结包含消去（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方法更为有效.      

重载铁路四线高墩连续梁桥的设计

神瓦(神木—瓦塘)铁路冯家川车站大桥为重载铁路四线桥,主桥采用4线(65+100+65)m连续梁,最大墩高85 m.桥上线间距大,上下部结构横向尺寸较大,利用有限元分析软件BSAS,MIDAS/FEA对结构受力进行了计算分析.结果表明:在主梁梁高相同的情况下,采用单箱三室截面能更好地减小主应力,采用单箱双室截面增加腹板厚度对主应力的改善有限;多线桥桥墩横向尺寸较大,空心截面设置纵肋板能很好地提高高墩的局部稳定性;主梁及桥墩各项计算指标均满足规范要求.     

别克 荣御“巨舰”售41．8万～49．8万元

3月21日，上海通用汽车正式公布了三款别克荣御行政级高档房车的市场售价：3．6L豪华运动版49．8万元，3．6L豪华版46．8万元，2．8L豪华版41．8万元。其中3．6L豪华运动版在四月份上海国际车展期间亮相，而3．6L豪华版和2．8L豪华版于即日起先行在北京、上海、广州、成都等全国20多个重要市场开始销售。     

韩式牛仔 全面测试2.0升四驱动途胜

途胜的英文名字——TUCSON。其英文含义为“黑山脚下的清泉”，原为美国亚利桑那州沙漠中一个圣地城市的名字，TUCSON城四季温暖，一年的晴天超过300天，有着美国西部独特的美丽风景和悠闲生活，处处透露出大自然野性，本真和舒适的一面。     

梯级消费、梯级开发与互动发展——中国农村汽车市场初探

在中国新农村建设中，传统的农村运输工具正在逐步被现代技术制造的四轮汽车所替代，农村汽车市场成为中国汽车市场中最具有潜力的市场。农村经济的发展和相关因素的变化，将会加快农村汽车市场的发展。     

宁波四维尔汽车装饰件有限公司

四维尔公司创立于1984年，总部位于人杰地灵、美丽富绕的杭州湾跨海大桥南滨-慈溪市匡堰经济开发区，交通便利，区位优势显著。为确保向客户提供最优质的产品和卓越的服务，公司已经在上海和广州地区建有工厂。