检索结果-南通市图书馆

基于ArcIMS的配电网WebGIS技术概述

在线全文

学校读者我要写书评

暂无评论

华北电力大学学报（自然科学版） 2006年第2期33卷 94-96页

作者：赵强赵建涛华北电力大学计算机科学与技术学院北京102206

WebGIS技术是目前GIS的研究热点,ArcIMS是构建WebGIS的优秀平台。揭示了ArcIMS的体系结构和运行原理,并就其在配电网中构建基于WebGIS的网站服务器进行了叙述,探讨了在ArcIMS环境下基于Java的配电网应用功能开发,服务器端逻辑功能部署,... 详细信息

WebGIS技术是目前GIS的研究热点,ArcIMS是构建WebGIS的优秀平台。揭示了ArcIMS的体系结构和运行原理,并就其在配电网中构建基于WebGIS的网站服务器进行了叙述,探讨了在ArcIMS环境下基于Java的配电网应用功能开发,服务器端逻辑功能部署,Web发布的技术、方法和步骤。

关键词： AscIMS WebGIS 配电网 Java 服务器

在线全文

学校读者我要写书评

暂无评论

基于单向累加器的无向可传递闭包图认证

通信学报 2008年第3期29卷 63-69页

作者：马春光蔡满春武朋哈尔滨工程大学计算机科学与技术学院黑龙江哈尔滨150001 中国人民公安大学信息安全工程系北京102600

提出了使用单向累加器进行无向可传递闭包图认证的新方法,构造了具体认证方案。签名时,签名者对节点集合的等价类进行累加,并为节点签发包含部分累加值的证书。累加值构成了图的签名,证书表明了节点对等价类的所属关系。验证时,只需对... 详细信息

提出了使用单向累加器进行无向可传递闭包图认证的新方法,构造了具体认证方案。签名时,签名者对节点集合的等价类进行累加,并为节点签发包含部分累加值的证书。累加值构成了图的签名,证书表明了节点对等价类的所属关系。验证时,只需对相关节点的证书做一次累加运算,便可验证节点间边的存在性。通过与典型的可传递签名方案的比较,表明新方案所需的空间复杂度和时间复杂度更小。另外,新方案同时支持节点和边的动态增删,这解决了Micali和Rivest提出的一个公开问题。

关键词：密码学认证可传递闭包图单向累加器可传递签名

在线全文

学校读者我要写书评

暂无评论

社群网络中基于链接分类的研究与应用

广西师范大学学报（自然科学版） 2006年第4期24卷 155-158页

作者：肖丁万里吴斌陈平北京邮电大学计算机学院通信软件工程中心北京100876

由于在互联网、电信、生物信息、社会网络分析等领域可获得的链接丰富的数据日益增多,链接挖掘已经成为数据挖掘的研究热点。基于链接分类是链接挖掘的一个重要方向。在此以电信领域用户通话特征数据为对象,研究了基于链接分类技术及其... 详细信息

由于在互联网、电信、生物信息、社会网络分析等领域可获得的链接丰富的数据日益增多,链接挖掘已经成为数据挖掘的研究热点。基于链接分类是链接挖掘的一个重要方向。在此以电信领域用户通话特征数据为对象,研究了基于链接分类技术及其在电信客户流失预测的应用方法,在提取并分析大规模客户呼叫图的极大团、结点膨胀率、结点聚集度等与节点稳定性相关的链接属性及其时变特征的基础上,提出了一种适合海量数据的基于链接的电信客户流失预测算法。实验结果表明,此算法较传统分类算法能提高客户流失预测性能,实现了基于链接分类方法的成功应用。

关键词：社群网络分析链接分类极大团膨胀率聚集度

在线全文

学校读者我要写书评

暂无评论

改进的移动IP的注册性能分析

通信学报 2002年第6期23卷 116-121页

作者：唐宏吴中福赵军唐宏熊思民赵军重庆大学计算机学院重庆400044 重庆邮电学院计算机科学与技术研究所重庆400065

根据现有的IETF移动IP规范,当移动节点驻留在远离归属网络的外地网络时,将会产生严重的注册延迟,从而引起严重的包丢失和通信吞吐量的下降。本文利用改进后的移动IP网络结构,引入routing agent,使得大量的当地注册报文只需要在RA上处理... 详细信息

