模块化设计在车桥制造业中的应用

作为整车的一个关键零部件,车桥在整车的使用过程中起着承载、传动、制动的重要作用。随着整车技术的不断发展,车桥行业的竞争也日益激烈。模块化设计可以提高设计效率,加快产品的开发周期,因此在车桥制造业中的应用也日趋频繁。如何使模块化设计在车桥行业中发挥更大的作用,成为车桥行业发展壮大的重要因素。     

既有铁路富水隧道底板掏空病害整治技术

以猫头岭隧道底板掏空病害的二次整治措施为例,针对第一次整治后病害仍存在的原因进行了分析,通过两次整治措施的对比,论述了有效进行既有线富水隧道掏空病害整治的技术措施,并对施工过程中相关注意事项进行了说明。对于类似隧道病害的处理具有一定的指导借鉴意义。     

关于用稀土改型的沸石除水中氟的研究

研究了用稀土改型的沸石在水中的除氟性能，对使用条件及除氟机理进行了研究。此种除氟剂制作工艺较简便，成本低而除氟效率高。     

计算氧化还原滴定反应■_(eq)的公式

本文通过理论推导,得到了计算氧化还原滴定反应电位的公式。此公式可迅速准确地计算各种体系氧化还原滴定反应的等当点电位。     

在span20存在下孔雀石绿与金的显色反应研究

研究了在ｓｐａｎ２０存在下孔雀石绿－金的显色反应。结果表明，金－孔雀石绿－ｓｐａｎ２０的三元络合物的表观摩尔吸光系数比孔雀石绿－金的大７～８倍，可达５．０×１０５Ｌ·ｍｏｌ－１·ｃｍ－１。金含量在（０～１２）μｇ／１０ｍｌ范围内符合比尔定律。     

化学法测定锂离子电池正极材料中的镍

采用化学分析方法,对锂离子电池正极材料中的高含量成分镍进行了测定,探讨了在大量干扰元素锰、钴存在下的测定条件.研究结果表明,该方法标准偏差小于0.054,变异系数小于0.20%,回收率在99.63%~100.5%之间.     

基于MSP430的超声波液位监控仪器的设计与实现

设计了基于MSP430单片机的超声波液位监控系统,并介绍了系统的软硬件构成.系统采用MSP430单片机控制超声波的发射与接收,并利用超声波脉冲回波方法对液罐内液位进行了测试.测试结果表明,该系统的测量精度为±1cm(在25℃左右).     

广西石山地区生态农业现状及评价

广西石山地区位于桂西北和桂西南,自然条件较恶劣,农业生产较落后,经济发展缓慢,部分村屯处于封闭式半自给的小农经济,部分群众的温饱亟待解决。我们拟从资源利用现状,农、林、牧、副、渔各业发展的状况以及农田生态系统的功能,立体农业的模式等方面,应用生态学和生态经济学的观点予以分析和评价。     

基于PVS的UML类图和序列图的一致性检验

针对UML类图和序列图的一致性问题,在充分考虑了类继承关系、关联关系、类方法的可见性以及类方法的前、后置条件等因素对一致性影响的基础上,给出了判定类图和序列图一致性的必要条件和PVS元理论,提出了一种基于定理证明器PVS的一致性检验方法.在检验UML模型一致性时,把一致性检验问题转化为逻辑定理证明问题.实践表明,该方法对于提高UML模型的可信度,减少系统实现阶段的错误起到了一定作用.     

基于事件序的UML序列图语义规范

UML缺乏准确的语义,难以支持对复杂系统的模型进行严格的语义分析和正确性验证。针对UML序列图,给出了形式定义、基于事件序的语义规范及其消息间关系;并定义了基本序列图,证明其具有全序的消息关系的性质,为序列图的语义分析与验证提供了基础。