一种用于模型验证的Web应用模型抽取方法

以模型验证为目标,提出一种Web应用FSM(finite state machines)模型的抽取方法. 该方法将模型抽取划分为链接提取、模型构造和结果显示. 通过建立标签库和对标签的定位,并结合正则表达式的方法,对Web应用进行逆向分析,从源代码开始进行链接及相关信息的提取、规整和存储. 对Web应用中的页面、链接等建模元素进行分析,应用映射与聚合等抽象技术对获得的信息进行重构,得到适用于验证的Web 应用的FSM模型.     

基于蚁群算法的Web站点导航

提出了一种Web站点的导航方法.首先利用蚁群算法对已经存在的Web日志进行训练,构造一个有向图,该有向图的节点和边保存了网页与网页间的链接概率和用户行为规则.利用训练结果,预测访问网站的用户行为,根据其行为推荐网页,最后的测试结果表明该方法比单纯的概率分析和关联规则具有更高的精度.     

Web导航行为范畴模型一致性与安全性研究

范畴理论为各数学学科提供了一种公共的语言、工具、思维方法和研究手段,其中作为形式结构的素描是一种基于图的规范,是形式建模和验证的有效方法.文章给出了Web导航行为的线性素描,构建一个基于范畴理论的形式模型,这一模型符合由素描所描述的要求和规范,提出了通过建立自由范畴来检验模型一致性的方法,讨论了导航模型的安全性,并给出了一些相应的安全性规则和检查方法.     

Web应用安全的分析及检测

Web应用软件受到的攻击数量和攻击种类日益增多,安全问题亟待解决。本文分析了Web应用安全问题产生的原因、问题的类型,介绍了常用的安全问题检测工具。     

Web环境下的MatLab远程仿真

在描述MatLab Web应用的基础上,提出一种基于MatLab和Web技术的远程仿真方法.以二阶系统的单位阶跃响应为例,详细说明了MatLab远程在线仿真技术的实现过程,并给出了相应的图形结果.     

MVC设计模式在Web开发中的研究与应用

从MVC设计模式的相关概念出发,在分析MVC设计模式的优缺点基础上,给出了在Web应用程序开发中应用MVC模式的改进方式.     

UpdatePanel与ScriptService实现异步Web应用的比较分析

在ASP．NETAJAX框架中实现异步Web应用可使用2种方法．即使用ScriptService和UpdatePanel控件的方法．分别从性能和安全性方面．对这2种方法进行了比较与分析．ScriptSer-vice调用的是服务,不会引起页面生命周期的变化,所以它比UpdatePanel更具有性能优势．但UpdatePanel却具有最小的复杂度、最小的透明度及最小的攻击面。因此它比ScriptService具有较高的安全性．     

Web信息系统质量的模糊评价模型

对目前使用的几种评价Web信息系统质量方法的不足之处进行了分析，根据软件质量特点，利用模糊理论建立了一种高效合理的Web信息系统质量评价模型；通过建立的评价知识库，改善了原来评价方法中的不精确性和复杂性，并在实际应用中取得了良好的运行效果。     

基于Web的网络管理模型及实现技术研究

由于计算机网络覆盖面的增广,网络结构日趋复杂,这也使得网络管理工作变得更为繁杂,网络管理工作的重要性也更为突出。面对网络发展对网络管理提出的新需求,传统的网络管理模型面临着诸多难以克服的问题,Web技术与网络技术的兴起也为其提供了新的解决方案。笔者以网络管理现状为切入点,对基于Web技术的管理模型及实现技术进行了多方面的分析,详情如下文所示。     

基于遗传算法和覆盖率驱动的功能验证向量自动生成算法

提出了一种基于遗传算法和覆盖率驱动的RTL(register transfer level)代码功能验证向量自动生成算法.其特点是自动反馈覆盖率信息,构成一个闭环系统;用遗传算法动态分析覆盖率信息,自动生成针对性更强的验证向量.在SoC(syetem on chip)的模块验证中采用了该方法来自动生成验证向量;与受限随机生成方法相比,能快速达到覆盖率目标,缩短验证周期.     

Web Services技术在图书信息查询系统中的应用

Web Services是基于XML和网络的一种新的中间件框架，在研究Web Services技术的基础上，给出了该技术的具体应用实例。     

Struts实现MVC机制的Web应用

Struts是使用servlet和JavaServer Pages技术的一种Model-View-Controller实现.Struts为Java Web应用提供了现成的通用框架,可以大大提高Web应用的开发速度.同时通过一个例子来介绍用Struts实现MVC机制的Web应用.     

计量器具检定周期灰色动态模型及应用研究

企业的计量器具是保证产品质量的有力工具,由于工况的复杂性、多样性、随机性,其检定周期的确定应是动态的.根据计量器具检测数据的统计特点,采用了加权处理的办法,建立了基于时间序列和基于频次序列的动态灰色模型DGM (1,1).通过具体案例对比(例如游标卡尺)发现:该模型具有较高的拟合精度及预测精度;不同工况下周期和寿命有明显差异;频次序列模型的预测结果优于时间序列模型条件下的预测结果.结合动态模型与汽车制造业实例,建立了基于信息集成的、多传感器监控与管理监控相结合的检定周期与使用寿命周期监控流程和信息子系统,应用于企业生产.     

基于Web Log的数据预处理研究

Web日志文件是进行Web挖掘的重要数据来源，对Web日志的数据预处理是Web挖掘过程中关键的一步，首先介绍了Web日志挖掘的体系结构，然后详细地分析了Web日志文件，并对基于Web日志文件的数据预处理进行了较深入的研究，提出了包括数据净化、数据抽取、数据转换和数据集成等过程的具有实际应用价值的数据预处理的实现方法。     

利用XML技术管理网页的页面导航

本文介绍了如何通过XML技术实现网页的页面导航，以使网页更易于修改和维护．