航空装备预测与健康管理系统的验证方法概述

随着国内PHM(预测与健康管理)技术发展迅速,航空装备PHM验证与确认方法成为制约PHM技术成果工程转化的难点.针对上述问题,提出了PHM系统全寿命周期内的验证流程,明确了在需求分析、设计研制、使用与维护等阶段PHM验证与确认的具体内容与要求,结合PHM对象的特点,阐述了目前典型的航电PHM、机电/动力PHM、结构SHM的验证和确认方法.     

面向服务的装甲装备PHM体系结构研究

为适应装甲装备维修保障方式改革的需要,提出一种面向服务的装甲装备故障预测与健康管理(PHM)体系结构;分析了几种典型PHM体系结构,得出PHM体系结构应具备的共性特征;结合面向服务架构的原理和装甲装备综合电子信息系统的特点,研究和设计了面向服务的装甲装备PHM体系结构,详细阐述了其组成、功能及特点;该结构具有分布式、层次化、开放性等特点,满足装甲装备PHM系统分布式应用环境要求。     

数字孪生支持下的设备故障预测与健康管理方法综述

故障预测与健康管理(PHM)是设备运行维护管理的有效方法,早期主要应用于航天、军用装备等领域。随着故障诊断和数据采集与分析等相关技术的不断发展,PHM方法逐渐在民用航空、装备制造等领域得到应用,并进一步在多行业得到推广和普及。传统PHM方法有基于经验模型的方法、基于数据驱动的方法和基于物理模型的方法。但这些方法存在着不少的局限性。随着数字孪生技术的兴起,其模型和数据相融合的问题处理方法,可有效地解决传统PHM方法的不足,是PHM技术发展的一个方向。在对PHM相关技术和方法进行了研究之后,综述了数字孪生技术及其在PHM中的应用方法,并对应用中的关键问题进行了总结和分析,指出数字孪生支持下的PHM方法未来发展方向。     

某型火炮预测与健康管理技术(PHM)体系结构设计与应用

故障预测与健康管理(PHM)技术已在航空航天领域取得较为广泛的应用,而在地面装备领域鲜有应用,为将故障预测与健康管理(PHM)技术从航空航天领域推广到地面装备领域,设计和构建了某型火炮的PHM体系结构;首先,通过对比和借鉴航空航天领域典型的4种PHM体系结构OSA-CBM开放式体系结构、集中式体系结构、分布式体系结构、分层融合式体系结构的特点,结合地面装备作战特点和实际工作环境,设计并构建了适于地面装备的PHM体系结构;然后,以地面装备的PHM构建思路为依托,将PHM体系应用到具体的某型火炮中,设计出了基于某型火炮的PHM体系结构,根据所构建PHM体系结构,详细描述了在火炮上的应用情况;最后展望了PHM技术在地面装备领域的发展趋势和对国防工业发展的借鉴意义。     

复杂装备故障预测与健康管理体系结构研究

PHM是基于CBM概念的一种新技术,对提高复杂装备的维修保障能力和减少维修保障费用有着重大意义;文章以复杂装备为研究对象,针对其PHM系统设计的首要问题———PHM体系结构进行了探索,提出了适合复杂装备的PHM总体结构和相应的硬件、软件系统结构,并在此基础上结合现行的三级维护体制提出了基于Web的防空导弹装备PHM总体结构。     

复杂装备故障预测与健康管理系统初探

故障预测与健康管理(PHM)系统是新型维修保障模式—自主后勤保障的重要组成部分,对提高复杂装备的战备完好性和降低维修成本具有重要意义;首先介绍PHM系统基本概念及主要组成,并对在复杂装备全寿命周期实施PHM的必要性进行分析;综合论述了PHM系统实现中的关键支撑技术:基于RCM分析的方案设计、基于匹配度的健康状态评估和基于剩余寿命预测的维修决策;最后给出了PHM系统在无人机装备中的应用实例;国内外应用情况表明,PHM系统可显著提高维修保障效率并降低维修保障费用,可实现经济可承受性目标。     

基于PHM的电子装备故障预测系统实现关键技术研究

