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

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

并发式软件系统横切关注点的建模方法

基于面向侧面技术及统一建模语言状态图提出了并发式软件系统开发过程中横切特性的建模方法.该方法将并发软件系统的业务逻辑和横切行为分别封装到复合状态的不同正交区域中,并通过事件广播机制反映二者的交互关系.同时,以模块化的状态迁移系统作为基本计算模型,对该建模方法进行形式化描述,给出了模型元素及建模过程的精确语义.实例研究表明,该方法在并发软件设计阶段实现了横切关注点的分离策略,并使得系统模型具有松耦合、适应性和可跟踪性的优点.     

多品种小批量的市场需求与生产组织的柔性

多品种小批量是适应当今市场需求的生产方式，由于顾客需求的多性性和层次性，以及市场竞争的日益激烈，能灵活适应市场需求、便于更新换代的多品种小批量柔性高效生产方式已成为提高生产率和增加企业竞争能力所追求的一种生产形态主流。本文阐述了多品种小批量的生产技术，生产组织的柔性。     

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

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

并发数据访问代码缺陷分析

现代软件系统中普遍使用并发任务提高软件的性能、增加算法实现的灵活性.数据的并发访问,如果没有进行恰当的同步,可能带来数据竞争、死锁和数据没有初始化等问题,程序的执行结果将依赖于并发任务执行的相对时序,给整个系统的正确性、安全性和可靠性带来严重的隐患.本文在深入分析涉及并发数据访问的实际工程代码的基础上,揭示了并发数据访...     

数据同步新机制在民航实时交易系统中的应用

民航实时交易系统通过建立数据同步机制减少对主机系统的数据并发访问。原有的消息队列方法难以支持在大规模并发交易时在实时交易系统中进行数据同步的要求。提出一种新的数据同步方法,将文件数据索引记录和文件同步分离,采用不恢复文件机制的处理,减少系统资源消耗。应用结果表明新方法支持大规模并发交易下的数据同步,并且效果显著。     

制造企业ERP工程实施中的并发事件表述方法

针对ERP系统中出现的并发事件 ,提出了利用Petrinet理论化解事件冲突的方法 ,分析了Petrinet对ERP进行描述的可行性     

分布式同步协同CAD/CAM系统的Web模型及实现

分布式协同设计与制造被认为是网络环境下数字化设计与制造的一个重要发展方向。本文从系统实施模式、体系结构和功能模块等方面讨论了构建分布式同步协同CAD／CAM系统的基本理论和方法，对涉及的会话通讯与数据传输、并发控制与一致性维护、远程环境下的协同感知及负载均衡等关键技术进行了研究。在现有超人2000系统的基础上实现了一跨平台协同CAD／CAM原型系统C—Superman的开发，并在广域网中进行了测试，响应速度快，运行良好，为面向21世纪的新一代制造技术的实现提供了新型的设计工具。