石海鹤
- 作品数：38 被引量：87H指数：6
- 供职机构：江西师范大学更多>>
- 发文基金：国家自然科学基金江西省自然科学基金江西省教育厅科学技术研究项目更多>>
- 相关领域：自动化与计算机技术生物学文化科学更多>>
- 一种形式化开发非递归算法的方法被引量：4
- 2007年
- 提出了一种简单、统一的形式化开发非递归算法的方法。该方法直接面向非递归算法,在形式化方法PAR的指导下,使用循环不变式的开发新策略,在得到求解递归问题的循环不变式的同时,能直接得到易读、高效且可靠的非递归算法,并通过一个具体实例进行了阐述。对使用形式化方法及循环不变式开发新策略开发非递归算法的方法作了较深入的实践和探讨。
- 石海鹤石海鹏薛锦云
- 关键词：形式化方法非递归PAR循环不变式
- 算法程序变换研究与进展被引量：4
- 2007年
- 开发算法程序是计算机科学领域中最具挑战性的问题之一。为了提高算法程序的可靠性和生产效率,人们正在追求其开发的自动化。算法程序变换是实现算法程序开发自动化的重要途径,已成为程序设计方法学和软件自动化领域中的重要课题,目前已取得很大进展。本文介绍了算法程序变换的相关概念,给出了算法程序变换的分类,并从方法学、语言、算法设计能力、支撑工具及其适用领域等方面分析和比较了几个有代表性的算法程序变换研究项目,讨论了当前研究的不足以及今后的研究方向。
- 石海鹤石海鹏郑宇军薛锦云
- 关键词：自动化形式化方法
- 一组基于PAR的高可靠查找算法程序开发被引量：2
- 2010年
- 使用形式化方法PAR,从查找问题的形式化规约出发,使用量词的性质等作为规则,分别施行不同的等价规约变换,开发了一组查找算法程序,并借助PAR平台进一步将其转换成可执行程序,这清晰展示了各算法程序间存在的关系,保证了结果程序的正确性和可靠性,使得算法程序的设计效率得到提高.
- 石海鹤薛锦云
- 关键词：可靠性
- 一种抽象泛型机制的新型Java实现被引量：3
- 2016年
- 泛型程序设计可大幅度提高程序的可重用性、可靠性和开发效率,高抽象的泛型机制则有助于降低泛型编程的复杂度.该文介绍了一种抽象泛型机制的核心思想和编程技术,分析了新型Java中与之对应的实现机理,并归纳出相应的转换规则,且在既有平台中实现了抽象泛型程序到新型Java泛型程序的自动转换和运行,最后通过一个Kleen算法实例,展示了抽象泛型机制的实际运用和相应Java程序的自动生成.抽象泛型机制的新型Java实现,在降低可重用算法构件的设计复杂度、提高算法构件可靠性的同时,也为泛型构件的设计和描述提供了行之有效的新途径.
- 田方石海鹤左正康王昌晶薛锦云
- 关键词：JAVA语言可重用性
- 一种基于采样算法优化与无监督聚类的软件缺陷预测方法
- 本发明涉及一种基于采样算法优化与无监督聚类的软件缺陷预测方法，包括1）数据集过采样：根据原始数据集类别比例信息和设定的平衡系数，计算少数类样本需要生成的数据量并生成，得到平衡数据集；2）数据集标准化：对平衡数据集进行标准...
- 石海鹤周世文蓝孙文龙海刘日明
- 基于同源性分析和区域加权的线粒体基因组重排量化方法
- 本发明属于分子生物学和生物信息学技术领域，涉及一种基于同源性分析和区域加权的线粒体基因组重排量化方法。该方法先输入一条基准序列和n条待量化序列；手工多序列比对，将基准序列与n条待量化序列对齐；再对照基准序列，将n条待量化...
- 牛耕耘杨帅石海鹤魏美才
- 多序列比对算法族的形式化设计与生成被引量：2
- 2020年
- 多序列比对问题是生物信息学研究的重要部分,是解决物种进化关系、基因组序列分析等问题的基础。多序列比对算法具有很高的专用性,不同的算法适用于不同的研究环境。目前常用的多序列比对软件是在生物信息学理论指导下利用多个子算法装配形成的,而现有的研究主要针对特定算法的特定步骤进行优化,缺乏领域层次高抽象性的算法框架研究,致使多序列比对算法较为繁杂且冗余过多。根据产生式编程以及软件复用的思想,分析了多序列比对算法族MSAA的特征,设计了相应的泛型算法构件并刻画了构件间的交互关系,进一步借助PAR平台形式化构建了MSAA构件库,提高了装配算法的可靠性和组装灵活性,便于研究人员的维护和优化。
- 张旭初石海鹤
- 关键词：多序列比对算法产生式编程PAR平台
- 基于构件的若干图算法开发和生成
- 2016年
- 软件构件技术可显著提高程序的可靠性和开发效率,极大减少开发成本.泛型程序设计有助于降低编程的复杂度,为重用构件开发提供有效支持.介绍了生成式程序设计思想及泛型程序设计技术,分析了图算法领域的关键特征及领域共性问题,并对广度优先搜索、单源最短路径、所有顶点对最短路径等一类问题进行抽象,设计出相应的泛型图算法构件,进一步借助PAR方法中的泛型机制进行描述,并在PAR平台程序生成系统上进行构件组装生成具体的算法程序.
- 鄢梦恬石海鹤
- 关键词：PAR方法
- 形式化开发Hanoi塔问题非递归算法被引量：5
- 2007年
- 使用形式化方法PAR及循环不变式开发新策略,开发了Hanoi塔问题非递归算法,并对其进行了形式化的正确性证明。直接面向非递归算法,在得到求解Hanoi塔问题的循环不变式的同时,直接得到易读、高效且可靠的非递归算法。对使用形式化方法及循环不变式开发新策略开发非递归算法作了较深入的实践和探讨。
- 石海鹤石海鹏薛锦云
- 关键词：HANOI塔问题非递归PAR方法循环不变式
- 一种基于固定框架的12sRNA二级结构可视化方法
- 本发明公开了一种基于固定框架的12sRNA二级结构可视化方法，依据12sRNA序列的茎环结构标定12sRNA二级结构可视化图框架，根据12sRNA序列的点括号序列，提取发卡环、内环和多环的位置下标分别存入发卡环、内环、多...
- 石海鹤万昆牛耕耘李凤霞李涛罗来源杨帅肖艺
