• 基于Agent的电子化政府采购流程的形式化表示

    基于Agent的电子化政府采购流程的形式化表示

    论文摘要互联网的发展,信息技术和网络技术的日趋成熟,给我国政府采购带来了很大的挑战。传统的政府采购,信息化程度低,采购流程十分繁琐,导致政府采购效率低下,浪费了很多资源。随着信...
  • 基于有限自动机的软件行为建模方法的研究

    基于有限自动机的软件行为建模方法的研究

    论文摘要本研究课题属于“863项目:软件系统安全性逆向分析技术与系统”的部分研究内容,通过调研软件安全这一热点问题,发现软件行为建模在软件分析、测试和验证中都有重要应用。好的软...
  • 混沌同步中信息传递的研究

    混沌同步中信息传递的研究

    论文摘要混沌保密通信方案一度因建立在理想的无限信道假设上,而备受质疑。2005年欧洲的OCCULT(OpticalChaosCommunicationsUsingLaser-D...
  • 基于语义集合模型及有限自动机的垃圾邮件分类研究

    基于语义集合模型及有限自动机的垃圾邮件分类研究

    论文摘要根据中国互联网协会反垃圾邮件中心2007年反垃圾邮件调查,我国的垃圾邮件数量居全球第三位,反垃圾邮件研究显得日益突出和重要。目前,主流反垃圾邮件方法是基于内容的过滤,该...
  • 矩阵模型在有限自动机上的应用

    矩阵模型在有限自动机上的应用

    论文摘要自动机理论[1]是研究离散数字系统的功能、结构及两者关系的数学理论,随着数字计算机、数字通信及自动化等新技术的出现和发展,自动机理论已成为许多学科的重要理论和应用基础....
  • 模糊有限自动机及其最小化问题

    模糊有限自动机及其最小化问题

    论文摘要本文在模糊自动机理论的基础上,讨论了模糊自动机的最小化问题。首先,介绍了经典模糊集、自动机和模糊自动机的一些相关基础理论。其次,重新定义了Mealy型模糊有限自动机中状...
  • 基于NC的VT100终端仿真机的设计与实现

    基于NC的VT100终端仿真机的设计与实现

    论文摘要论文以实际项目“网络计算机软件系统”的研发为背景,简要介绍了网络计算机的基本概念及特点,在国内外的发展现状,应用前景,构建网络计算机软件系统的意义和作者在项目中承担的主...
  • 自主移动机器人的导航

    自主移动机器人的导航

    论文题目:自主移动机器人的导航论文类型:硕士论文论文专业:控制理论与控制工程作者:牛国臣导师:高庆吉关键词:导航,体系结构,模糊控制,有限自动机,粗糙集文献来源:东北电力大学发...
  • 可逆有限自动机的结构与分解

    可逆有限自动机的结构与分解

    论文题目:可逆有限自动机的结构与分解论文类型:博士论文论文专业:计算机软件与理论作者:王鸿吉导师:李昂生,陶仁骥关键词:有限自动机,延迟,弱可逆,半输入存贮,前馈可逆,合成,分...