约束数据库中的动态区间索引结构

区间索引是随着对约束数据库的实用化的研究而提出的。文中在Ｍｅｔａ－树的基础上提出了ＤＭ－树和相应算法,它对区间索引保持了存储为Ｏ（ｎ）,查询Ｉ／Ｏ时间为Ｏ（ｌｏｇｎ＋ｔ／Ｂ）的性能,     

固定区间Kalman平滑新算法

用现代时间序列分析方法,基于ＡＲＭＡ新息模型和白噪声估值器,提出了一种正向固定区间稳态Ｋａｌｍａｎ平滑新算法和两种反向固定区间稳态Ｋａｌｍａｎ平滑新算法,并给出了保证算法最优性的最优初值公式。算法简单,便于实时应用。仿真例子说明了它们的有效性。     

粒子数和采样周期自适应的粒子滤波器

粒子数目、采样频率显著影响粒子滤波器性能及其复杂度。文章提出了一种用于跟踪系统的可在线调整采样周期和粒子数目的自适应粒子滤波器。仿真结果验证了一般情况下,该方法可在保证一定估计精度的同时有效减少系统负荷,并对目标机动有良好的自适应能力。     

基于区间数的不确定性数据聚类算法:UD-OPTICS

在不确定性数据聚类算法的研究中,普遍需要假设不确定性数据服从某种分布,继而获得表示不确定性数据的概率密度函数或概率分布函数,然而这种假设很难保证与实际应用系统中的不确定性数据分布一致。现有的基于密度的算法对初始参数敏感,在对密度不均匀的不确定性数据聚类时,无法发现任意密度的类簇。鉴于这些不足,提出基于区间数的不确定性数据对象排序识别聚类结构算法(UD-OPTICS)。该算法利用区间数理论,结合不确定性数据的相关统计信息来更加合理地表示不确定性数据,提出了低计算复杂度的区间核心距离与区间可达距离的概念与计算方法,将其用于度量不确定性数据间的相似度,拓展类簇与对象排序识别聚类结构。该算法可很好地发现任意密度的类簇。实验结果表明,UD-OPTICS算法具有较高的聚类精度和较低的复杂度。     

基于属性位复用的约束性关联规则挖掘算法

在提取满足用户特定需求的关联规则时,由于现有约束性关联规则挖掘算法存在大量的冗余候选项和重复计算,故提出一种基于属性位复用的约束性关联规则挖掘算法,其适合挖掘任何长度且满足用户特定需求的关联规则。该算法通过属性位的权值组合,将交易事务转换成整数,用属性位复用技术构建候选区间,并利用其端点值双向变化,构建索引候选频繁项,同时也用布尔运算计算其支持数。实验证明其比现有算法更快速,将其应用到客户关系管理系统中分析客户关联信息,可以有效地提高系统效率。     

区间数多属性决策中一种带有可能度的排序方法

为解决具有不确定性区间数的多属性决策中的方案排序问题,在考虑落在区间内的评价值（即被认为随机变量）服从正态分布的情况下,针对方案综合评价值所在的区间存在相互交叉部分的情形,提出了关于区间数之间相互比较的可能度的概念,并结合给出了有可能度的方案排序方法。通过此方法可计算出一个方案优于另一个方案的可能度。     

一种栅格图层的模糊叠置分析模型

为了更好地进行GIS空间分析，根据GIS应用领域中属性数据的区间值特征，首先利用区间值模糊集来描述模糊属性数据的模糊图层，然后基于区间值模糊集给出了一种栅格图层的模糊叠置分析模型，并改进了基于经典模糊集的模糊叠置分析方法。该模型利用区间值模糊集的基本运算，可以实现普通模糊叠置和加权模糊叠置，而采用区间值，则可以减少属性值模糊性的丢失，且叠置结果符合人们的认知和推理规律，实例结果表明，该模型能够较好地解决区间值属性图层间的模糊叠置分析问题。     

Analysis of nonlinear electrical circuits using bernstein polynomials

In electrical circuit analysis, it is often necessary to find the set of all direct current (d.c.) operating points (either voltages or currents) of nonlinear circuits. In general, these nonlinear equations are often represented as polynomial systems. In this paper, we address the problem of finding the solutions of nonlinear electrical circuits, which are modeled as systems of n polynomial equations contained in an n-dimensional box. Branch and Bound algorithms based on interval methods can give guaranteed enclosures for the solution. However, because of repeated evaluations of the function values, these methods tend to become slower. Branch and Bound algorithm based on Bernstein coefficients can be used to solve the systems of polynomial equations. This avoids the repeated evaluation of function values, but maintains more or less the same number of iterations as that of interval branch and bound methods. We propose an algorithm for obtaining the solution of polynomial systems, which includes a pruning step using Bernstein Krawczyk operator and a Bernstein Coefficient Contraction algorithm to obtain Bernstein coefficients of the new domain. We solved three circuit analysis problems using our proposed algorithm. We compared the performance of our proposed algorithm with INTLAB based solver and found that our proposed algorithm is more efficient and fast.     

基于簇半径差异化和节点能量区间的分簇算法

提出一种基于簇半径差异化和节点能量区间的分簇算法——CRDNE算法.该算法用于解决电子导游系统能量均衡问题,从而尽可能的延长网络寿命.算法首先利用路由跳数将整个网络划分热点和非热点区域,并根据不同区域的通信开销不同的特点,定义了不同的区域簇半径.然后,根据区域簇半径和节点剩余能量所处的能量区间,分布式地选取簇首.最后,将CRDNE算法与LDCR、Leach-V算法在Matlab平台进行多个方面仿真比较,进一步证明了本文算法的优越性.     

离散时间区间时序逻辑可满足性的判定

目前还没有模型检查的方法自动检测模型是否满足时间区间时序逻辑描述的性质.我们约束时间域到离散时间,证明了离散时间区间时序逻辑的可满足性是可判定的,因而是可模型检查的.提出了时间正则图模型,通过从离散时间区间时序逻辑到时间正则图的构造,提出了基于该逻辑的判定算法,该算法可以推广到其它的时序逻辑模型检查,并优于现有的基于自动机的时序逻辑判定方法.