CC—高阶通信系统的并发演算

并发演算CC(Concurrent Calculus)是高阶并发通信系统的数学模型,它把λ-演算作为子理论并包含一阶通信系统演算CCS、活动进程演算CMP、和高阶通信系统演算CHOCS的主要特征。在CC中,通信端口可为任意表达式并且进程和通信端口都可以作为在通信中传递的一等对象(First-class Objects)。从而CC不仅可以描述一阶通信行为而且可以刻划通信网络的动态自修改行为。另外,由于CC把λ-演算和进程演算纳入同一形式系统,故CC可以作为并发函数式程序设计的核心语言和理论模型。本文首先给出CC的语法、语义和例子,然后研究CC的高阶双向模拟等价关系以及CC的代数定律。最后简单讨论了相关的工作和今后的研究方向。     

基于资源扩展活动图的并发测试用例生成方法

对UML(统一建模语言)活动图进行共享资源的属性扩展,利用扩展的活动图对并发系统间任务的同步及数据的竞争关系建模,充分考虑并发软件运行原理、故障模式及测试效率,提出并发系统的测试覆盖原则及基于扩展活动图的并发测试用例生成方法。进一步通过举例验证该方法能够正确的生成并发测试用例同时又可防止用例数量爆炸,提高了并发软件测试的可靠性及效率。     

Σ-演算的范畴模型

Σ-演算是并发演算CC的子理论,集中体现CC中的并行运算部分的特征。本文将并发通信系统看作是由状态加变换构成的动态系统,建立了Σ-演算的范畴模型(Categorical ModeI),其基本思想是:把Σ-演算中的公式对应于范畴构造中的对象(Objects),Σ-演算中的推演对应于范畴中的态射(Morphisms),从而通过Σ-演算的结构操作语义自然地得到一种范畴结构。这种方法可以推广到其它并发理论之中,例如网论和逻辑方法(如线性逻辑Linear Logic),从而范畴论可以作为描述并发、通信和非确定性行为的统一的形式化框架。     

CAN总线并发通信时下位机应用软件设计

为满足系统通信中的时间性能要求,设计一种利用中断接收和发送CAN总线数据的通信方法,给出了算法的C语言流程图实现.当增加GPS作为总线主节点发送广播引起CAN并发通信导致硬件中断冲突时,针对并发通信的硬件中断冲突原理作了分析,重新设计了下位机CAN总线通信软件,解决CAN总线并发通信冲突.     

FC-AE-1553网络的“并发交换式”动态带宽调度机制

为提高航天航空网络传输性能,针对低轨空间舱内有效载荷系统的特点及有效载荷系统数据传输的要求,将空间有效载荷系统的数据分为周期性业务、突发性业务及强时效性业务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个数量级。      

"金星快车"进入金星轨道并发回首批照片

□□经过约5个月(约153天)的漫长旅程后,飞行了4.1×108km的欧洲"金星快车"(Venus Express)探测器提早9天于4月11日进入预定的金星轨道.     

基于工作流的协同编辑系统(ZOFFICE)的设计

介绍了ZOFFICE系统各个模块,讨论了计算机支持的协同工作(CSCW)的主要技术,其中重点讨论协同编辑系统设计中的并发控制技术,工作流技术以及IFS技术,根据CSCW的基本原理设计出了一个基于工作流的实时协同编辑系统的系统模型。     

基于多种并发机制的卫星电子设备地面测试软件设计方法

在卫星电子设备测试系统中,地面测试软件不仅要访问测试系统硬件,而且需要与用户直接交互,并完成测试数据的存储和管理,并发处理能力是测试系统可靠和正确的关键,传统软件设计采用的串行策略无法适应卫星地面测试软件中的并发处理需求.为解决上述问题,提出多线程、消息机制、共享缓冲区、P-V操作4种并发机制相结合进行程序设计的方法.实际应用表明采用这种基于多种并发机制的程序设计方法能可靠实现卫星地面测试软件,有效解决了软件开发中的并行性问题.     

高速公路收费系统通信服务器的设计与实现

高速公路收费系统通信服务器是高速公路收费系统数据传输的枢纽.重点介绍了高速公路收费系统通信服务器软件的设计、实现方法和特点.通信服务器使用按优先级分发报文的通信协议,支持多用户的并发通信.为了实现数据共享的集中控制,通信服务器采用客户/服务器的模式.使用多线程的编程技术,满足了对通信服务器实时性的要求.目前,该软件已通过了验收,在广深高速公路上运行良好.