排序方式: 共有16条查询结果,搜索用时 0 毫秒
1.
提出了一种提取UML模型信息的方法.UML是一种优秀的建模语言,使用UML可以为软件模型的建立带来很多方便.同时,为了验证模型的一致性,有必要将模型信息提取出来,通过一些成熟的算法进行测试.因此,研究如何从UML图中提取相应的模型信息有其现实意义.利用Rose提供的基于COM技术的REI,实现了从UML文档中自动提取用于软件测试的模型信息. 相似文献
2.
CTX5N铲运机是法国E·M公司推出的第三代最新产品。本文介绍了该型铲运机的工作机构、制动系统、液压和电气仪表系统等与其它厂家铲运机不同的特点,以及该机在凡口矿的使用情况。 相似文献
3.
4 液压系统用油液压技术在矿山设备上的应用越来越广泛,现代化的井下自行设备(各种铲运机、凿岩台车和辅助车辆等)、地面的多绳摩擦提升机、选矿厂的圆锥破碎机和露天矿的牙轮钻机、运矿卡车等均离不开液压系统。而 相似文献
4.
70年代以来,“高技术”与“高技术工业”在工业发达国家成为时髦的名词。因为它是关系到一个国家经济兴衰和国家安全的重要部门,国际竞争已经并将更加集中在高技术领域。但是它的含义和范围,至今尚不甚明确,因而造成不少统计结果的模糊。在我国对机械工业与高技术工业的认识也甚模糊。 相似文献
5.
6 制动系统用油井下自行设备的全封闭多盘湿式制动系统和地面多绳摩擦提升机等制动系统,其用油与液压系统用油相同;对井下或地面自行设备的气顶油(气一液)式制动系统,其用油采用“汽车制动液”。汽车制动液应满足车辆在不同气候条件下操作的要求,以确保制动可靠和人机安全。 相似文献
6.
2 液力传动用油井下铲运机等自行设备,地面的工程机械和矿用大吨位卡车等,其传动常采用液力变矩器和动力换档变速箱(器)组成的液力循环系统。液力传动油既做为液力变矩器能量传递的工作介质,也做为变速箱的齿轮和 相似文献
7.
日本在50年代中期至70年代经济高速增长时期,机械工业无论在出口、吸收劳动力,还是在使产业结构现代化方面,都处于十分重要的战略地位,设备投资和发展速度在工业各部门中均是最高的。例如在1961~1970年“国民收入倍增计划”中,预定工矿业生产增长3.3倍,而机械工业增长4.5倍。工业设备总投资16兆日元,其中机械工业为5.5兆日元,约占三分之一。70年代石油危机后, 相似文献
8.
CTX6N铲运机是法国E.M公司推出的第三代最新产品。本文介绍了该型铲运机的工作机构,制动系统,液压和电气仪表系统等与其它厂家铲运机不同的特点,以及该机在凡口矿的使用情况。 相似文献
9.
EFSM可执行状态验证序列的生成 总被引:4,自引:0,他引:4
在以扩展有限状态机(EFSM)为模型描述的协议一致性测试系统中,为了解决状态验证序列的可执行性问题,提出了一种新的可执行状态验证序列(ESIS)生成算法。新算法基于宽度优先搜索可执行分析树(EAT)的思想,从状态验证需求的角度,在EFSM的状态格局投影子空间中,采用分步计算的方式生成具体验证场景下的最短可执行状态验证序列,从而减少了在完全状态格局空间中单步计算所有状态验证序列的复杂性。实验结果表明了新算法对生成EFSM可执行状态验证序列是有效的。 相似文献
10.
<正> 凡口铅锌矿主要使用西德进口LF-4.1型铲运机出矿,这种机器原配用法国米歇林(Michelin)公司12.00-24钢丝子午线耐切割型矿用工程轮胎,在凡口矿井下使用寿命为200小时以上。配用国产12.00-24普通汽车轮胎后,使用寿命只有20~49小时,致使轮胎消耗费用高达1.5(元/吨)(出矿)。 相似文献