石海鹏
- 作品数：6 被引量：18H指数：4
- 供职机构：江西师范大学软件学院更多>>
- 发文基金：江西师范大学青年成长基金国家自然科学基金国家重大基础研究前期研究专项更多>>
- 相关领域：自动化与计算机技术文化科学更多>>
- Windows网络高级I/O模型教学初探
- 传统的WINDOWS网络I/O模型教学内容都侧重于程序控制逻辑、使用步骤的介绍,教学方式机械,学生不容易理解掌握.本文介绍了从操作系统设备管理概念出发,分析它们之间的相互联系,讲解常用的WINDOWS五种网络I/O模型,...
- 曹中华汪浩石海鹏
- 关键词：计算机网络课程设备管理
- 文献传递
- 形式化开发Hanoi塔问题非递归算法被引量：5
- 2007年
- 使用形式化方法PAR及循环不变式开发新策略,开发了Hanoi塔问题非递归算法,并对其进行了形式化的正确性证明。直接面向非递归算法,在得到求解Hanoi塔问题的循环不变式的同时,直接得到易读、高效且可靠的非递归算法。对使用形式化方法及循环不变式开发新策略开发非递归算法作了较深入的实践和探讨。
- 石海鹤石海鹏薛锦云
- 关键词：HANOI塔问题非递归PAR方法循环不变式
- 形式化方法Designware及其规约精化机理被引量：1
- 2008年
- 介绍了一种新的支持算法设计自动化的形式化方法Designware,详细分析了其理论基础及规约精化机理,阐述了其半自动算法设计支撑系统,并结合一个开发实例展示了Designware的具体使用,给出了Designware的两个实际应用项目,最后对Designware进行了评述。
- 石海鹤石海鹏薛锦云
- 关键词：高可信
- 一种形式化开发非递归算法的方法被引量：4
- 2007年
- 提出了一种简单、统一的形式化开发非递归算法的方法。该方法直接面向非递归算法,在形式化方法PAR的指导下,使用循环不变式的开发新策略,在得到求解递归问题的循环不变式的同时,能直接得到易读、高效且可靠的非递归算法,并通过一个具体实例进行了阐述。对使用形式化方法及循环不变式开发新策略开发非递归算法的方法作了较深入的实践和探讨。
- 石海鹤石海鹏薛锦云
- 关键词：形式化方法非递归PAR循环不变式
- 算法程序变换研究与进展被引量：4
- 2007年
- 开发算法程序是计算机科学领域中最具挑战性的问题之一。为了提高算法程序的可靠性和生产效率,人们正在追求其开发的自动化。算法程序变换是实现算法程序开发自动化的重要途径,已成为程序设计方法学和软件自动化领域中的重要课题,目前已取得很大进展。本文介绍了算法程序变换的相关概念,给出了算法程序变换的分类,并从方法学、语言、算法设计能力、支撑工具及其适用领域等方面分析和比较了几个有代表性的算法程序变换研究项目,讨论了当前研究的不足以及今后的研究方向。
- 石海鹤石海鹏郑宇军薛锦云
- 关键词：自动化形式化方法
- 形式化开发若干组合数学问题的算法被引量：10
- 2006年
- 计算机科学的核心内容是使用算法处理离散数据,组合数学的重要性日渐凸显.使用形式化方法PAR开发了两个组合数学问题的算法,形式化推导过程为问题求解提供了思路,自然地引进了算法程序中用到的变量,清晰地展示了算法程序的设计过程,最终可得到简洁、易理解、可靠性高的算法程序.对形式化方法开发组合算法做了积极的探索,有利于促进组合算法设计自动化的研究及形式化开发方法的推广应用.
- 石海鹤石海鹏薛锦云
- 关键词：形式化推导PAR方法
