基于ROMS模型的水声信道建模仿真

复杂多变的海洋环境是影响声呐性能的主要因素,水下声场的计算对声呐布放、航路规划等反潜工作具有指导意义。本文基于ROMS模型对海洋数据进行模拟,并使用并行化技术改进后的BELLHOP模型对其进行仿真,实现对水下声场的快速预报。文章通过实验验证了该方法的可行性以及结果的准确性,利用并行化技术改进后的计算速度也有显著提升。仿真实验表明,此方法可以快速准确地预报水下声场,对声呐设备的工作具有评估和指导作用,为后续反潜作战方案制定提供了数据参考。

基于平方根分解的干扰加噪声背景下距离扩展目标子空间检测器

研究了子空间干扰加未知噪声背景下的距离扩展目标检测问题.将目标和干扰均建模为已知子空间内具有未知坐标的信号,且目标信号子空间包含在干扰信号子空间内.利用一组包含干扰和噪声的辅助数据估计干扰协方差矩阵,采用平方根分解方法变换干扰矩阵结构,进而求解干扰坐标协方差矩阵、噪声功率和目标信号坐标的最大似然估计,基于一步法设计策略建立广义似然比检验检测器.理论分析表明,所提出的检测器对干扰加噪声的协方差矩阵具有恒虚警率特性.仿真分析表明,在与目标信号相关的干扰加未知噪声背景下,所提出的距离扩展目标子空间检测器的检测性能优于已有对比检测器,且能有效抑制不同功率的子空间干扰信号.

周期性任务调度的装箱算法

针对基于时间触发的CAN控制系统,给出了确定周期性任务表中的基本周期的两种策略,提出了构造周期性任务调度表的下次适应、降序下次适应、最佳适应和降序最佳适应四种算法,分析了这四种不同算法的时间复杂度和最坏渐近性能比,最后对不同规模下的四种算法进行了仿真比较,结果表明文中给出的四种算法效果均优于经典的一维装箱算法。

水下目标探测效能评估建模

现代海上军事任务中已逐步形成天基、空基、水面和水下一体化作战体系,水下目标的探测作为海上军事活动的重要组成部分,其探测效能的优劣影响到任务的完成率。为评估水下目标的探测效能,本文建立水下目标探测效能评估指标体系,通过仿真获取方案的数据并计算效能评估指标值,使用层次分析法(AHP)计算效能评估指标权重,进而评估方案,实现水下目标探测效能的评估。仿真验证结果表明,评估结果对水下目标探测效能的评判具有一定参考价值。

多机吊放声呐搜潜航路规划建模仿真

为解决传统的单机方形拓展存在的直升机留空时间短、吊放点数少、搜索面积小等问题,结合直升机实际运动特点和吊放声呐搜潜特点,建立了一种多机协同吊放声呐探潜航路规划模型,采用蒙特卡罗方法仿真分析了不同潜艇散布概率条件下的探潜效能,仿真结果验证了模型的有效性;分析了不同潜艇航速、延迟时间和吊放点数对搜潜效能的影响,为指挥员进行多机反潜协同作战提供理论依据。

小卫星星务综合模拟测试系统

本文分析了小卫星星务综合模拟测试系统的特点和性能,借助模拟测试系统的硬件结构,给出了动态的请求/应答关系并且讨论了监测数据信号的定义和解决方法。通过小卫星,介绍了该方法的实现且证明了其有效性。

TTCAN周期性任务的优化调度算法

TTCAN周期性任务调度是最优装载问题的推广,它在通信时间关键的实时分布式系统中有着很强的应用背景.本文提出了4种确定基本周期的策略,给出了首次适应和最佳适应两种不同的可以在多项式时间内构造出TTCAN周期性任务调度表的算法,最后对不同规模下的两种算法的实验结果进行了比较,指出了两种算法在不同的周期策略下的渐近性能比.

移动计费系统中数据异常的预防与检测

为了满足移动计费应用的基本要求,需要将大批量的基本数据常驻内存。分析了内存中 数据异常产生的原因,在借鉴数据通信中的CRC技术的基础上,探讨了在内存数据管理中,采用在每 个数据片断上都设置一个校验码的方式,进行内存数据一致性的检查,结合传统数据库的日志技术和 检查点技术,给出了实现内存数据异常检测和预防的基本方法。

基于System C的星载计算机系统设计

分析了小卫星星载计算机系统的公共需求及其应用的特殊性,给出了典型小卫星星载计算机系统的通用体系结构;提出了基于System C的星载计算机系统的设计方法。通过与传统的星载计算机系统设计方法的对比,提出的基于System C的设计方法可使星载计算机系统的研发周期缩短,设计质量获得较大的提升。同时结合实际工程经验,给出了星载计算机系统软硬件协同设计的基本步骤。

基于日志的脏数据检测与恢复

