基于精度的属性约简新方法

自Pawlak提出粗糙集概念以来,人们就一直对粗糙集的近似精度很感兴趣,出现了不少有关近似精度的文献.在粗糙集理论中,精度是量化由粗糙集边界引起的不精确性的一种重要数字特征.在分析传统精度和基于等价关系图的过剩熵的近似精度的基础上,提出了一种新的精度定义.比较发现,新定义的精度更具有合理性.同时把这个新定义的精度运用到了属性约简上,通过实例比较发现,本文提出的属性约简更具有可行性.     

集值向量优化的二阶最优性必要条件

在赋范空间中给出了集值映射的二阶切集的概念,利用二阶切集,定义了集值映射的二阶切导数。然后,获得了集值向量优化问题弱极小元的两个二阶最优性必要条件。     

近似函数高阶导数的高精度积分逼近方法

主要研究稳定计算近似函数的高阶导数的积分逼近方法,方法因由Lanczos提出故也称为Lanczos算法.利用Legendre多项式的正交性,提出了一类逼近近似函数高阶导数的高精度积分方法,即构造出一系列积分算子Dn,h(m)去逼近噪声函数的高阶导数,且这些积分算子具有O(δ(2n+2)/(2n+m+2))的收敛速度,其中δ为近似函数的噪声水平.数值模拟结果表明提出的方法是稳定而有效的.     

Pattern memory analysis of second-order neural networks with time-delay

In this paper, the pattern memory of the second-order neural networks with time-delay are investigated based on the stability theory. Several sufficient conditions are obtained such that the equilibrium point is locally exponential stable when the equilibrium point located in the saturation region. These conditions can be directly derived from the synaptic connection weights and the external input of the second-order neural networks, and be verified easily. In addition, four examples are given to show the effectiveness of the results.     

Stability and accuracy functions for a multicriteria Boolean linear programming problem with parameterized principle of optimality “from Condorcet to Pareto”

A multicriteria Boolean programming problem with linear cost functions in which initial coefficients of the cost functions are subject to perturbations is considered. For any optimal alternative, with respect to parameterized principle of optimality “from Condorcet to Pareto”, appropriate measures of the quality are introduced. These measures correspond to the so-called stability and accuracy functions defined earlier for optimal solutions of a generic multicriteria combinatorial optimization problem with Pareto and lexicographic optimality principles. Various properties of such functions are studied and maximum norms of perturbations for which an optimal alternative preserves its optimality are calculated. To illustrate the way how the stability and accuracy functions can be used as efficient tools for post-optimal analysis, an application from the voting theory is considered.     

Analyzing completeness of axiomatic functional systems for temporal × modal logics

In previous works, we presented a modification of the usual possible world semantics by introducing an independent temporal structure in each world and using accessibility functions to represent the relation among them. Different properties ofthe accessibility functions (being injective, surjective, increasing, etc.) have been considered and axiomatic systems (called functional) which define these properties have been given. Only a few ofthese systems have been proved tobe complete. The aim ofthis paper is to make a progress in the study ofcompleteness for functional systems. For this end, we use indexes as names for temporal flows and give new proofs of completeness. Specifically, we focus our attention on the system which defines injectivity, because the system which defines this property without using indexes was proved to be incomplete in previous works. The only system considered which remains incomplete is the one which defines surjectivity, even ifwe consider a sequence ofnatural extensions ofthe previous one (© 2010 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Oscillation of a Second-order Impulsive Neutral Differential Equation

Oscillation theorems for a second-order impulsive neutral differential equation are established, which extend the main results developed by Li et alLi et al, Oscillation of second order self-coajugate differential equation with impuls[es. J Comput Appl Math 197（2006）： 78-88] to the considered equation. Two examples are also inserted to illustrate our main results.     

High‐order finite difference schemes for incompressible flows

This paper presents a new high‐order approach to the numerical solution of the incompressible Stokes and Navier–Stokes equations. The class of schemes developed is based upon a velocity–pressure–pressure gradient formulation, which allows: (i) high‐order finite difference stencils to be applied on non‐staggered grids; (ii) high‐order pressure gradient approximations to be made using standard Padé schemes, and (iii) a variety of boundary conditions to be incorporated in a natural manner. Results are presented in detail for a selection of two‐dimensional steady‐state test problems, using the fourth‐order scheme to demonstrate the accuracy and the robustness of the proposed methods. Furthermore, extensions to higher orders and time‐dependent problems are illustrated, whereas the extension to three‐dimensional problems is also discussed. Copyright © 2010 John Wiley & Sons, Ltd.     

Effect of heat transfer on a third grade fluid in a flat channel

The heat transfer analysis on the laminar flow of an incompressible third grade fluid through a porous flat channel is examined. The lower plate is assumed to be at a higher temperature than the upper plate. Analytical solution for temperature distribution is obtained for various values of the controlling parameters and discussed. The obtained analytical solution is also compared with the numerical solution. The comparison shows the fact that the accuracy is remarkable. Copyright © 2009 John Wiley & Sons, Ltd.