Computability of measurable sets via effective metrics

We consider how to represent the measurable sets in an infinite measure space. We use sequences of simple measurable sets converging under metrics to represent general measurable sets. Then we study the computability of the measure and the set operators of measurable sets with respect to such representations. (© 2005 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

高可靠分布式容错计算机架构的研究

分布式系统因其具有分散安装、可靠性高、扩展性好、维修成本低、健壮、安全等诸多优点,国内外相继开展分布式计算机高可靠性技术的研究。本文提出了高可靠分布式容错计算机的构架设计思路,并对TTE总线的选用进行了分析论证,重点描述了成员一致性保证和余度同步等关键技术。     

可视电话电磁兼容案例分析

通过对可视电话认证测试中静电放电和辐射骚扰试验问题对策的分析,探讨在测试过程中如何分析电磁兼容问题的三要素并依据这三个要素进行改进,最终通过认证测试,并总结了电信终端设备电磁兼容认证测试中有关问题的分析方法.     

Computability of measurable sets via effective topologies

We investigate in the frame of TTE the computability of functions of the measurable sets from an infinite computable measure space such as the measure and the four kinds of set operations. We first present a series of undecidability and incomputability results about measurable sets. Then we construct several examples of computable topological spaces from the abstract infinite computable measure space, and analyze the computability of the considered functions via respectively each of the standard representations of the computable topological spaces constructed. The authors are supported by grants of NSFC and DFG.     

可用于航空电子系统的时间触发以太网

近年来,分布式综合模块化航空电子系统的发展,对航空电子网络提出了更高的要求。时间触发以太网以其特有的优势,可保障数据通信的强实时性,提高网络服务质量,为航空电子网络指明了升级方向。在概括航空电子系统对网络通信要求的基础上,描述常用航空电子网络的特点,指出了时间触发以太网的优势。对时间触发以太网的分析,表明其满足航空电子系统升级要求,是新一代飞机网络技术发展的重要方向。     

极低频电流场透地通信路径损耗建模与分析

针对水平方向地电极电流场无线强穿透信息传输需求,研究了基于极低频水平双电极电流场信道传输特性。考虑到电极半径、电极入土深度、电极间距、发射信号频率和信号传输距离等参数对透地(Through-The-Earth, TTE)通信传输性能的影响,建立了地电极电流场TTE通信路径损耗模型,分析了各参数对路径损耗的影响,确定了信号传输最佳工作参数。根据选定参数搭建了极低频电流场TTE通信系统,在200 m和400 m通信距离下测试了3～10 Hz信号的路径损耗,通过试验数据与仿真结果对比分析验证了模型的准确性。     

机载总线技术发展研究

随着新型飞机的研制,航空电子系统对机载总线带宽、实时性、可靠性要求越来越高.本文分别介绍了传统总线技术和新一代总线技术的几种典型技术,描述了其优势及缺点,然后分别对FC、AFDX、TTE网络技术进行了更详细的介绍、分析和总结,最后展望了我国机载总线技术的发展趋势.     

时间触发以太网时钟同步的仿真与性能验证

TTE 全局时钟同步机制是其时间确定性保障的基本使能技术,对 TTE 时钟同步机制开展了建模仿真研究：提出 TTE 协议模块化的建模仿真方法,构建具有时钟漂移的设备时钟模型,采用离散事件调度的方法对 TTE 系统启动和重启动状态机以及时钟同步过程进行了系统模拟,研究了典型参数配置下 TTE 网络的时钟同步的性能,实现了对 TTE 时钟同步精度范围内微秒级同步的验证。     

时间触发以太网在航空电子系统中的应用

首先,介绍了分布式综合模块化航空电子系统(DIMA)的架构,然后,分析了时间触发以太网(TTE)的特性,最后,针对DIMA架构下的TTE的通信调度问题,提出了基于TTE组循环周期、TT消息调度表周期和剩余时间的调度方法,并对生成的通信调度表进行了分析和评价。