面向定理证明的计算机并行算法
基本信息
批准号：69373007
项目类别：面上项目
资助金额：6.00
负责人：王攻本
学科分类：
依托单位：北京联合大学
批准年份：1993
结题年份：1996
起止时间：1994-01-01 - 1996-12-31
项目状态： 已结题
项目参与者：闫淑达,王清贤,孙建华,王军
关键词：
计算机辅助定理证明并行算法RAMSEY数
结项摘要
在已构建的皖南尖吻昨蝮蛇毒腺cDNA文库的基础上筛选出N-Ⅲ型出血毒完整cDAN基因，完成了其序列分析。2.用RT-PCR方法克隆得到P-I型出血毒素cDNA，完成了序列分析。3.用RT-PCR方法克隆得到N-Ⅱ型出血毒素cDNA，完成了序列分析。4.完成了含N-Ⅲ型出血毒素类去整合蛋白/富含半胱氨酸结构域在原核表达载体pGEX-2T中的表达。5.完成了含N-Ⅱ型去整合蛋白结构域的原核表达载体pGEX-2T的构建。6.构建了含N-Ⅱ型出血毒全基因的真核细胞表达载体pTARGET。一篇论文已投稿，另两篇论文正在整理撰写之中。
项目摘要
项目成果
{{index+1}}
{{i.achievement_title}}
{{i.achievement_title}}
DOI：{{i.doi}}
发表时间：{{i.publish_year}}
暂无此项成果
数据更新时间：2023-05-31
其他相关文献
1
基于分形维数和支持向量机的串联电弧故障诊断方法
基于分形维数和支持向量机的串联电弧故障诊断方法
DOI：
发表时间：2016
2
惯性约束聚变内爆中基于多块结构网格的高效辐射扩散并行算法
惯性约束聚变内爆中基于多块结构网格的高效辐射扩散并行算法
DOI：10.19596/j.cnki.1001-246x.8419
发表时间：2022
3
异质环境中西尼罗河病毒稳态问题解的存在唯一性
异质环境中西尼罗河病毒稳态问题解的存在唯一性
DOI：10.16119/j.cnki.issn1671-6876.2017.04.001
发表时间：2017
4
离体穗培养条件下C、N供给对小麦穗粒数、粒重及蛋白质含量的影响
离体穗培养条件下C、N供给对小麦穗粒数、粒重及蛋白质含量的影响
DOI：10.7606/j.issn.1009-1041.2021.03.09
发表时间：2021
5
分数阶微分方程奇异系统边值问题正解的存在性
分数阶微分方程奇异系统边值问题正解的存在性
DOI：10.13718/j.cnki.xdzk.2019.04.015
发表时间：2019
王攻本的其他基金
批准号：68673037
批准年份：1986
资助金额：4.00
项目类别：面上项目
批准号：69071919
批准年份：1990
资助金额：5.00
项目类别：面上项目
批准号：68873002
批准年份：1988
资助金额：3.00
项目类别：面上项目
相似国自然基金
1
数学定理计算机辅助证明
批准号：68873002
批准年份：1988
负责人：王攻本
学科分类：F0201
资助金额：3.00
项目类别：面上项目
2
定理机器证明
批准号：68973033
批准年份：1989
负责人：刘叙华
学科分类：F0214
资助金额：3.50
项目类别：面上项目
3
高阶逻辑定理证明技术
批准号：69673007
批准年份：1996
负责人：陆汝占
学科分类：F0201
资助金额：6.00
项目类别：面上项目
4
面向程序验证的自动定理证明理论、方法与工具研究
批准号：61732001
批准年份：2017
负责人：夏壁灿
学科分类：F0201
资助金额：270.00
项目类别：重点项目