On implementing the symbolic preprocessing function over Boolean polynomial rings in Gröbner basis algorithms using linear algebra

Some techniques using linear algebra was introduced by Faugère in F4 to speed up the reduction process during Gr?bner basis computations.These techniques can also be used in fast implementations of F5 and some other signature-based Gr?bner basis algorithms.When these techniques are applied,a very important step is constructing matrices from critical pairs and existing polynomials by the Symbolic Preprocessing function(given in F4).Since multiplications of monomials and polynomials are involved in the Symbolic Preprocessing function,this step can be very costly when the number of involved polynomials/monomials is huge.In this paper,multiplications of monomials and polynomials for a Boolean polynomial ring are investigated and a specific method of implementing the Symbolic Preprocessing function over Boolean polynomial rings is reported.Many examples have been tested by using this method,and the experimental data shows that the new method is very efficient.     

几何造型中不同目标函数特点研究

曲线的长度最短、能量最小和曲率变化最小等目标函数被广泛应用在曲线曲面造型中。以插值三次样条为例，讨论了这些目标函数产生的曲线的形状、与型值多边形的逼近程度、拐点个数等方面的特点，还对这几种目标函数与它们的近似函数进行了比较。最后讨论了这些目标函数在导矢估计中的应用，通过实例说明曲率变化最小曲线及其近似曲线用于局部估计型值点切线方向时逼近较好。     

Controllability of Singular Distributed Parameter Systems in the Sense of Mild Solution

Necessary and sufficient conditions for the exact controllability and approximate controllability of a singular distributed parameter system are obtained. These general results are used to examine the exact controllability and approximate controllability of the Dzektser equation in the theory of seepage.     

基于有限单元的贝叶斯滤波估计算法

现代工程系统具有较强的非线性特性,针对这类非线性系统的状态估计问题,提出基于有限单元的贝叶斯原理估计的非线性滤波方法。采用有限单元法逼近系统状态的先验概率解,即前向Kolmogorov方程的解,通过贝叶斯估计得到状态的后验信息。将其方法应用到惯性/地形组合导航系统中,仿真结果表明该方法的可行性。     

部分可观测马尔可夫决策过程算法综述

部分可观测马尔可夫决策过程(POMDP)是马尔可夫决策过程(MDP)的扩展,它允许系统的状态信息部分可知。但POMDP的可能应用大部分没有实现,这主要是因为缺乏有效的算法。POMDP的算法分为近似算法和精确算法,精确算法是构造近似算法的基础。介绍了POMDP模型后,对离散时间、有限状态集的POMDP精确算法和近似算法进行了综述,分析了造成POMDP难以求解的主要原因,提出了进一步的研究方向。     

基于冲突合作关系的生鲜选址-路径多主体优化模型与算法

针对城市生鲜农产品配送成本高，产品损耗大等特点，考虑生鲜销售商和外包冷链配送公司共同参与又独立决策的实际运营情况，建立了基于冲突合作关系的生鲜配送选址-路径多主体优化模型.模型中，考虑客户模糊时间窗，主导层生鲜销售商以系统总成本最低为目标，而从属层冷链配送公司仅考虑运输相关成本最小化.设计了GAPSO混合算法求解该问题，结合精英选择策略和自适应权重粒子更新策略，采用田口分析法获取参数合理取值.与CPLEX求取小规模算例精确解对比，GAPSO算法在保持准确性的同时，求解时间降低了96.17%；对基于Barreto和Prins经典LRP基准案例集的中大规模算例，与HybridGA算法和已知最优解BKR对比分析，结果表明GAPSO对于中小规模问题，能很好的收敛于全局最优解，对于大规模问题能求得近似最优解，能为实际生鲜选址和配送问题提供有效决策支持.     

两个双目标竞争选址问题模型

研究了多目标竞争选址问题,建立了市场份额最大、费用最小和利润最大、利润率也最大的两类双目标竞争选址模型.探讨了模型的性质与相互关系,并利用多目标优化技术将这两类双目标模型转化为同一类型的单目标参数整数规划问题求解,给出有效解集的精确求解方法和近似求解方法,并通过数值例子说明求解方法.     

多传感器混合多模型估计的记忆分层融合算法

首先提出了两种局部节点交互多模型状态估计的整体先验信息的近似计算方法;其次,为构造全局融合估计的先验信息,给出了基于Dempster Shaffer证据理论的全局模型后验概率的融合方法,并在此基础上给出了全局等效目标运动模型的概念及其计算方法,上述结果使得基于有记忆分层融合算法的交互多模型估计融合成为可能;为利用融合结果改进局部节点的估计性能,首次提出了基于向局部节点反馈全局模型后验概率的融合反馈机制。仿真实验验证了所提分层有记忆交互多模型估计融合算法的有效性,以及引入反馈机制后对局部节点估计性能的改善。     

一种基于低分辨雷达的目标识别方法

讨论了一种基于低分辨雷达的目标(飞机)识别方法,描述了这种识别方法所依赖的硬件平台即目标回波数据采集系统的组成及工作原理,阐述了一种基于低分辨雷达的目标粗分类(目标大、中、小等粗略属性的判别)的方法,研究了低分辨条件下目标特征描述的思路, 尝试利用这些方法进行目标属性的粗分类以及进行机群目标架次的判别。现场实验表明,这 些方法是可行有效的,对于提高常规低分辨雷达的性能有着重要的意义。     

对数正态分布均值的Bayes及Fiducial精确限

