排序方式: 共有30条查询结果,搜索用时 46 毫秒
1.
并发演算CC(Concurrent Calculus)是高阶并发通信系统的数学模型,它把λ-演算作为子理论并包含一阶通信系统演算CCS、活动进程演算CMP、和高阶通信系统演算CHOCS的主要特征。在CC中,通信端口可为任意表达式并且进程和通信端口都可以作为在通信中传递的一等对象(First-class Objects)。从而CC不仅可以描述一阶通信行为而且可以刻划通信网络的动态自修改行为。另外,由于CC把λ-演算和进程演算纳入同一形式系统,故CC可以作为并发函数式程序设计的核心语言和理论模型。本文首先给出CC的语法、语义和例子,然后研究CC的高阶双向模拟等价关系以及CC的代数定律。最后简单讨论了相关的工作和今后的研究方向。 相似文献
2.
3.
Σ-演算是并发演算CC的子理论,集中体现CC中的并行运算部分的特征。本文将并发通信系统看作是由状态加变换构成的动态系统,建立了Σ-演算的范畴模型(Categorical ModeI),其基本思想是:把Σ-演算中的公式对应于范畴构造中的对象(Objects),Σ-演算中的推演对应于范畴中的态射(Morphisms),从而通过Σ-演算的结构操作语义自然地得到一种范畴结构。这种方法可以推广到其它并发理论之中,例如网论和逻辑方法(如线性逻辑Linear Logic),从而范畴论可以作为描述并发、通信和非确定性行为的统一的形式化框架。 相似文献
4.
为满足系统通信中的时间性能要求,设计一种利用中断接收和发送CAN总线数据的通信方法,给出了算法的C语言流程图实现.当增加GPS作为总线主节点发送广播引起CAN并发通信导致硬件中断冲突时,针对并发通信的硬件中断冲突原理作了分析,重新设计了下位机CAN总线通信软件,解决CAN总线并发通信冲突. 相似文献
5.
FC-AE-1553网络的“并发交换式”动态带宽调度机制 总被引:1,自引:0,他引:1
为提高航天航空网络传输性能,针对低轨空间舱内有效载荷系统的特点及有效载荷系统数据传输的要求,将空间有效载荷系统的数据分为周期性业务、突发性业务及强时效性业务3种业务类型,并综合分析3种业务特征,提出了一种可应用于FC-AE-1553网络的“并发交换式”动态带宽调度(DBA)机制,即突发性业务传输采用“并发交换式”的动态带宽分配,周期性业务采用静态固定带宽分配,强时效性业务采用抢占式带宽分配的方案。采用理论分析和仿真验证的方式分析了该调度机制的可行性,并通过OPNET仿真软件建立了FC-AE-1553网络仿真平台。结果表明,相比FC-AE-1553网络传统的“总线式”调度机制,所提机制可将FC-AE-1553网络的吞吐量提高10倍以上,且当网络节点数为32时,FC-AE-1553网络的吞吐量可从2.8 Gb/s提高到46 Gb/s,突发性业务的平均时延可降低1个数量级。 相似文献
6.
□□经过约5个月(约153天)的漫长旅程后,飞行了4.1×108km的欧洲"金星快车"(Venus Express)探测器提早9天于4月11日进入预定的金星轨道. 相似文献
7.
高速公路收费系统通信服务器的设计与实现 总被引:1,自引:0,他引:1
高速公路收费系统通信服务器是高速公路收费系统数据传输的枢纽.重点介绍了高速公路收费系统通信服务器软件的设计、实现方法和特点.通信服务器使用按优先级分发报文的通信协议,支持多用户的并发通信.为了实现数据共享的集中控制,通信服务器采用客户/服务器的模式.使用多线程的编程技术,满足了对通信服务器实时性的要求.目前,该软件已通过了验收,在广深高速公路上运行良好. 相似文献
8.
Ada层次化并发软件模型的研究 总被引:1,自引:0,他引:1
姚淑珍 《北京航空航天大学学报》1998,24(4):415-417
基于对象Petri网,提出了层次化并发软件模型,这种模型在结构上参考了统一建模语言UML的描述机制,并用一种扩展Petri网ECPN分层描述对象的内部状态,以及对象间的相互作用,易于仿真与程序生成.模型的实际应用将有利于保证并发软件,特别是Ada95并发软件的质量,提高开发效率. 相似文献
9.
一种基于面向对象Petri网的并发程序建模方法 总被引:9,自引:1,他引:9
任爱华 《北京航空航天大学学报》1998,24(4):491-494
介绍了一种基于面向对象Petri网的并发系统建模方法. 该方法把面向对象技术与Petri网理论相结合, 构成一种面向对象Petri网,可以解决用Petri网建立并发程序模型所遇到的状态爆炸问题,又使得建模系统具有可重用性且易于维护, 是一种具有数学和图形方式相结合的形式化描述. 相似文献
10.
基于工作流的协同编辑系统(ZOFFICE)的设计 总被引:1,自引:0,他引:1
介绍了ZOFFICE系统各个模块,讨论了计算机支持的协同工作(CSCW)的主要技术,其中重点讨论协同编辑系统设计中的并发控制技术,工作流技术以及IFS技术,根据CSCW的基本原理设计出了一个基于工作流的实时协同编辑系统的系统模型。 相似文献