摘要：传统的矿产资源管理手段落后,已无法满足国土信息化的要求,针对矿政部门的工作特点,提出了基于GIS技术的矿产规划管理信息系统。详细介绍了系统功能,从总体设计、数据库建设、所采取的技术路线等方面进行了描述。该系统的建成,将极大提高矿产管理水平,并为制定矿产规划决策提供支持。

摘要：传统的矿产资源管理手段落后,已无法满足国土信息化的要求,针对矿政部门的工作特点,提出了基于GIS技术的矿产规划管理信息系统。详细介绍了系统功能,从总体设计、数据库建设、所采取的技术路线等方面进行了描述。该系统的建成,将极大提高矿产管理水平,并为制定矿产规划决策提供支持。

摘要：为了解决与或非功能树求解中经常出现的方案数量巨大的问题,提出一种基于四值矩阵(FVM)的功能树求解算法.从与或非功能树的特点出发构造了四值矩阵、扩展四值矩阵(EFVM)和FVM系统;分析了FVM系统与经典命题逻辑中范式系统的同构关系及FVM的扩展与展开,给出EFVM直接求解算法;在考虑约简的基础上,提出EFVM约简求解算法.实例结果说明:EFVM约简求解算法在冗余较多的情况下可有效降低解的规模,有力地推动了产品概念设计.

摘要：提出了功能矩阵的概念,在证明功能矩阵的代数系统与布尔代数析取合取代数系统同构的基础上,对功能矩阵进行扩展,并证明了扩展功能矩阵的展开定理;利用扩展功能矩阵逐步展开与约简,实现了功能的求解算法.最后通过实例证明:该方法有效地缩减了解空间,提高了效率,同时对于概念设计中创新冲突的检测与定位起到了积极的推动作用.

摘要：针对协同问题求解、协同设计等诸多领域中存在逻辑冲突的共性问题,从二值命题逻辑理论出发,研究面向冲突的无损求解(即初始解空间获取)问题.首先,提出简单合取式的扩充和Wh-析取范式等概念,在此基础上定义初始解空间,并通过提出的有效扩充概念得到初始解空间的简化表示——最简解空间,探讨了两类解空间的关系及各自的计算方法.其次,构造生成序列来辅助公式的析取化,从泛代数的角度定义了Wh-代数;提出了指数矩阵,并籍此给出了Wh-代数的等价表现形式,通过引入扩展指数矩阵构造出扩展Wh-代数.最后证明了扩展Wh-代数中的展开定理和逻辑简化定理,给出基于有效扩充的直接无损求解算法,并与提出的其他相关算法进行了对比,结果表明该算法较为理想.该研究对于协同问题求解等领域有着重要的推动作用.

摘要：当前概念设计中较大规模功能树存在解空间庞大、冲突定位困难的问题,对此提出基于与或功能树的无损简化方法。证明了无损收缩简化、无损删除简化、无损提取简化的相关定理,并籍此给出与或功能树的无损简化算法。最后通过实例,证明该算法可在保持逻辑等价和创新能力不损失的前提下有效降低问题的复杂度,从而提高了概念设计的效率。

摘要：传统产品概念设计的功能树中功能节点取值非0即1,且不同方案完成相同功能时无法自动判优,针对这些问题提出了新的功能求解思路。首先,引入模糊表示理论,定量地刻画出功能节点模糊值,构造了模糊功能树。其次,提出了模糊功能矩阵,构建了展开定理和优选定理,通过交替展开与优选,建立了FFM功能求解算法。最后,将该算法应用于传感器概念设计中,通过与组合求解算法、扩展功能矩阵的约简算法进行对比,验证了所提算法的有效性和优越性。通过研究发现:所提算法能够更加细致地刻画功能的粒度,可以对实现相同功能的类似方案进行自动判优,在保证了创新能力不损失的前提下,提高了功能求解的效率和质量,从而推动了概念设计领域的发展。

摘要：当前概念设计中与或非功能树的组合求解方法存在解空间庞大、冲突定位困难的问题,对此提出一种功能集族求解方法。定义了功能集族和广义与或树,基于经典命题逻辑理论将与或非功能树转化为等价的广义与或树,并通过求解功能集族实现了与或非功能树的功能求解算法。通过实例证明:该方法可有效地提高设计者的设计效率。

摘要：如何进行恰当地功能表示与创新推理是当前概念设计中的关键问题。融合语义网络法与物元表示法,提出物元网络的概念,在此基础上给出了物元网络表示法及其创新推理机制。通过与物元表示法、语义网络法的实验对比表明:物元网络法能更有效地进行功能表示、扩充与联想,从而更加有利于创新推理的开展。

摘要：相似推理能够丰富功能树包含的设计信息,提高获得创新性设计解的可能性。该文对可视化技术如何更好地辅助相似推理展开了研究。首先,确定了功能树与可视化模型之间的映射规则;其次,针对相似推理不同阶段提供了相应的可视化人机交互手段,以实时跟踪相似推理过程;最后,通过系统实例进一步验证了相似推理的有效性以及可视化辅助下相似推理效果的提高。