论文研究 修正的Gödel逻辑系统中子代数的广义重言式理论.pdf

在模态逻辑系统中，对可能世界进行了深入的分析，首次提出了完整模型的概念，并且在这个完整模型的框架下定义了模态公式的真度概念，建立了公式的真度理论。并且证明了：若模态公式[φ]不含任何模态词，即经典逻辑

初步给出了计量逻辑学中的收敛理论。提出了逻辑度量空间中的度量收敛，赋值收敛和网收敛概念，对它们做出刻画并初步论证了它们之间的关系。

线谱对（LSF）的码本设计常采用经典的LBG算法，由于该算法容易陷入局部最优，提出了一种结合差分进化（DE）和LBG算法的混合算法（DELBG），通过引入一加权因子，利用其染色体表示很短、易于被差分进

Stateflow逻辑系统建模 本书详细介绍了MATLAB产品体系中用于动态逻辑系统建模仿真的Stateflow产品的应用方法。本书的前六章内容是Stateflow的基础，重点介绍了有限状态系统中状态

西安电子科技大学出版社的stateflow逻辑系统建模，是学习stateflow男的的学习资料。

MBA 复习讲义指导 简洁而不简单，呵呵 目标就一个，老师说了，只为考试拿高分，整个讲义围绕考试大纲进行

企业各部门中存在大量的知识源本体，在实际应用中，往往需要使用多个知识源本体的部分内容，即子本体。当前的子本体抽取方法大都是针对单一本体，分析了多本体中抽取子本体的主要问题，提出了一种可以从多本体中抽取

针对K-均值聚类算法对初始值敏感和易陷入局部最优的缺点，提出了一个基于自适应杂交差分演化模拟退火的K-均值聚类算法。该算法以差分演化算法为基础，通过模拟退火算法的更新策略来增强全局搜索能力，并运用自适

不同离散混沌系统的广义同步，林达，王兴元，根据Lyapunov稳定性理论，提出了一种实现了不同离散混沌系统间的全局广义同步的新方法，并给出了理论上的证明。利用该方法对三维Gras

格值命题逻辑系统中格值角号广义子句的α解析方法