为实现现代武器装备故障预测与健康管理技术,需要对故障预系统实现技术进行了研究;建立了针对某型装备故障预测需要的软硬件平台,从状态检测系统设计、故障预测系统设计等方面进行了研究,并分析了故障预测模型的适应性;文章的研究为建立基于PHM思想的电子装备故障预测系统奠定了基础,该系统已经在某型装备故障预测中进行了应用,其研究成果还可以应用于装备寿命预测技术,为实施装备延寿工作提供信息支持.     

美军F-35战斗机PHM体系结构分析

为借鉴国外状态预测与健康管理(PHM)技术的发展经验,促进大型平台实现从状态监控向健康管理过渡,文章回顾了美军PHM技术的发展概况,分析了F-35战斗机PHM的体系结构组成以及各模块的主要功能,总结了F-35战斗机PHM的工作流程,介绍了F-35战斗机PHM系统的发展现状及存在的主要问题,提出了对发展PHM技术的认识,为从事PHM技术工作者提供一些参考.     

装甲装备故障预测与健康管理系统技术研究

预测和健康状态管理(PHM)技术是一种先进测试、维修技术;从视情维修保障的背景出发,介绍了装甲装备PHM系统的内涵,进行了装甲装备故障模式影响和危害分析,明确了PHM系统具备的功能,初步构建了基于开放体系的装甲装备PHM系统的技术框架,并对其中的关健技术进行了深入研究,对炮控系统进行故障预测分析,结果和实际应用一致。     

基于视情维修的电子装备PHM体系结构分析

为推行自主式保障理念,提高电子装备的综合保障能力,提出了一种基于视情维修的电子装备预测与健康管理(Prognostics and Health Management,PHM)构建方案。在分析PHM内涵和功能的基础上,从数据信息维、模型维和生命周期维3个维度研究了PHM系统结构,采用开放式PHM架构方式,建立了基于视情维修的电子装备PHM体系结构,并对其系统实现技术进行了探讨。通过对某型装备模拟训练与仿真测试系统PHM策略的设计,验证了所提方案的有效性。     

空间·创意·精神——从传统而来,向时代中去

每个国家、地区与民族的建筑环境设计都有自己的风格个性和辉煌成就。摆在设计师今天的责任,就是研究如何继承和创新,这是每个设计师、艺术家责无旁贷的。现代环境艺术设计,只能走中国现代之路,立足于我们自己基础之上的实践过程。从传统而来,向时代中去,本质讲一切继承都是为了创新,因而继承只有植根于本民族的土壤之中,才能有生机,并对社会的创造保持文化发展的连续性,科学地运用传统的创作思想来启发、创意环境艺术设计。     

交互式电子白板在课堂教学中的应用

本文通过交互式电子白板和之前教育方式的对比,以及交互式电子白板在历史课堂上的种种合适的应用,描绘了一个高效的,生动活泼的,师生相长相宜的新兴历史教学法。     

国内外标准法规比对分析系统设计与实现

为发现我国国家标准与国外发达国家标准法规的差距,从根本上提高我国国家标准的总体质量,提升我国产品的质量安全水平,以关键指标(因子)为核心,研究国内外标准法规比对的工作流程,利用面向对象的方法设计,实现了国内外标准法规比对分析系统。该系统适用于所有产品国内外标准法规的比对工作。     

Study and application of temporal index technology

This paper addresses the mathematical relation on a set of periods and temporal indexing constructions as well as their applications. First we introduce two concepts, i.e. the temporal connection and temporal inclusion, which are equivalence relation and preorder relation respectively. Second, by studying some basic topics such as the division of “large” equivalence classes and the overlaps of preorder relational sets, we propose a temporal data index model (TDIM) with a tree-structure consisting of a root node, equivalence class nodes and linearly ordered branch nodes. Third, we study algorithms for the temporal querying and incremental updating as well as dynamical management within the framework of TDIM. Based on a proper mathematical supporting, TDIM can be applied to researching some significant practical cases such as temporal relational and temporal XML data and so on. Supported by the National Natural Science Foundation of China (Grant Nos. 60373081, 60673135), the Natural Science Foundation of Guangdong Province (Grant No. 05003348), the Program of New Century Excellent Person Supporting of Ministery of Education of China (Grant No. NCET-04-0805)     

High Resolution Tracking of Non-Rigid Motion of Densely Sampled 3D Data Using Harmonic Maps

