AADL 测试模型的构造研究

目前,结构分析和设计语言AADL在任务关键嵌入式系统领域有着良好的应用.为了保障任务关键软件的质量,文章提出基于AADL测试模型对AADL设计模型进行测试,以发现设计模型中存在的错误.研究给出了体现系统拓扑结构的AADL测试模型的形式定义及由AADL构造该测试模型的算法,基于该测试模型可以对AADL设计模型中构件交互的输入、输出端口序列和连接的正确性进行测试,并以飞行控制系统的AADL设计模型为例,阐释了研究成果.     

自适应噪声谱估计抵消技术及其应用

为扩大虚拟暗室EMI(electromagnetic interference,电磁干扰)测试系统的应用范围,提高系统测量精度,改善其在复杂环境下的测试效果,借助自适应滤波及维纳滤波理论对基于传统自适应噪声抵消模型建立的测试系统进行分析,传统测试系统的参考通道存在的设备辐射分量制约了系统应用范围,从而不能实现任意信噪比环境下的高精度测量.同时,提出基于谱估计的自适应噪声抵消模型,该模型建立的虚拟暗室系统通过对测试系统主通道信号进行谱估计,得到设备辐射信号及噪声信号的功率谱密度,并根据该功率谱密度对参考通道信号进行针对性抑制,以滤除参考通道辐射信号分量,从而提高测试系统的适用性及精度.仿真实验表明:该方法在高、低信噪比环境下均能准确地提取设备辐射信号并准确复现受试设备的辐射信号,提高了虚拟暗室系统对环境噪声的抑制能力,增强了虚拟暗室系统的环境适应性.     

光纤陀螺漂移的数据分析及建模

设计了应用于陆用捷联惯导系统中的干涉式光纤陀螺(IFOG)的数据采集系统,对IFOG进行了测试,给出了测试曲线.采用Allan方差法对IFOG的测试数据进行了分析,辨识出了各项随机误差系数.此外,采用时间序列分析方法,建立了IFOG的随机漂移误差模型.所得结论为改进IFOG设计及实际应用中对IFOG的误差补偿奠定了基础.     

一种面向对象的信息系统安全评估方法

安全评估是进行信息系统安全风险管理的重要途径,但安全评估目前缺乏有效的方法及工具. 通过利用面向对象的技术,建立了安全评估对象模型,提出了关联检测和依赖检测的概念,并开发了相应的工具. 应用结果表明,利用面向对象技术可以有效提高信息系统安全评估效率,同时关联检测和依赖检测也改进了穿透测试的效果.     

关键安全性分布嵌入式系统测试平台研究

研究基于PC和嵌入式系统的关键安全性分布嵌入式汽车控制系统的测试平台的设计开发.针对不同软、硬件架构的分布嵌入式系统在其关键安全性能上的仿真实验, 探索构架安全性系统的最优化体系结构. 以具有自容错功能的汽车自适应巡航定速系统为例, 分析本测试平台对关键安全性系统的研究及评估. 开发了汽车的动态仿真模型、高速公路交通流量模型和汽车驾驶员模型, 且进行了相应的仿真验证确保所开发的系统模型能较接近实际运用系统及应用环境. 通过所开发的集成仿真环境可进行不同的设置, 能有效模拟外界不确定因素对测试系统的干扰及其交通流量情况, 反映被测试的关键安全性系统的可靠性能. 该测试平台能为无法进行实际测试运行的关键安全性系统的研究提供有效的仿真实验支持.     

基于虚拟机的嵌入式软件仿真测试环境

为了提高嵌入式软件的质量和可靠性,提出了一种基于虚拟机的嵌入式软件仿真测试环境.将虚拟机技术引入到嵌入式软件仿真测试领域中,介绍了嵌入式软件仿真测试环境的构成原理,并对虚拟机技术进行了分析,提出一种基于程序移植虚拟机模型扩展的嵌入式软件仿真测试虚拟机（ESSTVM）,给出了内存管理和指令系统的设计方案.将ESSTVM应用到航电嵌入式软件系统测试环境AESSTE设计中,研究了该测试环境的体系结构,阐述了测试开发系统及测试执行系统的设计与实现,并对AESSTE的可移植性进行了分析.分析结果表明,该方法能有效提高嵌入式软件测试环境的通用性、可移植性和可维护性.     

BP-ANN工业蒸汽计量系统研究与应用

提出基于人工神经网络工业蒸汽计量测试技术,建立了过热蒸汽密度和密度焓积的双输出人工神经网络模型,实现了质量流量温度、压力补偿及热流量测量,在工业蒸汽常用的工作范围内建立了基于人工神经网络模型工业蒸汽质量流量和热流量的间接测量系统.并采用计算机模拟误差分析方法对此测量系统进行误差分析,确保了本系统的应用可靠性.     

基于BIM的建筑项目运维过程风险管理研究

运维过程是建筑项目全生命周期的关键阶段,更好地对运维过程中可能出现的风险进行管理就显得十分重要.通过研究指出传统运维阶段风险管理中存在的问题并建立了传统运维风险管理模型,利用BIM技术在运维阶段风险管理中的优势,构建了基于BIM的风险管理模型.对两种模型进行比较分析,得出了BIM技术在风险管理方面具有巨大优势,能够极大地提高建筑项目的经济效益.     

Web应用中的ReDoS检测方法研究

