【摘 要】
：
该文研究形式化方法在实时分布式系统设计中的运用,即提出一种增量式设计方法.在系统的需求规范和设计规范之间提供连接准则,并支持系统的扩展及系统规范的改变.该文的主要工
论文部分内容阅读
该文研究形式化方法在实时分布式系统设计中的运用,即提出一种增量式设计方法.在系统的需求规范和设计规范之间提供连接准则,并支持系统的扩展及系统规范的改变.该文的主要工作包括：1.在系统设计中运用转化设计方法.系统的形式化需求规范用时段演算DC描述,系统的设计用规范语言SL表示.一组标准的转换规则可用于该系统从形式化需求规范转化为设计规范.2.为了提高系统的重用性、正确性及缩短开发周期,在转化设计方法的基础上,扩展转化规则,使其能支持系统的扩展及系统规范的改变.提出系统可扩展的前提条件,即扩展系统无论在逻辑上还是时间要求上都与原有系统保持一致;对于满足前提条件的扩展系统,分别就系统的轨迹及时间限制进行转化扩展.3.针对多用户多媒体通信系统的数据一致性问题,运用转化设计方法得到系统SL设计规范.
其他文献
当今,单机系统和传统的客户机/服务器系统已经不能满足现代企业级的应用,分布式计算成为企业级的主要的计算模式.该文介绍了当今分布式计算技术的三个标准：DCOM、RMI和CORBA,
超长指令字(VeryLongInstructionWord,VLIW)体系结构由于其较高的指令级并行度以及相对简单的硬件译码和控制逻辑,成为继CISC(ComplexInstructionSetComputer)、RISC(Reduced
该文针对电子政务系统安全问题,提出了利用电子证书这一安全机制,描述了电子政务安全体系的总体结构和安全体系中的关键技术,包括:访问控制,数字签名,报文摘要,私有密钥加密,
该文从服务的视角看待构件库系统,研究其服务模式.构件库系统的服务模式注重于标识系统用户及其对系统的需求,并探讨构件库系统内部数据的组织方式以及对外服务的提供形式,从
非线性演化方程的精确孤波解在非线性科学中起着非常重要的作用，这些解可以很好地描述各种自然现象，例如振动、传播波以及孤立子等。近四十年来非线性演化方程孤波解的解法研究
21世纪，人类进入了数字化时代。在这个时代里，人们将会获取更多图像形式的信息。图像在形成或者传输过程中，不可避免的受到噪声干扰，而导致图像质量下降，对后续的图像处理工作产生
该论文的目的就是寻求移动IPv6网络服务质量的解决方案.该文首先在分析和比较现有服务质量框架结构-集成服务和区分服务的基础上,为移动IPv6网络提出了一个端到端的服务质量
论文解决了小设备和一些遗留系统（Small Device and Legacy System,后面简称SD&LS）接入JINI网络的过程中存在的问题.论文深入的研究了JINI的各种规范,包括框架结构、基础设施、
虚拟数据仓库克服了解决传统关系型数据仓库的缺点,实现了跨平台跨系统的数据综合访问.要实现虚拟数据仓库,需要解决许多的技术难点.该文主要讨论了其中的技术难点之一--数据