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

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

Σ-演算的范畴模型

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

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

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

线程集成技术在嵌入式系统中的应用

介绍了线程集成技术在通用和微处理器或微控制器上实现实时任务并行性的新方法。利用后级编译技术在指令级代码中融合多个控制线程，实现指令级并行，提高了系统资源的利用，改善了系统性能，从而达到用软件代替专用外围硬件的功能，文中介绍了线程集成的概念，线程集成过程的主，客线程的表示方法，代码转移的原理，应用及实验结果。     

基于Vxworks的航空传感器数据采集系统设计分析

航空领域中数据采集系统设备有着信号种类多、数据信息量大、实时传输性强等特点,针对以上特点,数据采集系统必须满足数据采集的并发性、数据分析的正确性、数据传输的可靠性和数据处理的实时性等条件。因此采用Vxworks作为传感器处理系统,利用其多任务并发的特性进行数据采集和数据处理,并与目标机系统协同工作,共同完成数据应用。     

Web环境下协同装配系统的并发控制

通过对网络环境下协同装配操作的分析,总结了客户端执行结果不一致、多客户端误抓零件、多客户端同时装配同一零件、合理并行装配受阻以及装配约束冲突等5种并发装配冲突.提出了一种层次混合并发冲突控制模型(HCM,Hierarchical Hybrid Concurrency Conflict Control Model),HCM分上下两层,集成了4种并发控制策略,采用将具有装配语义的命令进行传输实现并发控制.上层采用基于全局装配序列的并发控制策略,整体上避免了前两种并发冲突;下层集成了装配操作序列化、系统加锁和用户解锁以及建立装配约束库等策略,消解了后3种并发冲突.基于HCM开发了一个原型系统,并结合实例验证了该系统的灵活性和有效性.     

磁盘阵列多终端并发管理系统的设计与实现

针对磁盘阵列管理方式多样性的需求,设计并实现了一种可支持多种配置终端并发操作的管理系统,系统采用分层架构,界面显示层通过命令队列同底层通信,降低了系统的耦合度,提高了扩展性和可靠性。