检索结果-南通市图书馆

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

基于模型检验的分级调度系统参数生成方法

西北工业大学学报 2019年第6期37卷 1302-1309页

作者：韩朴杰翟正军陆艳洪李运喜西北工业大学计算机学院陕西西安710072 航空工业西安航空计算技术研究所陕西西安710068

针对综合模块化航空电子(IMA)分级调度系统中的分区参数优化问题,提出了一种基于模型检验的参数生成方法。该方法结合了传统符号模型检验和统计模型检验(SMC)技术,构建一个通用的时间自动机网络来描述分级调度系统的时间行为,在确保系... 详细信息

针对综合模块化航空电子(IMA)分级调度系统中的分区参数优化问题,提出了一种基于模型检验的参数生成方法。该方法结合了传统符号模型检验和统计模型检验(SMC)技术,构建一个通用的时间自动机网络来描述分级调度系统的时间行为,在确保系统可调度性的前提下,采用分布式遗传算法搜索具有最优处理器利用率的参数。其中,系统的可调度性约束表述为符号模型检验中的安全性属性和统计模型检验中的假设检验2种形式。相比广泛应用的响应时间分析模型,该方法的形式化模型具有更强的表达能力,能更精确地描述复杂系统特征。而且统计模型检验的引入缓解了传统模型检验的“状态空间爆炸”问题。参数生成实验表明该方法能够定位参数空间中的全局最优解。

关键词：综合模块化航电分级调度参数生成时间自动机统计模型检验分布式遗传算法

在线全文

学校读者我要写书评

暂无评论

一种边缘保持的地震数据插值方法

地球物理学报 2012年第3期55卷 991-997页

作者：陆艳洪陆文凯翟正军西北工业大学计算机学院西安710072 清华大学自动化系智能技术与系统国家重点实验室清华信息科学与技术国家实验室(筹) 北京100084

在地震数据处理中,地震数据插值方法常常用来解决地震数据空间采样率低和不规则的问题.本文提出了一种基于边缘保持滤波器的地震数据插值方法.在该方法中,对于一个1D信号,逐点滑动一个处理窗口,将信号分成多个信号片段.对于某一个待恢... 详细信息

在地震数据处理中,地震数据插值方法常常用来解决地震数据空间采样率低和不规则的问题.本文提出了一种基于边缘保持滤波器的地震数据插值方法.在该方法中,对于一个1D信号,逐点滑动一个处理窗口,将信号分成多个信号片段.对于某一个待恢复的缺失采样点,存在多个包含(或邻近)该采样点的信号片段可以用来估计它.采用多项式来拟合这些信号片段,并选择拟合误差最小的信号片段估计此缺失采样点,达到边缘保持的目的.对于2D地震信号,先沿不同方向扫描抽取1D信号,然后采用上述1D边缘保持插值算法分别进行处理,得到沿不同方向的插值结果.对于任一待插值采样点,选取对应拟合误差最小的方向的插值结果作为最后输出的2D数据的插值结果.理论模型和实际资料的处理结果表明,所提方法具有保边缘、抗假频及能够进行不规则数据重建等特点,既能有效的实现不规则地震数据的重建,又能很好的保持原有数据的边缘特征.

关键词：插值不规则地震数据边缘保持最小拟合误差抗假频

在线全文

学校读者我要写书评

暂无评论

基于四元数的动基座对准算法

弹箭与制导学报 2008年第2期28卷 70-72页

作者：陆艳洪翟正军西北工业大学计算机学院西安710072

四元数法是研究空间几何问题的一种简单方法,文中介绍了四元数的基本概念及性质,在说明了动基座对准基本原理的基础上,讨论了四元数法在动基座对准技术中的应用。该技术具有线性化程度高、计算速度快等特点。

关键词：四元数欧拉角动基座对准

一种基于四阶统计量的语音有声/无声检测技术

在线全文

学校读者我要写书评

暂无评论

计算机工程与应用 2008年第2期44卷 222-223页

作者：陆艳洪姜红梅西北工业大学计算机学院西安710072

语音有声/无声检测是影响语音增强和识别性能的一个关键因素,提出一种鲁棒的基于四阶统计量的语音有声/无声检测技术。利用语音信号的振幅谱是超高斯分布的特性,对每一帧语音信号的振幅谱,计算其四阶统计量,用来度量其超高斯性。结合该... 详细信息

语音有声/无声检测是影响语音增强和识别性能的一个关键因素,提出一种鲁棒的基于四阶统计量的语音有声/无声检测技术。利用语音信号的振幅谱是超高斯分布的特性,对每一帧语音信号的振幅谱,计算其四阶统计量,用来度量其超高斯性。结合该帧语音信号的能量,使用一个简单的阈值分类器,实现语音"无声"和"有声"期的检测。所提出的语音有声/无声检测技术,经实验证明具有很好的效果。

关键词：有声/无声检测语音增强四阶统计量

在线全文

学校读者我要写书评

暂无评论

某机载雷达测速精度的验证算法研究

弹箭与制导学报 2006年第S5期26卷 311-312,330页

作者：程华陆艳洪翟正军西北工业大学计算机学院西安710072

