论文部分内容阅读
当前概念设计中与或非功能树的组合求解方法存在解空间庞大、冲突定位困难的问题,对此提出一种功能集族求解方法。定义了功能集族和广义与或树,基于经典命题逻辑理论将与或非功能树转化为等价的广义与或树,并通过求解功能集族实现了与或非功能树的功能求解算法。通过实例证明：该方法可有效地提高设计者的设计效率。
与或非功能树的功能集族求解方法
【摘 要】
：
当前概念设计中与或非功能树的组合求解方法存在解空间庞大、冲突定位困难的问题,对此提出一种功能集族求解方法。定义了功能集族和广义与或树,基于经典命题逻辑理论将与或非
【机 构】
：
合肥工业大学计算机与信息学院可视化与协同计算（VCC）研究室
【出 处】
：
工程图学学报
【发表日期】
：
2011年1期
【基金项目】
：
国家自然科学基金资助项目（60673028）
其他文献
网络虚拟模型库在工程制图教学中有着广泛的应用前景。相对于VRML,X3D作为新一代虚拟现实网络程序语言具有更成熟的标准。论文重点介绍基于X3D开发网络虚拟模型库的过程及关键技术,并通过实例说明建立三维模型与实现过程虚拟的方法。网络虚拟模型库可弥补课堂教与学的不足,也可作为远程教育的教学工具。
依据画出隐藏线的三面顶点平面立体的完整线图中棱线与节点的关系,判断不完整线图是否丢失了节点。基于画出隐藏线的完整线图标记理论和方法,建立不完整线图中丢失节点的补画算法,结合算例详细论述不完整线图的补全遗漏节点的方法过程,从不完整线图获得了合理的完整线图。
模块划分是复杂产品模块化设计的基础,划分的优劣直接关系到客户定制产品设计、制造和装配的效率。针对现有的研究在模块划分方案形成以后缺乏对模块优劣的合理评价,该文通过
灰度图像的彩色化是图像处理研究领域中富有挑战性的研究课题,且具有十分广阔的应用前景。在分析现有图像彩色化方法的基础上,提出了一种基于p-Laplace方程的图像彩色化新方法。新方法首先由用户在灰度图像上给定少量的颜色条带;然后通过求解p-Laplace方程实现颜色扩散的彩色化。由于p-Laplace算子是一个各向异性扩散的非线性算子,所以与采用偏微分方程方法的泊松方法和拉普拉斯方法相比,图像彩色化
用复数矢量法建立了平面连杆机构的运动学数学模型，实现了连杆机构的运动轨迹、位移、速度和加速度分析。采用VB语言开发了一个人机界面良好，操作方便的平面连杆机构辅助设计和
以风险管理理论为基础,探讨中考体育测试风险管理的概念、影响因素及其应对措施等问题。首先,界定了中考体育测试风险管理的概念;其次,归纳总结出9个影响中考体育测试风险管
故障模式、机理及影响分析（FMMEA）是一种新的可靠性分析方法,有助于寻找潜在故障的原因,从根本上可控制产品的故障风险。介绍了FMMEA的主题和技术要点,提出一套可行的系统工程
如何恢复由于ＷＰＳ死机丢失的文件山东经济学院曹庆华ＷＰＳ是很受用户欢迎的汉字排版系统，但由于某种原因，在ＷＰＳ调入已编的文件时，有时会发生死机现象，无论按什么键计算机都无反应，关机后重新启
以GIS为基础平台,VB为开发工具,采用组件开发模式,结合虚拟现实构造语言VRML,实现了地下管网的三维可视化与管理。介绍了管理系统的总体结构及其主要功能,详述了基于Web的地下管网三维虚拟显示的实现方法,为地下管线的三维数字化、网络化管理提供了一个实例。
运用文献资料、数理统计、归纳等方法，对我国近三届全运会各省市获取金牌项目的数量以及竞争格局进行了研究分析。结果表明：我国全运会竞争格局阶段性变化的规律呈现出马太效应