一种针对嵌入式系统的安全性分析方法

嵌入式系统广泛应用于安全关键的工业领域,但目前嵌入式系统的安全性缺乏整体性的分析。为此,提出了一种较为全面且融合了失效概率及失效路径的嵌入式系统的故障演化链分析方法。对系统采用层次分析法,借鉴失效模式和影响分析的方法,构建出故障的演化关系链条,即故障演化链。利用故障演化链可以对系统中可能包含的故障、故障产生的原因、故障带来的危害等级及故障的传播路径进行分析。在2个嵌入式软件系统上进行实验,结果显示：基于故障演化链方法比故障影响分析、功能危害性分析和故障树分析更全面,故障演化链的方法能较好地对嵌入式系统进行安全性分析。     

基于知识集成模型的产品快速设计

为提升现有CAD(Computer-Aided Design)系统对设计知识的重用能力,提出 了设计知识的分层描述和集成建模方案,并给出了具体实施方法.将设计知识划分到构型层 、设计层和造型层3个抽象层次,基于UG(Unigraphics)平台的知识熔接语言(KFL,Knowl edge Fusion Language)和Open++实现了各层设计知识的描述与集成.构建了知识集成模型 的创建和重用支撑系统框架.作为应用实例,在UG平台上开发了专用减速器快速设计系统.      

面向领域的模型驱动智能表单系统的框架设计

表单是信息系统中信息传递的载体.为提高信息系统的开发效率,实现对已有系统的复用,并能够方便地提供原型系统,使业务管理人员更好地介入系统的开发,分析和研究了传统的表单开发方式和目前市场上的智能表单系统,以软件复用的软件工程和模型驱动架构(MDA, Model Driven Architecture)思想为指导,以领域建模为基础,借鉴已有的智能表单系统,提出了一种面向电子政务领域的以业务对象库为基础的模型驱动智能表单系统的开发方法,设计了采用XML语言进行描述的表单模型定义和采用Web服务与MBean技术的表单模型处理引擎的松耦合系统总体结构,并对该设计进行了详细的介绍.      

基于工厂机制的Air-SeaSim CGF模型系统

针对仿真模型可重用性不足的问题,以海空对抗战术仿真为背景,设计了一种基于工厂机制的Air-SeaSim CGF(Computer Generated Forces)仿真模型开发系统.遵循"自底向上"的开发原则,构造了由模型层、对象层、服务层和应用层构成的Air-SeaSim CGF模型系统软件体系结构.基于工厂机制的实体模型设计,对CGF实体进行适当的分解,抽象出满足仿真需求的模型,以组件形式表示,通过定义组件接口实现实体模型的快速组装及其功能的扩展.系统应用效果表明,通过工厂机制开发技术设计的Air-SeaSim CGF实体模型,集成了不同粒度组件的仿真模型,实现了实体模型行为组件在不同兵力模型建立过程中的共享和组合,简化了用户的定义,有利于模型的统一开发.     

一种基于容腔节点的液压系统建模语言及实现

为实现直观面向系统原理图对液压系统建模,提出了一种基于容腔节点法的液压系统建模语言和一套新的建模语言描述规则,并阐述了利用该建模语言进行程序实现的方法.该建模语言将液压系统的拓扑结构抽象成具有容腔节点和元件节点的图形结构.液压元件模型独立封装,可模块化使用.在建模语言描述规则的基础上,生成容腔节点与元件节点的连接矩阵.所有节点和连接矩阵构成了系统的整体模型.通过典型智能液压泵系统建模过程,验证了该建模描述语言的正确性和有效性.结果表明:该基于容腔节点的液压系统建模语言可方便建立符合液压系统原理的拓扑图,并面向系统原理图自动生成系统模型.      

一种面向工业互联网的云存储方法

工业互联网是工业信息化进程中最受关注的热点,海量异构数据管理是其中的重点之一。传统的关系数据库（RDB）对海量多源异构数据的读写和检索都存在性能瓶颈,而近年来兴起的云数据管理方法主要是针对“键-值”（K-V）模式,无法依靠主键以外的数据属性对数据进行快速查找。提出了一种面向工业互联网的云存储方法——StoreCDB,在异构采样数据统一表达数据模型基础上,实现非结构化存储管理,同时,利用两级索引实现海量数据的快速检索。通过实验,在分布式集群实验平台上,采用海量高铁列车运行模拟数据,验证了StoreCDB具有良好的异构数据存储和检索性能,为工业互联网提供了一种新的数据管理方法。      

一种利用非均质多面体模型确定小行星附近引力场的方法

从力学的角度出发,如何准确地建立小行星附近的引力场模型是小行星研究中最为基础、最为关键的部分。提出一种基于多面体模型的模拟小行星附近引力场的方法。该方法的准确性一方面取决于多面体模型的精细程度,即模型分辨率,另一方面取决于勒让德级数的截断误差。选取均质小行星模型,求取其引力场并与使用原有多面体方法求得的引力场进行对比,以此验证本方法的可行性。通过对形状参数相同的均质、非均质多面体模型附近的引力场进行对比来说明非均质小行星引力场建模的重要意义。     

