地层测试资料综合分析在油田治理中的应用

宝饶油田吉46断块属于复杂断块中－低渗透油藏，储层物性差，平面非均质性极强。投入开发后出现水井蹩压，油井不见效，产量递减大的矛盾。利用地层测试资料结合构造、储层研究及沉积微相划分进行了深入研究，在对储层非均质特性、沉积特征、油层连通状况等有了清楚的认识后，确定了整体压裂改造方案。1997－1998年整体压裂引效实施后减缓了产量递减速度，提高了油井的注水见效程度，改善了区块的整体开发效果。     

媒体服务中流式拷贝性能分析

随着网络带宽的进一步提高,视频点播的瓶颈基本卡在视频服务器端。文章提供的服务器端的流式拷贝,能进一步提高整个系统的服务能力。文章对流式拷贝的过程进行描述,对其中的数学模型进行分析,并与没有流式拷贝的系统进行比较分析。     

磁盘空间的位图管理与链式管理

优化磁盘系统的性能一直是计算机系统设计人员研究的热点之一。在磁盘性能已定的情况下,磁盘空间的管理方法对系统的性能影响很大。本文介绍了磁盘空间的位图管理方法和链式管理方法,分析了这两种方法的优缺点和适用环境,并以CDC9766磁盘和XMD—Ⅲ磁盘为例,定量地分析了这两种磁盘管理方法的文件访问速度和有关特性。     

民机航电系统综合核心处理机平台软件技术研究

针对大型民用客机综合模块化航电核心处理机驻留功能应用数量多、安全级别不同、需独立认证等特点,提出了一种基于ARINC653规范的平台软件架构,设计并实现了平台软件,包括平台基础软件和10项平台驻留应用,研究了相关关键技术,为国产大型民用客机综合模块化航电系统的研制提供了技术支撑。     

ARINC653实时任务可调度性验证方法

针对综合模块化航空电子系统(Integrated Modular Avionics,IMA)存在周期任务和非周期任务,以及任务间依赖关系,传统方法不能准确验证其实时任务可调度性的问题,本文提出了一种基于Stopwatch时间自动机的ARINC653实时任务可调度性验证方法,利用模型检验工具UPPAAL对IMA系统进行建模仿真,并结合统计模型检验(Statistical Model Checking,SMC)与符号模型检验(Symbolic Model Checking,MC)来验证其可调度性。实验结果表明,该方法不仅快速验证了IMA系统的可调度性,而且能够准确定位不可调度任务。     

航空电子设备自动测试系统的软件架构设计

为检测和定位航空电子设备的故障,研究并设计了一种自动测试系统的软件架构;该架构包含了测试软件和测试数据库,测试数据库存储有测试被测设备的相关数据,测试软件将其作为输入,通过自动测试设备输送给被测设备,最终测试软件接收被测设备的输出并将其与测试数据库的预期数据相比较得出测试的结果;测试软件由手动测试模块、自动测试模块、系统自检测模块、测试记录读取和测试结果记录模块4个功能模块组成,自动测试和手动测试可以自由切换;该系统不仅能使用自动测试功能仿真被测设备的飞行环境,还可以使用手动测试功能具体定位分析故障,降低了设备的维护成本,缩短了维修时间。     

飞机机电综合管理平台应用任务调度方法研究

针对飞机机电综合管理平台应用任务多、实时性强、安全性高的特点,通过研究ARINC653标准中的分区、进程两级任务调度机制和机载机电系统应用软件特点,设计了飞机机电综合管理平台应用任务分区划分、分区时间调度规划和分区内任务调度的具体方法;该方法可实现不同安全级别应用任务安全、实时共享机电综合管理平台资源;仿真实验结果表明,该方法能确定性保证飞机机电综合管理平台全部任务的可调度性,提高了系统安全性和硬件资源利用率,降低了系统开销。     

CC-NUMA并行系统通信优化的变换技术

减少通信开销是并行编译优化的主要目标之一.该文针对具有cache一致性的非一致存储访问并行系统(CC-NUMA)的特点,提出通过结合计算变换和数据变换,在统一的代数框架下对并行程序进行通信优化的策略和方法.通过实验测试,验证了此策略和方法是行之有效的.     

三种新型的VOD系统流服务策略及允许控制算法

本文给出了一种VOD系统流服务策略-SVTR策略,及该策略下的调度算法和允许控制条件,模拟对比测试显示,该策略能有效提高系统的整体利用率和服务容量。     

服务建模基础理论研究(英文)

面向服务的体系结构(SOA)通过发布在开放环境中的服务构造应用系统。在这样的环境中各个服务高度动态变化,需要基于服务形成的系统能够适应这种变化,这种本质特点给SOA带来巨大挑战。目前缺乏对服务系统形式化表述的理论基础。文章主要关注服务系统的基础理论,包括服务代数、基于Petrinet的服务系统建模、并发系统、冲突、混或系统、服务矩阵等。结束部分给出了具体实现的体系结构和案例。