校车路径问题的约束检测算法

依据校车服务学校的数量和顺序可将校车路径问题(SBRP)分为单校、多校不混载和多校混载三类。现有算法对不同类型的SBRP进行容量、时间窗等约束检测时采用不同的方法,对待复杂应用需要通过遍历进行检测。为此设计一种适用于不同类型SBRP的分段检测算法,将路径上的学校站点视为检测点,按检测点对路径分段,基于各个检测路段上的剩余容量和剩余时间检测整条路径是否违反约束。最后在大规模混载校车路径问题上的实验表明分段检测算法是有效的。

依存关系树在文本多语义约束检测中的运用

提出一种运用依存关系树比对来检测文本中多语义约束的方法.对每一类语义约束,搜集信号词以及相应的例句组成案例库,并定义部分依存关系树(PDT)核函数来计算两个对象之间的相似度.Apriori算法的运用,降低了计算该核函数的复杂度.在问答系统的问题分析中的应用结果表明,该方法比带有语义特征的字符串匹配方法精确度提高了18.05%,召回率提高了16.98%.另外,在三个TREC问题集上的实验结果表明,该方法在较大规模文本问题集上也可取得较稳定的结果.

基于自适应调节脚高度阈值的脚支撑约束检测

根据捕捉数据的运动类型,用户指定的最小约束帧的长度l,l的最大误差η这三方面确定脚踝的高度阈值覬,若某帧脚踝的高度小于覬,则称此脚为支撑脚。从捕捉数据的第一步开始根据η调整覬动态划分支撑脚。实验表明,基于本方法得到的运动编辑后无滑步现象、运动较自然并且与用户指定的路径偏差更小,更符合用户的要求。

求解过程中约束一致性维护的多层次策略研究

约束满足问题广泛出现于人工智能领域．在问题求解过程中保持局部约束一致性以缩小问题搜索空间是十分必要的．过去研究者对约束一致性算法的研究仅着眼于改进单个约束关系的维护．该文立足于更高点，提出从求解层次、维护层次和约束层次优化约束一致性维护的原则及其相应策略，算法ＭＡＣ－Ｈ和ＡＣ－Ｉ＋进一步减少了约束一致性维护的总代价，并克服了原有算法空间复杂度大的缺点．文中以两个典型的约束满足问题：Ｎ－皇后问题和斑马难题为分析和测试的例子，证实了这些原则和策略的有效性．

复杂约束下航天器姿态机动球面几何规划方法

针对航天器进行大角度姿态机动过程中约束多且复杂的问题,提出一种基于球面几何的姿态规划方法。该方法将复杂指向约束描述为多个禁入锥,设计了区分有效约束和无效约束的路径约束检测方法,能有效减少当前路径处理的约束数量;然后将三维空间避障问题映射到二维平面上,通过球面几何距离公式推导了中间姿态指令解析解。仿真结果表明,该方法规划的姿态机动路径不仅能够满足复杂指向约束,而且具有节省机动时间、计算效率高的优点。

元数据存储库系统中违背良格式约束潜在操作的推理

存储库系统的元数据组织方式呈现出分层、多级并且动态变化的复杂结构;存储库系统标准对确保良格式约束规定得并不充分,上述2个原因使得确保基于元对象设施(meta object facility,MOF)建立的元数据存储库系统的状态不违背良格式约束成为一个令人棘手的问题.提出了一种能够自动推断可能违背良格式约束的潜在操作的方法.首先定义了一组比MOF的构造活动更精确和灵活的MOF内部活动并建立了二者之间的对应关系;接着研究了如何推断可能违背约束条件的内部活动;最后通过比对与这些内部活动相对应的构造活动是否在操作规范中出现,研究了如何推断违背约束条件的潜在操作,该方法可以用于约束检测领域.由于可以剔除许多无关的检测,该方法可以有效地提高良格式约束检测的效率.此外该方法对约束设计领域也有一定的参考价值.

不可靠RFID数据上的复杂事件处理研究

通过在基于NFA的复杂事件处理算法中引入可靠性约束检测,提出了一种直接应用于不可靠RFID数据上的复杂事件处理算法。实验结果表明该方法是有效和高效的。

模拟退火算法在频率指配中的应用优化

已知发射机坐标和可用频率,考虑同、邻频约束和人口覆盖,建立了频率指配的数学模型。即在满足同、邻频约束条件下,寻求一组频率使得每台发射机尽量指配可用频率中的最低频率(无可用频率的将不被指配),并使得人口覆盖率最高。以局部搜索算法为参照,将模拟退火算法应用到频率指配问题中,结果表明模拟退火算法的指配结果质量明显优于局部搜索算法。并针对模拟退火算法的耗时性使用OpenMP指令优化约束检测代码,在多核计算机上运行取得了很好的加速效果。

RBAC角色继承关系中私有权限问题的研究

针对现有方法对权限传播深度控制不灵活的问题,引入私有化阈值的概念,提出了基于私有化阈值的权限继承方法,并给出了一个静态职责分离约束检测算法。将权限的传播深度定义为权限传播值与私有化阈值之差,在确保不违背静态职责分离约束的前提下,通过调整私有化阈值控制权限的传播深度,避免了调整传播值所需的大量计算,实现了对权限传播深度的灵活控制。检测算法通过分析静态职责分离约束权限集与用户权限集的关系,将需要考虑的用户数降至最少,其时间复杂度比逐一验证法低多个数量级。

采用动态数据库结构的产品管理技术

本文提出采用树状关系组织产品分类和建立产品数据库关系模型,按照无穷级概括映射规则设计产品分类的超类表和子类表,在防止约束循环的前提下建立约束关系等规则,并按上述规则开发动态数据处理器,通过Web方式操作动态数据处理器来设计、修改产品数据库结构和管理产品数据。在用户通过Web按自己的实际需求管理产品分类和产品数据的同时,动态数据处理器同时完成数据库结构的改动和处理所有的数据,完全实现通过Web方式管理产品;从而解决在电子商务网站及基于Web的PDM设计中,用固定的数据库结构难以适应产品种类的改变,难以详尽反映产品特征,数据库维护难度大的问题,使数据冗余更少,适用范围更广,用户界面更加良好。

应用角色访问控制的工作流动态授权模型

形式化地描述了角色、用户、权限、任务单元、授权策略、授权约束等实体及其相互间的关系 ,提出将授权约束分为需求角色约束、需求用户约束、拒绝角色约束及拒绝用户约束 ,并在此基础上建立了授权约束的冲突检测规则 实现了授权流与工作流的同步 ,并通过授权约束的冲突检测确保了工作流的有效执行

新型高光谱图像快速实时目标检测与分类方法

针对逐像元处理的高光谱图像实时线性约束最小方差(LCMV)检测与分类算法计算量大、运行速度慢的问题,在LCMV检测与分类算法的基础上,提出了两种逐行的实时LCMV目标检测与分类算法。首先对LCMV算法进行了因果化,提出了逐行处理的实时因果LCMV(CR-LCMV)检测与分类算法,再利用Woodbury引理,推导出了逐行处理的实时递归因果LCMV(RCR-LCMV)检测与分类算法。实验结果表明:与LCMV检测与分类算法相比,两种新型实时算法均能在不影响检测精度的情况下实时地检测目标与对目标进行分类,且所需的数据存储空间大大降低;与逐像元处理的实时LCMV算法相比,两种新型实时算法可获得几乎与之相同的检测精度,计算复杂度大大降低,实时处理能力更强,算法在运行时间上具有明显的优越性。