为了验证机载雷达探测雷达目标时所得到数据的精度,文中在分析84坐标系和地理坐标系转换关系的基础上,介绍了坐标系之间的转换矩阵,并通过计算目标机GPS所测得的目标机速度与载机雷达所测得的目标机速度的偏差,实现了机载雷达测速精度... 详细信息

为了验证机载雷达探测雷达目标时所得到数据的精度,文中在分析84坐标系和地理坐标系转换关系的基础上,介绍了坐标系之间的转换矩阵,并通过计算目标机GPS所测得的目标机速度与载机雷达所测得的目标机速度的偏差,实现了机载雷达测速精度的验证算法。

关键词：全球定位系统载机雷达地理坐标系 84坐标系

基于VSM中间件的分布式试验与测试系统的通信技术

在线全文

学校读者我要写书评

暂无评论

计算机应用研究 2003年第7期20卷 26-27,79页

作者：陆艳洪马捷中杜承烈翟正军西北工业大学计算机科学与工程系陕西西安710072

测试产品的复杂程度和现代化程度的不断提高,使得其设计、研制和维护日益依赖于先进的试验与测试手段。针对分布式测试系统的大流量和高实时性特点及对透明数据交互的需求,在比较了现有的几种通信方法的优缺点基础上,采用虚拟共享内存... 详细信息

测试产品的复杂程度和现代化程度的不断提高,使得其设计、研制和维护日益依赖于先进的试验与测试手段。针对分布式测试系统的大流量和高实时性特点及对透明数据交互的需求,在比较了现有的几种通信方法的优缺点基础上,采用虚拟共享内存中间件来构造分布式测试系统。阐述了虚拟共享内存中间件的结构、功能及如何利用虚拟共享内存中间件来实现分布式试验与测试系统的数据通信。

关键词：分布式试验与测试系统虚拟共享内存中间件通信

用Numega DriverStudio设计Windows NT设备驱动程序

在线全文

学校读者我要写书评

暂无评论

计算机应用与软件 2003年第4期20卷 60-62页

作者：马捷中陆艳洪王朝晖翟正军西北工业大学计算机科学与工程系西安710072

Windows NT以其高度安全性和全新体系结构,而成为许多应用系统的首选操作系统平台,开发Windows NT下的驱动程序已成为应用系统开发的难点之一。本文简述了驱动程序的生成、调试、安装方法,系统介绍了用Numega DriverStudio设计Windows N... 详细信息

Windows NT以其高度安全性和全新体系结构,而成为许多应用系统的首选操作系统平台,开发Windows NT下的驱动程序已成为应用系统开发的难点之一。本文简述了驱动程序的生成、调试、安装方法,系统介绍了用Numega DriverStudio设计Windows NT的设备驱动程序,包括多板同机、驱动程序与应用程序的I/O通信和中断事件通知,在此基础上可以编写实用的Windows NT设备驱动程序。

关键词： NumegaDriverstudio WinodwsNT 设备驱动程序 VC++6.0 程序设计 I/O控制代码操作系统源代码

总线数据采集系统事后分析处理软件设计与实现

在线全文

学校读者我要写书评

暂无评论

测控技术 2012年第11期31卷 84-87页

作者：羊昌燕翟正军陆艳洪西北工业大学计算机学院陕西西安710072

分析了总线数据采集系统事后分析处理软件的需求,设计了软件的总体结构,确定了软件的模块组成。为减少重复开发,设计了采集系统的数据存储方案,使将来开发研制的采集系统,只要按照该存储方案存储数据,便可以利用该事后分析处理软件实现... 详细信息

分析了总线数据采集系统事后分析处理软件的需求,设计了软件的总体结构,确定了软件的模块组成。为减少重复开发,设计了采集系统的数据存储方案,使将来开发研制的采集系统,只要按照该存储方案存储数据,便可以利用该事后分析处理软件实现其采集数据的事后分析处理功能,无需二次开发。描述了事后分析处理软件各模块的功能和实现方法;采用MFC实现,利用了TeeChart控件。设计实现的数据采集系统事后分析处理软件通用性强、操作简单,效果良好。

关键词：总线数据采集系统事后分析处理 TeeChart

基于ICD配置的航电总线测试软件自动生成方法研究

在线全文

学校读者我要写书评

暂无评论

测控技术 2011年第11期30卷 84-87页

作者：韩晓东翟正军陆艳洪西北工业大学计算机学院陕西西安710072

为了提高航空电子总线数据采集软件的开发效率和可靠性,降低测试和仿真工作的复杂度,对当前主要的软件自动生成方法进行了分析比较和研究,并将其应用到航电总线数据采集软件中。设计了接口控制文档(ICDi,nterface control document)数... 详细信息

为了提高航空电子总线数据采集软件的开发效率和可靠性,降低测试和仿真工作的复杂度,对当前主要的软件自动生成方法进行了分析比较和研究,并将其应用到航电总线数据采集软件中。设计了接口控制文档(ICDi,nterface control document)数据库、知识库、类型库和词法分析器,采用XML模板生成、XSD模板验证和模板解析实现自动生成航电总线测试软件。设计实现的软件自动生成工具能够根据输入的ICD自动生成航电总线数据采集系统通信模块代码,并且代码质量可以得到保证。

关键词： ICD数据库知识库词法分析器 XML模板 XSD模板