企业需求模型的形式化验证

企业信息化建设和改造中对建立全面、正确、一致的企业模型存在巨大需求.在企业信息系统开发的生命周期中,系统分析阶段内需求的正确获取与表达是保证软件质量、降低软件开发成本和风险的关键.文中提出对需求建模时引入本体方法进行形式化描述,进而设计模型能力问题验证,发现需求和设计的缺陷,确保软件需求的正确、有效和完备.基于此选择企业经营销售管理领域,并采用逻辑程序设计语言Visual Prolog给出了针对需求模型进行验证的应用实例.     

有机降粘剂掺量对橡胶沥青混合料性能影响研究

为了降低橡胶沥青混合料过高的成型压实温度,同时使其具备良好的路用性能,提出了掺入Sasobit 有机温拌剂降低其压实温度的方法,研究了不同温拌剂掺量下的橡胶沥青混合料路用性能.该方法在拌和温度150℃、压实温度140℃下分别进行了1％、3％和5％这3个温拌剂掺量下的浸水马歇尔试验和冻融劈裂试验.与此同时,对3％温拌剂掺量分别进行了140℃、150℃和160℃这3个压实温度下的车辙试验.试验结果显示,掺入Sasobit温拌剂后的橡胶沥青混合料可降低压实成型温度20～30℃,且各种试验条件下的马歇尔体积参数及其路用性能评价指标均满足密级配沥青混合料技术要求,压实温度140℃、3％温拌剂掺量下的综合路用性能最优.     

混合动力电动汽车动力总成换挡过程协调控制仿真

介绍了装有AMT的混合动力电动汽车(HEV)换挡过程协调控制逻辑。在Matlab/Simulink和Matlab/Stateflow平台上建立了动力总成模型,并对分离离合器和不分离离合器的两种不同换挡控制策略下的换挡过程协调控制进行了仿真计算。仿真结果表明,所建立的仿真模型能够对HEV的换挡过程协调控制进行模拟,所采用的协调控制逻辑能够使换挡顺利完成。     

增压直喷汽油机超级爆震发生机理以及爆震抑制的试验研究

开发高增压缸内直喷汽油机面临的最大挑战是其在低速大负荷工作时所遇到的低速提前点火以及由此引发的超级爆震.对某1.5 L高增压发动机低速提前点火的发生机理以及爆震强度的抑制方法进行了试验研究.试验结果证明,超级爆震强度受空燃比、冷却液的温度,以及燃油对曲轴箱机油的稀释等因素的影响.合理控制缸内混合气点火条件及燃烧的参数可...     

主流双电机混动变速箱技术方案分析

双电机混动变速箱已成为混合动力车型的主流系统构型,论文通过分析混动变速箱的分类,延伸出串并联和功率分流两种技术分支。通过对本田-I-MMD、上汽EDU、比亚迪DM-I、丰田THS等几款主流双电机混动系统作对比分析,阐述两种构型的模式原理及技术优劣势。文章重点分析不同厂家串并联构型双电机变速箱技术方案及发展趋势,得出双电机布置位置、内燃机/驱动电机两挡或多挡将成构型的布局点的结论,给有意向开发双电机混动产品的企业提供参考和建议。     

接新船的轮机管理工作

阐述接新船工作的重要性以及接船前试航时需要注意的问题,介绍交接船过程,并讨论接船后如何做好轮机基础管理工作和保修工作。     

单孔主动预燃室火焰射流机理研究

基于单孔主动预燃室,研究了火焰射流的形成机理。在圆形自由紊动射流理论的基础上,提出了单孔主动预燃室点火的火焰射流贯穿距随时间变化的经验公式。该经验公式可以通过射流锥角、预燃室喷口直径和射流在预燃室喷口处的初速度预测射流贯穿距。通过主动预燃室的定容燃烧弹试验和CONVERGE仿真验证,该经验公式所预测的射流贯穿距和反向求得的射流初速度与实测值吻合,最大相对误差分别为6.92%和5.82%。认为此公式能够正确预测单喷孔主动预燃室的射流贯穿距,对于优化预燃室结构以实现更高效地点火,继而提升内燃机的理论热效率具有参考意义。     

张坪隧道出口端古滑坡复活特性的分析与治理方案的优化选择

通过对张坪隧道出口端古滑坡体的勘察、滑坡形成原因和机理的分析、发展趋势的预测及治理方案的比选,论证了地质工作在公路选线中的重要性,对以后公路勘测工作具有借鉴意义。     

杭州庆春路人行天桥事故倒塌分析

杭州市庆春路秋涛路口人行天桥发生垮塌事故,研究表明,桥梁倒塌是由于超高车辆直接横向撞击天桥,造成天桥滑移坠落。通过对现场取证调查,获取现场倒塌视频后,逐帧分析,对每一帧的画面进行慢放解读,将倒塌过程进行归纳并分成了几个小阶段,并根据破坏过程对事故发生的原因进行初步推断,然后基于现场碰撞痕迹对事故进行倒塌还原分析,以此验证初步推断的准确性。两者对照后提出了事故的具体原因并对于此类事故提出了一些建议。     

基于PDA的舰艇生命力电子巡检系统设计

针对舰艇航行安全保障需求，综合运用个人数字助理（Personal Digital Assistant，PDA）设计舰艇生命力电子巡检系统，开展巡检系统总体设计、巡检数据信息采集设计、管理终端设计和巡检终端设计。该系统不仅可及时有效发现舰艇事故灾害隐患，而且可归纳舰艇事故灾害规律，为舰艇航行安全的精细化和信息化管理提供有力支撑。