根据现有的IETF移动IP规范,当移动节点驻留在远离归属网络的外地网络时,将会产生严重的注册延迟,从而引起严重的包丢失和通信吞吐量的下降。本文利用改进后的移动IP网络结构,引入routing agent,使得大量的当地注册报文只需要在RA上处理即可,从而减少了注册延迟,改善了移动IP的性能,本文对其中的注册代价进行了深入的分析,并与标准移动IP中的注册代价进行了对比。

关键词：移动IP 注册性能路由代理注册代价 IETF规范

以语义规则刻画服务请求的Top-k Web服务发现方法

在线全文

学校读者我要写书评

暂无评论

西安交通大学学报 2010年第2期44卷 35-38页

作者：王海朱正东范琳李增智西安交通大学计算机系统结构与网络研究所西安710049 北京邮电大学网络与交换技术国家重点实验室北京100876 西安邮电学院计算机系西安710061

为了更好地提供满足客户需求的Web服务,在充分研究服务发布描述、服务请求描述等特点的基础上,提出了以语义规则刻画的服务请求描述,并以本体构建了服务发布描述.通过对语义规则添加影响因子,使得服务匹配精度可以通过匹配度来度量,并... 详细信息

为了更好地提供满足客户需求的Web服务,在充分研究服务发布描述、服务请求描述等特点的基础上,提出了以语义规则刻画的服务请求描述,并以本体构建了服务发布描述.通过对语义规则添加影响因子,使得服务匹配精度可以通过匹配度来度量,并按照给定的调节系数决定最终匹配是否成功.在OWL-S TC V2测试服务集合中进行了对比实验,结果表明,所提方法可以有效提高查全率和查准率,特别是在最大匹配数为20获得的k分别为2、5、8、10、15的情况下,Top-k查准率比基于描述逻辑包含检测的算法分别提高了15%、15%、9%、8%、2%,比关键字算法分别提高了5%、13%、30%、33%、30%,而查准率稳定在95%以上.

关键词： Web服务发现语义规则查准率

在线全文

学校读者我要写书评

暂无评论

基于周期虚拟缩减的实时任务调度和分析方法

软件学报 2022年第9期33卷 3512-3528页

作者：刘洪标乔磊杨孟飞陈熙马智李少峰西安电子科技大学计算机科学与技术学院陕西西安710071 北京控制工程研究所北京100190 中国空间技术研究院北京100094

针对航天器等安全关键系统中实时任务调度和可调度性分析的实际问题,提出基于任务周期虚拟缩减的可调度性判定方法,构建SHT (strong-hard task)任务模型对强硬实时任务进行精确描述,并根据任务时间特性分配优先级.虚拟化所有强实时任务... 详细信息

针对航天器等安全关键系统中实时任务调度和可调度性分析的实际问题,提出基于任务周期虚拟缩减的可调度性判定方法,构建SHT (strong-hard task)任务模型对强硬实时任务进行精确描述,并根据任务时间特性分配优先级.虚拟化所有强实时任务为一个硬实时任务,对此硬实时任务周期虚拟缩减并计算出其最差虚拟执行时间,然后按RMS可调度性判定公式判定.给出了判定方法的严格证明,可对包含n个SHT任务的任务集进行快速可调度性判定,此算法时间复杂度仅为O(n~2).在我国空间站计算机进行了对比验证,实验表明判定效率优于现有可调度性判定方法,平均运行时间开销降低了41.8%,可调度率提高了5.7%.

关键词：动态扩展实时任务周期虚拟缩减优先级分配可调度性

差异性Shearlet特征的快速稀疏描述人脸识别

在线全文

学校读者我要写书评

暂无评论

光电工程 2016年第6期43卷 25-31页

作者：黄玉张英俊潘理虎太原科技大学计算机科学与技术学院太原030024 中国科学院地理科学与资源研究所北京100101

针对稀疏描述方法因计算复杂度高难以满足实际需求以及对训练样本个数敏感的问题,提出一种差异性Shearlet特征的快速稀疏描述人脸识别方法。首先对人脸图像采用Shearlet变换得到多尺度多方向的人脸特征;然后利用匹配得分融合策略对Shear... 详细信息

