基于MFC的《离散数学》实验演示系统的设计与实现

针对离散数学的特点,以MFC和面向对象技术为设计环境,建立了一个可视化的离散数学实验演示系统。该系统实现了抽象概念可视化、界面操作可视化、处理结果可视化的要求。通过演示主合取范式、二部图匹配、群的判定、等价关系、等价类和Krushal算法求最小生成树五个子功能模块,展示了该实验演示系统的功能。     

基于污点分析的工控系统漏洞挖掘技术研究

针对工控系统漏洞挖掘中如何快速引导Fuzzy测试过程,采用基于污点分析的工控系统漏洞挖掘方法对工控系统的程序特征进行了分析,明确了基于数据判断和数据拷贝需作为污点传播的记录重点并设计了一种改进型的污点传播记录模型。该模型能够记录程序执行过程中的显性和隐性污点传播过程。通过包含4个已公开漏洞的工控程序测试表明,传统的污点分析技术只发现了其中的1个漏洞,改进后的污点分析程序模型发现了全部4个漏洞。     

格区间集合[L]上的t-模及其广义逆算子

在格区间集合[L]上定义t-T模及其广义逆算子αT,研究它们的性质,利用它们给出群G上格区间值Fuzzy子集组成的集合中[L]G元素的sup-T合成运算和inf-αT合成运算,得到这些运算的代数性质以及一些重要的关系式。     

一种确定型有穷自动机的化简算法及其实现

有穷自动机的化简是一个十分重要的问题,在等价的前提下,自动机的状态越少,意味着越节省软件和硬件资源。本文根据等价性原理,在等价类等概念的基础上,给出了确定型有穷自动机的最小化算法,并给出了该算法的程序实现。     

Fuzzy概率在学生成绩排序上的应用

班主任对全班学生按考试成绩进行排序受到各种因素的影响，因而往往对学生的学习情况难以评价．利用Fuzzy概率，结合河池民族中等专业学校电子技术应用专业0401班部分学生成绩从数量侧面给出学生学习好差的排序方法．     

抽象距离空间、Fuzzy度量空间、概率度量空间及其不动点定理

本文讨论抽象距离空间中映象的不动点的存在性，得到了一些新的不动定理。作为应用，我们分别得到了Fuzzy度量空间、Menger概率度量空间中映象的一些不动点定理。本文的结果统一和发展了文[3-8,10,11[的一些主要结果。     

论二元关系闭包的一些运算性质

论述了二元关系R的自反、对称、传递、相容、半序与等价关系的闭包运算的有关性质 ,同时给出R的相容闭包、半序闭包与等价闭包 .     

FUZZY测度的奇异性与绝对连续性

首先讨TFUZZY测度的奇异性。然后讨论了FUZZY测度的奇异性与绝对连续性的关系，并得：出了一些有趣结论。     

非线性序逻辑系统(-W)2中的重言式

摘要定义了非线性逻辑系统W^-2，研究了W^-2中的重言式及广义重言式，得到了若干与线性逻辑系统W^中相类似的结果．     

可生成TNFσ—代数的注记

本给出：若T是连续，Archimedean非严格单调T一模，则对任意的伪补N，每一个TNFσ－代数都是可生成的。