基于MBSE的鱼雷全电子安全系统安全性与任务可靠性分析

随着武器装备研究的深入推进,传统方法难以满足复杂系统安全性与可靠性分析的需求;为提升系统研发与评估效率,以形式化的系统建模语言分析鱼雷全电子安全系统的安全性、可靠性成为必然趋势;文章在传统安全性与可靠性分析的基础上,基于系统工程开展安全系统建模过程,以功能需求、系统架构、活动视图以及时序逻辑控制作为安全性与作用可靠性分析的构成元素,对系统功能模型进行故障传播建模;最后以安全建模语言构建事故树模型得出安全性与可靠性的影响因素,为引信系统的安全性与可靠性分析工作提供一定参考价值。

虚拟机全系统在线迁移

本文介绍了一种虚拟机全系统在线迁移方法.设计了三阶段迁移方案(Three-Phase Migration,TPM),能迁移包括外存数据在内的虚拟机全系统状态,最小化迁移过程中的虚拟机暂停时间,并保证数据的一致性和完整性.在该方案中,使用了基于Block-bitmap的外存同步方式,由Block-bitmap记录迁移过程中的外存更新.此外,还提出了增量迁移方案(Incremental Migration,IM),当被迁移的虚拟机需要迁移回源主机时,增量迁移能够减少需要迁移的数据量,从而缩短迁移时间,降低迁移造成的性能代价.通过在Xen上的实验表明,该全系统迁移方案即使在I/O密集型的负载情况下仍然执行得很好,迁移过程中的虚拟机暂停时间与共享外存迁移时的暂停时间接近.基于Block-bitmap的外存同步机制简单高效,其监控过程中产生的性能代价低于1%.

基于龙芯CPU的多核全系统模拟器SimOS-Goodson

随着片上多核结构成为当前高性能微处理器发展的趋势,目标工作负载也变得多样化,传统的用户级模拟器已不能适应未来体系结构的研究需要.基于SimOS全系统模拟环境,设计并实现了龙芯CPU的片上多核全系统模拟器SimOS-Goodson.在SimOS-Goodson的设计中运用了时序与功能分离的组织形式,并采用了一种新的值预测校验算法来解决模拟环境中的存储一致性问题.经过与真实硬件环境进行交叉校正,保证了模拟器的可信度与准确度.与用户级模拟器相比,SimOS-Goodson保持了高速、灵活的优点,又具备精确、全系统和易使用的特征.通过对完整Linux操作系统的移植,可在SimOS-Goodson所模拟的全系统环境中进行各类微体系结构和应用负载的分析与评估.在3.0GHz的Pentium4微机上,SimOS-Goodson的指令模拟速度超过300K/秒.SimOS-Goodson将会在基于龙芯CPU的片上多核体系结构研究中发挥重要作用.

全系统对抗条件下反舰导弹突防能力计算模型

反舰导弹突防能力计算结果,将对作战时指挥员的决策带来很大的影响,甚至直接影响到作战效果,提供一种考虑全面、贴近实战的突防能力计算模型,有助于提高指挥员决策的科学性、正确性。从分析反舰导弹突防水面舰艇防御分系统入手,借助传统的分析方法,结合作战实际情况,在研究各防御分系统突防概率的基础上,按照舰空导弹、舰炮系统要尽可能服务和平均服务、电子对抗系统必须服务的思路,建立了全系统对抗条件下的反舰导弹突防能力计算模型,给出了饱和攻击数的确定方法。运用模型对某型反舰导弹突防某型导弹驱逐舰的能力进行了仿真计算,结果说明该模型对反舰导弹的战斗能力计算具有理论参考价值。

智能电能表的全系统模型及其动态误差分析

电网中特大功率负荷的功率动态变化对智能电能表产生不同程度的影响,甚至引起较大误差。为了分析智能电能表动态误差的来源,该文采用机理建模的方法分别建立智能电能表电压通道、具有可编程增益放大器（programmable gain amplifier,PGA）增益反馈控制的电流通道、有功功率测量单元及电能测量单元的动态数学模型,并集成各单元之间的信号传递关系,综合建立智能电能表全系统模型。以此为基础,建立动态误差仿真平台,分析各单元的模型参数对有功电能动态误差的影响。通过搭建动态误差测试系统,测试典型电能表的动态误差,与仿真分析结果的对比表明,该文提出的全系统模型可用于分析电能表动态条件下的内部误差影响因素、明确误差来源。研究结果可为后续提高智能电能表的动态性能提供定量的决策参考。

三相三电平逆变装置全系统电路仿真模型研究

