论文研究UML逻辑建模过程分析 .pdf

UML+ application modeling practice process. part2

UML+ application modeling practice process.part1

通过一个实例分析比较了概率逻辑、主观概率逻辑、不确定逻辑和模糊逻辑的思想方法。提出了自己的观点：基于数据统计的概率逻辑是最科学的。不确定逻辑比主观概率逻辑更科学。当具有不确定性的原子命题具有独立性时，

基于Petri网和逻辑Petri网，提出了S-组合逻辑Petri网的概念。深入研究了S-组合逻辑Petri网的活性继承问题，给出了S-组合逻辑Petri网活性的判定定理和算法，并分析了S-组合网中几种

将计量化方法引入到粗糙逻辑的研究当中，在一种典型的粗糙逻辑[LR]中引入了公式的粗糙真度概念。在此基础上，提出了公式之间的粗糙相似度、粗糙伪距离等概念，得到了粗糙逻辑度量空间。在粗糙度量空间中提出了两

图同构的判定性问题是图论理论中的一个难问题，至今没有得到彻底解决。Ulam曾经提出过一个判定图同构的猜想，也称为图的重构猜想。提出了一个新的判定图同构的充分必要条件，即在子图同构的前提下，根据新增顶点

对经典逻辑中的公理在Gödel系统、Lukasiewicz以及R0系统中的真度大小进行了分析，得到了一系列深刻而有趣的结果。

论文研究-热轧生产线的建模与分析.pdf,  用扩展时间事件图与极大代数方法相结合对一类批量生产的制造系统建立了模型,并在

论文研究-线性规划模型建模和分析管理.pdf,  本文采用标识集将线性规划模型的代数形式与其自然语言的模型文档统一在同一框架,建立标识线性规划模型,除去标识模型的代数成份,形成线性规划模型的模型文档.

提出了基于模糊逻辑和纹理分析的图像增强算法，通过图像模糊化、提取纹理信息和纹理信息模糊化、定义局部对比度、根据全局和局部信息来进行对比度的变换等措施，提高了增强算法的效果。测试结果表明该算法能很好地增