We present a novel automatic method for high resolution, non-rigid dense 3D point tracking. High quality dense point clouds of non-rigid geometry moving at video speeds are acquired using a phase-shifting structured light ranging technique. To use such data for the temporal study of subtle motions such as those seen in facial expressions, an efficient non-rigid 3D motion tracking algorithm is needed to establish inter-frame correspondences. The novelty of this paper is the development of an algorithmic framework for 3D tracking that unifies tracking of intensity and geometric features, using harmonic maps with added feature correspondence constraints. While the previous uses of harmonic maps provided only global alignment, the proposed introduction of interior feature constraints allows to track non-rigid deformations accurately as well. The harmonic map between two topological disks is a diffeomorphism with minimal stretching energy and bounded angle distortion. The map is stable, insensitive to resolution changes and is robust to noise. Due to the strong implicit and explicit smoothness constraints imposed by the algorithm and the high-resolution data, the resulting registration/deformation field is smooth, continuous and gives dense one-to-one inter-frame correspondences. Our method is validated through a series of experiments demonstrating its accuracy and efficiency.     

An embedding of Timed Transition Systems in HOL

The theory of Timed Transition Systems developed by Henzinger, Manna, and Pnueli provides a formal framework for specifying and reasoning about real-time systems. In this paper, we report on some preliminary investigations into the mechanization of this theory using the HOL theorem prover.We review the main ideas of the theory and describe how it has been formally embedded in HOL. A graphical notation of timed transition diagrams and a real-time temporal logic for requirements have also been embedded in HOL using the embedding of timed transition systems. The proof rules proposed by Henzinger et al have been verified formally and we illustrate their use, as well as some problems we have encountered, by reference to a small example. More work is required on interfaces and proof methods to have a generally usable system.     

矿物与岩石的可见-近红外光谱特性综述

矿物和岩石的系统光谱学研究是当今高光谱遥感发展的基础。在简要介绍了吸收光谱产生的电子过程和振动过程机理后,系统归纳了主要矿物类型和岩石类型的可见-近红外光谱特征。认为矿物的吸收光谱主要由二价、三价铁离子和过渡族元素的电子跃迁以及晶体场效应等电子过程产生;此外,还可以由水分子、Al-OH、Mg-OH、碳酸根的振动过程及卤化物的色心和硫化物的导带产生;岩石的吸收光谱都是杂质、包体、蚀变及替代成分产生的,主要为铁、水和羟基、碳酸根、硼酸根的光谱。最后指出,不同物理、化学环境下的矿物光谱特征变异研究在将来的高光谱遥感地质勘察中将变的更为重要。     

Type inference of SELF: Analysis of objects with dynamic and multiple inheritance

We have designed and implemented a type inference algorithm for the SELF language. The algorithm can guarantee the safety and disambiguity of message sends, and provide useful information for browsers and optimizing compilers. SELF features objects with dynamic inheritance. This construct has until now been considered incompatible with type inference because it allows the inheritance graph to change dynamically. Our algorithm handles this by deriving and solving type constraints that simultaneously define supersets of both the possible values of expressions and of the possible inheritance graphs. The apparent circularity is resolved by computing a global fixed-point, in polynomial time. The algorithm has been implemented and can successfully handle the SELF benchmark programs, which exist in the ‘standard SELF world’ of more than 40,000 lines of code.     

测控任务并发调度管理的研究与设计

论文分析了测控系统中测控任务的特点,据此提出了测控任务的并发调度管理方法,介绍了测控任务并发调度管理模型、测控任务的表示要素、任务管理的操作以及这些操作的设计方法。     

A fuzzy analysis of country-size argument for the Feldstein-Horioka puzzle

This study aims to analyze the effect of country size, represented by relative Gross National Products (GNP), on the association between domestic investment and saving, using data from a panel of 21 OECD countries. The countries are clustered into four groups with respect to their relative country sizes with an application of Fuzzy c-Means clustering technique. The novelty of this approach is that it is an unsupervised method that generates membership values between zero and one instead of binary values that take values of zero or one only. In addition to this it has the advantages of its tolerance to imprecise data and the ease of understanding. The results show that the saving retention coefficients are greater for larger countries except for the cluster which contains the largest country. Thus, this work presents only partial evidence that the country size affects the relationship of domestic saving and investment.