组合判定相关论文
立体视觉匹配技术具有区域匹配、特征匹配和相位匹配三种匹配方式,可以有效帮助机器人在实际环境中对物体进行识别。本文将通过组合......
中医学以其几千年的深厚积累,在疾病的预防、诊断及治疗上具备了完善的理论体系和丰富的实践经验。中医的望诊能够最直接的了解疾病......
层次化特征是仿真可组合问题的本质特征之一,首先介绍了仿真可组合问题的基本概念,提出多层次的组合参考模型,以此引出语法层次的可组......
如何判定仿真组件之间是否可组合是组合仿真中的关键问题之一。建立了组合判定问题的参考模型,基于Hoare逻辑给出仿真模型语义的描......