引入关联缺陷的软件可靠性评估模型

下载全文  总被引：1，自引：0，他引：1

关联缺陷的存在很大程度上是由于缺陷的检测能力被其他缺陷所屏蔽,它不仅影响软件测试结果,还扭曲了软件可靠性评估模型的评估结果.从软件缺陷的自身角度来分析软件检测以及可靠性评估失效的原因,对关联缺陷进行了详细分析.为了在软件可靠性评估时获得更符合实际缺陷数量的预测值,将广义关联应用于… …   相似文献

徐高潮  刘新忠  胡亮  付晓东  董玉双 《软件学报》2011,22(3):439-450

J2EE多层体系结构及在教育信息平台中的应用

下载全文  总被引：15，自引：1，他引：14

J2EE为开发和部署多层体系结构的应用提供了企业级的计算模型和运行环境。它通过提供企业计算环境所必需的各种服务,使得部署在J2EE平台上的多层应用能够实现高可用性、安全性、可扩展性和可靠性。对J2EE新增技术作了简要介绍,并对J2EE的多层体系结构的基本特点进行了分析,根据J2E… …   相似文献

郭涛 《计算机应用研究》2004,21(6):209-211

DDOS攻击检测和防御模型

下载全文  总被引：11，自引：1，他引：11

提出了基于聚集和协议分析防御分布式拒绝服务攻击(aggregate-based protocol analysis anti-DDoS,简称APA-ANTI-DdoS)模型来检测和防御DDoS攻击.APA-ANTI-DDoS模型包括异常流量聚集、协议分析和流量处理.异常流量聚积把… …   相似文献

孙知信  姜举良  焦琳 《软件学报》2007,18(9):2245-2258

XML查询优化研究

下载全文  总被引：23，自引：2，他引：23

XML已经成为网络上信息描述和信息交换的标准.由于网络上信息的本质特性和XML数据内在的灵活性,很多用XML编码的数据都是半结构化的.随着XML应用得越来越广泛,人们提出了多种XML数据的存储模型.与此同时,XML的查询优化也是数据库领域研究的一个重要课题.综合论述了XML数据查… …   相似文献

孟小峰  王宇  王小锋 《软件学报》2006,17(10):2069-2086

Linux 2.6内核调度机制剖析与改进①

下载全文  

详细剖析了Linux 2.6内核进程调度的时机、调度策略、调度有关的重要数据结构、O(1)调度算法实现,以及Linux 2.6内核新引入的内核抢占机制。为了使Linux 2.6内核支持硬实时应用,提出了改进的最小裕度优先调度算法。该算法通过引入抢占阈值,从而减少颠簸现象造成的系统… …   相似文献

张永选  毛红梅 《计算机系统应用》2009,18(11):190-194

k-LSAT (k≥3)是NP-完全的

下载全文  总被引：1，自引：0，他引：1

合取范式(conjunctive normal form,简称CNF)公式F是线性公式,如果F中任意两个不同子句至多有一个公共变元.如果F中的任意两个不同子句恰好含有一个公共变元,则称F是严格线性的.所有的严格线性公式均是可满足的,而对于线性公式类LCNF,对应的判定问题LSAT仍然是NP-完全的.LCNF_≥k是子句长度大于或等于k的CNF公式子类,判定问题LSA(≥k)的NP-完全性与LCNF(≥k)中是否含有不可满足公式密切相关.即LSAT_≥k的NP-完全性取决于LCNF_≥k是否含有不可满足公式.S.Porschen等人用超图和拉丁方的方法构造了LCNF_≥3和LCNF_≥4中的不可满足公式,并提出公开问题:对于k≥5,LCNF_≥k是否含有不可满足公式?将极小不可满足公式应用于公式的归约,引入了一个简单的一般构造方法.证明了对于k≥3,k-LCNF含有不可满足公式,从而证明了一个更强的结果:对于k≥3,k-LSAT是NP-完全的.… …   相似文献

许道云  邓天炎  张庆顺 《软件学报》2008,19(3):511-521

处理指针相等关系不确定的指针逻辑

下载全文  

为类C小语言PointerC设计的指针逻辑是Hoare逻辑的一种扩展,可用来对指针程序进行精确的指针分析,以支持指针相等关系确定的程序的安全性验证.通过增加相等关系不确定的指针类型访问路径集合,可扩展这种指针逻辑,使得扩展后的指针逻辑可以应用于有向图等指针相等关系不确定的抽象数据… …   相似文献

梁红瑾  张昱  陈意云  李兆鹏  华保健 《软件学报》2010,21(2):334-343

基于方差的CHI特征选择方法*

下载全文  总被引：1，自引：0，他引：1

通过分析特征词与类别间的相关性,在原有的卡方特征选择的方法上增加三个调节参数,使选出的特征词集中分布在某一类,且在某一类中尽可能地均匀分布,并使特征词在某一类中出现的次数尽可能地多。通过实验对比改进前后的卡方特征选择方法,基于方差的卡方统计(Var-CHI)方法使得查全率和查准率… …   相似文献

邱云飞  王威  刘大有  邵良杉 《计算机应用研究》2012,29(4):1304-1306

基于扩展生成语言模型的图像自动标注方法

下载全文  总被引：3，自引：0，他引：3

使用最大权匹配算法,结合统计平滑技术,提出图像区域特征生成概率估计方法,并进一步对训练集中标注词之间的语义相关性(correlation)进行分析与度量,给出一种基于生成模型的图像标注算法.算法使用所提出的基于最大权匹配的图像生成概率估计方法得到较好的起始点,进而设计启发式迭代函… …   相似文献

王梅  周向东  张军旗  许红涛  施伯乐 《软件学报》2008,19(9):2449-2460

事件触发并发数据流模型

下载全文  总被引：9，自引：0，他引：9

DHDF(动态纯数据流)是许多图形化编程平台的核心.由于它的自然属性(数据驱动)与操作系统事件驱动模型不能很好地结合,导致了两个明显的不足:运行效率低,CPU占用率高;对外部事件响应速度慢,系统实时性差.提出了一种ECDF(事件触发并发数据流)模型,并给出了该模型的文法描述以及调… …   相似文献

王瑞荣  汪乐宇 《软件学报》2003,14(3):409-414