约束满足技术及其在维修性冲突检测中的应用

来源 :兵工自动化 | 被引量 : 0次 | 上传用户:wuxinghui_1975
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
基于不满足约束的维修性冲突检测技术,从约束满足的角度,结合并行设计和协同设计进行。其维修性约束网络的一致性检测,通过选择区间传播算法与回溯搜索算法相结合的方式处理。其算法选取包括算法的是否可解、求解效率及其简易性等。求解问题含求解规模、是否要求最优解和精确解,及问题所构造的约束网络类型等。以某装备密封口盖的设计为例,其具体检测步骤包括:初始化解函数集合、初始化变量区间集合及传播运算。
其他文献
在美国国家科学基金会的资助下,美国明尼苏达大学化学工程与材料科学系Paul Dauenhauer博士为首席研究员的专题研究团队开发出一种由树木、杂草和玉米等农作物生产异戊二烯的
期刊
信息化时代到来的同时,“微课”等新型的教学模式也逐渐走进了高校师生的视线中。同时越来越国际化的人才市场对高校提高学生英语知识实际应用的要求也越来越高。文章通过对
注重小学生的个性化发展,突出以生为本的教育主旨是小学音乐教育的关键原则之一。教师应该在把握小学生需求、特点、学情的基础上,结合具体的音乐教学目标,实现学生在音乐知
基于MPEG4的多媒体传输与调度系统采用视频会议体系,通过电子白板、数据共享、文件和视/音频传输、会议管理技术实现.其数据库服务器提供运行数据并存储用户信息,会议管理服
本文以山东省部分高校职称评定中的调查问卷为出发点,阐述了事业单位在进行绩效评价时应从组织使命着手,运用战略定位系统确定组织定位;然后在此基础之上运用战略地图和平衡计分
移动计算指网络中在一个节点开始的计算可移动到其他节点继续执行的技术,方法主要是基于代码移动计算技术.其关键技术包括语义模型定义,以及支持代码移动语言的移动性、安全
旋转锉属复杂回转面刀具,需6坐标刃磨机加工,若增加调节参数代替联动坐标轴,仅砂轮x、y、z移动和工件转动4坐标联动则可完成.其成形原理是将工件母线呈水平,工件轴线翘起.过
采用金属磁记忆的应力测试,以PC104为测试仪处理核心,利用开发出的金属磁记忆检测仪对拉伸钢棒进行测量,对所得数据采用一维小波降噪处理,以确定其应力集中区。其软件系统由信号采集、人机接口、数据管理、信号处理、专家系统、显示打印等组成。通过步进电机控制磁敏传感器的行进距离,可实现定时定步长测量。
基于TCP/IP的多媒体技术支持系统硬件采用通用服务器和客户机,软件通过Socket将各图像、声音及数据媒介信息集成实现实时多媒体传输.并以实时流协议、流媒体组播、视频压缩Mp