针对大容量三相三电平逆变器原理性仿真中一般没有考虑复合母排的分布式结构、逆变器交流输出铜排及电力电缆的传输线参数、负载感应电机的高频电路参数等,从而不能准确反应吸收电容、功率开关管、滤波器等器部件安装位置对全系统性能的影响,不能有效指导相关器部件设计的问题,结合仿真和实验提出一种三相三电平逆变器建模方法。通过建立电容母排、传输母排和IGBT母排的多端口电路模型,考虑逆变器柜内输出铜排与交流输出电力电缆传输线参数,提出一种三相感应电机的高频电路模型及其参数测量方法,在此基础上对三相三电平逆变器进行了全系统仿真建模和试验验证。利用三相三电平逆变器全系统仿真模型及建模方法,可指导复合母排、吸收电容、交流输出滤波器、熔断器等器部件的工程设计。

论全系统动态测试精度理论研究

文章以传递链函数代替传统的传递函数的方法来研究全系统动态测试精度理论。给出了全系统动态测试精度理论的基本概念 ,并以一典型系统为例计算它的传递链函数和系统动态测试总误差。文章最后概括分析了误差分解、溯源与修正等动态误差的深处理手段 ,并指出本理论研究的方向。

电视制导无人攻击机全系统仿真研究

建立电视制导无人攻击机全系统数学模型,并将其转化为仿真模型,进行仿真实验。根据电视制导无人攻击机所要满足的精度要求及各参数的工作范围,修改系统结构参数,改善系统性能。仿真实验结果表明建立的电视制导无人攻击机全系统模型可以描述全系统的工作规律,为电视制导无人攻击机研制定型提供分析工具。

企业突发事件应急管理体系创新设计——基于全系统的视角

本文从应急管理体系全系统的视角,对企业突发事件应急管理体系的运行机理和运行过程进行创新设计,并结合具体案例,从全系统的视角对企业应急管理体系进行创新设计。全系统的应急管理体系研究不仅有益于企业应急管理理论研究范围的拓展,更有助于企业从宏观层面构建完备的应急管理体系,并通过各子系统的协调配合使应急管理工作井然有序地开展,将危机带来的损失降到最低,从而提升企业的危机管理能力。

全系统动态测量精度理论的基本问题

动态测量已成为现代测量技术发展的主流趋势,但对动态测量系统的描述和评价仍沿用传统的静态测量理论,本文提出全系统动态测量精度理论新概念,并论述了传递链函数和全系统动态测量误差等基本问题。

激光拉曼光谱仪的全系统校正

提出了一套对激光拉曼光谱仪进行全系统校正的完整方案,并在一台SPEX 1403型双单包仪单道拉曼光谱仪上全面实现了这套校正,包括谱仪的波数精度及重现性,狭缝函数,光谱分辨率,功率传递系数,光谱响应,偏振光谱响应,偏振传递性能及寄生谱带检查。结果表明,在激光拉曼谱测量中许多源于光谱仪体系的测量误差实际上是不可避免的,因此对常用的谱仪要作日常的状态监控和至少一次全面系统校正,是激光拉曼谱学研究的先决条件。

面向基于x86处理器和AMBA的系统芯片的全系统模拟器PKUsim-86

基于周期级全系统模拟器对微体系结构进行系统性能评估成为芯片设计必不可少的环节.虽然x86处理器是当前商业和科学计算领域最广泛采用的处理器,很少有开源的x86模拟器能够满足研究需要.本文面向基于Geode GX x86处理器和AMBA总线的PKUnity-86系统芯片,设计并实现了周期级全系统模拟器PKUsim-86.它可以启动Microsoft DOS、Windows 98、Windows XP等操作系统,运行典型的x86应用程序.PKUsim-86支持功能模拟和性能模拟的在线切换,其指令模拟速度为0.86MIPS,与真实硬件的对比表明,PKUsim-86具有较高的相对准确度.

全系统动态误差建模理论分析与应用

对测量系统进行动态特性和精度理论研究必须建立测量系统的数学模型。针对传统建模方法的缺陷,研究分析了全系统动态误差建模理论与方法,该建模理论与方法充分考虑了系统内部各组成环节的信息,建立的模型能够反映实际测量系统内部各结构单元的传递特性随时间变化对系统测量精度的影响。该建模理论与方法具有普遍的适用意义,不管是动态测量系统还是静态测量系统,用该建模理论与方法都能够建立其全误差模型。最后利用全系统动态误差建模理论与方法建立了测微系统(百分表)的全误差模型,并进行了实验验证。

土体-博物馆-展柜-文物全系统中地震传递规律研究

