Stability analysis of BAM neural networks with time-varying delays

Some new criteria for the global asymptotic stability of the equilibrium point for the bi-directional associative memory neural networks with time varying delays are presented. The obtained results present the structure of linear matrix inequality which can be solved efficiently. The comparison with some previously reported results in the literature demonstrates that the results in this paper provide one more set of criteria for determining the stability of the bi-directional associative memory neural networks with delays.     

基于CCA的增强线性鉴别分析

为了有效地融合Fisher线性鉴别分析与最大散度差鉴别分析所抽取的特征,得到更加全面反映原始样本的鉴别特征集,提出了基于典型相关分析的增强线性鉴别分析方法.利用Fisher线性鉴别分析和最大散度差鉴别分析方法提取两组鉴别特征,根据典型相关分析对这两组特征进行融合,获得更具鉴别力的典型鉴别特征.经过ORL标准人脸库实验,验证了所提算法的有效性.     

基于模糊股价的可转债最优转股模型

以可转债的转股方案为研究目的,利用模糊集理论和模糊数分析方法,定义了证券价格的期望值、证券投资收益率的期望值、预期风险系数等概念,建立了可转债转股的线性规划模型.例证结果表明:该方法便于操作,求解简单,结论合理,可供投资者投资决策参考.     

用迈克耳逊干涉仪测固体线胀系数

利用迈克耳逊干涉仪可精确测量微小长度这一特性来测定固体热胀冷缩的微小变化量,从而得到一种能够精确测量固体线胀系数的新方法。     

Parameter Optimization of Linear Quadratic Controller Based on Genetic Algorithm

The selection of weighting matrix in design of the linear quadratic optimal controller is an important topic in the control theory. In this paper, an approach based on genetic algorithm is presented for selecting the weighting matrix for the optimal controller. Genetic algorithm is adaptive heuristic search algorithm premised on the evolutionary ideas of natural selection and genetic. In this algorithm, the fitness function is used to evaluate individuals and reproductive success varies with fitness. In the design of the linear quadratic optimal controller, the fitness function has relation to the anticipated step response of the system. Not only can the controller designed by this approach meet the demand of the performance indexes of linear quadratic controller, but also satisfy the anticipated step response of close-loop system. The method possesses a higher calculating efficiency and provides technical support for the optimal controller in engineering application. The simulation of a three-order single-input single-output (SISO) system has demonstrated the feasibility and validity of the approach.     

MnOx-M/AC(M=La,Ce,Co,Ni)氧还原催化材料的制备及性能

用热解法制备了掺杂La、Ce、Co、Ni等元素的氧还原催化材料MnOx/AC,并采用XRD和电化学方法对所制备材料的性质和电化学反应性能进行了表征。结果表明,掺杂适量的La、Ce、Co和Ni等元素可改善电极的氧还原反应性能。掺杂La和Co元素的MnOx/AC氧催化还原性能最好,其中,在50mA/cm2的电流条件下,使用这两种掺杂材料所制备的模拟锌-空气电池的放电电压分别为1.1236V和1.1246V。     

UML 顺序图的一种形式化描述方法

统一建模语言UML是一种通用的图形化建模语言,在面向对象系统的分析和设计中,它已成为了事实上的工业标准。但UML不是形式化的建模语言,缺乏精确的、形式化的语义,因此阻碍了它的进一步发展。线性时序逻辑是并发或反应式程序动态语义的一种形式化描述语言,它适合用来精确地表示模型的动态语义。本文定义了顺序图的形式化语法,采用线性时序逻辑给出了顺序图的语义描述,并通过实例分析,对模型的某条性质进行了证明,为模型做进一步分析和验证提供了基础。     

适定且收敛的全部线性二步公式的推导和分析

应用MATLAB的符号运算,推导了常微分方程初值问题适定的线性二步法全部公式,并利用关于线性方程组多步法公式的收敛条件,筛选出其中收敛的公式,计算出了公式的分数形式的系数,误差主项系数,阶数,绝对稳定区间.运用根轨迹法绘制了其中绝对稳定的公式的稳定区域的图形,并对以上公式的性能作出了简单分析,特别是推导和证明了一个新的二步二阶A-稳定公式.     

应用系统自动生成研究

结构化、面向对象、基于组件等都是比较成熟的程序设计方法.借助这些方法的实现机理以及原型和分层思想以应用领域的业务元数据为依据,自动生成符合规范的程序代码,将推动程序设计方法和程序代码自动生成技术的进一步发展.而以此为基础的软件开发方法可有效地缩短开发时间、降低开发成本以及提高产品质量,解决当前软件工程领域存在的特色问题.     

区间数线性不等式及拟不等式

区间数比较大小可以有很多方法.文中基于一种区间数比较大小的方法,提出了区间数线性不等式及拟不等式的概念,这种概念同样也适用于其他区间数排序.此外,根据区间数的运算法则分别给出了相应的解法,这种解不等式的方法同样也适用于其他一些区间数的排序.