-
阳雪平
-
-
- 所属机构:广州工商学院
- 所在地区:广东省 广州市
- 研究方向:自动化与计算机技术
- 发文基金:江苏省自然科学基金
相关作者
- 邹盛荣
- 作品数：26被引量：69H指数：4
- 供职机构：扬州大学信息工程学院
- 研究主题：B方法 形式化方法 UML 流感病毒 免疫系统
- 程宪宝
- 作品数：14被引量：8H指数：2
- 供职机构：广州工商学院
- 研究主题：中毒 FTP服务器 批处理 FTP WINDOWS
- 陈宇
- 作品数：3被引量：3H指数：1
- 供职机构：扬州大学信息工程学院
- 研究主题：B方法 形式化方法 B语言 UML状态图 形式化
- 孟静
- 作品数：1被引量：3H指数：1
- 供职机构：扬州大学信息工程学院
- 研究主题：B语言 B方法 UML状态图 形式化方法 形式化
- 孙建国
- 作品数：1被引量：3H指数：1
- 供职机构：扬州大学信息工程学院
- 研究主题：B语言 B方法 UML状态图 形式化方法 形式化
- UML状态图到形式化B语言转换的实例研究被引量：3
- 2007年
- 使用UML中的状态图可以帮助描绘生物领域中碰到的很多问题,而形式化B方法能为生物系统建模并提供严格的证明,UML和B的结合可产生一种形式化的UML,并精确地用B方法建模。对免疫因子网络中T细胞免疫状态的UML状态图进行了两种方法的形式化,并进行了比较。
- 邹盛荣孟静阳雪平腾腾陈宇孙建国
- 关键词：状态图形式化方法B方法
- 免疫因子网络的Immune-B模型设计被引量：4
- 2006年
- 用B方法建立了T细胞因子网络的形式化模型,基于这个模型,能够使用VC程序工具验证从动物科学与医学院得来的实验数据是否正确,然后比较了该模型的动态行为与实验结果是否相符.研究表明,生物学问题的复杂性使得不可能单纯依靠实验仪器来完全了解生物学规律,而Immune-B模型的使用,可以帮助解决免疫学和其他生物学领域的一些难题.
- 邹盛荣阳雪平郭峰王凯王金津顾小石
- 关键词：B方法VC++
- 形式化B方法数学基础的实例研究
- 2008年
- 对免疫系统中的体液免疫用数学方程来表示抗体产生的规律,再用形式化B方法的抽象机来描述这一方程,所得结论与生物学体液免疫的一般规律相符.
- 陈宇邹盛荣阳雪平
- 关键词：形式化方法B方法体液免疫
- 网站的安全
- 2009年
- 本文讨论了计算机网络中网站的安全问题。通过对IIS安装和配置以及网站设计中要注意的相关信息的改进,诸如数据库和ASP源代码中的细节问题等,来提高网站的安全性。
- 阳雪平程宪宝
- 关键词：IIS数据库ASP代码
- 系统安全之我见
- 2009年
- 本文讨论了在当前网络的大环境下如何提高系统安全,保护自己的资料。打上系统安全补丁,安装杀毒软件和防火墙以及关掉不必要的端口都是积极的措施!但最关键的因素还是看我们上网者的安全意识,只有安全意识提高了才能真正保证计算机网络的安全。
- 阳雪平程宪宝
- 关键词：补丁防火墙端口
- 基于B方法验证技术的应用研究被引量：2
- 2007年
- 形式化B方法建立在严格的数学基础上,通过严格的验证技术证明其正确性,尤其对大型复杂系统的描述是非常有用和正确的。用形式化B方法描述了免疫系统的两个因子网络模型,然后通过严格和精确的验证技术:类型检查和证明义务的给出,证明了抽象机的正确性。
- 邹盛荣滕腾阳雪平唐宇吴铭周彬
- 关键词：B方法形式化方法免疫系统
