摇摆斜盘式压缩机(下)

六、SD压缩机的产品规格(见下表) 七、变排量压缩机的开发 在定排量压缩机及采用热力膨胀阀的制冷系统中(简称为TXV系统),采用反馈作用控制膨胀阀的开度,以维持蒸发器出口过热度恒定,防止压缩机发生液击。当工况变化时,膨胀阀的开度周期性波动(振荡),使出风温度波动,加上用温控器控制离合器的吸合以防止蒸发器结霜,进一步造成空调工况的波动,并增加噪声,对汽车动力有冲击,影响车辆     

轮胎异常磨损的原因及预防措施

1轮胎异常磨损的类型 1.1单边磨损(即胎外侧偏磨) 多因轮胎规格尺寸不一、负荷不一或长期在拱形路面上使用,未能定期进行轮胎换位.     

认识摩托车用轮胎(1)

摩托车属于运动性部件,除去机械部分正常磨损外,摩托车轮胎的自然磨损和意外损伤是不可避免的。因使用环境各异及维护保养的程度不一,轮胎的实际使用寿命也不尽相同。令人忧虑的是.大多数摩托车用户只注重对车辆、发动机及电气等零部件的保养,而对轮胎却置之不理,给轮胎的异常磨     

基于Prover的联锁软件形式化验证过程研究

计算机联锁系统是铁路信号控制系统的核心设备,是有着苛刻安全要求的复杂控制系统。本文采用Prover形式化开发工具对联锁软件安全需求进行形式化验证。通过模型检验的形式化验证方法,遍历系统输入变量的所有状态空间.验证联锁特定应用满足系统安全需求,确保系统的安全性得以正确实现。在保证系统安全性的基础上,以全状态空间查找反例的检验方法进一步提升产品的质量。     

岸桥型号规格表示方法的标准化

1 岸桥型号规格表示方法现状 国家质量监督检验检疫总局2003年9月18日颁布的《起重机械型式试验规程（试行）》（以下简称《试验规程》）明确规定．起重机械的型式试验和制造许可证审证以产品型号规格为基本单位进行；并在颁布的各类起重机型式试验细则中将起重机械型号定义为主要结构形式、     

基于神经网络的复合避碰专家系统研究

此文在对神经网络避碰决策和专家系统避碰决策的优缺点进行分析、研究的基础上,基于神经网络规则抽取技术,提出了“基于神经网络的复合避碰专家系统”,将神经网络的自适应学习能力和避碰专家系统的解释说明能力集成在一个统一的体系结构中,不仅解决了避碰专家系统构建过程中的知识获取“瓶颈”问题,而且还解决了神经网络避碰决策过程的“黑箱”现象,提高了系统决策结果的可信度。     

基于模型检测的区块链智能合约公平性形式化验证

随着第二代区块链平台及应用的爆发式增长,作为部署在区块链上可执行代码的智能合约面临越来越多的安全性问题.但是目前针对智能合约安全性问题的研究大多集中在对安全漏洞的挖掘,很少关注智能合约本身公平性对安全性的影响,对此提出一种基于模型检测的智能合约公平性验证方法.采用该方法对Puzzle合约的公平性进行验证,找到了一个已知...     

使用元征X-431 PAD V进行保养周期归零——以2017款阿斯顿马丁车为例

实测车型2017款阿斯顿马丁车,发动机型号为AM29。功能描述当保养指示灯点亮时,说明车辆需要保养,在完成保养后,需要重置保养周期使保养指示灯熄灭。路径选择自动搜索扫描车辆信息-选择特殊功能T选择保养指示灯归零功能→按功能提示执行。操作说明(1)在元征X-431 PAD V汽车诊断设备上正确选择车型信息(图1)。     

形式化可测性约束在软件模型实现过程中的研究

在软件测试中,软件使用模型反映实际运行场景的能力是直接决定测试的成功与否的关键因素之一。一般可以通过对在需求分析阶段已生成的UML建模进行研究得到使用模型,但原始的UML模型,由于缺乏严格的定义及必要的约束,如果要生成高精度的软件模型,必须对其添加必要的形式化可测性约束。这正是文章研究的重点。