-
36761.DDoS攻击检测和控制方法
[信息传输、软件和信息技术服务业] [2014-05-15]
分布式拒绝服务(distributed denial of service,简称DDoS)攻击是当今互联网的重要威胁之一.基于攻击包所处网络层次,将DDoS攻击分为网络层DDoS攻击和应用层DDoS攻击,介绍了两类攻击的各种检测和控制方法,比较了处于不同部署位置控制方法的优劣.最后分析了现有检测和控制方法应对DDoS攻击的不足,并提出了DDoS过滤系统的未来发展趋势和相关技术难点.
关键词：DDoS；检测；控制
-
36762.XML关键词检索的查询理解
[信息传输、软件和信息技术服务业] [2014-05-15]
与纯文本文档集相比,使用语义标签标注的半结构化的XML文档集,有助于信息检索系统更好地理解待检索文档.同样,结构化查询,比如SQL,XQuery和Xpath,相对于纯关键词查询更加清晰地表达了用户的查询意图.这二者都能够帮助信息检索系统获得更好的检索精度.但关键词查询因其简单和易用性,仍被广泛使用.提出了XNodeRelation算法,以自动推断关键词查询的结构化信息(条件/目标节点类型).与已有的推断算法相比,综合了XML文档集的模式和统计信息以及查询关键词出现的上下文及其关联关系等推断用户的查询意图.大量的实验验证了该算法的有效性.
关键词：XML关键词检索；查询理解；目标节点类型；条件节点类型
-
36763.W4H:一个面向软件部署的技术分析框架
[信息传输、软件和信息技术服务业] [2014-05-15]
部署是软件生命周期中的一个重要环节,是软件生产的后期活动,通过配置、安装和激活等活动来保障软件制品的后续运行.为了系统地了解软件部署的现状和最新进展,建立了一个多侧面、细粒度的分析框架——W4H,以对该领域的主要研究工作和系统工具进行概括分析.该框架从软件部署的概念和面对的问题空间出发,由5个侧面,12个维度构成,覆盖了软件部署方法中主体、客体、适用范围、方式策略和过程支持能力等多个方面.基于W4H分析框架,对当前具有代表性的软件部署方法与技术进行分析和总结.案例研究结果表明,该分析框架能够对软件部署方法与技术进行较为全面的分析,对软件系统部署方法和技术的选择及开发具有重要的指导意义.
关键词：软件部署；分析框架；综合分析
-
36764.一种基于变量可达向量的链表抽象方法
[信息传输、软件和信息技术服务业] [2014-05-15]
提出了一种链表抽象表示方法.该方法隐式存储链表结点之间的边信息,并采用了一种紧致的链表状态表示,存储开销较低,且维护了链表长度信息,精确度较高.具体而言,根据变量对链表结点的可达性质定义了变量可达向量,采用带计数的变量可达向量集描述链表的形态及数量性质,并定义了基本链表操作的抽象语义.通过简单扩展,该方法可以建模包括环形链表在内的所有单向链表.最后,为了验证该链表抽象方法的正确性,在符号执行框架中进行实验,并对常见链表操作程序的运行时错误、长度相关性质等关键性质进行了分析与验证.
关键词：链表抽象方法；符号执行；链表操作程序；变量可达向量
-
36765.概率计算树逻辑的限界模型检测
[信息传输、软件和信息技术服务业] [2014-05-15]
为了缓解概率计算树逻辑模型检测中的状态空间爆炸问题,提出了概率计算树逻辑的限界模型检测技术.该技术首先定义概率计算树逻辑的限界语义,并证明其正确性；之后,通过实例说明在传统限界模型检测中,以路径长度作为判断检测过程终止的标准已经失效,基于数值计算中牛顿迭代法的终止准则,设计了新的终止判断标准;然后提出基于线性方程组求解的限界模型检测算法；最后,通过3个测试用例说明,概率计算树逻辑限界模型检测方法在反例较短的情况下能够快速完成检测过程,而且比概率计算树逻辑的无界模型检测算法所需求得的状态空间要少.
关键词：模型检测；限界模型检测；概率计算树逻辑；马尔可夫链
-
36766.电子政务需方参与活动对项目绩效的影响分析
[信息传输、软件和信息技术服务业] [2014-05-15]
在电子政务项目建设过程中,需方通常会参与供方主导的开发活动,并由此对项目绩效产生重要影响.然而在制定需方参与活动方案时,依赖主观直觉和经验的做法一方面对制定者提出了很高要求,另一方面容易产生争议.为此,提出通过对客观存在的历史数据进行定量分析,建立需方各参与活动对于项目绩效的影响关系,进而为需方参与活动提供建议指导.使用定量方法收集25个中国电子政务项目的数据,提出一种基于变量选择的回归分析方法,建立需方参与活动与项目绩效之间关系的量化模型,并对模型的有效性进行了计量分析.分析结果显示,该模型具有良好的数学性质.进一步地,对相关软件企业进行了回访,结合模型结论对反馈结果进行综合分析,为中国电子政务项目中的需方参与活动给出若干具体建议.
关键词：电子政务；需方参与；量化分析；变量选择；软件过程
-
36767.无偏置支持向量回归优化问题
[信息传输、软件和信息技术服务业] [2014-05-15]
为了研究偏置对支持向量回归(support vector regression,简称SVR)问题泛化性能的影响,首先提出了无偏置SVR(NBSVR)的优化问题及其对偶问题.推导出了NBSVR优化问题全局最优解的必要条件,然后证明了SVR的对偶问题只能得到NBSVR对偶问题的次优解.同时提出了NBSVR的有效集求解算法,并证明了它是线性收敛的.基于21个标准数据集的实验结果表明,在对偶问题解空间上,有偏置支持向量回归算法只能得到无偏置支持向量回归算法的次优解,NBSVR的均方根误差要低于SVR.NBSVR的训练时间不仅低于SVR,而且对核参数变化不太敏感.
关键词：偏置；支持向量回归；有效集；泛化性能
-
36768.基于构件运算的可重构系统代数模型
[信息传输、软件和信息技术服务业] [2014-05-15]
可重构系统是指一个系统由构件组成,随着构件被替换以及组合拓扑关系的变化,系统表现出不同的功能.针对可重构系统在形式化和重构建模方面的不足,用代数学方法对可重构构件、构件组合、可重构系统的属性和行为特征进行抽象,把构件组合定义成构件的“运算”实现,结合进程代数中算子的概念,定义了多种构件组合运算,建立了可重构系统的代数模型.在代数模型基础上,提出了重构建模和重构范式,为可重构系统提供理论支持,最后介绍了应用案例.
关键词：构件；构件组合；可重构系统；进程代数；重构建模
-
36769.基于超图的翻译模型融合的研究
[信息传输、软件和信息技术服务业] [2014-05-15]
当前,系统融合是在机器翻译的后处理上进行.提出了在解码过程中来融合翻译模型,融合了主流两个翻译系统的翻译模型(层次化的基于短语的文法Hiero和括号转录文法BTG).并从理论和实践的角度探索了现在主流的两种解码方法.同时,所提出的解码方法解决了伪歧义或一致性问题.在实验结果上得出:多文法模型融合的标志性要好于成员翻译模型;新的解码方法标志性好于传统解码方法(Viterbi解码).
关键词：超图；推导；规则；翻译模型融合；伪歧义；一致性翻译
-
36770.基于高阶词汇依存的短语结构树重排序模型
[信息传输、软件和信息技术服务业] [2014-05-15]
在句法分析中,已有研究工作表明,词汇依存信息对短语结构句法分析是有帮助的,但是已有的研究工作都仅局限于使用一阶的词汇依存信息.提出了一种使用高阶词汇依存信息对短语结构树进行重排序的模型,该模型首先为输入句子生成有约束的搜索空间(例如,N-best句法分析树列表或者句法分析森林),然后在约束空间内获取高阶词汇依存特征,并利用这些特征对短语结构候选树进行重排序,最终选择出最优短语结构分析树.在宾州中文树库上的实验结果表明,该模型的最高F1值达到了85.74％,超过了目前在宾州中文树库上的最好结果.另外,在短语结构分析树的基础上生成的依存结构树的准确率也有了大幅提升.
关键词：短语结构；依存结构；句法重排序；高阶词汇依存关系；句法森林
027-87841330