基于Petri Net的BPEL流程建模与分析验证

设计了一个基于Petri Net的Web服务组合流程建模引擎.把BPEL流程的语法元素按其语义转换为Petri Net模板,通过模板组合来得到整个流程的Petri Net模型,并以Petri Net标记语言(Petri Net Mark-up Language,PNML)文件格式来描述Petri Net模型,从而能够利用现有的支持PNML文件的Petri Net分析工具对流程进行分析,通过对Petri Net的性质验证来达到对服务流程的验证目的,以在流程定义阶段发现其存在的问题.实际结果表明,采用该工具可以确保服务组合流程设计的正确性,增加服务组合的可靠性.     

Web应用安全风险防护分析与防护研究

分析了当前Web应用所面临的安全性问题以及重要性,同时分析了Web应用安全特性,给出了十大安全风险的描述并针对每一个安全风险给出了切实有效的防范措施与解决方案,包括注入式攻击、跨站点脚本攻击、错误的认证和会话管理、不安全的直接对象引用、跨站点伪造请求、不安全的配置管理、不安全的密码存储器、无法限制URL访问、薄弱的传输层保护、未验证的网址重定向.针对当前的各种Web应用安全的问题,给出了常见的安全技术及其描述.     

基于Ajax的教学资源素材库数据交换模式研究

＂教学资源素材库＂是教学信息化的基础支撑库,为全校教师备课时提供丰富的参考资源。建设一个学科门类齐全、内容丰富的资源库,可有效提高教师备课效率和电子教案的质量。在研究当前先进的Web2.0网络设计技术的基础上,结合多年多媒体课件制作经验,优化现有资源素材库的数据交换机制,提高了服务系统的响应,改进了用户的浏览体验。     

构建高校数字资源联盟搭建全民学习平台

从构建全民学习入手,与传统的数字图书馆联盟进行对比,提出新型高效数字资源联盟的概念、联盟的构成及内容,并结合陕西省、陕西省高校教育文化资源共享的现状,阐述了陕西高校数字资源联盟建设的作用和意义。     

磁盘存储测试技术研究

研究了测试海量存储系统中磁盘阵列IOPS、数据传输率两项性能指标的技术与方法,提出了针对高性能磁盘阵列的并行测试技术,并使用此方法实现了对最新研制的高性能磁盘阵列的评测。通过研究影响单个磁盘性能指标的各项因素,并借助实验对其进行量化分析,最终实现了对整个磁盘阵列的性能评测。研究了影响磁盘阵列整体性能的关键瓶颈点,并给出了各项测试结果的合理性证明。     

Linux平台下校园网DHCP服务器的设计与实现

为方便学生快速地接入和退出网络、简化客户机TCP/IP参数配置以及提高IP地址资源的利用率,采用一种自动机制来进行IP地址分配的方法。通过对DHCP工作原理的分析,设计并搭建DHCP服务器系统,实现IP地址的自动分配及合理利用,使DHCP服务在校园网中得到具体有效的应用。