用AOP技术实现Web系统中的日志管理

面向方面编程是一种新型的软件设计模式,它在很大程度上使得系统以模块化方面作为目标而进行设计和开发。在Web系统中,通过面向方面编程技术应用日志的管理,能实现对关注点的分离和非核心模块集中化。介绍一种AOP技术在Web系统中对日志管理的实现方式,并通过在项目开发中的实例应用证明它的可行性。     

基于具体事务的补偿支持服务替换QoS模型

针对传统替换模型中缺乏事务支持而不可用的情况,提出了一种补偿支持的服务替换QoS模型.该模型充分考虑了服务间多关系以及事务Web服务特性,将事务补偿代价与替换选取代价有机结合,建立了全面评价补偿支持的替换服务QoS目标函数,在此基础上,提出了全新QoS驱动的补偿支持服务替换算法.实验证明该模型不仅保证了替换过程中事务原子性和数据一致性,而且提高了系统的可靠性和可信性.     

Web日志挖掘中数据预处理的研究

Web日志挖掘是Web使用挖掘一个最重要研究领域,数据预处理是Web日志挖掘中的关键技术之一。论述了数据预处理各主要步骤的方法和技术,重点研究了用户识别和会话识别。     

基于压缩事务矩阵相乘的Apriori改进算法

Apriori算法是当前使用最广泛的关联规则挖掘方法中最为经典的算法之一;但是该算法需要反复的扫描数据库,在L/O上花消很大,并且在得到频繁一2项集的过程中会产生庞大的候选一2项集,其次在筛选得到频繁一k项集时,并没排除那些不应该参组合的元素,而导致该算法效率很低,针对上面影响计算效率的三个方面提出基于压缩事务矩阵相乘得到频繁项目集的算法,只需一次扫描数据库,经过压缩处理产生产生事务矩阵,通过矩阵间运算得到频繁项目集,有效提高了关联规则的挖掘效率。     

基于改进遗传算法的Web关联规则日志挖掘的研究

本文提出了一种改进的遗传算法,用于优化Web日志挖掘的关联规则集。介绍了该算法的具体流程,提出新的染色体编码方案,新的编码配合本文的交叉操作使遗传过程更加优化,本文还对遗传的各步操作进行了改进,有效的避免遗传算法的早熟现象。     

SoC自动化验证方法的研究与实现

为解决SoC(System-on-Chip)验证覆盖率和工作量问题,基于可重用思想、采用事务验证模型、随机激励生成的方法,建立了一个层次化的具有自主知识产权的自动化功能验证系统（LSAVS：LiShan Automatic Verification System）。采用该验证系统后,SoC验证工程师开发测试向量的工作量由使用传统验证方法的60％降低到10%,同时保证了功能验证100%的覆盖率,达到快速高覆盖率的验证目的。     

基于漂移检测的流程变体差异分析方法

传统的流程挖掘技术通常假设过程模型在服务期间不会随时间改变,但是实际过程模型在执行中总是动态调整的。检测漂移发生的时间点并确定漂移过程中所涉及的行为变化,可以帮助业务分析人员更好地理解流程行为。目前大多数方法侧重于漂移检测和变体差异分析这两个独立的任务,但漂移检测仅能单纯定位发生变化的关键点,不能对漂移点前后流程行为的变化进行描述,因而无法有效地对流程进行配置和维护。因此,提出一种集漂移检测和流程变体差异分析于一体的综合方法,既能检测漂移又能对漂移后流程行为的差异进行具体分析。应用不同类型的控制流变化得到的事件日志来评估该方法,验证了所提方法的有效性。     

广播环境中伪可串行化实时并发控制协议

为在广播环境中同时有效支持移动更新事务和移动只读事务,提出一种可在移动客户端同时支持更新事务和只读事务的伪可串行化实时并发控制协议。形式化定义了伪可串行化,证明了伪可串行化比冲突可串行化宽松且能始终保证数据库的一致性,给出了保证伪可串行化的充分必要条件。基于时标段排序原理,提出了相应的实时并发控制协议。通过性能评价实验验证了新协议的性能。实验结果表明,新协议可显著改进移动事务的平均响应时间。     

基于组件技术的嵌套事务模型

在传统的嵌套事务模型基础上,根据CAD系统事务的并发性和数据的一致性,提出一种基于组件的嵌套事务模型,并给出组件的功能实现。同时,分析了该模型对CAD系统事务的影响,并给出了模型的应用实例。     

分布式实时事务一阶段实时提交

给出了分布式实时事务一致性实时提交协议的形式化定义和一致性实时提交协议的正确性准则;在此基础上,提出了适合于分布式实时事务的一致性实时提交协议———一阶段实时提交协议(1PRCP),1PRCP通过参与者与协调者的一次消息交换,在一个阶段完成分布式实时事务的提交活动.结合超时恢复协议,1PRCP能避免由于站点故障或网络通信链路故障而导致的阻塞.研究结果证明了1PRCP的正确性和优越性.