• 基于词计算的Fuzzy有限自动机的最小化问题

    基于词计算的Fuzzy有限自动机的最小化问题

    论文摘要本文主要介绍了一些不同类型的Fuzzy自动机的相关理论,Fuzzy有限自动机的最小化理论,词计算的概念,以及基于词计算的Fuzzy有限自动机的最小化问题。同时作者在舒兰...
  • 自动机和链编码的理论研究与应用

    自动机和链编码的理论研究与应用

    论文摘要图像编码技术和图像自动识别技术,是人类保存数字图像、从原始的图像中获取重要信息、对图像按照人类的意图进行修正的重要手段,是计算机图形科学的一个重要组成部分。自动机是实现...
  • 细粒度软件抗衰策略及相关技术研究

    细粒度软件抗衰策略及相关技术研究

    论文摘要计算系统正在变得越来越复杂,许多已知和未知的软件缺陷无法避免,由其引发的软件老化现象成为我们不得不接受和面对的事实,因此,必须对软件抗衰技术进行探索和研究,尽可能地降低...
  • Web服务合成的若干关键技术研究

    Web服务合成的若干关键技术研究

    论文摘要Web服务可实现应用程序在Internet上的互操作,已成为一种具有发展潜力的集成技术。Web的一个重要特点和一个基本要求是服务合成,即组合已有服务以实现新的功能。这已...
  • 边界跟踪、区域填充及链码的应用研究

    边界跟踪、区域填充及链码的应用研究

    论文摘要边界跟踪与填充是图像处理的基本问题。链码间的转换是从已知一种链码获得其他链码的便捷方法。链码是获得图像几何特征的重要手段。文档图像的倾斜校正和表格识别是字符识别技术最重...
  • Z规格说明中一阶逻辑算子自动求精的研究与实现

    Z规格说明中一阶逻辑算子自动求精的研究与实现

    论文摘要随着计算机产业的快速发展,软件的开发规模不断扩大,对软件开发效率和安全性的要求也越来越高,各种开发方法应运而生。Z语言作为一种软件工程语言和形式化方法,在软件文档规范化...
  • 分布式主动协同入侵检测系统的入侵特征描述与子系统性能改进

    分布式主动协同入侵检测系统的入侵特征描述与子系统性能改进

    论文摘要入侵检测作为一种安全防护技术,提供了对内部攻击、外部攻击和误操作的实时保护,在网络系统受到危害之前拦截和响应入侵。但是随着网络规模的扩大,攻击方式的分布化,采用单一体系...
  • 基于碱基匹配的DNA计算系统及其编码研究

    基于碱基匹配的DNA计算系统及其编码研究

    论文题目:基于碱基匹配的DNA计算系统及其编码研究论文类型:硕士论文论文专业:系统工程作者:范忠骏导师:王波关键词:计算,形式语言,自动机,粘贴系统,编码文献来源:上海理工大学...
  • 知识化制造环境下的任务分配与动态控制策略

    知识化制造环境下的任务分配与动态控制策略

    论文题目:知识化制造环境下的任务分配与动态控制策略论文类型:博士论文论文专业:控制理论与控制工程作者:董昊导师:严洪森关键词:知识化制造系统,任务分配,特征控制,状态跃迁系统,...