一种基于执行轨迹监测的微服务故障诊断方法

微服务正逐步成为互联网应用所采用的设计架构,如何有效检测故障并定位问题原因是保障微服务性能与可靠性的关键技术之一.然而,当前的方法通常监测系统度量,根据领域知识,人工设定报警规则,难以自动检测故障并细粒度定位问题原因.针对该问题,本文提出一种基于执行轨迹监测的微服务故障诊断方法.首先,利用动态插桩监测服务组件的请求处理流,进而利用调用树对请求处理的执行轨迹进行刻画;然后,针对影响执行轨迹的系统故障,利用树编辑距离来评估请求处理的异常程度,通过分析执行轨迹差异来定位引发故障的方法调用;最后,针对性能异常,采用主成分分析抽取引起系统性能异常波动的关键方法调用.实验结果表明,该方法可以准确刻画请求处理的执行轨迹,以方法为粒度准确定位系统故障以及性能异常的问题原因.     

热成像技术在动车组中的应用研究

在动车组调试阶段利用红外热成像技术对电气系统进行检测,能够快速、有效的发现接线端子松动、负载不平衡、过载等不易察觉的异常现象。对主要的电气部件及接线部位进行数据采集并结合测试点的发热状态拟建立基础数据库,为电气系统异常故障诊断提供一种快速、便捷的定位方式,进一步提升电气调试工艺水平。     

基于二次定位策略的软件故障定位

故障定位是软件调试过程中耗力和耗时的活动之一,尤其是对规模大和复杂性高的软件.目前的一些定位技术可分为两类：基于组件和基于语句.前者太粗,不能准确地定位到地方;后者太细,运算复杂度过大.提出一种新技术,称为二次定位策略（double-times-locating,简称DTL）,来定位故障：第1次定位,从程序中抽象出函数调用图,再从函数调用轨迹中建立程序谱,最后用基于模型的诊断（model-based diagnosis,简称MBD）对可能含有故障的函数进行排序;第2次定位,利用DStar定位函数中故障的代码行.实验结果表明,该技术比目前基于统计的方法更有效.     

基于Eclipse平台的边界扫描测试软件的开发

复旦大学研制的类蜂巢结构快速样机平台(HLRESP)采用模块化结构，可以灵活配置和选择功能模块，而扫描链路的设计，以及扫描链路的完整性测试和互连测试对平台极为重要，为了满足该系统的测试和调试的需要，该文设计并实现了一个基于Eclipse平台的边界扫描测试软件。该软件能够自动生成测试向量，分析响应数据并准确定位故障。     

Fault isolation by test scheduling for embedded systems using a probabilistic approach

This paper deals with isolation of failed components in the system. Each component can be affected in a random way by failures. The state of a component or a subsystem is detected using tests. The goal of this paper is to exploit the techniques of built-in tests and available knowledge to generate the sequence of tests required to locate quickly all the components responsible for system failure. We consider an operative system according to a series structure for which we know test cost and the conditional probability that a component is responsible for the failure. The various diagnosis strategies are analyzed. The treated algorithms relay on system probabilistic analysis.     

复杂陈述式仿真模型的相容性分析

模型的相容性分析是复杂产品多领域建模面临的一个关键问题.研究了陈述式基于方程仿真模型的方程系统过约束或欠约束判定、检测与修正策略.首先,将方程系统表示为二部图,通过二部图分解判定模型的相容性,并分离出方程系统的过约束和欠约束部分.然后,通过检测、判定与缩减过程,自动判别出过约束或欠约束发生的大致范围,并给出修正方案.所提出的策略与算法能够显著地提高用户发现与排除过约束或欠约束问题的效率,已在多领域物理系统混合建模与仿真平台MWorks中实现.     

基于比特流修改的H.264解码器错误自动定位

针对H.264解码器的测试问题,提出了一种简单实用的自动错误定位方法。对导致错误的比特流进行修改,在不进行源代码分析的情况下就达到错误定位的目的;开发了一个错误定位工具,利用这个工具可以加快调试过程。实验结果表明,此方法有良好的效率。     

动静态联合滤波器在多聚焦图像融合中的应用

动静态联合滤波器具有良好的边缘平滑特性,对梯度反转和全局强度迁移等伪影具有很强的鲁棒性。为了保留源图像的结构信息,提出了基于动静态联合滤波器的多聚焦图像融合方法。首先采用动静态联合滤波器将源图像分解为结构分量和纹理分量,以视觉显著度加权法对结构分量进行融合,综合相位一致性和清晰度信息对纹理分量进行融合;将两分量叠加获得初始融合图像,并通过计算源图像与初始融合图像间的结构相似度作为决策矩阵,获得最终的融合图像。通过对比多组融合图像主、客观评价结果发现,该方法能有效保留边缘信息。     

一种元语言调试环境

调试环境可以帮助用户进行查错，理解程序，确保程序的正确运行，基于XVCL(XML-based Variant Configuration Language)来的批处理方式，设计并实现了一种元编程语言的调试环境IXP；为了方便对断点的管理，设计了一种断点规范语言DSPL．实际使用证明这种调试环境可以有效地帮助用户进行XVCL程序的调试和理解。     

在FPGA上对OC8051 IP核的修改与测试

80C51系列单片机是由不同公司推出的单片机,它们与Intel公司的MCS-51完全兼容,具有相同的指令系统、地址空间和寻址方式。本文在分析一款OC8051IP核的基础上,给出一种仿真调试方案（用于查找与定位原IP核的逻辑错误）,以及具体的修改方法;并基于FPGA完成了修改后IP核的下载测试。测试结果表明,该IP核运行正常,初步满足实际的应用需求。     

