用户名:
密码:
找回密码
中文版
English
本站信箱
收藏本站
本网介绍
省份
北京
天津
河北
山西
山东
内蒙古
湖北
湖南
河南
江西
上海
江苏
浙江
安徽
广东
广西
海南
福建
黑龙江
吉林
辽宁
陕西
甘肃
新疆
青海
宁夏
四川
重庆
贵州
云南
西藏
港澳台
城市
首页
加盟期刊
收录期刊
评价中心
文献导读
期刊动态
博客美文
问题解答
在线订阅
新浪微博
RSS
网站动态:
中国计算机期刊网介绍
欢迎关注中国计算机期刊网微信订阅号!
中国计算机期刊网正式发布,欢迎访问!
如何申请成为收录期刊和加盟期刊
按
任意字段
标题
关键词
摘要
作者姓名
作者单位
基金项目
杂志名称
ISSN号
分类号
被引次数
DOI
文章编号
检索 检索词:
高级检索
排序:
相关度
OA
时间
被引次数
点击次数
下载次数
共有10000条符合
的查询结果,以下是第6461-6480项 搜索用时 113 毫秒
[首页]
« 上一页
[319]
[320]
[321]
[322]
[323]
324
[325]
[326]
[327]
[328]
[329]
下一页 »
末 页»
6461.
测试数据选择理论20年
下载全文
本文将测试数据选择理论发展的20年划分成3个阶段——形成阶段、发展阶段、完善阶段,给出了每一阶段具有代表性的研究成果和特点,讨论了此理论在软件工程中的应用.
相似文献
暴建民
杨孝宗
杨楠
王申科
《软件学报》
1996,7(12):743-751
6462.
主动网络安全结构模型设计
下载全文
总被引:10,自引:1,他引:10
绍了主动网络安全系统的假设模型和威胁模型.基于上述模型和主动网络的安全需要提出了一种安全系统结构模型.该安全模型包括授权、认证、完整性检查和加密等.使用加密和数字签名方法来保护主动网络报文的完整性,使用授权和政策来阻止非法访问以及主动节点的资源请求和行为.
相似文献
夏正友
张世永
《软件学报》
2002,13(8):1352-1360
6463.
属性构造原则与时序计数算子的研究
下载全文
包括计数算子在内的属性构造技术往往能够提高数据挖掘模型的预测精度,但不加条件地使用会导致属性关系不一致问题.为解决此问题,在提出了属性关系一致等3个属性构造原则后,给出了在时序相关模型下避免属性关系不一致问题的新算法——时序计数算子.时序增量计数算子在满足其假设条件下,可以较小的… …
相似文献
邵华
赵宏
《软件学报》
2008,19(2):361-357
6464.
一种稳定高效的动态帧时隙ALOHA算法*
总被引:6,自引:4,他引:2
基于ALOHA的随机性算法是解决标签碰撞的常用方法,在分析这类方法的基础上,提出了一种基于倍乘因子和分组思想的优化方法。改进算法实现简单,且大量的统计及仿真数据表明,该算法取得了稳定的高系统效率,缩短了标签的识别时间。
相似文献
程良伦
林伟勇
《计算机应用研究》
2009,26(1):85-87
6465.
无插件网页快照报表连续显示技术
下载全文
报表作为一种信息组织和分析的有利手段,广泛应用在各行各业,是企业信息系统的重要组成部分之一。报表应用系统的开发是基于Web结构的信息化系统开发的重点之一,尤其是在客户端,用户在浏览报表时,目前基本上都是通过上下翻页来查看,这样使得报表浏览方式呆板,不够直观。针对这个问题提出了无插… …
相似文献
沈疆海
杨起
《计算机系统应用》
2011,20(3):149-152
6466.
用XYZ/E语言描述和验证硬件的行为
下载全文
总被引:6,自引:1,他引:5
本文考虑用时态逻辑语言XYZ/E描述硬件行为的可行性.作为实例,用XYZ/E语言描述了一个基于微处理器的容错计算机系统,这种描述可以在XYZ系统上执行,从而可对系统进行模拟.特别有意义的是利用XYZ/VERI验证子系统对所期望的性质进行了形式化证明.本文还将XYZ/E描述与相应的… …
相似文献
韩俊刚
王岩冰
沈武威
《软件学报》
1996,7(11):676-682
6467.
数据源集成系统中全局模板的增量维护策略
下载全文
总被引:1,自引:0,他引:1
异构数据源集成系统需要集成包括WWW在内的各种数据源,一些半结构化数据对应的模式不仅量大且修改频繁,致使元数据的生成十分耗时.该文提出全局模板的增量维护策略.当局部模板发生变化时,利用局部模板的改变量(即模板增量)来计算全局模板的增量,进而修改全局模板.模板增量是传统实视图维护技… …
相似文献
王宁
徐宏炳
王能斌
《软件学报》
1999,10(4):382-389
6468.
优化的IP-DiffServ动态资源定价机制
下载全文
总被引:3,自引:0,他引:3
在参考了美国国家基金会(NSF)的CAREER提出的IP-DiffServ的动态定价机制后,提出了一个以市场和计划为基础的优化动态定价机制.该机制以业务计划和资源规划为基础,从实现用户的最大性能价格比和ISP的最大利益出发实现了对业务类的定价,在计算用户可感觉到的利益时,考虑了负… …
相似文献
张晋豫
孟洛明
邱雪松
关富英
《软件学报》
2005,16(8):1456-1464
6469.
基于数据挖掘的搜索引擎技术
总被引:4,自引:0,他引:4
设计实现了基于数据挖掘的搜索引擎技术,将数据挖掘技术和自动化中的用户负反馈概念引入到搜索引擎中,从而大大提高了查全率和查准率。
相似文献
姚全珠
张杰
《计算机应用研究》
2006,23(11):29-30
6470.
网格多处理机的一种改进的子网分配算法
下载全文
总被引:7,自引:0,他引:7
子网分配问题是指识别并分配一个空闲的、满足指定大小要求的节点机.首先,提出了网格结构中一种新的具有
O
(
N
2
a
·1og
2
N
a
)时间复杂度的空闲子网搜索算法,它优于现有的
O
(N
3
a
)时间复杂度的搜索算法.然后,用该算法对基于保留因子的最佳匹配类子网分配算法——RF(reservation factor)算法进行了改进,得到了… …
相似文献
张艳
孙世新
彭文钦
《软件学报》
2001,12(8):1250-1257
6471.
基于GA-CFS和AdaBoost算法的网络流量分类
鉴于特征属性选择在网络流量分类中占据重要地位,为了确定最优特征子集,利用CFS作为适应度函数的改进遗传算法(GA-CFS),从网络流量的249个属性空间中提取主要属性并最终选定18个特征组合作为最优特征子集。通过AdaBoost算法把一系列的弱分类器提升为强分类器,对网络流量进行… …
相似文献
剌婷婷
师军
《计算机应用研究》
2012,29(9):3411-3414
6472.
融合描述文档结构和参引特征的Web 服务发现
下载全文
总被引:1,自引:0,他引:1
首先分析研究Web服务描述文档(WSDL文档)的两大特征——结构特征和参引特征,然后根据各个特征对Web服务功能语义描述的影响,提出相应的Web服务表示模型——多向量表示模型.区别于通用文本表示模型,该模型能够显式地表示Web服务描述文档的本质特征.其中,结构特征语义表现在多向量… …
相似文献
魏登萍
王挺
王戟
《软件学报》
2011,22(9):2006-2019
6473.
基于时序逻辑证明编译优化程序变换的保义性
下载全文
基于时序逻辑CTL(computation tree logic)的一种扩展CTL-FV对优化编译中的语句交换和变量替换这两种常见变换的保义性条件给出了形式刻画,采用含条件重写规则定义了保义语句交换
T
exch
和保义变量替换
T
sub
,并基于一种归纳证明框架对它们的保义性进行了证明.此外,基于变换Texch对程序基本块内保依赖语句重排的保义性也给出了一种构造性的证明.… …
相似文献
陶秋铭
赵琛
郭亮
《软件学报》
2009,20(8):2074-2086
6474.
对象组装及其关联语义的自动维持
下载全文
总被引:2,自引:0,他引:2
讨论了对象组装概念及其对象关联语义的自动维持问题.在给出对象组装的模型之后,还对其语言描述、实现机制进行了阐述.它是基于专门用于组装的对象挂接,而不是常规对象接口.由此实现了面向问题域的对象间关联的动态建立和关联语义的自动维持,从而增加了对象建模的描述能力和使用的灵活性,降低了对… …
相似文献
万建成
刘嵩
《软件学报》
2002,13(5):1013-1017
6475.
网络环境下海量信息的局部模式提取方法
下载全文
海量信息的模式提取是网络环境下海量信息集成研究的难点.给出了一种新的局部精确模式提取及其增量保持方法,通过探测目标集的路径距离,利用Hash类及其路径距离操作,将模式的生成规模控制在\"模式直径\"范围内,从而有效地抑制了模式膨胀.
相似文献
王腾蛟
唐世渭
杨冬青
刘云峰
《软件学报》
2001,12(11):1639-1646
6476.
基于网络攻击平台的攻击分类方法研究
首先分析了已有的网络攻击分类法的不足;概要介绍新开发的基于教学培训和公安侦讯目的网络攻击平台及功能框架,介绍网络攻击平台的特点以及关键技术;网络攻击分类是攻击平台的关键,本文提出“维”度的攻击分类法,此分类法非常符合网络攻击平台的特点要求,以据此分类法对当前新出现的网络攻击进行分… …
相似文献
毛承品
范冰冰
《计算机系统应用》
2008,17(4):73-78
6477.
一种严格的软件开发方法框架
下载全文
总被引:2,自引:0,他引:2
本文系统地提出一种严格的软件开发方法,它基于逐步精化和重用组合的程序设计思想,将基于图形的半形式化方法和基于逻辑和转换系统的形式化方法镶嵌为一体,使软件开发中的“创造”和“演算”得到合理的折衷.本文已初步实现了面向该方法的实现工具.
相似文献
陈火旺
齐治昌
王兵山
宁洪
谭庆平
《软件学报》
1996,7(3):187-193
6478.
多体非对称纠缠信道的量子受控密集编码
利用多粒子非对称量子纠缠态,提出一种多体高维非对称量子信道的量子受控密集编码方案。采用量子测量的方法控制纠缠量子信道和密集编码经典信息的传送,通过构造幺正变换矩阵和正交量子测量,纯化量子信道,以一定的概率实现量子受控密集编码,解决了实际量子信道退相干影响下最大纠缠态提取的问题,实… …
相似文献
张程贤
郭邦红
程广明
郭建军
刘颂豪
《计算机科学》
2014,41(12):53-56,69
6479.
一种基于约束策略的无线传感器网络定位算法*
节点定位技术是无线传感器网络的关键支撑技术之一,对于无线传感器网络的基本理论方法和应用研究都具有重要意义。在深入研究分析距离无关定位算法的基础上,提出了基于约束策略的无线传感器网络定位算法。该算法无须测距,采用跳数估计节点间距离,并针对未知节点到锚节点距离计算中的不足,对锚节点的… …
相似文献
李辉
熊盛武
刘毅
《计算机应用研究》
2012,29(4):1462-1564
6480.
基于主题短语的搜索引擎结果聚类
下载全文
为了解决搜索引擎检索结果中的主题混杂现象,帮助用户快速准确地定位到有价值的信息,提出基于主题短语的搜索引擎结果聚类方法。首先从检索结果中提取查询词并与相邻词语组成主题短语,建立包含高频独立词语及主题短语的混合向量空间模型,同时引入同义词词林对特征项进行语义扩充,最后采用改进的k-… …
相似文献
索红光
孙珊珊
王玉伟
梁玉环
《计算机系统应用》
2010,19(3):107-110
[首页]
« 上一页
[319]
[320]
[321]
[322]
[323]
324
[325]
[326]
[327]
[328]
[329]
下一页 »
末 页»