Objective Information Theory Exemplified in Air Traffic Control System

Information is the core of Air traffic con-trol system (ATCS).In this paper,objective information theory is extended to depict,model and measure the information exemplified in ATCS.The sextuple model is presented with information ontology,state occurrence time,state set,carrier,reflection time,and reflection set.The metric system is given to quantitively measure the information with extensity,detailedness,continuity,richness,containability,delay,pervasiveness,authenticity,and adaptability.The results show that the proposed method is potential to find out actual indexes in ATCS for flight safety.     

A novel intelligent verification platform based on a structured analysis model

An intelligent verification platform based on a structured analysis model is presented.Using an abstract model mechanism with specific signal interfaces for user callback,the unified structured analysis data,shared by the electronic system level design,functional verification,and performance evaluation,enables efficient management review,auto-generation of code,and modeling in the transaction level.We introduce the class tree,flow parameter diagram,structured flow chart,and event-driven finite state machine as structured analysis models.As a sand table to carry maps from different perspectives and levels via an engine,this highly reusable platform provides the mapping topology to search for unintended consequences and the graph theory for comprehensive coverage and smart test cases.Experimental results show that the engine generates efficient test sequences,with a sharp increase in coverage for the same vector count compared with a random test.     

基于分形理论对天线的讨论

利用分形理论设计出的分形天线和分形天线阵,具有小巧、灵活、轻便、同时还具有多频带、宽频带和“自加载”特性,它们存在多种多样形式,在军事工业和通信行业将有很大的发展潜力。     

Levy-type solution for buckling analysis of orthotropic plates based on two variable refined plate theory

This paper presents closed-form solution for buckling analysis of orthotropic plates using two variable refined plate theory. The theory accounts for a quadratic variation of the transverse shear strains across the thickness, and satisfies the zero traction boundary conditions on the top and bottom surfaces of the plate without using shear correction factors. Governing equations are derived from the principle of minimum total potential energy. The closed-form solutions of rectangular plates with two opposite edges simply supported and the other two edges having arbitrary boundary conditions are obtained by applying the state space approach to the Levy-type solution. Comparison studies are performed to verify the validity of the present results. The effects of boundary condition, loading condition, and variations of modulus ratio, aspect ratio, and thickness ratio on the critical buckling load of orthotropic plates are investigated and discussed in detail.     

New Group-Contribution Method for Predicting Temperature-Dependent Properties of Pure Organic Compounds

A new method for predicting temperature-dependent properties of organic compounds is presented. It is a combination of a group-contribution method with the novel non-random hydrogen-bonding (NRHB) equation-of-state theory. First-order and second-order groups are used to predict the three characteristic scaling constants of the NRHB model. With these scaling constants, one is able to estimate/predict temperature-dependent properties of pure organic compounds such as vapor pressure, liquid density, heat of vaporization and more, in a wide range of temperatures. The influence parameter, κ, which is needed for the estimation of surface tension at any given temperature, is also predicted by the same group-contribution method     

Simulation of the development of deformation textures and residual stresses using the Taylor–Bishop–Hill theory

Cold working processes due to inhomogeneous and strong plastic deformations result in the formation of residual stresses and texture within the components. The texture evolution has a strong influence on the residual microstresses and produces non-linear d vs. sin² ψ-curves. The texture evolution and the resulting non-linear d vs. sin² ψ-curves are calculated here using the Taylor–Bishop–Hill theory and an elastic unloading model. Examples are given for the inverse pole figure and non-linear d vs. sin² ψ-distributions due to cold torsion of an austenitic steel.     

D-S证据融合的中医辨证模型

为提高传统不确定性推理在中医辨证中的准确率和灵活性,提出了基于D-S证据理论的中医辨证模型。模型采用群决策理论,以证素为识别框架,以不同专家的诊断结果为基本可信度分配,对专家的诊断结果进行证据融合,模型能够降低系统的不确定性,提高证素诊断的准确率和可信度。以冠心病的中医诊断为例,验证了模型的有效性。     

Dempster-Shafer证据理论在目标意图预测中的应用

为了准确对目标意图进行预测,以便我方及时合理地作出战术决策,采用D-S证据理论对目标意图进行预测。首先提取出影响目标意图预测的各个态势因素,然后分析每个因素的影响效果。在此基础上建立目标意图预测的数学模型,利用D-S合成法则将所有因素的影响进行综合,并计算出各个可能命题的概率赋值并给出相应决策。最后,通过仿真实例验证了该方法在目标意图预测中的可行性和实用性。     

超密集网络中基于多基站博弈均衡的分布式无线资源管理算法

移动边缘计算和超密集网络技术在扩大移动设备计算能力和增加网络容量方面有明显的优势.然而,在两者融合的场景下,如何有效降低基站之间的同信道干扰,减少任务传输的时延和能耗是一个重要研究课题.本文设计了一个基于多基站博弈均衡的分布式无线资源管理算法.将小基站之间的无线资源管理问题转化为博弈问题,提出一种基于奖励驱动的策略选择算法.基站通过迭代不断更新其策略的选择概率,最终优化子信道分配和发射功率的调控.仿真结果表明,我们的算法在提高信道利用率和降低任务处理的时延和能耗方面具有优势.     

架空输电线路环境荷载响应与设计理论的研究

我国地域广阔, 气候跨区域变化较大, 地形地貌复杂多变, 各地区风、雨以及导线覆冰的分布规律千差万别。由于目前环境荷载因素对输电塔线结构的严重破坏频繁发生, 造成了巨大的经济损失。因此, 有必要建立输电塔线结构环境荷载响应分析理论和进行设计优化, 提高其结构设计的规范水准, 并加强灾害监测控制。这对减轻环境荷载造成的输电塔线结构的灾害具有不可估量的作用。