堤防安全评估系统的设计与实现

结合堤防工程设计、安全管理和评价的实际过程,采用面向对象的程序设计语言Visual Basic和面向对象的数据库平台SQL Server开发堤防信息可视化查询和安全评估分析系统,以最直观的方式为设计和技术管理工程师服务.主要介绍系统的模块划分、设计思路和功能设计.基于现有的规范并结合工程经验,经过分析、设计、编写、测试、运行维护五个阶段完成,基本实现了堤防工程管理的科学化和工程安全评估的图表化.     

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

宝饶油田吉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系统的可调度性,而且能够准确定位不可调度任务。     

融合邻域回归和稀疏表示的图像超分辨率重构

对于图像超分辨率重建而言,通常会将图像的整体信息作为研究对象。然而图像本身含有的大量结构信息并没有得到充分利用。为了提高超分辨率重建的效果,实现对不同特征信息的利用,提出了一种融合邻域回归和稀疏表示的图像超分辨率重构算法。依据图像所具有的低秩性对高分辨率图像进行分解,获得高分辨率图像的低秩部分和稀疏部分;将对应的低分辨率图像与高分辨率图像的低秩部分和稀疏部分进行训练,学习得到对应的特征字典;基于高分辨率图像的低秩部分和稀疏部分分别基于稀疏表示和邻域嵌入进行高分辨率重构;基于低秩矩阵恢复理论,融合邻域回归和稀疏表示重构的高分辨率图像,得到最终的高分辨率图像。在测试集Set5和Set14上将提出的算法与几种经典算法进行对比实验,可视化和量化结果均表明,相比传统超分辨率算法,提出的算法在PSNR和SSIM都有很好的提升。     

CT图像肺结节计算机辅助检测与诊断技术研究综述

肺结节计算机辅助诊断（Comput er-aided diagnosis,CAD）能够从CT图像中检测、分割和诊断肺结节,提高早期肺癌的生存率,因而具有重要临床意义。由于肺结节的形态根据其类型、尺寸、位置、内部结构及恶性与否等动态变化,导致肺结节检测和诊断已经成为一个重大的挑战问题。本文对比分析了CAD系统中肺实质分割、肺结节检测、肺结节分割以及肺结节良恶性判断等4个步骤所运用的关键技术及挑战,并指出开发有效CAD系统需要进一步优化不同类型结节诊断算法灵敏度、降低结节检测误报数量、提高诊断自动化水平,同时需要集成影像存储与通信系统（Picture archiving and communication systems, PACS）以及电子病历系统（Electronic medical record systems, EMRS）,以便在日常临床实践中应用。     

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

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