该文分析了一种Web应用中新型的拒绝服务攻击-正则表达式拒绝服务攻击.在深入分析形成的原因和机理的基础上,该文提出了一个防范此攻击的检测模型.该模型从静态分析人手,检测网页源代码中可能存在的有漏洞的正则表达式,从渗透测试的角度对提取到的正则表达式进行动态测试,给出相应的漏洞防范措施,从而确保Web应用系统的可用性.     

基于贝叶斯网络推理的项目群风险及其演化研究

本文探讨了集群环境下的群风险问题,从复杂系统理论出发,遵从认识发展的辩证规律,提出了基于"群"视角的风险管理理论框架,并应用贝叶斯网络推理进行了群风险演化分析.同时,结合项目群给出了应用实例,对项目群环境下实现高效的风险管理进行了有益的探索.     

触屏手机软件可靠性测试与评估

通过分析可靠性理论与触屏手机软件测试的联系,建立了可靠性评价模型.制定了测试规范,设计了相关测试参数.分析了手机软件可靠性测试系统的组成,并制定了测试流程.对5组测试对象进行实际测试,记录测试结果,并对其进行分析处理与评估.     

基于任务模块的实时软件可靠性模型

根据实时多任软件的特征和各任务所占系统时间的非均匀分布,以任务模块为基本测试单元,提出一种实时多任务软件可靠性评价模型。由于任务周期、任务切换方式、切换频率以及任务故障率等基本参数易于分析和测试,因此该模型具有良好的可实现性和可扩充性,为实时多任务软件的可靠性评价开辟了一条新途径。     

UML2.0 Testing Profile到TTCN-3的映射研究

分析了U2TP与标准化测试描述语言测试和测试控制标记法之间的对应关系,提出了一种从U2TP到测试和测试控制标记法的映射方法,并给出了一个图书馆借阅系统的应用实例.应用该映射方法,可在建模初期基于系统模型构造完整的测试思想,从而在初始阶段就能够有效限定测试例的数量并产生真正有价值的测试例.     

大型发电机组基础动力特性有限元分析及试验研究

在分析国内外大型汽轮发电机组系统动力特性研究现状的基础上,从动力学模型的研究着手,采用不同的计算模型,对国内某大型燃气机发电机组基础的动力特性进行了深入、系统的研究.结合目前比较先进的模态测试技术与分析方法,进行了室内模型试验与现场测试.通过动力学模型计算结果、模型模态试验结果以及现场实测结果的比较分析,证明了计算方法、试验方法与测试分析方法的正确性,并确定了最佳的动力学模型.     

惯性导航中加速度计和陀螺仪性能研究

研究了惯性导航中加速度计传感器和陀螺仪传感器性能.分析加速度计和陀螺仪的误差来源,并提出误差模型,进行误差补偿.提出了加速度计传感器惯性导航系统算法,并结合结合车辆系统动力学模型,对算法进行了仿真和实车测试.仿真和测试结果和常规惯性导航系统所采用的陀螺仪方案进行对比分析,从而验证了加速度计惯性导航算法的相对有效性.     

项目投资风险管理体系模型研究

首先分析了项目投资管理、风险管理和信息管理的作用、内容和程序,得出了三者的内在关系;其次提出包括风险管理战略、风险管理程序、风险管理组织、风险管理方法、风险管理制度和风险管理文化的项目投资风险管理体系,分析了其构成要素的功能及设置方案;最后依据构成要素间的逻辑关系构建了项目投资全面风险管理模型.     

基于软件缺陷模型的测试系统

设计并实现了一种基于软件缺陷模型的测试系统（DTS）. 对常见软件缺陷模式进行了分类、分析和总结. 基于状态机提出了软件缺陷模式的描述方法及统一测试框架,提出通过区间运算来减少测试的误报和提高测试精度. 与同类工具比较表明, DTS具有效率高和误报少等特点.     

基于LabVIEW的电位器线性度性能测量系统的研制

在分析目前测试电位器方法的基础上,设计了一种新的测试系统.该系统在硬件方面,采用马达控制器和马达驱动器来控制马达的运动,保证了转动速度和转动角度的稳定性;在数据采集方面选用数据采集卡DAQ采集编码器的输出数据送入计算机进行处理和最终输出;在系统软件方面,利用LabVIEW开发平台来实现DAQ数据采集和仪器控制,设计了测试系统用户操作界面,编写了相应的测试系统功能模块,实现了测试结果的评价、显示及保存等功能,达到了完成测试任务的目的.对系统的测试与在生产实践中的运行表明,该系统可以实现测试自动化,同时可以避免人为误差,满足量产的需求.     

开放式基金风险管理的有效工具——VaR模型

开放式基金的迅猛发展需要对其风险进行有效的管理.VaR模型是开放式基金风险管理的有效工具.说明VaR的定义,阐明VaR的计算原理,讨论VaR模型的3种计算方法及其优缺点和适用范围,最后探讨VaR模型在开放式基金风险管理中的应用.     

自动测试系统分类及测试需求分析

在各种信息化技术的支持下,自动测试系统的服务功能正在不断地完善,为相关的有效解决带来了可靠的参考依据.有效地使用自动测试系统,可以完成故障检测与定位、设备调试等方面的工作.不同阶段的自动测试系统实际的应用范围及应用效果有所差异,客观地体现了这种测试系统对于相关行业发展的重要性.基于此,本文将对自动测试系统分类及测试需求进行必要地分析.