空空导弹投放信号中断故障容错设计与PHM实现

载机送出投放信号启动空空导弹弹射过程,当该过程尚未结束而投放信号中断或瞬断时,则会产生机-弹分离安全性问题.为了防止该问题的发生,在弹射控制电路的基础上,采用高能复合钽电解电容储存电能的方法实现投放信号中断故障容错.在电容充电过程中,通过在线测试充电电压得到实际电容充电曲线,比较该曲线和标准曲线的均方误差进行故障预测和健康管理.试验表明了故障容错设计和故障预测的可行性和有效性.     

A consensus model for hesitant fuzzy preference relations and its application in water allocation management

This paper investigates a consensus model for hesitant fuzzy preference relations (HFPRs). First, we present a revised definition of HFPRs, in which the values are not ordered for the hesitant fuzzy element. Second, we propose an additive consistency based estimation measure to normalize the HFPRs, based on which, a consensus model is developed. Here, two feedback mechanisms are proposed, namely, interactive mechanism and automatic mechanism, to obtain a solution with desired consistency and consensus levels. In the interactive mechanism, the experts are suggested to give their new preference values in a specific range. If the experts are unwilling to offer their updated preferences, the automatic mechanism could be adopted to carry out the consensus process. Induced ordered weighted averaging (IOWA) operator is used to aggregate the individual HFPRs into a collective one. A score HFPR is proposed for collective HFPR, and then the quantifier-guided dominance degrees of alternatives by using an OWA operator are obtained to rank the alternatives. Finally, both a case of study for water allocation management in Jiangxi Province of China and a comparison with the existing approaches are carried out to show the advantages of the proposed method.     

基于修正变分法开孔板和加强板结构的自由振动分析

为研究船舶开孔板和加强板结构的振动特性,用1阶剪切变形板理论描述各向同性板的位移场,并采用修正变分原理和区域分解方法建立板的离散动力学模型.每一块子域板的位移和转角分量通过第一类切比雪夫正交多项式展开.针对加强板模型,将该方法获得的结果与已经发表的文献和有限元商用软件计算结果进行对比,验证该方法的收敛性和正确性.基于修正变分法探讨多种开孔和加强板模型的自由振动特性,充分说明该数理模型和半解析方法是一种适合处理复杂板结构问题的数值工具.     

面向数据对象实体类的需求分析方法

文章介绍一种作者在多个管理信息系统开发中采用的面向数据对象实体类的需求分析方法（ＤＩＣＡＭ）。该方法以数据为中心分析系统的结构。该方法根据数据来源将数据客体分为三类：源数据客体、混合数据客体和生成数据客体。该方法一方面从纵向分析数据客体的属性组成和结构,另一方面从横向分析数据实例特征,将各个数据客体的数据划分为不同的实例类,以实例类的状态、生命过程、组成组描述系统中的数据产生变化,通过实例类状态的获得反映系统的功能。     

Computing Bisimulations for Finite-Controlπ-Calculus

Symbolic bisimulation avoids the infinite branching problem caused by instantiating input names with all names in the standard definition of bisimulation in π-calculus.However,it does not automatically lead to an efficient algorithm,because symbolic bisimulation is indexed by conditions on names,and directly manipulating such conditions can be computationally costly.In this paper a new notion of bisimulation is introduced,in which the manipulation of maximally consistent conditions is replaced with a systematic employment of schematic names.It is shown that the new notion captures symbolic bisimulation in a precise sense.Based on the new definition an efficient algorithm,which instantiates input names “on-the -fly“,is presented to check bisimulations for finite-control π-calculus.     

Structural Synthesis of Modular Weakly Connected Neural Networks. II. Nuclear Neural Networks

The simplest modular neural network is investigated, in which each module is a single-layer perceptron (a neural kernel). Numerical indices of quality by the criteria of operating speed and plasticity are proposed to characterize structural properties of nuclear neural networks. Based on the indices introduced, optimum procedures of structural synthesis are constructed.     

数据库应用程序执行过程抽象

本文对数据库应用的执行流程进行了一个抽象,指出数据库应用流程通常都具有的几个步骤,从而使数据库应用程序的开发过程中可以更加有效的进行设计和实现。     

基于Visual Foxpro的北京奥运会倒计时显示牌的设计

详细分析与探讨了用Visual Foxpro设计距2008北京奥运会开幕倒计时显示牌的方法和步骤。首先在设计北京奥运会倒计时显示牌表单界面及相关属性的基础上,阐明了北京奥运会倒计时显示牌的功能目标,进一步分析相应对象相关事件的基本过程,并提供相应的Visual Foxpro程序代码。     

基于Visual Foxpro的北京奥运会倒计时显示牌的设计

详细分析与探讨了用Visual Foxpro设计距2008北京奥运会开幕倒计时显示牌的方法和步骤。首先在设计北京奥运会倒计时显示牌表单界面及相关属性的基础上,阐明了北京奥运会倒计时显示牌的功能目标,进一步分析相应对象相关事件的基本过程,并提供相应的Visual Foxpro程序代码。     

浅析Oracle存储过程触发器在数据同步中的应用

本文介绍了Oracle存储过程以及触发器的概念等基础知识,结合实际项目的实践,总结了触发器和存储过程在Oracle数据库间数据同步中的应用的经验,并附有相关的触发器及存储过程实例供参考。