面向定理证明的计算机并行算法
基本信息
批准号：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
WMTL-代数中的蕴涵滤子及其应用
WMTL-代数中的蕴涵滤子及其应用
DOI：10.11897/SP.J.1016.2018.00886
发表时间：2018
2
基于卷积神经网络的JPEG图像隐写分析参照图像生成方法
基于卷积神经网络的JPEG图像隐写分析参照图像生成方法
DOI：10.7544/issn1000-1239.2019.20190386
发表时间：2019
3
四例Jacob sen综合征胎儿的产前诊断
四例Jacob sen综合征胎儿的产前诊断
DOI：DOI 10.3760/cma.j.issn.1007—9408.2018.03.005
发表时间：2018
4
一类随机泛函微分方程带随机步长的EM逼近的渐近稳定
一类随机泛函微分方程带随机步长的EM逼近的渐近稳定
DOI：10.21656/1000-0887.390057
发表时间：2019
5
A Fast Algorithm for Computing Dominance Classes
A Fast Algorithm for Computing Dominance Classes
DOI：
发表时间：2016
王攻本的其他基金
批准号：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
项目类别：重点项目