![基于面向对象软件的动态更新研究]()
论文摘要随着计算机在日常生活中的广泛应用,如何实现软件的不间断运行而能够实现升级、更新也就成为软件维护和软件设计中的重要问题。能否提供不间断的服务正在成为人们衡量软件系统的一项...
![基于PI-演算的CPN在移动通信服务建模的研究与应用]()
论文摘要随着业务要求的不断增加,Web服务组合变得日益复杂,服务组合出错的可能性也不断增加,这就需要对Web服务组合流程进行分析和验证,以保证服务组合的正确性和可靠性。本文的主...
![基于自治与协商机制的柔性制造车间智能调度技术研究]()
论文摘要柔性制造环境下车间生产调度问题具有复杂性、不确定性、多目标、多约束、多资源相互协调等特点。鉴于其重要的理论和实际意义,一直以来是生产管理和组合优化领域的重点和难点课题。...
![基于π演算的并发分布式语言的设计与原型实现]()
论文摘要本文描述了一个全新的并发编程语言MDPL设计及其实现。在现有的并发系统和并发理论的研究成果上，总结了现有理论的不足，设计了MDPi，它是对异步π演算进行的扩展，加入了子...
![从事务处理到可靠服务组合]()
论文摘要商业过程(BusinessProcess)的组织和管理方式直接影响到企业生产和运营的效率。传统的工作流系统(workflow)致力于解决商业过程的自动化处理和计算机辅助...
![λ噬菌体生活周期的形式化建模与分析]()
论文摘要随着计算机科学的发展,它与其他学科交叉产生很多了新的研究领域,其中与系统生物学的结合就是一个重要的研究方向。这主要包括两方面的内容:其一是计算机基础科学,例如进程代数的...
![基于Pi-演算的Agent交互模式研究]()
论文摘要随着计算机软硬件和网络技术的迅猛发展，应用软件的规模日益庞大、系统日趋复杂。如何准确地描述用户需求、有效地开发和管理复杂系统、有力地支持软件复用成为软件产业发展的关键问...
![动态模糊逻辑程序设计语言的操作语义模型及验证]()
论文摘要动态模糊逻辑(DFL)的研究已有十年的时间了,目前已取得了一系列研究成果,为了进一步拓展这些研究成果的应用,本文借鉴Dijkstra的监督命令程序结构,通过结构化操作语...
![异构组件互操作技术研究]()
论文摘要基于组件的软件开发方法，旨在复用已有的、经过验证的软件组件来构造应用系统，这不仅可大大减少软件开发的人力、物力投入，缩短开发周期，同时也有利于提高软件的质量，因而它是实...
![面向服务的计算（SOC）中服务组合的研究 ——服务计算中一个关键问题的解决方案]()
论文摘要随着开放分布式计算的快速发展，中间件技术已经从面向对象计算的阶段发展到了面向服务计算（Service-OrientedComputing）的阶段。SOC更加靠近应用层的...
![面向服务的网格工作流关键技术研究]()
论文摘要随着网格研究的不断深入，网格工作流已成为该领域重要的研究方向，但是由于网格环境的分布性、动态性和自组织的特点，网格工作流研究仍然缺乏完整的系统架构、准确的工作流描述机制...
![基于Spi演算的密码协议自动化分析技术研究]()
论文摘要密码协议是网络通信和许多分布式系统的安全基础,协议的正确性和安全性对于保证攻击者不能获得秘密信息或实施不公平认证起着至关重要的作用。由于在协议的设计过程中对协议运行环境...
![电信客户忠诚度的分析与预测]()
论文题目:电信客户忠诚度的分析与预测论文类型:硕士论文论文专业:控制理论与控制工程作者:金琼导师:曹长修关键词:数据挖掘,层次分析法,分类分析,决策树,演算文献来源:重庆大学发...
![Ad Hoc网络路由协议安全性分析方法研究]()
论文题目:AdHoc网络路由协议安全性分析方法研究论文类型:博士论文论文专业:通信与信息系统作者:王英龙导师:高振明关键词:无线自组网,路由协议,形式化方法,逻辑,串空间,演算...
