期刊文献+
共找到134篇文章
< 1 2 7 >
每页显示 20 50 100
Infinite-and K-Step Opacity Verification of Discrete-Event Systems Under Nondeterministic Observations
1
作者 CHU Qian ZHANG Jiahui +2 位作者 HAN Xiaoguang LI Zhiwu CHEN Zengqiang 《Journal of Systems Science & Complexity》 SCIE EI CSCD 2023年第5期1830-1850,共21页
In some practical applications modeled by discrete-event systems(DES),the observations of events may be no longer deterministic due to sensor faults/failures,packet loss,and/or measurement uncertainties.In this contex... In some practical applications modeled by discrete-event systems(DES),the observations of events may be no longer deterministic due to sensor faults/failures,packet loss,and/or measurement uncertainties.In this context,it is interesting to reconsider the infinite-step opacity(∞-SO)and K-step opacity(K-SO)of a DES under abnormal conditions as mentioned.In this paper,the authors extend the notions of∞-SO and K-SO defined in the standard setting to the framework of nondeterministic observations(i.e.,the event-observation mechanism is state-dependent and nondeterministic).Obviously,the extended notions of∞-SO and K-SO are more general than the previous standard ones.To effectively verify them,a matrix-based current state estimator in the context of this advanced framework is constructed using the Boolean semi-tensor product(BSTP)technique.Accordingly,the necessary and sufficient conditions for verifying these two extended versions of opacity are provided as well as their complexity analysis.Finally,several examples are given to illustrate the obtained theoretical results. 展开更多
关键词 Boolean semi-tensor product discrete-event system infinite-step opacity k-step opacity nondeterministic observation
原文传递
一种适用于大图的k步可达性查询算法
2
作者 同正南 卜天明 《计算机科学》 CSCD 北大核心 2024年第S01期651-660,共10页
k步可达查询用于在给定的有向无环图(Directed Acyclic Graph,DAG)中回答两点之间是否存在长度不超过k的路径。针对现有方法的索引规模大、查询处理效率低的问题,提出了一种构建在大图上的基于树覆盖的倍增索引来提高索引查询效率,并结... k步可达查询用于在给定的有向无环图(Directed Acyclic Graph,DAG)中回答两点之间是否存在长度不超过k的路径。针对现有方法的索引规模大、查询处理效率低的问题,提出了一种构建在大图上的基于树覆盖的倍增索引来提高索引查询效率,并结合GRAIL算法和改进的FELINE算法对本身就不可达查询点对进行剪枝。基于19个真实的数据集进行了实验测试,并将所提算法与现有算法在构建索引大小、索引时间、查询时间3个指标上进行了实验对比。实验结果验证了所提算法的高效性。 展开更多
关键词 k步可达性查询 倍增索引 索引标签 树覆盖 在线搜索
下载PDF
k-step adaptive cluster sampling with Horvitz-Thompson estimator
3
作者 Quangyu Zhu Liyong Fu 《International Journal of Biomathematics》 SCIE 2018年第2期299-317,共19页
Adaptive cluster sampling (ACS) has been widely used for data collection of environment and natural resources. However, the randomness of its final sample size often impedes the use of this method. To control the fi... Adaptive cluster sampling (ACS) has been widely used for data collection of environment and natural resources. However, the randomness of its final sample size often impedes the use of this method. To control the final sample sizes, in this study, a k-step ACS based on Horvitz-Thompson (HT) estimator was developed and an unbiased estimator was derived. The k-step ACS-HT was assessed first using a simulated example and then using a real survey for numbers of plants for three species that were characterized by clustered and patchily spatial distributions. The effectiveness of this sampling design method was assessed in comparison with ACS Hansen-Hurwitz (ACS-HH) and ACS- HT estimators, and k-step ACS-HT estimator. The effectiveness of using different k- step sizes was also compared. The results showed that k-step ACS^HT estimator was most effective and ACS-HH was the least. Moreover, stable sample mean and variance estimates could be obtained after a certain number of steps, but depending on plant species, k-step ACS without replacement was slightly more effective than that with replacement. In k-step ACS, the variance estimate of one-step ACS is much larger than other k-step ACS (k 〉 1), but it is smaller than ACS. This implies that k-step ACS is more effective than traditional ACS, besides, the final sample size can be controlled easily in population with big clusters. 展开更多
关键词 Finalized sample size k-step adaptive cluster sampling plant species sample design inlprovement unbiased estimator.
原文传递
长春市公园绿地供需服务水平与可达性分析
4
作者 赵莹 关可汗 宋兆伟 《地理空间信息》 2024年第7期18-21,58,共5页
为保证居民平等、均衡地共享公园绿地资源,推动长春市科学建设绿色宜居森林城,基于手机信令、POI等大数据,根据不同等级公园的服务半径,采用高斯两步移动搜索法和K-means聚类方法计算公园绿地的供需服务指标与可达性,并对研究单元进行... 为保证居民平等、均衡地共享公园绿地资源,推动长春市科学建设绿色宜居森林城,基于手机信令、POI等大数据,根据不同等级公园的服务半径,采用高斯两步移动搜索法和K-means聚类方法计算公园绿地的供需服务指标与可达性,并对研究单元进行划分。结果表明,长春市以三环为界,其内部公园绿地服务水平整体较低;各类公园绿地可达性均呈现一定的圈层结构,核心老城区在社区级和区级公园层面可达性较弱;综合可达性高值区主要分布在南部和东北部;高需求低供给人均未达标的区域以建成区东西两侧为主,可优先考虑公园绿地的补充。研究结果可为长春市公园绿地规划布局调整提供相关参考。 展开更多
关键词 公园绿地 供需匹配 可达性 高斯两步移动搜索法 K-MEANS聚类
下载PDF
基于地理空间分析的城镇绿地空间供需评价和布局优化
5
作者 赵娜 任倩 《内蒙古科技大学学报》 CAS 2024年第2期189-193,共5页
基于地理空间模型,采用改进两步移动搜索法对包头市达茂旗百灵庙镇城镇绿地空间进行供需评价。在此基础上,借助K-均值聚类算法和粒子群优化算法构建空间选址优化模型,优化了该镇的绿地空间布局。研究结果表明:包头市达茂旗百灵庙镇有39... 基于地理空间模型,采用改进两步移动搜索法对包头市达茂旗百灵庙镇城镇绿地空间进行供需评价。在此基础上,借助K-均值聚类算法和粒子群优化算法构建空间选址优化模型,优化了该镇的绿地空间布局。研究结果表明:包头市达茂旗百灵庙镇有39个小区绿地评价值低于规划标准,通过空间选址优化模型对研究区19个可行性地块进行搜寻,最终确定6个地块建设公园绿地,使得31个小区的绿地供给得到改善。研究提出的地理空间分析模型,可以为绿地资源选址与布局的相关决策提供参考,促进绿地空间资源均等化。 展开更多
关键词 绿地空间 两步移动搜索法 K-均值聚类算法 粒子群优化算法
下载PDF
基于K-shell位置和两阶邻居的复杂网络节点重要性评估方法 被引量:7
6
作者 熊才权 古小惠 吴歆韵 《计算机应用研究》 CSCD 北大核心 2023年第3期738-742,共5页
K-shell分解法能快速识别复杂网络中的关键节点,但是无法辨别同壳层内节点重要性的差异,并且低估了处于网络边缘位置的高度值节点的重要性。针对这两个问题,提出一种基于K-shell位置和两阶邻居的节点重要性评估方法。该方法根据K-shell... K-shell分解法能快速识别复杂网络中的关键节点,但是无法辨别同壳层内节点重要性的差异,并且低估了处于网络边缘位置的高度值节点的重要性。针对这两个问题,提出一种基于K-shell位置和两阶邻居的节点重要性评估方法。该方法根据K-shell分解过程中节点移除的顺序细化节点的全局位置信息,然后综合考虑节点的局部拓扑结构信息和全局位置信息,利用两步长内邻居节点的K-shell位置信息度量节点的重要性。在八个真实网络上用传染病模型进行仿真实验,结果表明,所提方法与其他五种相关方法相比能更准确有效地评估并区分节点的重要性。 展开更多
关键词 复杂网络 关键节点 K-shell分解法 两阶邻居 传染病模型
下载PDF
融合多重实例关系的无监督跨模态哈希检索
7
作者 李志欣 侯传文 谢秀敏 《软件学报》 EI CSCD 北大核心 2023年第11期4973-4988,共16页
大多数跨模态哈希检索方法仅使用余弦相似度进行特征匹配,计算方式过于单一,没有考虑到实例的关系对于性能的影响.为此,提出一种基于多重实例关系图推理的方法,通过构造相似度矩阵,建立全局和局部的实例关系图,充分挖掘实例之间的细粒... 大多数跨模态哈希检索方法仅使用余弦相似度进行特征匹配,计算方式过于单一,没有考虑到实例的关系对于性能的影响.为此,提出一种基于多重实例关系图推理的方法,通过构造相似度矩阵,建立全局和局部的实例关系图,充分挖掘实例之间的细粒度关系.在多重实例关系图的基础上进行相似度推理,首先分别进行图像模态和文本模态关系图内部的推理,然后将模态内的关系映射到实例图中进行推理,最后执行实例图内部的推理.此外,为了适应图像和文本两种模态的特点,使用分步训练策略训练神经网络.在MIRFlickr和NUS-WIDE数据集上实验表明,提出的方法在mAP指标上具有很明显的优势,在Top-k-Precision曲线上也获得良好的效果.这也说明所提方法对实例关系进行深入挖掘,从而显著地提升检索性能. 展开更多
关键词 关系图推理 跨模态哈希检索 相似度矩阵 K近邻 分步训练策略
下载PDF
基于双向观测器的随机离散事件系统的不透明性
8
作者 亓国照 刘富春 崔洪刚 《广东工业大学学报》 CAS 2023年第3期32-37,共6页
本文针对随机系统模型,研究随机离散事件系统的不透明性。首先对随机无穷步不透明性和随机K步不透明性进行形式化。通过构造一个基于双向观测器的验证器,得到一个运用双向观测器验证系统随机无穷步不透明性和随机K步不透明性的充分必要... 本文针对随机系统模型,研究随机离散事件系统的不透明性。首先对随机无穷步不透明性和随机K步不透明性进行形式化。通过构造一个基于双向观测器的验证器,得到一个运用双向观测器验证系统随机无穷步不透明性和随机K步不透明性的充分必要条件。最后提出一个基于双向观测器的随机无穷步不透明性和随机K步不透明性验证算法。 展开更多
关键词 随机离散事件系统 双向观测器 无穷步不透明 K步不透明性
下载PDF
多频未知时变扰动下的结构微振动鲁棒自适应控制
9
作者 方昱斌 朱晓锦 +3 位作者 杨龙飞 许志超 田梦楚 张小兵 《振动工程学报》 EI CSCD 北大核心 2023年第5期1309-1317,共9页
本文针对多频窄带未知和时变扰动,基于内模原理和Y-K参数化方法,提出一种反馈鲁棒自适应振动的主动控制算法。该算法通过设计PID中央鲁棒控制器,有效解决了次级通道模型未知情况下的鲁棒控制器参数设计问题。同时提出一种变步长最小均方... 本文针对多频窄带未知和时变扰动,基于内模原理和Y-K参数化方法,提出一种反馈鲁棒自适应振动的主动控制算法。该算法通过设计PID中央鲁棒控制器,有效解决了次级通道模型未知情况下的鲁棒控制器参数设计问题。同时提出一种变步长最小均方(Variable Step Size Least Mean Square,VSSLMS)方法,可以在保证稳态误差的基础上大幅提升收敛速度,并通过系统辨识实验验证了所提VSSLMS方法相较于其他VSSLMS算法在收敛性能上的优越性。通过结构微振动主动控制实时实验,对比验证了单独采用滤波x最小均方(Least Mean Square,LMS)自适应控制算法、基于LMS算法的鲁棒自适应控制算法和基于VSSLMS算法的鲁棒自适应控制算法的抑振效果。实验结果表明,本文基于VSSLMS算法的鲁棒自适应控制算法在面向双频正弦窄带扰动以及其频谱、幅值突变情况时,都具有较好的收敛性和鲁棒性。 展开更多
关键词 振动主动控制 Y-K参数化 变步长(VSS) LMS算法 鲁棒自适应
下载PDF
土区长期施肥对小麦-玉米轮作体系钾素平衡与钾库容量的影响 被引量:37
10
作者 葛玮健 常艳丽 +3 位作者 刘俊梅 张树兰 孙本华 杨学云 《植物营养与肥料学报》 CAS CSCD 北大核心 2012年第3期629-636,共8页
本文研究了土区小麦-玉米轮作体系长期氮磷钾化肥不同配合施用方式及氮磷钾化肥与秸秆或有机肥配合施用对钾素平衡以及土壤钾库的影响。试验包括9个处理,分别为不施肥(CK)、单施氮(N)、氮钾(NK)、磷钾(PK)、氮磷(NP)、氮磷钾(NPK)、... 本文研究了土区小麦-玉米轮作体系长期氮磷钾化肥不同配合施用方式及氮磷钾化肥与秸秆或有机肥配合施用对钾素平衡以及土壤钾库的影响。试验包括9个处理,分别为不施肥(CK)、单施氮(N)、氮钾(NK)、磷钾(PK)、氮磷(NP)、氮磷钾(NPK)、氮磷钾配合一季秸秆还田(SNPK)、氮磷钾配合低量有机肥(M1NPK)和高量有机肥(M2NPK)。结果表明,除NK、PK和M2NPK处理外,其它处理小麦和玉米钾的携出量均大于钾的投入量,导致土壤钾素处于亏缺状态,20年累计亏缺量为617~4333 kg/hm2。与试验前相比,长期施肥种植没有显著影响土壤全钾含量;长期施用钾肥显著提高土壤速效钾含量,但长期不施钾肥处理的土壤速效钾含量也未显著降低;无论施钾与否土壤非交换性钾(Mactotal K)以及非交换性钾中更容易被HNO3溶解提取的钾(Step K)均明显低于试验前水平。表明土壤非交换性钾可以作为该土壤钾素消耗的指标。考虑到施钾肥的经济投入和现有资源高效利用(如秸秆、有机肥),从长远的角度出发,维持土壤钾素肥力以及土地可持续生产力,土区小麦-玉米轮作体系采用秸秆全部还田或施有机肥是必要的。 展开更多
关键词 秸秆还田 有机肥 土壤速效钾 Mactotal K STEP K
下载PDF
BiRch:一种处理k步可达性查询的双向搜索算法 被引量:12
11
作者 周军锋 陈伟 +1 位作者 费春苹 陈子阳 《通信学报》 EI CSCD 北大核心 2015年第8期50-60,共11页
针对现有方法低效或索引规模庞大的问题,提出一种双向搜索算法Bi Rch。当判断顶点u是否满足k步可达顶点v时,首先比较u的出度和v的入度,优先处理度小的顶点。其优点体现在使用较小的索引,同时避免由于u的出度过大所带来的效率下降问题;... 针对现有方法低效或索引规模庞大的问题,提出一种双向搜索算法Bi Rch。当判断顶点u是否满足k步可达顶点v时,首先比较u的出度和v的入度,优先处理度小的顶点。其优点体现在使用较小的索引,同时避免由于u的出度过大所带来的效率下降问题;提出基于双向广度层数和双向拓扑层数的剪枝策略来辅助过滤,减少需要访问的顶点数量。基于19个真实数据集进行测试,实验结果从索引构建时间、索引大小、查询响应时间、处理顶点数量以及扩展性方面验证了所提方法相对于现有方法的高效性。 展开更多
关键词 k步可达性查询 双向搜索 广度层数 拓扑层数
下载PDF
单纯形搜索在遗传算法中的融合研究 被引量:6
12
作者 肖宏峰 谭冠政 《计算机工程与应用》 CSCD 北大核心 2008年第18期30-33,共4页
构造了单纯形混合遗传算法SM-HGA+。分析单纯形搜索算法,提出了单纯形交叉算子和K步随机单纯形搜索算子,并将单纯形搜索算法和这两个算子分别融入到最优微群体μPB(t)、最差微群体μPW(t)和普通群体PC(t),形成SM-HGA+。最优微群体中的... 构造了单纯形混合遗传算法SM-HGA+。分析单纯形搜索算法,提出了单纯形交叉算子和K步随机单纯形搜索算子,并将单纯形搜索算法和这两个算子分别融入到最优微群体μPB(t)、最差微群体μPW(t)和普通群体PC(t),形成SM-HGA+。最优微群体中的单纯搜索算法提高算法的精度;最差微群体中的单纯形交叉算子加速最差个体向优秀个体进化;普通群体中K步随机单纯性搜索提高全局搜索速度,同时在普通群体采用大交叉概率的标准遗传算法,提高全局搜索能力。遗传算法测试函数验证算法SM-HGA+的正确性、效率。 展开更多
关键词 单纯形算法 单纯形交叉算子 K步随机单纯形搜索算子 混合遗传算法
下载PDF
基于K均值聚类的SPPM分步分类检测算法 被引量:16
13
作者 王惠琴 侯文斌 +3 位作者 彭清斌 曹明华 黄瑞 刘玲 《通信学报》 EI CSCD 北大核心 2022年第1期161-171,共11页
针对空间脉冲位置调制系统中采用最大似然检测算法时存在计算复杂度高的问题,依据空间脉冲位置调制信号矩阵的特点,提出了一种基于K均值聚类的分步分类检测算法。首先,采用基于信号向量检测算法完成训练样本中光源索引号的检测,利用K均... 针对空间脉冲位置调制系统中采用最大似然检测算法时存在计算复杂度高的问题,依据空间脉冲位置调制信号矩阵的特点,提出了一种基于K均值聚类的分步分类检测算法。首先,采用基于信号向量检测算法完成训练样本中光源索引号的检测,利用K均值聚类算法对训练样本进行离线训练得到其质心与调制符号间的映射关系。然后,以该映射关系为准则完成在线调制符号的实时检测,以穷搜索方式检测出光源索引号。最后,采用蒙特卡罗方法研究了聚类数目、初始化次数等关键参数对系统误比特率性能的影响。仿真结果表明,所提算法能够取得近似最大似然算法的误比特率性能,同时大幅度降低了信号检测的计算复杂度。与线性译码算法相比,所提算法还可适用于探测器数目小于光源数目的通信场景。 展开更多
关键词 无线光通信 空间脉冲位置调制 K均值聚类 分步分类检测
下载PDF
带有曲线自由水面的阶梯溢流坝面流场的数值模拟 被引量:40
14
作者 陈群 戴光清 刘浩吾 《水利学报》 EI CSCD 北大核心 2002年第9期20-26,共7页
本文利用k -ε紊流模型模拟坝面上的复杂紊流流场 ,并且采用非结构网格来处理复杂的边界形状 ,对自由水面 ,引入水 -气两相分层流理论中的流体体积分数法 (VOF)来迭代求解。通过模拟计算 ,得到坝面水流的水面线、速度场、压力场等 ,并... 本文利用k -ε紊流模型模拟坝面上的复杂紊流流场 ,并且采用非结构网格来处理复杂的边界形状 ,对自由水面 ,引入水 -气两相分层流理论中的流体体积分数法 (VOF)来迭代求解。通过模拟计算 ,得到坝面水流的水面线、速度场、压力场等 ,并与模型试验实测结果进行对比分析 。 展开更多
关键词 阶梯溢流坝 K-Ε紊流模型 数值模拟 自由水面
下载PDF
信息融合超前k步稳态最优Kalman预报器和Wiener预报器 被引量:1
15
作者 高媛 王欣 +2 位作者 毛琳 梁佐江 邓自立 《黑龙江大学自然科学学报》 CAS 北大核心 2005年第3期346-349,共4页
应用Kalman滤波方法,基于Riccati方程,在线性最小方差信息融合准则下,提出了两传感器信息融合超前k步稳态最优Kalman预报器和Wiener预报器,给出了最优加权阵和最小融合误差方差阵.同单传感器情形相比,可提高预报精度.一个雷达跟踪系统... 应用Kalman滤波方法,基于Riccati方程,在线性最小方差信息融合准则下,提出了两传感器信息融合超前k步稳态最优Kalman预报器和Wiener预报器,给出了最优加权阵和最小融合误差方差阵.同单传感器情形相比,可提高预报精度.一个雷达跟踪系统的仿真例子说明了其有效性. 展开更多
关键词 信息融合状态估计 超前k步最优融合Kalman预报器 Wiener预报器 Kalman滤渡方法
下载PDF
基于参考节点嵌入的图可达性查询 被引量:1
16
作者 温菊屏 胡小生 +1 位作者 林冬梅 曾亚光 《计算机应用》 CSCD 北大核心 2016年第7期1998-2005,2045,共9页
针对k步可达性查询算法无法解决带距离约束的图可达性查询问题,提出基于参考节点嵌入的图可达性查询算法。首先,从所有节点中选出极少数有代表性的全局参考节点,预先计算所有节点与全局参考节点之间的最短路径距离;然后,采用最短路径树... 针对k步可达性查询算法无法解决带距离约束的图可达性查询问题,提出基于参考节点嵌入的图可达性查询算法。首先,从所有节点中选出极少数有代表性的全局参考节点,预先计算所有节点与全局参考节点之间的最短路径距离;然后,采用最短路径树和范围最小值查询技术求得局部参考节点;接着,利用三角不等式关系得到查询点对距离范围;最后,根据查询条件中的距离值与查询点对距离范围上、下限值的大小关系,可快速得出可达性结论。针对社会关系网络和公路网络数据,将所提算法与Dijkstra算法、K-Reach算法进行实验对比测试。相较于K-Reach算法,其索引建立时间小4个数量级,其索引规模小2个数量级;相较于Dijkstra算法,在公路网络和社会关系网络中,直接得出可达性结论的比例分别为92%和78.6%,其查询时间大大缩短,分别降低了95.5%和92%。实验结果表明:所提算法能够通过使用较小的索引开销,实现在线查询计算复杂度的降低,可很好地解决既适用于有权图又适用于无权图带距离约束的可达性查询问题。 展开更多
关键词 k步可达性查询 带距离约束的图可达性查询 参考节点嵌入 三角不等式关系 最短路径树
下载PDF
不等宽K型间隙方管节点承载力计算的塑性铰线法 被引量:8
17
作者 武振宇 武胜 张耀春 《土木工程学报》 EI CSCD 北大核心 2004年第5期1-6,共6页
建立了考虑弦杆轴向压力影响的不等宽K型间隙方管节点的塑性铰线模型 ,并推出了节点承载力计算公式。公式中包含了弦杆轴力影响 ,节点间隙g变化 ,节点两支杆间的张拉场对节点承载力的影响。得出的节点承载力公式与实验结果、非线性有限... 建立了考虑弦杆轴向压力影响的不等宽K型间隙方管节点的塑性铰线模型 ,并推出了节点承载力计算公式。公式中包含了弦杆轴力影响 ,节点间隙g变化 ,节点两支杆间的张拉场对节点承载力的影响。得出的节点承载力公式与实验结果、非线性有限元计算结果及CIDECT公式计算结果对比吻合得较好 ,从而为K、N型不等宽间隙方管节点提供了一个新的较为准确的计算方法和公式。 展开更多
关键词 不等宽K型方管节点 塑性铰线模型 倾斜塑性铰线 非线性有限元 静力性能
下载PDF
两传感器信息融合超前k步稳态最优Kalman预报器 被引量:3
18
作者 邓自立 高媛 《科学技术与工程》 2004年第5期337-340,共4页
应用Kalman滤波方法 ,基于Riccati方程 ,对于带相关噪声的系统 ,在线性最小方差融合准则下 ,提出了两传感器按矩阵加权信息融合超前k步稳态最优Kalman预报器 ,给出了最优加权阵和最小融合预报误差方差阵的具体计算公式。同单传感器情形... 应用Kalman滤波方法 ,基于Riccati方程 ,对于带相关噪声的系统 ,在线性最小方差融合准则下 ,提出了两传感器按矩阵加权信息融合超前k步稳态最优Kalman预报器 ,给出了最优加权阵和最小融合预报误差方差阵的具体计算公式。同单传感器情形相比 ,可提高预报器的精度。 展开更多
关键词 两传感器信息融合 信息融合状态估计 超前K步最优融合Kalman预报器 Kalman滤波方法 矩阵加权
下载PDF
有向无环图上k步可达查询优化算法 被引量:5
19
作者 杜明 杨安平 +2 位作者 周军锋 陈子阳 杨云 《计算机应用》 CSCD 北大核心 2020年第2期426-433,共8页
k步可达查询用于在给定的有向无环图(DAG)中回答两点之间是否存在长度不超过k的路径。针对现有方法的索引规模大、查询处理效率低的问题,提出一种基于部分点的双向最短路径索引来提升索引的可达信息覆盖率,并提出一组优化规则来减小索... k步可达查询用于在给定的有向无环图(DAG)中回答两点之间是否存在长度不超过k的路径。针对现有方法的索引规模大、查询处理效率低的问题,提出一种基于部分点的双向最短路径索引来提升索引的可达信息覆盖率,并提出一组优化规则来减小索引规模;然后提出基于简化图的正反互逆拓扑索引来加速回答不可达查询;最后提出远距离优先的双向遍历策略来提高查询处理的效率。基于21个真实数据集(如引用网络、社交网络等)的实验结果表明,相比已有的高效方法PLL及BFSI-B,所提出的算法具有更小的索引规模和更快的查询响应速度。 展开更多
关键词 有向无环图 k步可达性查询 hop点最短路径索引 双向互逆拓扑索引 双向遍历
下载PDF
阶等差数列有限和的幂级数求法 被引量:3
20
作者 孔宪明 孙维君 《山东理工大学学报(自然科学版)》 CAS 2003年第6期45-47,共3页
求阶等差数列的有限和通常是用数学归纳法的方法来解决,其求和公式的建立往往有一定的困难.用幂级数和函数的思想来给出阶等差数列求有限和的公式.
关键词 阶等差数列 有限和 幂级数 数学归纳法 函数
下载PDF
上一页 1 2 7 下一页 到第
使用帮助 返回顶部