考虑非周期消息的1553B总线Petri网建模与分析

准确评估1553B总线的性能指标对于综合航电系统的设计有着重要的意义。基于着色Petri网CPN(Colored PetriNet)建立了1553B总线模型。模型利用分层思想,将总线结构模块化,描述消息在总线上传输的动态过程。在周期性消息的基础上同时考虑非周期性消息,更加符合1553B总线的实际情况。利用TimeNET软件进行仿真,计算总线负载和时延等性能指标,验证模型的准确性和有效性,为综合航电系统的设计、评价和完善提供重要的理论依据。     

基于DSPN的1553B总线网络建模及性能分析

提出一种基于确定与随机Petri网DSPN(Deterministic and Stochastic Petri Net)的1553B总线网络性能分析方法。在探讨DSPN的形式化定义的基础上,基于模块化思想建立1553B总线网络的周期控制模块模型和信道传输模块模型,最终建立1553B总线网络的DSPN模型,并描述1553B总线网络的动态行为特性。通过仿真实验得到了1553B总线网络的总线负载和延迟时间的动态变化曲线,验证了模型的正确性和有效性。所建模型可以为1553B总线网络的设计与分析提供理论依据。     

机载双余度1553B总线检测研究

随着MIL-STD-1553B总线的广泛应用,机载数据总线系统的拓扑结构越来越复杂;为了提高总线传输的可靠性,机载数据总线普遍采用双余度形式和不可分割连接形式,因此总线的维护检测也显得越来越重要;归纳了机载双余度1553B总线的工作状态及其相互之间的关系,给出了总线故障的概念,详细分析了总线系统架构中3个不同阶段的检测方法以及应用场合、检测内容和拓扑结构,最后提出了机载1553B总线的可分割连接形式,以便于维护阶段的线路检测.     

基于LabVIEW的光电监控设备在超光谱成像仪中的应用

MIL-STD-1553B多路数据传输总线仿真系统是航空电子设备研制过程中必不可少的系统开发工具,但该总线仿真系统的实时性和可靠性也给传统的仿真技术提出了挑战;为了解决上述问题,利用LabVIEW开发工具,采用QCP-1553板卡和BU65170芯片设计了一种光电监控设备。在LabVIEW中基于UML建立模型,对总线控制器控制远程终端的多种消息的接收/发送进行了仿真,并给出了一种优化1553B总线系统周期消息和非周期消息混合传输的动态完整性分配方法;通过在某型号超光谱成像仪地检设备上的应用,证明了上述设计方法实时性强、可靠性高且可扩展性良好。     

基于MIL-STD-1553B的运载火箭故障诊断与故障注入方法

针对运载火箭系统众多,故障形式多样,出现故障难以准确定位的特点,研究了一种基于MIL-STD-1553B总线(下称1553B总线)的故障诊断和故障注入方法,采用故障树分析法确定失效故障链,实时诊断和预测系统故障;由于实际的系统故障数据较少,通过失效机理分析获得运载火箭的故障库,采用1553B总线对系统注入特定故障;在运载火箭地面故障诊断与注入系统中,原有的拓扑结构维持不变,故障诊断系统作为1553B总线监视器,故障注入系统作为1553B总线的远程终端,并与运载火箭的众多子系统互联,通过总线耦合器连接火箭外部的发射控制平台;最后通过基于实际工程型号开发的故障诊断平台和故障注入平台进行了测试,测试结果表明具有满意的故障覆盖率。     

Delphi平台下的1553B总线卡通信应用技术研究

介绍一种基于Delphi平台的PCI-1553B总线卡接口通信应用技术,主要包括Delphi下1553B总线周期消息、非周期消息定义、消息传输故障重试、消息数据的中断采集、消息数据的动态更新以及总线消息的传输监控记录等编程技术。并基于1553B总线卡和Delphi平台设计了一套电控模拟器通信系统,验证了1553B总线的BC-RT通信和RT-BC通信以及BM总线监控功能。实践表明,利用Delphi开发1553B总线通信应用技术以及Delphi对数据库技术的完美支持,与其他开发语言相比,该技术可快速建立完善的1553B总线通信测试系统。     

机载双余度1553B总线传输线路检测系统的设计与实现

