吴文俊与数学机械化

机器证明的思想可以回溯到17世纪的Descartes与Leibnize,20世纪初Hilbert更明确地提出了公理系统的机械化判定问题,但是,随后的种种努力都未能使机器证明取得本质的进展。近20年来,吴俊继承并发展了中国古代的数学思想,在定理机器证明上开创了以多项式组零点集为基本点的消元方法;吴俊的数学机械化方法已在物理规律的发现,机器人学,计算机视觉以及促进现代数学研究等重大高科技的前沿领域实现了成功的应用。数学机械化研究的兴趣,是中国当代数学发展中一个引人瞩目的具有中国传统特色的新里程碑。     

RAP分级对热再生沥青混合料路用性能变异性的影响

针对回收沥青路面材料(RAP)存在较大变异性而影响热再生沥青混合料路用性能的问题,运用变异系数CV定量分析了RAP的变异性,采用控制关键筛孔的方法确定了RAP的分级标准,并研究了RAP分级对热再生沥青混合料路用性能变异性的影响.研究结果表明,RAP细料的油石比和集料级配均具有较大的变异性,结合NCHRP报告和RAP筛分...     

国际货运代理业务中的若干风险及防范对策

近年来,国际货运代理市场的竞争日趋激烈。为了竞争的需要,国际货运代理在提供传统的货运代理业务的同时,纷纷以无船承运人身份提供包括内陆集疏运服务在内的全方位服务。同时,为了争取客户,很多国际货运代理不惜违规操作,轻易接受货方提出的不合理要求,如随便接受货主的委托、垫付运杂费、出借空白提单等。所有这些都使国际货运代理的风险大大增加。国际货运代理面临的风险很多,除了因政治、经济、法律、市场等因素以及因投资失误等产生的各种风险外,还有经营过程中的各种商业风险。面对如此大的商业风险,国际货运代理应该在对其…     

船舶在波浪中的横摇运动及其稳性

本文在静水稳性概念基础上,根据船舶在波浪中的运动和横摇运动方程的分析,用多尺度法求解横摇运动响应,确定横摇响应的稳定性条件,探讨了规则波对 GZ 曲线、初稳性和最大横摇角等稳性要素的影响,并提出了衡量船舶在波浪中稳性的几点建议,最后给出一个实船算例。     

丰田混合动力汽车动力研究

对丰田最新推出的混合动力(RPIUS)汽车动力部分进行研究,分析其驱动装置的结构和工作特点,研究各工况发动机与电动机的工作状态和交换方式,进行丰田混合动力汽车的节能、环保等实用性的仿真,为混合动力汽车的进一步开发提供必要的技术支持。     

基于CAXA的潜油电泵井下系统三维仿真动画的开发与应用

为了满足潜油电泵产品设计、宣传、培训、工程方案投标等的需要,运用CAXA实体设计软件制做了一套潜油电泵虚拟装配、动态模拟仿真、零部件结构展示动画,介绍了该套三维仿真动画制作的过程和方法.该套仿真动画全面演示了潜油电泵零部件结构特征、模拟了虚拟装配及运动过程,在潜油电泵产品的设计及宣传培训中得到了应用,取得了良好的效果.     

城市轨道交通列车网络安全研究

随着我国城市轨道交通的飞速发展以及网络化与信息化技术的不断应用,网络安全已经成为列车网络面临的考验。文章结合列车网络的组成、功能及接口,根据网络安全的相关标准对城市轨道交通列车网络面临的主要风险进行分析,并针对网络安全风险提出防护措施。     

公路隧道二次衬砌顶部脱空的分析及处理

对公路隧道二次衬砌顶部脱空产生的主要原因，用结构力学方法分析了它的受力和位移，并提出处理措施。     

汽车服务业包括哪些

汽车业的百年辉煌创造了巨大的商机和财富。在德国，每年个工作岗位中就有一个与汽车的生产、销售或养护有关。现化汽车产品主要获利方式。并不完全来自整车销售，而是来自于售后服务．两者相比大约是三七开。