单折线体外索对简支钢梁自振频率的影响

结构的自振特性关系到结构的健康安全,预应力系统作用到结构上会影响结构的自振频率.为考察体外预应力索系统对简支钢梁自振频率的影响,基于预应力系统作用机理并采用能量法建立了单折线布索型预应力钢梁的动力方程,求解此方程得到自振频率的计算公式,用此公式对一典型单折线索钢梁的一阶频率进行了计算,并与有限元模拟结果进行对比.结果表明:公式计算结果与有限元模拟结果基本一致,可用于工程设计.在此基础上,还得到了索预拉力、偏心距和截面积对梁自振频率的影响规律,为调节单折线布索型预应力钢梁的自振频率提供了理论依据.     

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

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

HX_D1G型机车运行中应急故障的处理

在机车运行中发生故障时,应避免长时间停车堵塞区间,为了能更快完成机车运行中故障的处理,文章特从机车应急故障处理注意事项、应急故障处理方法和应急故障处理基本流程等方面进行详细说明。     

HXD1型机车零距离无线重联技术应用

文章介绍了一种基于WiFi通信的零距离无线重联系统,并对系统的组成、无线组网实现原理、编组握手流程、解编流程等做了详细分析。同时从HX_D1型机车运行安全的角度对无线传输的数据加密方式、实时监视无线运行状态的手段、安全解除编组的流程进行了研究。此系统已通过现场验证,实际应用效果可以达到现场运行要求。     

扁平率的含义

您们好!本人从小酷爱汽车，并且立志要成为汽车行业中的一员。在这里我要衷心地感谢“汽车杂志》，它不仅使我的汽车知识与日俱增，更为我的汽车梦想的实现奠定了坚实的基础。 下面想请教老编们几个问题： 1．F1赛车的换挡都是通过按键的方式在方向盘上完成的，是这样吗？其工作原理又是什么？     

IFJ-1型夜间安全辅助驾驶仪

北京艾方科技有限公司为中国电子科技集团公司第十一研究所控股公司，是专业从事红外热成像、安防监控等系统集成的科研、生产与销售的综合性高新技术企业。     

盐湖床冲动：Honda车队速度挑战全纪实

2006年7月17至22日，由Honda F1车队部分成员组成的特别团队前往美国犹他州Bonneville盐湖床，目标就是打破“F1赛车最高速度纪录”的时速400公里的关卡。这空间是怎样一辆令人冲动的战车呢？[编者按]     

F1车队的秘密账簿

4000万美元和3亿美元，这两个数字代表了F1车队年度预算的两个端点。但即使是Ferrari．这些钱也只够维生。F1车队竭尽所能地找到更多的赞助金，然后全部都丢进这个无底洞。让我们来揭开笼置在近20亿美元赞助市场上的神秘面纱，并了解这些巨额资金的流向。