基于KA-2平台服务单元管理的SOA框架化研究

面向服务的体系结构（SOA）被认为是软件体系结构中的下一个发展阶段，以帮助IT组织应对目前面临和即将面临的越来越多的复杂性挑战。本文借助应用软件自动化开发架构平台--KA-2，详细讨论了在SOA框架下对作为服务单元的业务组件的管理，为如何创建、实现、发布满足SOA框架要求的服务单元做了实践性研究，从而为如何应用面向服
务的理论提供了可行性思路。     

基于XML和XSLT的Web报表解决方案的研究与实现

就Web报表生成系统分析了基于XML和XSLT技术的应用现状，提出了一种新的轻量级报表解决方案并予以实现。结合XML技术和XSLT技术的优势，讨论了本解决方案的总体设计以及实现流程。最后给出了在具体应用中遇到的若干技术难点的解决方法。     

数据直接导入Excel生成报表的研究

给出了几种基于SQL Server直接将数据导入Excel生成动态报表的方法，并根据获取数据方式的不同对这些方法进行了分类，如“推’’数据法、“拉”数据法、“传递”数据法等。讨论了简单报表和组合报袁的生成，最后给出了一个B／S结构下能够直接在网页上发布报表的方法。     

基于Chopping的Web应用SQL注入漏洞检测方法

随着Web应用的不断普及,其安全问题越来越显突出,特别是SQL注入漏洞攻击,给用户的安全体验造成了巨大的威胁. 针对二阶SQL注入漏洞,本文提出了一种基于chopping技术的二阶SQL注入漏洞检测方法. 首先通过对待测应用程序进行chopping,获取到一阶SQL注入疑似路径;然后对一阶SQL注入疑似路径中的SQL语句进行分析,确定二阶SQL注入操作对,进而得到二阶SQL注入疑似路径;最后通过构造攻击向量并运行,确认二阶SQL注入疑似路径中漏洞是否实际存在. 实验结果表明,本方法能够有效地检测出二阶SQL注入漏洞.     

离散数学教学联系计算机实践的探索

本文结合作者对计算机专业学生多年离散数学教学经验,介绍了在教学中结合计算机领域背景实际问题改革教学方法和教学内容的经验,并总结了该方法在实际教学中的效果。     

基于搜索引擎的模糊字频统计

针对传统字频统计方法周期长、代价高的弱点,提出了一种利用互联网内容并借助搜索引擎检索进行汉字模糊字频统计的全新方法,有效利用了网络时代的相关技术和发展成果,在一定程度上缓解了字频统计需求频繁的和传统统计方法的低效且代价高昂之间的矛盾,同时对该方法进行了实例化的分析、验证和改进.     

一种适用于专业搜索引擎的中文分词系统研究

在对现有中文分词技术研究的基础上,提出了一种应用于化工专业领域的中文分词系统,先后介绍了首字哈希结合二分查找的词典机制,以及结合路径选择机制而改进了的层进式最短路径切词算法,并经过实验分析,在保证切分效率的同时,在一定程度上达到了消除歧义的效果。     

基于使用场景的时间扩展EFSM建模与完整性验证

为了提高嵌入式实时系统软件的质量和可靠性,采用基于模型的软件测试方法是最有效的途径之一.但是,由于该类软件具有实时特性且十分复杂,一般的模型通常缺乏对其实时特性以及软件行为的描述,且需要丰富的专业领域知识才能将其建立的较为精确完整,导致建模的难度和成本增加,难以保证测试的充分性和有效性.使用场景是用户与软件之间的交互实例,详细描述了软件的系统行为而不关注其内部的复杂结构.因此,为了降低建模的难度,本文基于使用场景的规范化表示Scene来构建模型,并使用时间扩展EFSM模型来描述该类软件的实时特性;为了保证所建模型的完整性,本文设计了模型完整性评估准则,通过验证模型迁移中约束条件的完整性来确定模型是否完整的表征了系统的行为;针对不完整的模型,根据约束条件设计了待补全迁移生成策略生成待补全迁移,并通过动态模拟模型的可行迁移序列执行过程将其补全到模型中,以提高模型的完整性.最后,本文针对4个嵌入式实时系统软件构建时间扩展EFSM模型并进行了一系列的实验.实验表明,本文提出的方法不仅有效的构建了模型,而且能够将生成的待补全迁移有效补全到模型中,进一步提高了模型的完整性.     

ACM在线评测在编译原理实践教学中的应用探讨

本文对ACM在线评测在计算机算法类课程实践教学中的应用现状进行了介绍,分析了在"编译原理"课程实践教学中引入在线评测的可行性,阐述了如何组织适于在线评测模式的"编译原理"实践教学内容,并给出了"编译原理"在线评测系统的设计方案,对"编译原理"实践教学模式进行了有益探索。