1553B总线已经广泛应用于飞机的航空电子系统中;分析了1553B总线的特点以及机载双余度1553B总线传输线路故障定位的困难,给出了机载双余度1553B总线传输线路检测系统的系统结构、硬件集成方案和软件开发内容;通过两块1553B总线接口板分别模拟总线控制器和终端,配备相应的检测电缆,与机载双余度1553B总线传输线路检测段一起构成检测回路;根据机载系统的状态,结合相应的检测策略,可及时发现和定位1553B总线传输线路中存在的显式故障和隐式缺陷;该系统已成功应用于某型飞机总线传输线路的检测,经适当修改可推广到其他主战飞机。     

RTLinux环境下的导弹测试系统1553B总线通信软件设计

从1553B总线的实时性要求出发,提出了以实时操作系统RTLinux为平台,开发一种新型的导弹测试系统的1553B总线通信软件设计方案,并详细分析了系统的实时性、稳定性,以及实时任务的中断处理和异步通信的实现方法.通过系统测试说明:RTLinux环境下的1553总线通信软件设计方法完全满足导弹测试系统的实时性要求.     

BIT验证中1553B总线故障注入设备的设计与实现

为满足航空电子设备中机内测试(BIT,Built- in- test)的试验验证需求,设计并实现了基于VxWorks操作系统的1553B总线故障注入设备;总线故障注入设备是1553B总线(MIL_STD_1553B总线的简称)故障注入系统的核心,是实现故障注入任务的关键;结合1553B总线协议和通信特点,基于一般总线故障注入方法,详细分析了适用于该总线的故障注入方法;阐述了总线故障注入系统的结构框架和工作原理,并给出了1553B总线故障注入设备的详细设计方案,包括具体的硬件实现、软件设计和系统的工作流程,最后通过搭建仿真测试环境进行试验,系统对总线上传输的数据进行了有效地故障注入,验证了该故障注入设备功能的正确性和可靠性.     

飞行试验中军用1553B总线的实时采集技术

针对飞行试验中1553B总线的实时采集,提出了一种新型的实时采集方法,充分利用DSP的灵活性和FPGA的快速并行性,构建了一种快速定位的1553B总线数据信息的查表机制,实现将1553B总线特定的数据字从总线数据中实时挑选出来,用于飞行试验的遥测监控;详细论述了飞行试验1553B总线采集的方法与特点,阐述了1553B总线数据快速过滤的方法与实现;该方法经过实验和飞行试验验证,不仅可以实现对机载1553B总线的数据采集功能,还可以将需要的1553B总线数据字从总线上实时筛选出来,满足飞行试验的遥测监控需要。     

一种并行程序性能工具的研究与实现

随着高性能计算技术的不断发展,并行程序的设计、调试、优化逐渐成为并行技术应用的关键,而性能工具在提高并行程序的执行效率方面发挥着重要的作用。本文阐述了并行程序性能工具的系统结构,以及各个模块功能的原理,并实现了一个基于MPI消息统计的性能工具。     

Prescribed performance control approaches,applications and challenges: A comprehensive survey

As to control systems, transient performance is as important as steady-state performance. For some special dynamic systems, transient performance is a more prior index in comparison with the steady-state one. Prescribed performance control (PPC) has been proved to be a powerful tool that guarantees control system outputs/errors with desired transient performance as well as steady-state performance. The purpose of this paper is to give a comprehensive review on the latest developments of PPC theories and applications. The existing performance functions are classified into five different categories, and their features are comprehensively compared, providing a useful guidance for further applications. Then, the latest developments of PPC's applications in all kinds of control systems are recalled. Specially, the faced challenges and theoretical defects of PPC are discussed, which is expected to point out the further research direction for PPC.     

基于构件的软件性能模型及评估技术研究

该文讲述了在基于构件的软件开发中,建立应用系统的性能模型,以及对系统的性能进行预测和评估的方法,并介绍了构建一个满足预期性能目标的软件系统的步骤。     

On the Performance Regularity of Web Servers

The performance regularity is concerned with the overall performance behavior of a system in the full spectrum of working area. Such a performance characteristic is generally overlooked and does not receive proper attention. The aim of this paper is twofold. First, it raises awareness of the importance of the performance regularity of a Web server. Secondly, it introduces the Gini performance coefficient (GPC) as a scale-invariant metric for measuring the performance regularity. In this paper, we present the theorems that relate the performance regularity of a Web server to the GPC, thereby providing a quantitative yardstick that complements the system capacity metric such as maximum throughput for measuring the system performance. To illustrate the use of the proposed approach, we calculate the values of GPC for several representative systems that were used in the public SPECweb96 benchmark study. The results are completely in line with our theoretical analysis.     

