湖南省教育厅重点项目(08A064)
- 作品数：4 被引量：33H指数：2
- 相关作者：高守平袁敏黄志球于芳胡山泉更多>>
- 相关机构：湘南学院南京航空航天大学更多>>
- 发文基金：湖南省教育厅重点项目湖南省科技计划项目湖南省自然科学基金更多>>
- 相关领域：自动化与计算机技术文化科学更多>>
- 支持业务事务验证的服务协调模型
- 2011年
- 在Web服务业务流程中如何保证参与者之间的协调一致性是亟待解决的重要问题.Web服务事务规范中描述的参与者之间的交互消息缺乏严格的语义,无法精确地描述复杂的协调活动,本文用Pi-演算形式化描述WS-TX规范中定义业务活动事务的WS-BA协议,在此基础上建立了适用于多方参与的业务事务的服务协调模型;并利用基于等价自动机转换的HAL模型检测工具,验证分析了WS-BA协议的安全性和活性,给出一个多方参与的业务事务实例的验证过程,介绍如何利用模型检测技术来分析业务流程设计正确性的方法,有效地确保了业务事务执行的可靠性和一致性.
- 袁敏黄志球李祥
- 关键词：事务形式化建模
- 省级精品课程计算机网络教学改革与实践被引量：28
- 2011年
- 计算机网络是计算机科学与技术、网络工程等电气信息类专业的一门专业基础课和核心课程,在专业教学体系中占有相当重要的地位。文章论述湘南学院计算机科学系从理论与实践教学的13个方面进行的教学改革尝试。实践证明,这些改革措施是可行有效的!2009年该课程被评为湖南省高等学校精品课程。
- 高守平胡山泉于芳
- 关键词：计算机网络教学改革精品课程
- 一种扩充的π-演算及事务性等价关系研究被引量：3
- 2010年
- 为了保证Web服务事务获得正确的执行和一致的结果,对Web服务事务处理的形式化研究是很重要的.现有研究集中在事务的建模和协议验证上,对事务特性仍缺乏深入研究.已有的事务建模方法主要采用增加额外的操作算子来描述事务补偿语义,而过于复杂的语法和迁移规则不利于对事务特性的进一步分析.在不增加新的操作算子的前提下,引入事务膜的位置概念来表示事务作用域,将进程的交互动作与消息相对事务膜的传递过程相关联,对π-演算进行扩充.结合进程行为的事务依赖性,提出了一种弱事务性开互模拟,来刻画可见事务行为的等价关系,利用互模拟等价理论分析了弱事务性等价关系的基本性质,为研究Web服务的事务特性提供了理论基础.
- 袁敏黄志球曹子宁肖芳雄
- 关键词：WEB服务Π-演算互模拟
- 基于量子遗传算法优化神经网络的入侵检测被引量：2
- 2011年
- 针对入侵检测的效率及准确性问题,提出一种基于量子遗传算法优化神经网络的入侵智能检测模型,该模型基于量子遗传算法的全局搜索和神经网络局部精确搜索特性,将量子遗传算法和BP算法有机结合。利用改进的量子遗传算法优化BP神经网络的权重和阈值,使BP神经网络能快速准确地识别入侵,增强计算机网络安全。运用Matlab软件对该模型进行仿真。实验结果表明,与其他同类方法相比,该方法的检测率更高、误报率更低。
- 张澎高守平王鲁达
- 关键词：入侵检测量子遗传算法智能检测BP神经网络网络安全