为得到作用在文物上真实的地震动特性,建立土体-博物馆-展柜-文物全系统模型和刚性地基(博物馆-展柜-文物)全系统模型,选取3条地震波调幅进行时程分析,通过加速度、位移和文物转角等参数分析考虑土-结构相互作用(soil-structure interaction, SSI)的影响。以Ⅱ类场地为例,分析考虑土-结构相互作用下从土体到文物的震动传递规律,为判别文物在地震作用下的安全性提供更加准确的数据支持。结果表明:对结构而言,考虑SSI使算出的地震响应偏小。对展柜和文物而言,小震下考虑SSI使算出的地震响应偏小。但在中震和大震作用下,考虑SSI效应时展柜和文物的响应存在较多比刚性地基响应大的情况。基于保护文物的角度,在地震分析尤其是大震分析时应考虑SSI的影响。对Ⅱ类场地和4层钢筋混凝土框架结构,考虑SSI影响,在地震波从土体传递到文物这一过程中,大震下结构进入塑性,文物的动力放大系数最大值为5.70(含土体、结构、展柜的动力放大系数),最大滑移量129.69 mm,出现倾覆现象。各个传递环节频谱成分均有一定差别,结构、展柜及文物都会对地震波频谱产生影响,分析时应将每部分的影响都考虑进去。

基于全系统全寿命理论的装甲装备退役动用决策模型

装备退役报废是装备全寿命的重要环节，是全系统的重要影响因素。对服役期较长装甲装备退役前的摩托小时动用控制问题进行综合研究，建立了计划退出现役时间和可增加动用装备之间的决策模型，并给出数据实证分析结论。

引信全电子安全系统电磁兼容性改善方法

在引信全电子安全系统研究过程中,发现高频变压器的使用使得电路中产生脉冲电磁干扰,提出采用MOSFET隔离驱动、新型变压器、电源隔离等方法有望减小全电子安全系统电路脉冲电磁干扰,提高引信电磁兼容性,提高引信全电子安全系统的可靠性、安全性。

基于全系统设计背景下的徽州宏村传统聚落的规划分析

徽州传统村落给我们留下的丰厚的聚落选址规划与全系统设计方面的经验,对当代生态建筑设计的整体思维与新农村建设有很大的借鉴意义。

教育装备管理中的全系统全寿命全费用研究 教育装备管理中的全系统全寿命全费用研究

简要叙述了系统方法和全寿命费用分析的起源、发展,以及全费用分析在教育装备管理中的重要意义,详细阐述了教育装备管理中的全系统全寿命全费用原则及基本观点.

基于全系统整体节能原则的系统构建方法在某大型能源站中的应用

简要分析了影响机房能耗的4个主要作用因素:系统构架、全过程的精准度、控制策略、调适与运维水平,据此提出了根据项目的负荷特征及能耗构成特点,以全系统整体节能为原则构建系统、提升能源站能效的方法。以某大型能源站为例,分析了系统构建思路及提效措施。

基于全系统模拟的OP-TEE内核模糊测试方法

OP-TEE(Open Portable Trusted Execution Environment)是运行于基于TrustZone的可信执行环境(Trusted Execution Environment,TEE)中的开源可信操作系统。OP-TEE虽然运行于TEE侧,但仍存在漏洞从而遭受来自于富执行环境(Rich Execution Environment,REE)的攻击。模糊测试是一种常用的漏洞发现方法,但由于TEE与REE的高度隔离,REE侧的模糊测试工具难以直接测试OP-TEE,且现有基于OP-TEE源码插桩的模糊测试方法存在依赖源码和专业领域知识且崩溃容忍度低的问题。本文基于全系统模拟,模拟OP-TEE依赖的环境,提出了对OP-TEE内核模糊测试的方法。该方法将OP-TEE托管在模拟环境中并追踪其执行过程,模糊测试工具在模拟环境外观测执行过程并以此生成测试用例。该方法通过设计实现模拟环境内外通信组件,将模拟环境内OP-TEE的系统调用暴露给模拟环境外的模糊测试工具,使得模糊测试工具能够对OP-TEE内核进行模糊测试。同时针对模糊测试过程中单个用例测试耗时较长的问题,设计实现了预翻译优化机制以减少测试过程中的耗时。实验验证了方案可行性,评测了预翻译优化的效果,并评估了方案的漏洞发现能力,同时对比现有方案OP-TEE Fuzzer进行了性能测试。实验结果表明,本文方案具有检出崩溃以及发现潜在漏洞的能力,预翻译优化机制能平均减少19.05%执行耗时,且实际性能优于OP-TEE Fuzzer,其中吞吐量与OP-TEE Fuzzer相比提高了104%。