Distributed state estimation for heterogeneous mobile sensor networks with stochastic observation loss

The problem of distributed fusion and random observation loss for mobile sensor networks is investigated herein. In view of the fact that the measured values, sampling frequency and noise of various sensors are different, the observation model of a heterogeneous network is constructed. A binary random variable is introduced to describe the drop of observation component and the topology switching problem caused by complete observation loss is also considered. A cubature information filtering algo...     

基于最近服务的层次式网格信任模型

阐述了网格环境中信任模型的需求,并分析了传统网格信任模型的优缺点,由此提出了基于最近服务的层次式网格信任模型,设计了相应的计算公式.与传统的信任模型相比较,该模型占用网格资源少、信任评估复杂度低、可伸缩性强,能够较好地抑制网格环境下的恶意评价和协同作弊的威胁.采用改进后的网格仿真工具GridSim进行模拟实验,结果表明该信任模型提高了网格系统的可靠程度.     

面向NXD的XML数据函数依赖

XML的半结构化特性造成了Native XML 数据库中数据模式规范化设计中的很多问题.采用结构信息和数据信息相结合的方法,给出XML数据间函数依赖的定义,解决数据模式规范化设计中的理论问题.建立了XML模式路径和XML数据树节点路径的定义,描述XML数据中的路径;给出了XML文档有效性的形式化定义;在此基础上定义了树元组和树元组相等的概念.运用树元组及其相等的概念定义了XML数据的函数依赖关系,进而给出了相应的自反、增广、传递推理规则,用于推导给定集合所蕴涵的函数依赖关系.并证明了这一推理规则是正确的.上述工作为Native XML 数据库系统中数据模式的规范化设计提供了一定的理论基础,增强了XML数据的语义特性.     

液体火箭发动机性能参数的贝叶斯评估方法

文章研究了如何利用发动机地面试验数据,来评估飞行中的性能参数及其可靠性。采用贝叶斯分析,研究给出了合理实用的先验分布及后验分布的求解,并给出了各参数及其性能可靠性的贝叶斯点估计和置信估计。     

窗函数递推T矩阵法

 引入数字信号处理中的窗函数, 应用于加法定理中, 解决了在入射波为TE 波时, 用递推T 矩阵法计算电大尺寸物体或多个散射体散射场时, 精度不高的问题。另外本文从积分方程出发, 推导出了总体T 矩阵的另一种表示形式, 最后给出的算例证明了引入窗函数的有效性和总体T 矩阵表达式的正确性。     

某型固体火箭发动机的可靠性增长分析

对某型固体火箭发动机的可靠性增长进行了统计检验，在可靠性增长的基础上，用二项分布阶段可靠性增长的Bayes方法评定了该机的可靠性下限。结果表明，可靠性增长方法能充分利用信息，并可节省大量试验样本。     

论带通信道的信道容量的不确定性

依据山农的经典论证方法 ,证明山农信道容量定理仅适用于低通信道 ,不适用于带通信道。对于带通信道 ,信道容量将随信道通带的中心频率而改变。所以带通信道的信道容量具有不确定性。     

非线性边界条件的Burgers－KdV方程的静态解

对几类非线性边值条件，讨论了Ｂｕｒｇｅｒｓ－ＫｄＶ方程的边值问题的静态解的存在性和解的个数．借助不动点定理，证明了该边值问题至少有一个，至多有有限个静态解．     

一类抛物型方程组的初边值问题

本文利用上、下解方法，讨论一类抛物型方程组的比较定理，同时讨论正则解的存在唯一性。     

费尔马猜想的古往今来

介绍费尔马猜想，梗概地论述了３００多年来数学家和数学爱好者为证明费尔马所产生的可歌可泣的事迹，评介了怀尔斯对费尔马猜想的证明。