排序方式: 共有11条查询结果,搜索用时 15 毫秒
1.
2.
3.
UML是一种可视化的图形语言,已成为面向对象方法中事实上的工业标准,得到了广泛应用.但是UML缺乏精确的语义描述,不便于使用工具对其进行分析和验证.形式化B方法基于严格的数学理论,按照抽象机的方式理解系统.为了使UML表达的语义更加明确,同时发挥形式化方法的优势,采用B方法对UML中的顺序图进行描述. 相似文献
4.
金属零件和模具的快速制造技术发展动向 总被引:14,自引:4,他引:14
快速成形技术已成功地实现了快速原型制造 ,目前正向快速制造模具尤其是金属模具的方向迅速发展。本文概述了快速成形及制模技术 ,介绍了快速制造金属零件和模具尤其是金属硬模技术的现状和发展动向 ,探讨了该技术发展面临的关键问题及其应用前景。 相似文献
5.
6.
7.
8.
基于本体的信息检索模型研究 总被引:1,自引:0,他引:1
将本体引入到信息检索领域突破了传统的基于关键字查询的局限性,为提高信息的查准率和查全率提供了契机。提出了一种基于本体的信息检索模型,模型中融入了知识库和经典的向量空间算法,在信息检索部分含有对关键字的处理,并对知识库中不舍有输入条件的情况作出了处理,即语义扩展。模型使得信息检索结构更加合理,提高了查询的效果。 相似文献
9.
10.