基于图象集合运算的矿图扫描图象二值化方法

在分析了多种类型的图象二值化方法在矿图扫描图象分割中存在的问题后，依据图象的集合运算原理，提出了一种兼顾图象整体灰度水平及象元邻域特征的二值化方法——多阈值动态自适应二值化方法。该方法可克服矿图扫描图象二值化过程中出现的线划粘连或断线现象，且方法简单、容易实现。     

Z规格说明中的定理证明方法

形式规格说明使用数学的表示,以一种精确的方法描述了系统要做什么,而不考虑它是如何做的。规格说明本身提供了一个无歧义的、能与用户和同事一起讨论的书面文件,又可作为已完成程序的文档,帮助人们将来进行程序的维护和修改。对形式规     

基于集合论的电网信息物理系统模型构建方法

在分析电网信息物理系统(GCPS)逻辑结构的基础上,提出一种基于集合论的GCPS交互建模方法。通过剖析电力能量流与信息流的耦合方式,将GCPS定义为物理对象集合与信息对象集合之间的关系。分解GCPS为电源子系统和负荷子系统,从输入、输出和状态三方面描述其行为水平与状态结构水平,并建立子系统的网络结构图。在当前电网拓扑结构的约束下,采用"纵向金字塔汇集、横向逻辑互联"的组网规则,实现GCPS子系统的逐级耦合与互联,构建完整的GCPS架构。对典型测试系统的案例分析说明了GCPS模型的有效性和应用价值。     

金川矿井风网特征图的研究

采用矿井通风网络理论、集合论、图论等方法，结合金川矿井的通风实际，对金川矿井风网特征图的基本特性和如何构建风网特征图模块进行了探讨、研究。首先对矿井风网特征目的基本内涵进行了阐述，从十个方面重点论述了矿井风网特征图的功能，为矿井通风管理提供了科学手段。     

使用控制授权模型的逻辑定义研究

通过引入授权和可变属性,使用控制授权模型具有了新的特性.针对这种新特性,以集合论为主要工具,对使用控制(UCON)模型结构进行了简单的介绍,并给出了逻辑模型定义;重点对使用控制授权模型进行了系统的逻辑分析,对该模型的八种不同结构分别做出了逻辑定义,并列举了相应的实例.     

模糊集合论在湿度传感器互换性 分析中的应用

本文针对湿度传感器生产中对湿敏元件互换性的要求,利用模糊集合论中的模糊聚类方法,提出了一种将传感器根据灵敏度特性曲线进行分档归类,以寻求在各档次内局部互换性的设想,并在此基础上形成了一套完整的算法.该算法具有概念清晰、计算简单、实用性强的特点,对于各种传感器中试阶段的数据分析处理,均有一定的实用意义.     

指挥与控制系统复杂网络形式化建模与分析

根据信息化条件下指挥与控制系统(以下简称C2系统)的复杂性特征以及网络化趋势,以复杂网络的研究思路,基于图论和集合论,对C2系统中的实体以及其逻辑关系进行了形式化抽象和描述;建立了C2系统的复杂网络模型,并辅以实例对C2系统结构的复杂网络统计特征进行了简要分析。在一定程度上解决了目前在以复杂网络理论研究C2系统结构过程中的定量描述问题,为以后的研究提供了一定的理论启示和参考价值。     

产品设计的顾客满意度测评模糊技术

简要介绍了顾客满意度测评的模糊集合论模型，探讨产品设计的顾客满意度评价因素，提出了产品设计的顾客满意度测评模糊技术并开展实证研究。     

基于模糊综合评判的工程评标方法

从分析我国现行的各种评标方法入手，指出了由于评标过程中存在大量的定性和模糊因素，评标专家很难在比较短的时间里作出比较准确的评判，以致我国现行的评标方法不能准确的选定中标人，为此将模糊集合论的思想和方法引入评标过程，建立投标企业模糊评价模型，将那些定性的和模糊的因素进行量化，这样能够快速有效的、比较准确的选定中标人；最后给出具体实例予以检证。