许卫平
- 作品数：5 被引量：8H指数：2
- 供职机构：武汉大学计算机学院软件工程国家重点实验室更多>>
- 发文基金：软件工程国家重点实验室开放基金国家自然科学基金更多>>
- 相关领域：自动化与计算机技术文化科学政治法律更多>>
- 基于稳定模型的软件多样性与安全初探被引量：2
- 2004年
- 该文简要阐述了软件多样性与安全性的关系后,基于STABLEMODEL是逻辑程序的语义模型的观点,从软件与逻辑程序设计的关联出发,提出了用逻辑程序设计实现软件多样性的方法。论文首先介绍了逻辑程序中稳定模型的形成、定义、演算方法,通过逻辑程序与稳定模型之间存在的多对一的映射关系,产生软件的多样性。最后,通过具体的分析,提出了基于稳定模型的程序多样性演化方法,这一方法实现了从一个源程序到一系列等价程序的多样性演化,从而提高了系统的鲁棒性和安全性。
- 揭玮梁意文苏国强许卫平
- 关键词：多样性信息安全逻辑程序设计
- 基于Petri网超媒体模型研究被引量：3
- 2000年
- 在分析当前超媒体形式化模型特点的基础上 ,本文提出一个全新的模型 - CPNH.它基于有色 Petri网 ,具有刻画分布超媒体主要性质的能力 .与其他模型相比该模型能够有效解决并发浏览、存取控制和版本问题 .而且有力刻画了分布环境下多媒体的动态特性 .文中着重给出了
- 张苓陈莘萌许卫平姜东胜
- 关键词：超媒体PETRI网多媒体
- 超媒体计算机教学系统的设计被引量：1
- 2001年
- 本文首先分析当前超媒体教学系统的不足,并在此基础上给出超媒体计算机辅助教学系统HICAI的设计思想、体系结构及各组成模块的功能。
- 张苓许卫平王素彬
- 关键词：超媒体计算机辅助教学
- 基于Petri网超媒体模型的分析与比较
- 2002年
- 超媒体建模研究是当前一个重要研究方向。基于Petri网理论的模型是对有向图模型的改进,与其他模型比较,能够更好地刻画超媒体系统。原因如下:Petri网是一个二部有向图,适合于说明超媒体的链接机制;Petri网是一种天然的具有并行执行语义的自动机,模型可以自然地表达超媒体系统中的动态执行语义;Petri网能够说明各种顺序、并发和同步活动,满足描述多媒体表现的需要;利用Petri网的图形特性和严格的数学基础,人们可以检查和分析超媒体中的潜在问题。该文着重对四个典型的基于Petri网的超媒体模型:MHPN、HCPN、MORENA和HTSPN模型进行分析和比较。
- 张苓许卫平许先斌陈莘萌
- 关键词：PETRI网超媒体模型多媒体