由于性能和其他要求,存在一类特殊的应用,它们要求大批量数据常驻内存,并直接在内存中对数据进行存取访问,增加内存中产生脏数据的可能性。该文对内存中的脏数据进行了分类,并结合传统数据库的日志技术和检查点技术,给出了脏数据的预防、静态检测和恢复的基本方法。该方法在移动计费系统中得到了应用。

小卫星柔性测试床设计与实现

分析了小卫星地面综合测试系统的特点和功能,通过对几种型号小卫星系统的研究,给出了柔性测试床的软硬件体系结构,阐述了柔性测试床星上和地面两部分的设计思想,主要介绍了通信参数的动态配置、TM数据信号的定义与解析的实现方法。小卫星柔性测试床已成功应用于三颗小卫星系统的研制,并取得了明显的应用效果。

多距融合室内定位算法研究

目前WiFi在室内环境中使用频次高,用户在通过两个相邻AP时会发生AP切换,并累计产生大量WiFi访问日志。WiFi日志中包含定位所需的接收信号强度指示符,在定位系统中直接利用WiFi访问日志中的数据,将极大地简化定位部署复杂度。文中提出了一种在两个相邻AP环境下,基于WiFi日志的多距融合室内定位算法,并通过实验仿真将新算法与路径损耗模型定位方法进行对比。实验结果表明,新算法具有易部署、低成本、低复杂度等特点,当训练样本个数达到300时即可达到稳定定位效果。

一种面向任务关键系统的RISC风格的协作构架

1.引言 相互协作完成某一任务是许多信息系统都具有的特征,任务导向及安全临界(MSC,Mission and Safety CriticalSystem)系统也不例外.从软件工程的角度考虑,具有良好特性的协作构架对构建MSC系统是非常必要的.

内存异常数据的检测与恢复

1.引言 在计算机应用领域,存在一类应用,要求系统满足一定的实时性要求,较高的性能,较好的容错能力.这类应用的一个重要特征就是业务关键(mission critical),所涉及的数据量大,比如电信计费、军事指挥控制、银行业务处理等等.

基于时间触发的CAN协议任务调度优化算法

在基于时间触发的CAN协议的实时分布系统中,时间触发的CAN协议的任务调度是一个重要的问题。一种多项式时间复杂度的优化算法被提出来构造调度表,其基本周期有4种假定情况,其中在实验中给出了每种算法的渐近性能比,并证明折衷周期算法的性能要优于其它三种算法。

基于路径的软硬件划分算法

软硬件划分是嵌入式系统中的一个关键问题。本文给出了一种贪心算法来搜索问题的最优解。本算法未考虑相邻任务之间的通讯开销。实验结果表明,任务数目的多少对加速比影响不大,影响加速比的关键因素就是硬件的有效面积。

基于EER模型的数据库用户的需求描述语言——DBURDL

文中介绍了一个面向数据库需求分析阶段的数据库用户需求描述语言,着重在用受限自然语言描述用户需求以及DBURDL的语法结构等方面阐述了作者的观点.提出了语法制导引导用户逐步完成需求描述的思想.讨论了多元联系的表达方式,详尽介绍了DBURDL的语法规则.

基于复指数矩的模糊聚类分形编码研究

在分形图像编码过程中,搜索每个R块的最优匹配D块所需要计算量相当可观,从而导致编码时间过长.图像像素块的复指数矩具有平移、旋转、缩放等多畸变不变性,这种多畸变不变性与图像的分形特性相契合,并且可以利用快速傅里叶变换实现.本文提出基于复指数矩和模糊聚类的快速分形编码方法,根据D块的复指数矩不变量利用模糊聚类对D块进行分类,进一步根据R块的复指数矩不变量寻找最优匹配的D块.实验表明,与其它方法相比,该快速分形编码方法在保持解码图像质量不变的同时,大大提高了分形编码的速度.

Java动态类加载分析

动态类加载是Java的一个重要功能,它支持Java在运行时安装程序组件。Java的动态加载具有惰性加载、用户自定义加载策略以及动态名字空间等新特征。本文详细讨论了Java的动态加载机制,研究了动态加载与Java平台安全性之间的关系,分析了针对类加载的典型攻击,讨论了形式化验证的方法和存在的相应问题,最后总结全文并指出进一步研究的方向。

Java虚拟机动态类加载的形式化模型

Java虚拟机支持一种功能很强的动态加载类的机制,它具有惰性加载、类型安全连接、用户自定义加载策略、以及动态名字空间等特性。但是,在Java的早期实现(JDK1.0和1.1)中,这种机制包含了一种称为类型欺骗的严重设计错误。尽管JDK1.2通过引入一种类加载约束策略修正了这个错误,但是由动态加载引起的其它形式的类型欺骗仍然存在于JDK1.2和1.3中。本文详细讨论了与动态类加载相关的类型欺骗问题,提出了一个严格定义Java虚拟机操作语义和静态语义的形式化模型。其中,操作语义描述了类加载约束策略、字段及方法解析算法等类加载的主要特性;静态语义采用类型规修正了JDK1.2和1.3中的类型欺骗。