排序方式: 共有24条查询结果,搜索用时 15 毫秒
1.
多值逻辑系统W_n中α-三I问题的形式解 总被引:1,自引:0,他引:1
在多值逻辑系统Wn中提出了琢-三I问题。通过在F(S)中引入一个偏序,讨论了琢-GMP和多重琢-GMP问题的形式化推理问题,得到了琢-FMP问题的形式化三I解,从而在多值逻辑系统Wn中建立了琢-三I问题的形式化推理机制。 相似文献
2.
刘东利 《电子制作.电脑维护与应用》2014,(16)
本文结合机械专业的特点,以“大机械”理念作为实践教学的理论基础,提出构建该实践教学平台的具体内容成,同时对如何保障其实施提出自己的几点建议,以此为应用型人才的培养提供借鉴。 相似文献
3.
刘东利 《电子制作.电脑维护与应用》2014,(18)
本文通过对产学研一体化的概念进行深入的阐述和分析,从而挖掘产学研一体化中其存在的逻辑关系。同时结合自身的教学经验,对产学研一体化在机械教学当中的应用意义和注意事项进行总结,从而为今后的机械专业产学研改革提供参考。 相似文献
4.
坦克自动装弹机故障检测系统的设计与实现 总被引:1,自引:1,他引:0
介绍了坦克自动装弹机故障检测仪的设计及其工作原理,重点介绍了系统的硬件组成和软件设计. 相似文献
5.
6.
7.
装甲兵工程学院地处北京,是重点理工科军事院校,担负着为我军装甲机械化部队、研究所、军工企业培养掌握现代武器装备设计、制造、维修和管理技术的军事工程人才的重任。随着计算机科学技术的迅猛发展,世界制造业已经进入数字化设计、分析与制造的时代,先进的三维设计、制造方式正在迅速、全面地取代传统的二维设计、制造方式。为适应当今制造技术的飞速发展,满足我军武器装备现代化建设的需要,装甲兵工程学院以CAD工程中心为支撑,以先进的三维设计软件系统SolidWorks为手段,以设计为中心,以培养学生的现代化工程素质… 相似文献
8.
9.
从生产节奏、运行的技术经济指标、结构、操作工艺性、整体工艺布局及投资等诸多方面,对比分析了电极旋转式双工位精炼炉和单工位精炼炉的特点和优缺点,为钢铁企业设备选型提供了参考。 相似文献
10.
随着当前我国经济的快速发展,以及人工智能化的发展与创新,有关机械设备故障的智能诊断技术也已经有了许多新的发展机会。本文主要论述的是,当前我国设备故障相关诊断技术的发展现状,对这种现状出现的原因进行了适当的分析与研究,并且提出了与之相适应的解决措施与发展方法,还对我国智能诊断的未来发展方向与趋势提出了预测性的分析,以期为能我国日后在相关事业的发展与进步做出一定的具有积极意义的措施。 相似文献