针对稀疏描述方法因计算复杂度高难以满足实际需求以及对训练样本个数敏感的问题,提出一种差异性Shearlet特征的快速稀疏描述人脸识别方法。首先对人脸图像采用Shearlet变换得到多尺度多方向的人脸特征;然后利用匹配得分融合策略对Shearlet特征进行融合,构成差异性特征;进而构造针对每个测试样本的"最佳"稀疏表示并计算其相关系数;最后依据训练样本在描述测试样本中所做贡献的大小,实现对测试样本图像的分类识别。在ORL和YALE人脸库上的实验结果表明,所提算法在保证高识别率优势的同时大大降低了时间复杂度。

关键词：人脸识别稀疏描述 Shearlet变换匹配得分融合

在线全文

学校读者我要写书评

暂无评论

性能评价形式化方法的现状和发展

电子学报 2002年第12A期30卷 1917-1922页

作者：林闯李雅娟王忠民清华大学计算机科学与技术系北京100084 北京科技大学计算机系北京100083

性能评价(Performance Evaluation,PE)是计算机网络和计算机系统研究与应用的重要理论基础和支撑技术,也是当今通信和计算机科学领域的重要研究方向.本文对性能评价的形式化方法(Forman Methods,FM)、该领域的主要研究成果和发展前景进... 详细信息

性能评价(Performance Evaluation,PE)是计算机网络和计算机系统研究与应用的重要理论基础和支撑技术,也是当今通信和计算机科学领域的重要研究方向.本文对性能评价的形式化方法(Forman Methods,FM)、该领域的主要研究成果和发展前景进行了综述.文章着重介绍了FM中的三种方法:排队论(Queuing Theory)、随机Petri网(Stochastic Petri—Net,SPN)和随机进程代数(Stochastic Process Algebra,SPA).另外,本文还对不同方法之间的区别和结合做了初步的讨论.最后对形式化方法做了总结和展望.

关键词：形式化方法排队论随机Petri网随机进程代数计算机网络 PE 性能评价现状

在线全文

学校读者我要写书评

暂无评论

软件可信性与供应链安全前沿进展专题前言

软件学报 2023年第6期34卷 2507-2508页

作者：向剑文郑征申文博常瑞田聪交通物联网技术湖北省重点实验室(武汉理工大学计算机与人工智能学院) 北京航空航天大学自动化科学与电气工程学院/软件学院浙江大学计算机科学与技术学院/网络空间安全学院西安电子科技大学计算机科学与技术学院

随着计算机应用的不断发展,软件已经渗透到国民经济和国防建设的各个领域,在信息社会中发挥着至关重要的作用.同时,各行各业依赖各类软件,软件的可信性与供应链安全已成为学术界和工业届不可忽视的根本性问题.一方面,人们对软件的可靠...

随着计算机应用的不断发展,软件已经渗透到国民经济和国防建设的各个领域,在信息社会中发挥着至关重要的作用.同时,各行各业依赖各类软件,软件的可信性与供应链安全已成为学术界和工业届不可忽视的根本性问题.一方面,人们对软件的可靠性、安全性、防危性等传统可信性质以及可解释性、隐私性和公平性等新兴可信性质提出了更多和更高的要求;另一方面,复杂的软件供应链引入的一系列安全问题,导致信息系统的整体安全防护难度也越来越大.保证软件供应链安全是一项宏大的系统化工程,包含软件供应链上软件设计与开发的各个阶段中来自本身的编码过程、工具、设备或供应链上游的代码、模块和服务的安全,以及软件交付渠道安全.因此,软件可信性和软件供应链安全性问题已具有重大的挑战性,也是众多国内外学者迫切探索的科研热点和关注焦点,亟需国内外学者对软件的开发和运行中的软件可信性以及软件供应链的各个环节、各种新兴技术展开广泛的探索、研究和交流.因此,本专题的主题将围绕软件可信性方面的理论、方法和技术,以及软件供应链中软件开发、测试、交付、运行、维护等各个环节的安全风险,探讨包含固件、操作系统、系统软件、编译器、应用软件等各个层次软件的可信性和供应链安全问题.

关键词：