Application of Relational Interval Arithmetic to Computer Performance Analysis: a Survey

This paper presents a survey of the existing work in the area of interval-based performance analysis of computing systems. Intervals in performance analysis is required when uncertainties or variabilities exist in the workload parameters for the performance model of the system. Intervals are also useful for computing upper and lower bounds on system performance. Most conventional analytic models accept a set of single valued parameters and produce a single valued model output. Adaptation of these existing models to handle interval parameters require new techniques that use interval arithmetic. Experiences with relational interval arithmetic provided by a constraint logic programming language in solving a number of performance analysis problems in conventional multiprogrammed computers as well as distributed processing systems are described.     

系统性能极限理论的回顾和展望

描述了系统性能极限理论的研究对象、背景和意义,并简要介绍了系统性能极限理论所涉及到的四个相关问题,如:左可逆与右可逆系统、零点与零点方向、极点与极点方向以及灵敏度函数与互补灵敏度函数.同时,从H2型性能极限、频域及H∞型性能极限、时域及其他性能极限三方面综述了系统性能极限理论的研究现状,并对其未来的发展进行了展望.     

PHOEBE: an automation framework for the effective usage of diagnosis tools in the performance testing of clustered systems

The identification of performance issues and the diagnosis of their root causes are time‐consuming and complex tasks, especially in clustered environments. To simplify these tasks, researchers have been developing tools with built‐in expertise for practitioners. However, various limitations exist in these tools that prevent their efficient usage in the performance testing of clusters (e.g. the need of manually analysing huge volumes of distributed results). In a previous work, we introduced a policy‐based adaptive framework (PHOEBE) that automates the usage of diagnosis tools in the performance testing of clustered systems, in order to improve a tester's productivity, by decreasing the effort and expertise needed to effectively use such tools. This paper extends that work by broadening the set of policies available in PHOEBE, as well as by performing a comprehensive assessment of PHOEBE in terms of its benefits, costs and generality (with respect to the used diagnosis tool). The performed evaluation involved a set of experiments in assessing the different trade‐offs commonly experienced by a tester when using a performance diagnosis tool, as well as the time savings that PHOEBE can bring to the performance testing and analysis processes. Our results have shown that PHOEBE can drastically reduce the effort required by a tester to do performance testing and analysis in a cluster. PHOEBE also exhibited consistent behaviour (i.e. similar time‐savings and resource utilisations), when applied to a set of commonly used diagnosis tools, demonstrating its generality. Finally, PHOEBE proved to be capable of simplifying the configuration of a diagnosis tool. This was achieved by addressing the identified trade‐offs without the need for manual intervention from the tester. Copyright © 2017 John Wiley & Sons, Ltd.     

一种新的计算机抗攻击自身免疫模型

提出了一种新的计算机抗攻击自身免疫模型,形式化地阐述了模型如何使得不合法的程序和代码不能够执行,合法的程序和代码不能够执行未授权访问;合法的程序和代码的可疑行为受到严格的控制但是可以根据不同的阈值来保证实用性。这种模型不需要计算和识别计算机攻击的具体特征,而通过直接消除攻击能够实施破坏和传播的前提条件,使得计算机系统对攻击具备自身免疫能力。     

Security sieve: a technique for enhancing the performance of secure sockets layer-based distributed systems

Providing secure communication in distributed systems often introduces a performance penalty due to the CPU-intensive operations used by security protocols such as the Secure Sockets Layer (SSL) protocol. This paper proposes a technique, called security sieve, which enhances the performance of SSL-based document transmission. Security sieve separates the sensitive components from the non-sensitive components, and transmits the separated components over a secure channel and a (faster) non-secure channel, respectively. At the receiving end, the separated components are re-assembled to reconstruct the original document. A significant performance improvement with security sieve is observed for a number of system and workload parameters.     

面向对象冗余服务系统的性能分析与测试

通过对面向对象冗余服务系统的性能指标分析 ,结合实际应用中用户最为关心的性能价格比问题 ,利用数学分析模型 ,找出了满足冗余系统服务的最优解 ,并在此基础之上 ,对冗余系统的性能进行了分析与测试