检索结果-维普期刊中文期刊服务平台

一种兼顾协议正确性验证和性能评估的Petri网方法被引量：2: 1; 作者范昊吴哲辉曾庆田《计算机科学》 CSCD 北大核心 2005年第12期48-52,共5页; 基于Petri网的协议形式化分析方法由于其精炼、简洁和无二义性逐步成为分析协议的一条可靠和准确的途径,但是协议的形式化分析目前研究还不够深入,协议分析的两个重点内容正确性验证和性能评估所需要的模型不同,一种模型只能解决一方面... 展开更多; 关键词协议验证形式化分析时延PETRI网协议性能评估 0-1停止等待协议; 在线阅读下载PDF 职称材料

GRD:基于GNN和扩散模型的多变量时序数据异常检测算法: 2; 作者邸钦渤陈劭力时良仁《计算机工程》北大核心 2025年第11期35-44,共10页; 随着多变量时序数据在各行业中的广泛应用,开发有效的异常检测方法对于保障系统的稳定运行和安全性变得极为关键,由于多变量时序数据内在的复杂性和动态变化特性,对异常检测算法提出了更高的要求。针对现有异常检测方法在处理含有复杂... 展开更多; 关键词多变量时序数据异常检测图神经网络扩散模型评估协议; 在线阅读下载PDF 职称材料

