Information space of sensor networks: Lagrangian,energy-momentum tensor,and applications

It is a challenge to investigate the interrelationship between the geometric structure and performance of sensor networks due to the increasingly complex and diverse architecture of them. This paper presents two new formulations for the information space of sensor networks, including Lagrangian and energy–momentum tensor, which are expected to integrate sensor networks target tracking and performance evaluation from a unified perspective. The proposed method presents two geometric objects to represent the dynamic state and manifold structure of the information space of sensor networks. Based on that, the authors conduct the property analysis and target tracking of sensor networks. To the best of our knowledge, it is the first time to investigate and analyze the information energy–momentum tensor of sensor networks and evaluate the performance of sensor networks in the context of target tracking. Simulations and examples confirm the competitive performance of the proposed method.     

曲线管道内颗粒运动及对管壁磨损的数值分析

根据张量分析理论,推导出非正交曲线柱坐标系中颗粒的运动方程。对三种类型弯管内两相流动的颗粒运动轨迹,颗粒与管壁面的碰撞以及颗粒对壁面的磨损进行了数值计算。     

用多值逻辑树表示的多状态系统可靠性分析

本文提出了多值逻辑树不交布尔代数法,可直接写出不交型结构函数,从而计算其可靠性,而不需先找出最小j值向量或质蕴涵、再将其不交化以计算其可靠性。故可节省计算量。本文还给出从系统不交布尔表达式反求全部最小j值向量的简便算法。用Prolog语言编制了本文算法的程序。     

相应于一类幂零李代数的顶点代数结构

顶点代数和顶点算子代数在物理学领域有着广泛的应用,因此对其研究也有很大的实际意义。主要从有限维幂零李代数g出发,给出了g带有非退化对称不变双线性函数的条件,并构造了相应于g的一个代数结构,从同构的意义上证明了其满足顶点代数的条件,从而给出了一个新的顶点代数结构。     

Solving a plane problem of elasticity theory with the use of a hybrid FEM formulation

In the framework of a plane problem of elasticity theory in strength analysis based on the finite element method in the hybrid formulation, we suggest that the approximation of displacements and stresses be used as magnitudes of vector and tensor fields, respectively. The quadrilateral finite element, the displacements and stresses of which are accepted as nodal unknowns is proposed. The mixed Reissner functional is applied to form a finite element deformation matrix.     

空时自适应处理张量波束成形器的外积合成法

为了解决空时自适应处理（Space-Time Adaptive Processing，STAP）对足量平稳训练快拍的要求，给出了一种设计STAP张量波束成形器的新算法——空时自适应处理张量子波束合成（TSS-STAP）法。分析表明：STAP中所需要的张量波束成形器，可首先在张量的各个子维度上分别进行子波束成形器的设计，然后再由张量的外积运算合成各子波束成形器而得到。进一步分析表明：由于本文算法可在较低自由度（DoF）的子维度上对张量波束成形器进行设计，因此降低了设计所需要的训练快拍数和计算复杂度，同时也实现了有效的去相关处理，使得其在非均匀杂波环境下有更好的目标检测性能。在仿真实验中，所提算法有效提升了目标检测结果，同时降低了目标检测所消耗的时间。     

A high order method for orbital conjunctions analysis: Sensitivity to initial uncertainties

A high order method to quickly assess the effect that uncertainties produce on orbital conjunctions through a numerical high-fidelity propagator is presented. In particular, the dependency of time and distance of closest approach to initial uncertainties on position and velocity of both objects involved in a conjunction is studied. The approach relies on a numerical integration based on differential algebraic techniques and a high-order algorithm that expands the time and distance of closest approach in Taylor series with respect to relevant uncertainties. The modeled perturbations are atmospheric drag, using NRLMSISE-00 air density model, solar radiation pressure with shadow, third body perturbation using JPL’s DE405 ephemeris, and EGM2008 gravity model. The polynomial approximation of the final position is used as an input to compute analytically the expansion of time and distance of closest approach. As a result, the analysis of a close encounter can be performed through fast, multiple evaluations of Taylor polynomials. Test cases with objects ranging from LEO to GEO regimes are considered to assess the performances and the accuracy of the proposed method.     

含故障统计相依组件的多态复杂系统故障树分析

为精确评估可重复使用火箭发动机系统可靠性,采用带约束变量的布尔算法将状态分析与故障树分析恰当结合,从而对含故障统计相依组件的复杂多态可重复使用火箭发动机系统进行可靠性分析.以航天飞机主发动机（SSME）为研究对象,对管路多态性及预燃室和涡轮泵之间的故障相依性进行深入研究.结果表明:该布尔算法能够很好地消除组件统计相依性从而简化复杂多态系统故障树,组件之间失效相依性对系统可靠性影响较大,因此需要加强组件多态及相依性的研究来获得更精确的系统可靠度.      

密码协议的分层安全需求及验证

将密码协议的安全需求分为浅层需求和深层需求2个层面,阐述了密码协议的分层安全需求.采用近世代数和时序逻辑的方法定义了形式化描述语言,并形式化地描述了密码协议的分层安全需求.将类BAN逻辑与模型检查相结合,在Abadi-Tuttle模型的基础上建立密码协议的计算模型.以Otway-Rees协议为例,利用该计算模型和定理证明技术对密码协议进行了多层需求验证.     

运用关系代数理论解析接口底层实现机制

接口是面向对象范式和工程领域中的重要概念,认识其实现原理和内部机制有利于提高软件实践过程中的设计开发能力。首先,从普通的接口调用语句的汇编命令入手,描述了接口的使用方法和外在特征;其次,运用数据模型和关系代数等关系理论技术,分析探讨了接口底层机制的实现原理;再次,给出了2种可能的接口实现机制,通过对比分析确立了比较接近真实的底层实现机制,并分析了其静态结构、执行过程及其他特点;最后,相关试验结果表明该模型机制能够满足软件底层体系结构要求并解释了软件的相关呈现现象,从而证明了推断过程和结果的正确性。