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