计算机辅助结构设计与分析的集成框架研究

针对计算机辅助结构设计和分析的集成问题,设计了一种基于统一模型库 方式的组件式CAD/CAE 集成框架,以结构CAD/CAE 集成模型库为框架底层,以几何造型、 可视化交互、第三方CAD、第三方CAE 等组件为中间组件层,以空间结构设计子系统、空 间结构分析子系统为上层应用层,提供空间实体建模、工程模型管理、多种有限元模型分析 与计算等功能,并应用于港口码头的结构设计及有限元分析。     

软件故障定位技术进展

故障定位是调试过程中一项耗时费力的工作。为了降低调试成本,并辅助开发人员定位和修复软件故障,软件故障定位技术通过审查源代码、分析测试过程的软件行为和测试结果来定位包含故障的代码片段。综述了近期故障定位领域相关成就,分类介绍了各种代表性的故障定位方法的基本原理和建模技术,讨论了这些故障定位技术的贡献以及它们之间的主要区别,给出了常用的故障定位效果基准测试集和度量方法,展望了故障定位技术的研究方向。     

基于Agent技术的Internet上构件服务框架研究

1 前言软件生产脱离硬件的捆绑带来的变革,导致软件许可证发行方式的出现,这时软件生产者通过发行拷贝获得收益。而Internet技术和基于构件的开发方法带来了网络计算及网络化软件的发展,在这个趋势下软件生产者可以为用户提供有偿构件软件及其服务获得收益。随着Microsoft和Sun公司分别提出各自的分布式计算平台.net和J2EE,以及CORBA     

Distributed Software System Design Representation Using Modified Petri Nets

A model for representing and analyzing the design of a distributed software system is presented. The model is based on a modified form of Petri net, and enables one to represent both the structure and the behavior of a distributed software system at a desired level of design. Behavioral properties of the design representation can be verified by translating the modified Petri net into an equivalent ordinary Petri net and then analyzing that resulting Petri net. The model emphasizes the unified representation of control and data flows, partially ordered software components, hierarchical component structure, abstract data types, data objects, local control, and distributed system state. At any design level, the distributed software system is viewed as a collection of software components. Software components are externally described in terms of their input and output control states, abstract data types, data objects, and a set of control and data transfer specifications. They are interconnected through the shared control states and through the shared data objects. A system component can be viewed internally as a collection of subcomponents, local control states, local abstract data types, and local data objects.     

彩色图像中汉字的自动定位

检测并提取图像中所含的汉字有许多重要的应用。该文提出了彩色图像中自动定位汉字的一种新算法。该法采用“改进的DCT纹理分析法”把图像中的汉字和背景区域进行了预分类,再根据汉字的结构特征,在利用先验知识的基础上,采用“改进的连接组件分析法”对已预分割出的每个待定汉字区域进行细分。新算法克服了DCT纹理分析法和连接组件法各自的缺点。对包含汉字的照片、书籍封面等图像进行试验的结果表明,这一算法是非常有效的。     

A LOGIC PROGRAMMING APPROACH TO HYBRID KNOWLEDGE REPRESENTATION

A new hybrid system called Sphinx is presented which combines classification-based reasoning with logic programming technique. It consists of two major components: a terminological component and an assertional one. The former uses a frame-based knowledge representation scheme based on classification and the latter is a theorem prover based on Horn logic. The assertional component can also handle a first-order query language and wh-questions. A new knowledge base maintenance mechanism based on the negation as failure inference rule enables Sphinx to support incremental assertions and retractions. In addition, Sphinx provides explanation capability to help the user in developing and debugging knowledge bases.     

Coverage Modeling and Reliability Analysis Using Multi-state Function

Fault tree analysis is an effective method for predicting the reliability of a system.It gives a pictorial representation and logical framework for analyzing the reliability.Also,it has been used for a long time as an effective method for the quantitative and qualitative analysis of the failure modes of critical systems.In this paper,we propose a new general coverage model (GCM) based on hardware independent faults.Using this model,an effective software tool can be constructed to detect,locate and recover fault from the faulty system.This model can be applied to identify the key component that can cause the failure of the system using failure mode effect analysis (FMEA).     

基于稀疏导波的裂纹定位和尺寸评估

在无损检测中,尤其是导波检测领域,由于缺乏高效方法对材料结构中存在的损伤进行尺寸检测,因此使用导波方法对材料进行微裂缝等损伤的检测的过程中仍然存在很多困难。本文提出一种基于稀疏导波的损伤检测方法,可以在进行结构损伤定位的同时对损伤尺寸进行测量。研究表明,使用导波进行损伤检测时,由损伤而产生的复杂反射波中包括很多与损伤形状和尺寸相关的信息,但是这些信息并不明显,且信号重叠无法区分。因此,提出一种稀疏lamb波方法来分解由材料损伤产生的反射信号的各个分量。在此基础上,通过确定各个反射信号分量相应的传播时间来计算材料损伤尺寸。最后,在具有人工损伤的铝板上进行实验验证,结果表明,基于稀疏导波损伤检测的方法是可行的。     

基于EMD的网络舆情演化分析与建模方法

现有研究忽略网络舆情演化过程的多成分特性,导致演化分析与建模效果较差。为此,提出一种基于经验模态分解(EMD)的网络舆情演化分析与建模方法。对演化过程进行EMD分解,形成演化过程的趋势成分、周期成分、突发成分和随机成分,通过对各成分进行分析与建模,实现网络舆情的演化分析与建模。实验结果表明,该方法通过EMD分解得到的各成分物理含义明显,有助于分析网络舆情的演化规律,同时具有较好的趋势预测效果,适合进行演化建模。