牛顿方法的用导一致性

导数及其使用是一种重要的数学工具与方法,在数值方法研究中起着十分重要的作用,很多经典数值计算方法理论中都涉及了对导数的运用.作为常用的数值方法,牛顿方法大量利用了求导的思想.通过归纳牛顿迭代法的显性用导特性和牛顿插值多项式的隐性用导特性,得到牛顿方法的用导一致性.     

Efficient multiuser detector based on box-constrained deregularization and its FPGA design

Multiuser detection can be described as a quadratic optimization problem with binary constraint.Many techniques are available to find approximate solution to this problem.These techniques can be characterized in terms of complexity and detection performance.The "efficient frontier" of known techniques include the decision-feedback,branch-and-bound and probabilistic data association detectors.The presented iterative multiuser detection technique is based on joint deregularized and box-constrained solution to quadratic optimization with iterations similar to that used in the nonstationary Tikhonov iterated algorithm.The deregularization maximizes the energy of the solution,this is opposite to the Tikhonov regularization where the energy is minimized.However,combined with box-constraints,the deregularization forces the solution to be close to the binary set.We further exploit the boxconstrained dichotomous coordinate descent (DCD) algorithm and adapt it to the nonstationary iterative Tikhonov regularization to present an efficient detector.As a result,the worst-case and average complexity are reduced down to 2.8 and 2.5 floating point operation per second,respectively.The development improves the "efficient frontier" in multiuser detection,which is illustrated by simulation results.Finally,a field programmable gate array (FPGA) design of the detector is presented.The detection performance obtained from the fixed-point FPGA implementation shows a good match to the floating-point implementation.     

一种基于区间语言判断矩阵的群决策模型

研究了偏好信息为区间语言判断矩阵的群决策问题．创建一个转换公式,将专家个体区间语言判断矩阵转化为区间数互补判断矩阵,并对判断矩阵转换的一致性进行了系统地研究;通过将区间数互补判断矩阵进行加权算术平均集结为专家群组区间数互补判断矩阵,进而利用区间数互补判断矩阵的排序向量方法求出专家群组排序向量,从而实现备选方案的排序和择优．最后通过算例说明了方法的可行性与有效性．     

Quorum systems for intrusion-tolerance based on trusted timely computing base

Quorum systems have been used to solve the problem of data consistency in distributed fault-tolerance systems. But when intrusions occur, traditional quorum systems have some disadvantages. For example, synchronous quorum systems are subject to DOS attacks, while asynchronous quorum systems need a larger system size (at least 3f+1 for generic data, and f fewer for self-verifying data). In order to solve the problems above, an intrusion-tolerance quorum system (ITQS) of hybrid time model based on trust timel...     

具有联盟结构博弈的联盟核心的公理化

研究了具有联盟结构博弈的联盟核心的公理化方式及Owen值与联盟核心之间的关系.利用一种缩减博弈,给出了解的一致性、弱反一致性等概念,用个体理性、单人理性、一致性和弱反一致性对联盟核心进行了公理化,给出了解为联盟核心的充分必要条件.结果表明,在该缩减博弈下,联盟核心是唯一确定的,对于具有联盟结构的强凸博弈,Owen值属于联盟核心.     

Borsuk—Ulam型定理的一种推广

本文利用代数拓扑中的周期变换理论,把球面到欧氏空间的映射推广到球面到多个欧氏空间的乘积的映射的情形.     

群组AHP最小二乘排序及其算法研究

本文研究群组AHP最小二乘排序方法及其算法实现。鉴于不同专家所给判断矩阵质量上的差异,最小二乘排序方法对群组AHP进行不同程度的加权处理,并进行群组一致性检验。     

门限自回归模型参数估计的强收敛速度

对门限自回归模型在给定阶数、门限及延迟参数的假定下，继讨论了其参数估计的强相容性后，本文进一步得到了此估计的强收敛速度。     

关于立体阵的范数

本文进一步讨论了立体阵的运算性质,同时,立体阵的范数被首次定义。立体阵的范数的相容性被证明。最后,立体阵范数的应用被讨论。