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.     

Principles and methodology of fuzzy sets

The principles of fuzzy sets and their role in processing uncertain information will be discussed. The question of knowledge representation that is of significant importance in problems of system modelling will be formulated and considered at the level of fuzzy sets. Modelling and simulation realized with the aid of fuzzy sets are studied in a unified methodological framework. First a notion of the cognitive perspective is applied to articulate the problem in terms of specialized linguistic labels. Fuzzy models are constructed to capture logical relationships between the elements (linguistic labels) of the cognitive perspective. Several different classes of the models distinguished with regard to their structural dependencies will be analysed in depth. Finally a linguistic-numerical transformation constituting a type of model-environment interface will be studied.     

利用动态规划和电势理论规划UAV三维航迹

用改进的电势理论规划无人机的三维航迹。充分考虑了地形威胁、火力及雷达威胁同时存在的情况,并对它们的权重对航迹规划的影响进行了研究。通过限制航线到包含任务起止点直线的距离,不但克服了电势法无法收敛目标点的问题,而且可以缩短飞行航程;研究惩罚函数中各因素不同权重对飞行航线的影响,选择出最优权重系数;通过仿真试验可知,该方法能够成功地为无人机规划出安全的飞行路径。     

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

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

基于Vague集的Apriori算法的改进

当前研究的关联规则挖掘隐含着一个假定：待挖掘数据库中每条记录的全部属性都是完整的。然而现实中得到的数据可能是不完整的,在这种情况下将无法使用传统的算法。为了解决这个问题,引入Vague集并给出基于Vague集的支持度和置信度定义,将经典的Apriori算法推广到Vague集上。最后通过一个例子来验证算法的有效性。     

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.     

基于区分对象对的不完备决策表求核

在差别矩阵的基础上,针对不完备决策表提出了基于差别矩阵的区分对象对集定义,并证明求不完备决策表的核可以转化到求基于差别矩阵的区分对象对集上。在此基础上,提出了一种基于区分对象对的不完备决策表求核算法,该算法的时间复杂度为：[max{O(|C||U||Upos|),O(K|C||U|)}],优于同类算法的时间复杂度;用实例说明了新算法的有效性。     

Multi-Dimensional Tunneling in Density-Gradient Theory

The equations of density-gradient theory for describing electron tunneling in multi-dimensions are developed and discussed. The theory is illustrated with an application to tunneling in an STM-like geometry.     

超导磁体脉冲冲击下MOV的破坏特性微观分析

为了将氧化锌电阻阀片(MOV)用于超导磁体的保护,研究了MOV在高温超导磁体产生的脉冲下的冲击破坏过程中的电气特性变化;还通过破坏后MOV的金相分析、SEM微观分析以及成分分析,研究了MOV破坏前后的微观特性的变化;最后讨论了MOV在超导磁体脉冲破坏下的机理,并针对MOV用于在超导磁体保护提出了改进建议,认为保护用阀片应该采取低压大通流氧化锌压敏陶瓷材料,且应该在配方确定的基础上,探索先进的工艺技术改善阀片的性能。