可拓集合论在专家系统知识表示中的应用

引入了可拓集合论来优化专家系统的设计过程,阐述了可拓集合论应用于专家系统的可行性,在分析知识表示的集合与分类特征的基础上,探讨了可拓集合论在知识表示中的应用,结合人工智能技术的发展趋势,对专家系统在可拓学中的应用前景做出了展望.     

针对教学场景的ZFC集合论Coq形式化

离散数学是计算机类专业的基础课程之一,命题逻辑、一阶逻辑与公理集合论是其重要组成部分.教学实践表明,初学者准确理解语法、语义、推理系统等抽象概念是有一定难度的.近年来,已有一些学者开始在教学中引入交互式定理证明工具,以帮助学生构造形式化证明,更透彻地理解逻辑系统.然而,现有的定理证明器有较高上手门槛,直接使用会增加学生的学习负担.鉴于此,在Coq中开发了针对教学场景的ZFC公理集合论证明器.首先,形式化了一阶逻辑推理系统和ZFC公理集合论;之后,开发了数条自动化推理规则证明策略.学生可以在与教科书风格相同的简洁证明环境中使用自动化证明策略完成定理的形式化证明.该工具被用在了大一新生离散数学课程的教学中,没有定理证明经验的学生使用该工具可以快速完成数学归纳法和皮亚诺算术系统等定理的形式化证明,验证了该工具的实际效果.     

基于Rough sets和Fuzzy sets理论的约简算法

对决策表约简的一些rough sets和fuzzy sets相关概念进行了阐述。在应用Rough集对决策系统进行约简的基础上，结合模糊聚类分析方法，论述了这一可行的决策表约简算法。该算法以属性核与属性重要性的代数定义形式为基础，利用聚类分析的模糊处理方法，解决了约简过程。并给出了对一电器公司全国连锁销售数据约简处理结果，得出了能帮助不同级别决策者进行决策的辅助性的规则知识。     

定性比较分析(QCA)与新闻传播学研究

作为一种案例导向的研究方法,定性比较分析(QCA)于最近的二十多年中在社会科学研究领域得到普及和应用。本文对这一方法的研究逻辑、适用情境进行了介绍及分析,并就其在新闻传播研究中的应用前景予以展望,提出了四个话题方向。文章同时介绍了该方法的操作步骤,以期将其引入到新闻传播学的研究中,拓展现有的方法论体系。     

论计算机演变的数学和思维学基础

本文论述了计算机发展的核心技术和科学理论,从数学和思维科学的角度阐述了计算机演变的必然性和局限性,以及当代计算机所面临的困境,提出了该领域摆脱困境的可行进程。     

一种基于模糊集合论的手势分割算法

提出了一种基于单目的复杂环境下强抗干扰性的手势分割算法,使用模糊集合的概念来描述视频流时域和空域上的不同信息,以模糊运算作为信息加工处理的工具。定义了三个模糊集合非背景集、肤色集和模糊手势集,讨论了对模糊集合的腐蚀和膨胀运算。通过对非背景集和肤色集进行模糊运算,得到原始的模糊手势集,然后对原始的模糊手势集进行求精处理。试验结果证明,该文算法实现了对人手的精确分割,且能满足实时性要求。     

基于模糊模式识别的超圆神经网络模型

模糊模式识别是模糊集理论研究中的重要方向,神经网络是数据挖掘中的一种常用方法。超圆神经网络的学习时间和网络模型理解性都优于BP神经网络,它能以较少的数据量蕴涵同样的信息量。文章依据超圆神经网络模型思想,提出了一种新的基于模糊模式识别的神经网络模型算法,该算法继承了超圆神经网络的优点,能有效地对样本进行学习。     

基于集合论的煤矿床空间数据模型研究

为了有效地表达现实世界特别是煤矿床的三维空间实体，在分析了复杂煤层三维数据的基础上，基于集合论的数学思想，提出了一种新的抽象的煤矿床空间数据模型．该模型把三维空间数据分解为三维点、线、简单面、面、体等5种空间数据模型，通过模型的相关性进行适当的集合运算，从而得出空间真三维煤矿床实体．并以断层为实例，给出了相应模型表示及其相应的集合运算，即集合间并、交、差等相关操作，从而生成三维煤矿床断层．结果表明：这种模型可以较为有效地表达煤矿床三维空间实体，为进一步研究奠定了基础．     

基于网络神经系统的网络安全机制仿真方法

为了防范计算机网络基础设施攻击，提出一种仿生网络神经系统方法。该方法保护机制包括信息收集和处理的分布式过程，可协调计算机网络主要设备活动，识别攻击类型，并确定必要的对策；利用集合论方法将攻击和保护机制定义为结构模型和保护机制的模拟环境。实验证明了保护机制的有效性，为计算机网络安全防护机制研究提供借鉴。     

利用弗晰模型识别法预测油气

弗晰模型识别法的数学原理就是在一个论域中计算任一元素相对于某一个集合的隶属度。本文采用弗晰模型识别法和多元统计分析法，分别对冀中拗陷杨武寨地区的实际数据进行了分类预测，结果证明，利用弗晰模型识别法的预测结果是完全正确的。