基于基元关系模型的C++程序静态分析器

分析了面向对象软件测试和度量的特点,结合面向对象程序的性质提出了描述程序基本组成元素之间关系的基元关系模型(ERM),介绍了从基于MFC(Microsoft Foundation Class)的Visual C+ +6.0源程序中构造ERM模型的算法,据此构造了一个基于基元关系模型的VC+ +6.0程序静态分析器.对分析器实现中采取的名称空间符号表、增量式开发和增量式分析等关键技术进行了介绍.实践证明,该分析器可以高效正确地提取出模型中描述的各种关系,有助于面向对象软件测试和度量方面的进一步研究.      

嵌入式红外视频数字录像机的设计与实现

设计并实现了嵌入式红外视频数字录像机.它基于PC/104Plus体系结构,实现了PCI数据传输,在FPGA(Field-Programmable Gate Array)的控制下、使用2个存储单元轮换存储方式硬件化地实现了红外视频采集与数据传输、红外视频播放与数据传输的并行操作.该录像机人机界面友好,文件管理完善.      

可视化建模语言编辑器的自动生成和配置技术

可视化建模语言是采用图形方式对系统/软件进行描述的语言,可视化建模语言编辑器为其使用提供了工具支持.不同编辑器存在的共性使得可视化语言编辑器自动生成和配置成为可能.基于理论研究和编辑器开发的实践经验,提出了自动生成和配置相结合的可视化建模语言编辑器开发的总体框架以支持编辑器的快速开发,定义了一套支持静态语义的可视化建模语言描述方法RM.RM采用基于规则的形式化描述方法来描述可视化建模语言的语法和编辑器的特性,采用MOF(Meta Object Facility)来描述可视化语言的静态语义.最后,设计实现了可视化建模语言编辑器开发环境Veda,验证了总体框架和描述方法的可行性.      

软件GNSS信号模拟器架构与中频信号生成

软件GNSS(Global Navigation Satellite Systems)信号模拟器对于GNSS接收机的高效研发将做出重要贡献,因其结构灵活、开放性以及低成本.以GPS/Galileo组合系统为例,讨论了软件GNSS中频信号模拟器的架构,主要功能模块包括卫星星座仿真、接收机轨迹生成、传播通道特性仿真(包括电离层模型、对流层模型、多径模型等)、数字中频信号生成.在此基础上,着重阐述了数字中频信号生成模块的实现,功率谱图及分析结果验证了所生成的信号,包括GPS L1 C/A,Galileo E1 CBOC(Composite Binary Offset Carrier),Galileo E5a和E5b信号.     

基于内容的可视化多媒体查询语言的设计

设计了一个基于内容的可视化多媒体查询语言CBVMQL(Content-Based Visual Multimedia Query Language),该语言将语义表达、概念化定义、面向对象的语义表示和图像示例有机地结合起来,不仅提供了一个自然的可视化查询接口,而且也支持通过自动查询生成来精确地操纵信息.同时,它还结合多媒体的内容信息,实现了基于内容的多媒体查询.     

提高HDL综合质量的探讨

提出了EDA工具QuartusⅡ和LeonardoSpeetrum组合方式在Altera公司CPLD器件开发中的应用．解决了目前集成电路设计的复杂和门级电路不易管理的一些问题。同时给出了可编程逻辑器件的开发流程以及在设计思路和语言使用上来简化、优化电路设计以提高HDL综合质量的几点探讨。     

色高斯噪声背景下相干信源DOA估计

为在色高斯噪声背景下估计相干信源DOA,提出一种基于四阶累积量的相干信源DOA估计算法。对各个阵元接收数据与参考阵元接收数据的四阶累积量进行排列,构造Toeplitz矩阵,该矩阵的秩仅等于信号个数,而与信号间的相干性无关。通过特征值分解得到信号子空间和噪声子空间,从而实现相干信源DOA估计。仿真实验结果表明,在色高斯噪声背景下,此算法能有效地估计出相干信源的DOA,并且相对于空间平滑算法具有更好的估计性能。     

基于labview的冷弯型钢机组力学性能测量系统

根据冷弯型钢机组的实际条件,利用传感器电测法来测量冷弯型钢机组的力能参数系统,以建立对机组的轧制力、主轴扭矩及转速的实时状态监控.同时实现机组运行时轧制力、主轴扭矩及转速这三部分力能信息的显示和存储,以供调出分析系统性能之用,甚至可以用来进行机械的故障诊断.将物理信号转化为电信号利于传输和数据处理,与虚拟仪器的软件部分...     

基于Modelica的载人航天器环热控系统建模仿真

为了给载人航天器乘员营造一个良好的生活工作环境,需要将众多空气环境参数控制在指标范围内。文章结合载人航天器专业知识,基于Modelica统一建模语言建立了一种载人航天器环热控系统仿真分析模型;利用该模型仿真分析了温湿度控制风机取不同转速时,载人航天器空气环境参数随乘员代谢水平的变化趋势。结果表明:在其他参数不变的情况下,温湿度控制风机转速越大,空气温度越低,相对湿度越高;乘员代谢水平变化对空气环境参数有显著影响,通过调节系统运行参数可将各空气参数有效控制在指标范围内。舱体温度与氧分压、二氧化碳分压、舱体相对湿度有密切关系且相互影响,不可单独分析。     

星载稀布L阵对地面辐射源的高精度测向研究

在均匀分布和非均匀分布两种情况下,采用二维MUSIC算法研究了星载稀布L阵列的地面辐射源测向精度。对地面辐射源方位估计、小角度辐射源分辨率,以及测向精度的分析和仿真结果表明,星载L型阵列能实现对地面辐射源的高精度二维测向。在相同条件下,非均匀阵的测向性能明显优于均匀阵。