一种嵌入式系统软件的非干涉测试方法

传统的嵌入式系统软件测试方法对被测试系统有一定的干涉效应,影响了测试结果的精确性和正确性.采用"非干涉测试方法"可以将这种影响消除,从而得到精确的测试结果,是一种准确反映被测试目标系统真实运行状态的测试方法.与传统的测试方法不同,该方法的特点在于对目标系统完全是非干涉的.通过分析非干涉测试方法的基本特征,提出了该方法的应用模型.在这个模型中,有3个组成部分是必需的,包括静态分析模块,动态分析模块和通过硬件采集目标系统状态信息的数据采集子系统.静态分析模块对被测试软件静态特征进行分析,指导硬件采集子系统如何采集以及动态分析模块如何解析采集的数据.在整个测试周期,"非干涉测试方法"不需要在目标软件中驻留任何仅用于测试的可执行代码.      

一种数字电路电磁传导发射多源模型提取方法

基于电磁干扰要素理论,提出一种数字电路电磁传导发射多源模型提取方法,用于解决数字电路电磁传导发射的建模问题。以电磁干扰要素理论为出发,综合考虑数字电路模块特点,将数字电路电磁传导发射模型划分为若干基本要素和扩展要素。针对数字电路时钟信号特征,选取梯形脉冲序列为基本要素形式,提出一种改进的联合估计算法用于提取基本要素参数及对应扩展要素系统传递函数模型;针对数字电路多源共存的情况,提出一种基于自相关函数的多源辨识分离方法,从而实现从一组测试数据中识别出多个基本要素及对应扩展要素,并最终完成数字电路电磁传导发射的建模。仿真及实验结果验证了所提方法的可行性和准确性。      

基于模糊文本分类的多知识领域专家推荐方法

在知识管理系统中,推荐满足知识需求的专家是隐性知识共享的有效手段.为了推荐多知识领域的专家,以及完整的识别用户的知识需求,提出了基于模糊文本分类的多知识领域专家推荐方法.首先建立模糊文本分类器,通过对专家上传的文档进行模糊文本分类,结合时间等因素建立专家的知识模型.通过分析浏览文档日志识别用户直接知识需求,在此基础上采用信息熵计算用户的潜在的知识需求.然后根据专家的知识模型与用户的知识需求模型的匹配度进行专家推荐.通过在知识管理系统中的成功应用验证了该方法的可行性与有效性.     

面向智能电网嵌入式设备的网络威胁动态评估方法

针对智能电网嵌入式设备由于计算、存储资源有限而造成的对网络攻击行为应对不足,安全评估手段薄弱等问题,提出了面向智能电网嵌入式设备的网络攻击行为动态评估方法。使用安全控制模块对实际嵌入式设备通信数据流进行解析与判别,利用组件动态可信度量分析方法在嵌入式系统模拟机中对攻击行为安全影响进行安全检测评估,通过对平台配置属性、平台运行属性及用户认证属性3个方面属性进行全过程动态综合度量,得出最终网络攻击行为安全评估结果。通过在配电自动化及用电信息采集系统真实环境下进行测试,针对嵌入式设备常见的攻击行为,检测方法的准确率能够达到90%以上,具备较好的安全评估精度,与此同时实现了自身安全性的有效提升。      

基于仿真器的嵌入式软件单元测试方法

介绍了一种基于仿真器的嵌入式软件测试方法,通过构造链接器分析目标文件,生成内存映像,加载到仿真器执行测试.该方法特别适合嵌入式软件的单元测试,支持对不完整的代码进行测试,同时引入了交互式脚本执行机制,支持采用高级脚本语言而不是嵌入式专用汇编语言设计桩函数和测试用例,降低了测试人员的培训代价.航天某院等单位的应用结果显示,该方法能有效提升嵌入式软件的单元测试效率,有较高的实际推广价值.     

实时嵌入式软件测试输入的可视化建模

实时嵌入式软件仿真测试是一种目前应用较广的测试技术.文中根据实时软件及其输入的特点,结合在软件工程领域有着广泛运用的统一建模语言(UML),提出了一套基于输入类图、输入顺序图并辅以输入描述的测试输入可视化建模方法,在此基础上可以自动生成测试脚本或测试数据,用于驱动实时嵌入式软件测试的进行.      

一种电磁定位系统工作空间拓展方法

针对NDI电磁定位跟踪设备工作空间有限且在工作空间内定位精度不一致的问题,提出了一种利用机械臂移动磁场发生器从而拓展电磁定位系统工作空间且保证定位精度的方法。利用NDI系统返回的误差指示值衡量定位精度,当误差指示值超出设定的阈值时,利用机械臂移动磁场发生器使传感器重新位于NDI系统的最佳测量工作区,并将电磁定位系统测量的位姿通过空间变换方式统一到机械臂基座坐标系,从而在保证定位精度的同时也起到扩展工作空间的作用。为验证所提方法的有效性,通过实验验证定位误差与误差指标值及传感器到磁场发生器中心的距离成正相关关系;通过拓展前后的误差分析表明,所提方法能有效降低定位误差,平均位置误差从2.61 mm降低到1.34 mm,平均姿态误差从2.42°降低到1.37°。所提方法可应用于类似血管介入手术导管在大范围移动的器械定位与跟踪。      