本文提出了对数正态分布均值在取共轭型及无信息先验分布时的Ｂａｙｅｓ精确限及Ｆｉｄｕｃｉａｌ精确限，它们能用有限区间上的一重积分迭代地求出。这种新算法非常方便，且有很高的精度，能极好地满足工程需要。而原来的算法是相当麻烦的，本文同时还推导出精度很高、算法简单的近似限。这种近似限既能直接用于工程，又能在迭代求解精确限时作为其搜索区间。     

Exact Bayesian and Fiducial Limits for the Mean of Lognormal Distribution

ＥｘａｃｔＢａｙｅｓｉａｎａｎｄＦｉｄｕｃｉａｌＬｉｍｉｔｓｆｏｒｔｈｅＭｅａｎｏｆＬｏｇｎｏｒｍａｌＤｉｓｔｒｉｂｕｔｉｏｎＺｈｏｕＹｕａｎｑｕａｎ；ＷｅｎｇＺｈａｏｘｉ；ａｎｄＬｉｕＺｈｅｎｇｘｉａｎ（ＢｅｉｊｉｎｇＩｎｓｔｉｔｕｔｅｏｆＳｔｒｕ...     

五次B-B曲面片构造G1连续曲面重构方法

提出了用五次B-B曲面片构造整体G1连续曲面的计算方法。从G1连续曲面的充分条件推导了控制点的计算方法,并从方向导数的定义出发,通过最小二乘方法拟合已知点处的双变量函数,直接计算已知点的一阶,二阶方向导数来得到控制点的计算公式;分别对曲面片的内部和边界两种情况作了推导;这种方法在保证精度的情况下计算量较之六次B-B曲面片有较大的减少。     

基于ESPRIT的多基线分布式阵列DOA估计方法

为了提高分布式阵列在低信噪比（signal-to-noise ratio, SNR）条件下的波达方向(direction-of-arrival, DOA)估计性能,同时放宽阵列物理孔径扩展程度的限制,提出了一种基于旋转不变子空间（estimation of signal parameters via rotational invariance techniques, ESPRIT）的多基线分布式阵列DOA估计方法。该方法通过优化分布式阵列结构,在子阵间使用多基线结构布阵,结合ESPRIT算法和多步解模糊方法得到多基线分布式阵列的高精度无模糊DOA估计。此外,利用最大后验概率准则近似法分析分布式阵列DOA估计的门限效应,给出了SNR门限和基线长度门限的近似计算方法。计算机仿真结果验证了所提方法的有效性。     

Controllability and Observability of Stochastic Singular Systems in Banach Spaces

Journal of Systems Science and Complexity - Exact (approximate) controllability and exact (approximate) observability of stochastic singular systems in Banach spaces are discussed. Firstly, the...     

Using RBF Neural Network for OptimumControl of a Cold Storage

1. INTRODUCTIONThe predictive optimum control of cold storage temperature has found a wide applicationin agricultural engineering, especially for keeping fruits and vegetables fresh by cold storage.All of the currently-used temperature control units face the problems on how to choose theoptimum temperature as the controlled object, how to predicte the temperature variation ofthe refrigerating storehouse and how to realize the optimum control. A lot of study effortshave been made. The earl…     

正态应力强度结构可靠性的精确限

对正态强度、应力，在参数均未知但都取得完全样本的情况下，本文在给出其结构可靠性的精确限的基础上，对几种近似限的误差做了比较。所有这些结果可方便地应用于对数正态应力、强度的情况。     

基于对应点的三维医学图像相关性插值

现有的插值方法在进行医学断层图像插值时，要么不能兼顾灰度和形状的变化，要么计算量太大。为解决这一问题，文中提出一种基于对应点的三维医学图像相关性插值算法。通过对两幅断层图像进行门限分割，获得体素的分割值。在相同密度物质的区域内，采用体素的相关性来进行插值，不同密度物质区域采用缩放区域大小作为插值数据，使新的图像不仅在灰度上，而且在组织形状上，介于原来的断层图像之间，满足了医学图像插值的要求。与线性插值相比，新算法的视觉效果好，计算误差小；与小波插值相比，新算法的计算量极大地减少。插值结果可有效地应用于构建三维体模型.     

Statistical Inference for a Simple Step Stress Model with Competing Risks Based on Generalized Type-Ⅰ Hybrid Censoring

This paper investigates a simple step-stress accelerated lifetime test(SSALT) model for the inferential analysis of exponential competing risks data. A generalized type-I hybrid censoring scheme is employed to improve the efficiency and controllability of the test. Firstly, the MLEs for parameters are established based on the cumulative exposure model(CEM). Then the conditional moment generating function(MGF) for unknown parameters is set up using conditional expectation and multiple integral techniques. Thirdly, confidence intervals(CIs) are constructed by the exact MGF-based method, the approximate normality-based method, and the bias-corrected and accelerated(BCa) percentile bootstrap method. Finally, we present simulation studies and an illustrative example to compare the performances of different methods.     

The Equivalent Parameters for the Narrow Series Slot on a Sectoral Waveguide

ＴｈｅＥｑｕｉｖａｌｅｎｔＰａｒａｍｅｔｅｒｓｆｏｒｔｈｅＮａｒｒｏｗＳｅｒｉｅｓＳｌｏｔｏｎａＳｅｃｔｏｒａｌＷａｖｅｇｕｉｄｅＬｕＳｈａｎｗｅｉ，ＺｈｕａｎｇＹａｎ＆ＧａｏＷｅｎｊｕｎＤｅｐｔ．ｏｆＥｌｅｃｔ．Ｅｎｇ．，ＢｅｉｊｉｎｇＵｎｉｖｅｒ...     

平衡问题的一个解法

为了求解平衡问题 (EP) ,我们提出了一类辅助问题 (AP) ,并且证明了由 (AP)导出的近似解收敛到 (EP)的精确解 ,从而给出了一个解平衡问题的方法.