表面模型和操作算子技术是新一代产品几何技术规范（New-generation Geometrical Product Specification and verification，N-GPS）提出......

统一建模语言(Unified Modeling Language,UML)已经被面向对象建模领域公认为事实上的工业标准。使用UML描述的软件模型,表达简洁......

基于动态描述逻辑的主体模型和协作过程就是既考虑了智能主体的知识表示与推理问题,又紧密地结合主体的设计与编程问题,把表示与推......