论文部分内容阅读
本文讨论的ＣＣＳ在协议描述与验证方面的应用技术和两个案例分析表明，通讯系统演算ＣＣＳ在协议描述、协议验证等方面有巨大应用潜力。
利用CCS的协议描述与验证技术的研究
【摘 要】
：
本文讨论的ＣＣＳ在协议描述与验证方面的应用技术和两个案例分析表明，通讯系统演算ＣＣＳ在协议描述、协议验证等方面有巨大应用潜力。
【机 构】
：
长沙工学院
【出 处】
：
计算机研究与发展
【发表日期】
：
1995年3期
其他文献
经过长期的理论研讨和实践探索，高校后勤改革应走社会化道路已成为人们的共识。然而．怎样走社会化道路。通过什么方法和手段才能走上社会化道路，仍处在仁者见仁智者见智的讨论之
介绍了医用电子内窥镜图像实时采集与显示系统的设计与实现.用PCI接口控制器AMCC S5933实现PCI总线接口,用FPGA作为核心控制模块完成对数据传输和相关芯片的控制.用WinDriver
本文介绍了一种新颖的动态调试工具ＳＯＦＴ－ＩＣＥ。由于它充分利用了８０３８６ＣＰＵ内置的调试功能，极大地提高了调试效率。它不仅具有丰富的断点类型，而且可调试ＢＩＯＳ、ＤＯＳ中断服务程序等，因此是一种很有前途的调试
本文首先介绍了演绎数据库DeDB 模型,提出了一种扩充关系模型REDM,并基于REDM 设计并实现了一个演绎数据库系统DFQL/DEDBS,然后讨论了演绎表格查询语言DFQL 的设计与实现。目
本文首先讨论了PDL的历史、定义、特性与要求以及与高级语言的联系与区别,分析了研制基于Ada的PDL的必要性、应用范围、与Ada语言及软件设计方法论的关系,探讨了支撑基于Ada
从传统的介质瓷料设计的李赫德涅克对数公式出发，利用优化设计理论给出电容器介质瓷料组分优化的计算机辅助分析设计的实现方法．仿真结果证明辅助分析设计还为介质瓷料实验研究
为实现高性能有必要采用细粒度的并行，但必须解决其中增大的通信开销问题。多线程计算不仅用来实现细粒度的并行，合理的调度策略还有助于隐藏通信延迟。但其中存在着线程切换开
长期以来，ｓｐｅｅｄｕｐ一直被视为衡量并地处理性能的主要指标之。不论是并行计算机系统的设计者，还是并行算法的设计者，均非常重视ｓｐｅｅｄｕｐ指标。那么，ｓｐｅｅｄｕｐ能否像人们仃的那样正确的描述并行处理的性能呢
对几种纯质和两个二元物系Ｒ２２／Ｒ１４２ｂ，Ｒ２２／Ｒ１５２ａ进行了以ＰＶＴｘ实验数据和改进型ＣＳＤ状态为基础的热力学性质计算和理论制冷循环分析。结果表明，Ｒ１２２／Ｒ１４２ｂ为近理想溶液，Ｒ２２／Ｒ１５２ａ为近共沸溶液，纯质及Ｒ２２／Ｒ１４２ｂ物系的理论制冷循环性能与Ｒ１２相比