一种脉宽调制式舵系统舵机模拟器设计方法

针对脉宽调制式舵系统放大器电性能高效测试的问题,提出了一种基于移相脉冲计数的舵机模拟器设计方法。该模拟器硬件由电平转换单元、PWM占空比采集单元、数字PID控制单元和DAC单元四部分组成,软件主要采用移相脉冲计数法和数字PID控制算法,实现了对真实舵机电性能的替代。同时,由单通道扩展的多通道模拟器的应用,能够大幅节约舵机放置空间,缩短研制周期,在短时间内实现PWM放大器电性能大批量测试的目的。试验结果表明,该舵机模拟器能够模拟真实电动舵机的电性能特性,具有实时性好、测试效率高、操作性好的优点,且具有较高的应用价值。     

A novel system parameters design and performance analysis method for Distributed Satellite-borne SAR system

As a promising new technology emerged in recent years, the Distributed Satellite-borne SAR (DSS) system with Interferometric Synthetic Aperture Radar (InSAR) imaging capability has been recognized by the remote sensing community as an integrated part of the spaceborne earth observation system. However, most researches on DSS were focused on individual aspects of system design/analysis and data processing, while few studies have been dedicated to establishing a standard methodological framework for universal DSS system design. Aiming at this problem, the topics of DSS system error analysis and design method are investigated in this paper. Firstly, a rigorous error propagation model of height measurement is theoretically derived from the DSS InSAR imaging geometry, and the impact of each error sources in this model on the height measurement accuracy is analyzed individually. In particular, the baseline length and its measurement error in the InSAR imaging plane are identified as the dominant factors. Second, a new method for DSS system design is proposed based on our analyses with the error propagation model. This method consists of two important phases, namely collaboration design and monostatic design. The major objective of collaboration design is to determine the configuration and parameters for the coordination between satellites in the DSS system. Afterwards, the key parameters for single satellite and the payload are determined by the monostatic design. Thirdly, a system performance analysis method is developed to comprehensively evaluate the performance of the pre-designed DSS system. In the next section, a typical example of DSS system design is given to demonstrate the effectiveness of the proposed system design and analysis methods. The target DSS system has the same goal and hardware configuration as the TanDEM-X mission. Finally, the conclusion is drawn with our major findings are presented.     

捷联惯性导航系统整体标定新方法

针对不同型号的捷联惯性导航系统(SINS, Strapdown Inertial Navigation System)测量量程及动态性能差异大,而常规标定方法难以提供多动态性信号激励的问题,提出一种利用离心机和转台对SINS进行整体标定的新方法.通过将转台安装在离心机上,调整转台姿态以及离心机旋转速度和旋转半径,可对SINS提供多范围、多运动形式的信号激励,实现对不同参数特性SINS的标定.建立了完整的离心机转台控制模型并对其进行了仿真验证,利用转台依次调整SINS到6个不同位置,控制离心机对每个位置进行正反两次共计12次旋转,即可标定出整个系统的24个误差参数.理论分析表明:该标定方法简单易操作,数据利用率高,激励信号设置灵活,具有一定的工程应用价值.     

一种复杂系统风险概率评估方法

对有限样本条件下的复杂系统风险发生概率评估问题,提出了小样本评估小概率事件的建模方法,通过非线性函数逼近累积概率与临界参数极值之间的映射关系.建立了风险概率评估数学模型,通过非线性回归方法得到了风险概率评估基本模型.对原始数据在评估模型中产生的误差作为目标函数,建立概率评估优化模型.并采用改进遗传算法对分布参数进行优化计算.以飞行安全为例,实现了有限样本情况下的飞行风险概率的计算,并通过最优逼近函数提高了计算精度.      

分布式用户痕迹采集存储系统

在复杂网络的分布式环境中,精准全面地采集海量用户在浏览网站过程中的行为数据和网站过程数据并高效存储是用户行为分析的前提和基础。为了解决数据类型的多样性和存储的差异性问题,提高数据的检索效率,为企业的个性化需求做用户行为的分析提供支持,设计了白盒模式的用户痕迹采集存储系统。用户访问Web服务器过程中会产生交互/交易数据以及用户操作,浏览网站过程中会产生图片、视频、商品描述等多种类型的文件,这些界面和数据称为用户浏览痕迹,操作序列则作为用户行为的实际动作顺序记录。对用户数据和操作序列分析,能精确反映用户特征。采集模型通过界面窗口树来建模,提供统一数据存取接口,根据数据类型的不同,分别存储于不同的位置,完整采集用户痕迹,应用程序传递参数指定存储位置创建数据库文件,通过存取接口可以分类型、按要求存取用户数据,解决了面向互联网的用户交互痕迹捕获、存储和检索的问题,具有良好的精确性和完整性。