一种适应时变信道的多用户多信道自适应协议被引量：2: 3; 作者王诗姜涵 +2 位作者朱笑莹张敏程思瑶《电波科学学报》 CSCD 北大核心 2023年第5期877-886,共10页; 在认知网络中,具有强时变性的信道状态、用户状态影响着系统性能.为了提高系统吞吐量,实现用户最大通信速率,如何将时变的信道、用户状态和链路自适应调制与编码匹配是一个亟待解决的问题.针对此,提出了一种匹配检验分配协议(matching-c... 展开更多; 关键词认知无线电链路自适应调制与编码频谱分配协议排队论协议评估框架; 在线阅读下载PDF 职称材料

RBPs在苏州河水系生境评价中的应用被引量：6: 4; 作者曹敏吴阿娜 +1 位作者车越陈婷《华东师范大学学报（自然科学版）》 CAS CSCD 北大核心 2012年第3期130-137,共8页; 河流生境评价作为河流健康状况评价的重要内容和衡量方法之一,近年来受到越来越多的关注.本文在回顾国外河流生境评价相关理论和实践进展的基础上,引入较具代表性和可操作性的美国快速生物评估协议(RBPs)——生境部分,并尝试以上海苏州... 展开更多; 关键词河流生境评价快速生物评估协议苏州河适用性; 在线阅读下载PDF 职称材料

基于虚拟机和资源映射的网络仿真系统: 5; 作者刘行兵穆晓霞段新涛《计算机科学》 CSCD 北大核心 2014年第S1期318-320,共3页; 协议评估是网络协议设计开发的重要环节,直接影响到协议设计开发的效率和质量。网络模拟、实际测试和网络仿真是3种主要的协议评估途径,网络模拟在真实性上存在明显不足;实际测试不具有可重复性和可控制性;网络仿真兼有两者的优点,又可... 展开更多; 关键词网络仿真协议评估设计思想移动自组织网络; 在线阅读下载PDF 职称材料

基于参数控制的网络仿真系统: 6; 作者刘行兵张志军段新涛《河南师范大学学报（自然科学版）》 CAS 北大核心 2014年第4期129-133,共5页; 网络仿真可以为协议评估提供低成本、可控制、可重复、高真实度的测试平台.主要分析了网络模拟、实际测试和网络仿真对协议评估的影响,归纳了网络仿真的分类,重点对参数控制的网络仿真系统设计思想进行了分析,最后对网络仿真的发展趋势... 展开更多; 关键词网络仿真协议评估设计思想移动自组织网络; 在线阅读下载PDF 职称材料

题名一种兼顾协议正确性验证和性能评估的Petri网方法被引量：2: 1; 作者范昊吴哲辉曾庆田; 机构中国科学院计算技术研究所智能信息处理开放实验室山东科技大学信息与工程学院; 出处《计算机科学》 CSCD 北大核心 2005年第12期48-52,共5页; 基金国家自然科学基金资助课题(60173053); 文摘基于Petri网的协议形式化分析方法由于其精炼、简洁和无二义性逐步成为分析协议的一条可靠和准确的途径,但是协议的形式化分析目前研究还不够深入,协议分析的两个重点内容正确性验证和性能评估所需要的模型不同,一种模型只能解决一方面的工作。为了有效地解决这一问题,文中提出了一种用原型Petri网作为协议验证模型的思路和方法,在不改变原型Petri网结构的基础上对变迁赋予发生时延,解决了协议的性能评估问题。本文还给出了协议验证内容与Petri网分析方法的对应关系,并对0-1停止等待协议进行了详细的分析,最后把0-1停止等待协议的原型Petri网模型转化为时延Petri网,对协议的性能进行了评估。; 关键词协议验证形式化分析时延PETRI网协议性能评估 0-1停止等待协议; Keywords Protocol validation, Formal analysis, Timed Petri Net, Protocol performance evaluates, 0-1 stop and wait protocol; 分类号 TP274.2 [自动化与计算机技术—检测技术与自动化装置] TP393.08 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名GRD:基于GNN和扩散模型的多变量时序数据异常检测算法: 2; 作者邸钦渤陈劭力时良仁; 机构上海交通大学电子信息与电气工程学院华讯网络系统有限公司; 出处《计算机工程》北大核心 2025年第11期35-44,共10页; 文摘随着多变量时序数据在各行业中的广泛应用,开发有效的异常检测方法对于保障系统的稳定运行和安全性变得极为关键,由于多变量时序数据内在的复杂性和动态变化特性,对异常检测算法提出了更高的要求。针对现有异常检测方法在处理含有复杂变量关系的高维数据时存在效率不足的问题,提出一种基于图神经网络(GNN)与扩散模型的多变量时序数据异常检测算法GRD。通过节点嵌入和图结构学习,GRD算法能有效地捕捉和表示变量间的复杂关系,并通过门控循环单元(GRU)和去噪扩散概率模型(DDPM)进一步提取特征,实现了对异常数据的高精度检测。在以往的实验评估中,大多数算法在评分前会采用点调整(PA)评估协议,该协议会严重高估算法的检测能力。为了更准确地评估算法性能,采用新的评估协议和评价指标。实验结果表明,GRD算法在3个公开数据集上的F1@k指标分别是0.7414、0.8017、0.7671,性能优于现有方法。特别是在高维数据处理方面,GRD算法展现出显著优势,证明了其在现实场景的异常检测应用中的实用性和鲁棒性。; 关键词多变量时序数据异常检测图神经网络扩散模型评估协议; Keywords multivariate time series data anomaly detection Graph Neural Network(GNN) diffusion model evaluation protocol; 分类号 TP183 [自动化与计算机技术—控制理论与控制工程]; 在线阅读下载PDF 职称材料

题名一种适应时变信道的多用户多信道自适应协议被引量：2: 3; 作者王诗姜涵朱笑莹张敏程思瑶; 机构辽宁工程技术大学电子与信息工程学院辽宁工程技术大学研究生院; 出处《电波科学学报》 CSCD 北大核心 2023年第5期877-886,共10页; 基金辽宁省博士启动基金(2019-BS-114) 辽宁工程技术大学学科创新团队(LNTU20TD-06,LNTU20TD-20)。; 文摘在认知网络中,具有强时变性的信道状态、用户状态影响着系统性能.为了提高系统吞吐量,实现用户最大通信速率,如何将时变的信道、用户状态和链路自适应调制与编码匹配是一个亟待解决的问题.针对此,提出了一种匹配检验分配协议(matching-check allocation protocol,MAP).该协议联合链路自适应包错误率与通信速率,旨在实现信道状态、用户状态与传输模式匹配的同时最大化系统总通信速率.为了评估频谱分配协议在多用户多信道联合目标优化等复杂网络复杂指标下的性能,利用离散时间排队模型分析非授权用户行为,构建了一种通用的、适用性强的协议评估框架,得到了平均队长、平均吞吐量、平均时延、平均拒绝量等综合性能指标.在该框架下,将MAP与最大速率分配协议、公平随机分配协议进行比较.数据结果表明了MAP优于对比协议,也表明了协议评估框架能够评估不同的频谱分配协议,证明了MAP与协议评估框架的有效性.; 关键词认知无线电链路自适应调制与编码频谱分配协议排队论协议评估框架; Keywords cognitive radio matching-check allocation protocol(AMC)scheme spectrum allocation protocol queueing theory protocol evaluation framework; 分类号 TN926 [电子电信—通信与信息系统]; 在线阅读下载PDF 职称材料

题名RBPs在苏州河水系生境评价中的应用被引量：6: 4; 作者曹敏吴阿娜车越陈婷; 机构华东师范大学上海市城市化生态过程与生态恢复重点实验室上海市环境监测中心; 出处《华东师范大学学报（自然科学版）》 CAS CSCD 北大核心 2012年第3期130-137,共8页; 基金国家自然科学基金(71073055) 中央高校基本科研业务费专项资金上海市城市化生态过程与生态恢复重点实验室开放课题; 文摘河流生境评价作为河流健康状况评价的重要内容和衡量方法之一,近年来受到越来越多的关注.本文在回顾国外河流生境评价相关理论和实践进展的基础上,引入较具代表性和可操作性的美国快速生物评估协议(RBPs)——生境部分,并尝试以上海苏州河水系为对象开展实证研究.研究结果显示,苏州河水系生境条件受人类活动影响较为强烈,生境质量多处于"较好"～"差"级别;苏州河干、支流生境状况较为接近,上游河流生境优于中下游,农田地区河流生境优于城镇地区;RBPs应用于国内河流生境评价存在一定的适用性问题,但对于发展和完善其评价方法仍具有重要的参考价值.; 关键词河流生境评价快速生物评估协议苏州河适用性; Keywords river habitat assessment Rapid Bioassessment Protocols Suzhou Creek applicability; 分类号 X826 [环境科学与工程—环境工程]; 在线阅读下载PDF 职称材料

题名基于虚拟机和资源映射的网络仿真系统: 5; 作者刘行兵穆晓霞段新涛; 机构河南师范大学计算机与信息工程学院; 出处《计算机科学》 CSCD 北大核心 2014年第S1期318-320,共3页; 基金国家科学自然基金(U1204606)资助; 文摘协议评估是网络协议设计开发的重要环节,直接影响到协议设计开发的效率和质量。网络模拟、实际测试和网络仿真是3种主要的协议评估途径,网络模拟在真实性上存在明显不足;实际测试不具有可重复性和可控制性;网络仿真兼有两者的优点,又可避开其不足,为协议评估提供低成本、可控制、可重复、高真实度的测试平台。分析了网络模拟、实际测试和网络仿真对协议评估的影响,归纳了网络仿真的分类,重点对参数控制的网络仿真系统设计思想进行了分析,最后对网络仿真的发展趋势进行了展望。; 关键词网络仿真协议评估设计思想移动自组织网络; Keywords Network emulation,Protocol evaluation,Design methodology,MANET; 分类号 TP391.9 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名基于参数控制的网络仿真系统: 6; 作者刘行兵张志军段新涛; 机构河南师范大学计算机与信息工程学院; 出处《河南师范大学学报（自然科学版）》 CAS 北大核心 2014年第4期129-133,共5页; 基金国家自然科学基金(U1204606) 河南省科技攻关项目(142102210566); 文摘网络仿真可以为协议评估提供低成本、可控制、可重复、高真实度的测试平台.主要分析了网络模拟、实际测试和网络仿真对协议评估的影响,归纳了网络仿真的分类,重点对参数控制的网络仿真系统设计思想进行了分析,最后对网络仿真的发展趋势进行了展望.; 关键词网络仿真协议评估设计思想移动自组织网络; Keywords network emulations protocol evaluations design methodology MANET; 分类号 TP391.9 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	一种兼顾协议正确性验证和性能评估的Petri网方法	范昊吴哲辉曾庆田	《计算机科学》 CSCD 北大核心	2005	2	在线阅读下载PDF 职称材料
2	GRD:基于GNN和扩散模型的多变量时序数据异常检测算法	邸钦渤陈劭力时良仁	《计算机工程》北大核心	2025	0	在线阅读下载PDF 职称材料
3	一种适应时变信道的多用户多信道自适应协议	王诗姜涵朱笑莹张敏程思瑶	《电波科学学报》 CSCD 北大核心	2023	2	在线阅读下载PDF 职称材料
4	RBPs在苏州河水系生境评价中的应用	曹敏吴阿娜车越陈婷	《华东师范大学学报（自然科学版）》 CAS CSCD 北大核心	2012	6	在线阅读下载PDF 职称材料
5	基于虚拟机和资源映射的网络仿真系统	刘行兵穆晓霞段新涛	《计算机科学》 CSCD 北大核心	2014	0	在线阅读下载PDF 职称材料
6	基于参数控制的网络仿真系统	刘行兵张志军段新涛	《河南师范大学学报（自然科学版）》 CAS 北大核心	2014	0	在线阅读下载PDF 职称材料