反例生成技术与形式化方法

基本信息
批准号:69703014
项目类别:青年科学基金项目
资助金额:12.00
负责人:张健
学科分类:
依托单位:中国科学院软件研究所
批准年份:1997
结题年份:2000
起止时间:1998-01-01 - 2000-12-31
项目状态: 已结题
项目参与者:丁一强,郭亮,沈伟
关键词:
形式化方法反例与模型自动推理
结项摘要

为弄清抗体分泌细胞在生殖道内的游走和归巢及其影响因子,我们选择(3)H-胸腺嘧啶标记的分泌抗LDH-C4和lgG2b抗体的SG2和plgA抗体的PA4单克隆杂交瘤细胞,尾静脉注射给Balb/c小鼠,36小时后取相关器官,测定它们的相对分布指数(RDl)。在十二指肠、脾和淋巴结的RD1较高。雌性生殖器官显著高于雄性生殖器官。两种细胞的RD1之间在所有器官无显著差异。睾酮、雌二醇醇和孕酮可以显著升高或降低某些生殖器官及附性腺内的RD1。用流式细胞仪分析,正常的及激素处理的细胞表面均未发现整合素β7和α4 β7分子。这些研究表明,抗体分泌细胞通过血液循环分布到雌性生殖道的水平显著高于雄性,雌雄激素参与这些细胞游走和归巢的调控。

项目摘要

项目成果
{{index+1}}

{{i.achievement_title}}

{{i.achievement_title}}

DOI:{{i.doi}}
发表时间:{{i.publish_year}}

暂无此项成果

数据更新时间:2023-05-31

其他相关文献

1

粗颗粒土的静止土压力系数非线性分析与计算方法

粗颗粒土的静止土压力系数非线性分析与计算方法

DOI:10.16285/j.rsm.2019.1280
发表时间:2019
2

硬件木马:关键问题研究进展及新动向

硬件木马:关键问题研究进展及新动向

DOI:
发表时间:2018
3

中国参与全球价值链的环境效应分析

中国参与全球价值链的环境效应分析

DOI:10.12062/cpre.20181019
发表时间:2019
4

基于公众情感倾向的主题公园评价研究——以哈尔滨市伏尔加庄园为例

基于公众情感倾向的主题公园评价研究——以哈尔滨市伏尔加庄园为例

DOI:
发表时间:2022
5

栓接U肋钢箱梁考虑对接偏差的疲劳性能及改进方法研究

栓接U肋钢箱梁考虑对接偏差的疲劳性能及改进方法研究

DOI:10.3969/j.issn.1002-0268.2020.03.007
发表时间:2020

张健的其他基金

批准号:51371185
批准年份:2013
资助金额:85.00
项目类别:面上项目
批准号:59806006
批准年份:1998
资助金额:12.00
项目类别:青年科学基金项目
批准号:31401366
批准年份:2014
资助金额:24.00
项目类别:青年科学基金项目
批准号:30700416
批准年份:2007
资助金额:15.00
项目类别:青年科学基金项目
批准号:51308115
批准年份:2013
资助金额:25.00
项目类别:青年科学基金项目
批准号:60673044
批准年份:2006
资助金额:24.00
项目类别:面上项目
批准号:51379064
批准年份:2013
资助金额:80.00
项目类别:面上项目
批准号:31001138
批准年份:2010
资助金额:19.00
项目类别:青年科学基金项目
批准号:51178001
批准年份:2011
资助金额:62.00
项目类别:面上项目
批准号:11402197
批准年份:2014
资助金额:28.00
项目类别:青年科学基金项目
批准号:31200456
批准年份:2012
资助金额:23.00
项目类别:青年科学基金项目
批准号:81671482
批准年份:2016
资助金额:57.00
项目类别:面上项目
批准号:91418206
批准年份:2014
资助金额:180.00
项目类别:重大研究计划
批准号:51579121
批准年份:2015
资助金额:63.00
项目类别:面上项目
批准号:11604046
批准年份:2016
资助金额:23.00
项目类别:青年科学基金项目
批准号:91860201
批准年份:2018
资助金额:300.00
项目类别:重大研究计划
批准号:40474031
批准年份:2004
资助金额:30.00
项目类别:面上项目
批准号:50576044
批准年份:2005
资助金额:25.00
项目类别:面上项目
批准号:81772226
批准年份:2017
资助金额:53.00
项目类别:面上项目
批准号:61803114
批准年份:2018
资助金额:24.00
项目类别:青年科学基金项目
批准号:81871859
批准年份:2018
资助金额:57.00
项目类别:面上项目
批准号:71171021
批准年份:2011
资助金额:42.00
项目类别:面上项目
批准号:31101275
批准年份:2011
资助金额:25.00
项目类别:青年科学基金项目
批准号:51079050
批准年份:2010
资助金额:30.00
项目类别:面上项目
批准号:81900337
批准年份:2019
资助金额:20.00
项目类别:青年科学基金项目
批准号:51804101
批准年份:2018
资助金额:26.00
项目类别:青年科学基金项目
批准号:81571121
批准年份:2015
资助金额:57.00
项目类别:面上项目
批准号:60672002
批准年份:2006
资助金额:26.00
项目类别:面上项目
批准号:81873472
批准年份:2018
资助金额:57.00
项目类别:面上项目
批准号:51076082
批准年份:2010
资助金额:40.00
项目类别:面上项目
批准号:41601185
批准年份:2016
资助金额:20.00
项目类别:青年科学基金项目
批准号:30901245
批准年份:2009
资助金额:21.00
项目类别:青年科学基金项目
批准号:51505269
批准年份:2015
资助金额:20.00
项目类别:青年科学基金项目
批准号:90608006
批准年份:2006
资助金额:50.00
项目类别:重大研究计划
批准号:61905016
批准年份:2019
资助金额:24.00
项目类别:青年科学基金项目
批准号:81473137
批准年份:2014
资助金额:65.00
项目类别:面上项目
批准号:31471725
批准年份:2014
资助金额:88.00
项目类别:面上项目
批准号:41574074
批准年份:2015
资助金额:70.00
项目类别:面上项目
批准号:30270723
批准年份:2002
资助金额:20.00
项目类别:面上项目
批准号:91222105
批准年份:2012
资助金额:70.00
项目类别:重大研究计划
批准号:11601145
批准年份:2016
资助金额:19.00
项目类别:青年科学基金项目
批准号:19401037
批准年份:1994
资助金额:2.40
项目类别:青年科学基金项目
批准号:51879087
批准年份:2018
资助金额:60.00
项目类别:面上项目
批准号:81302127
批准年份:2013
资助金额:23.00
项目类别:青年科学基金项目
批准号:61902009
批准年份:2019
资助金额:26.00
项目类别:青年科学基金项目
批准号:11572330
批准年份:2015
资助金额:66.00
项目类别:面上项目
批准号:51709145
批准年份:2017
资助金额:25.00
项目类别:青年科学基金项目
批准号:11071177
批准年份:2010
资助金额:30.00
项目类别:面上项目
批准号:11371267
批准年份:2013
资助金额:70.00
项目类别:面上项目
批准号:61004048
批准年份:2010
资助金额:20.00
项目类别:青年科学基金项目
批准号:30470945
批准年份:2004
资助金额:25.00
项目类别:面上项目
批准号:81872044
批准年份:2018
资助金额:57.00
项目类别:面上项目
批准号:51401036
批准年份:2014
资助金额:25.00
项目类别:青年科学基金项目
批准号:51376190
批准年份:2013
资助金额:70.00
项目类别:面上项目
批准号:31600674
批准年份:2016
资助金额:20.00
项目类别:青年科学基金项目
批准号:30872014
批准年份:2008
资助金额:38.00
项目类别:面上项目
批准号:71802160
批准年份:2018
资助金额:17.00
项目类别:青年科学基金项目
批准号:51171193
批准年份:2011
资助金额:55.00
项目类别:面上项目
批准号:41402267
批准年份:2014
资助金额:25.00
项目类别:青年科学基金项目
批准号:91753117
批准年份:2017
资助金额:70.00
项目类别:重大研究计划
批准号:81900683
批准年份:2019
资助金额:19.00
项目类别:青年科学基金项目
批准号:61403348
批准年份:2014
资助金额:25.00
项目类别:青年科学基金项目
批准号:81672267
批准年份:2016
资助金额:57.00
项目类别:面上项目
批准号:51171203
批准年份:2011
资助金额:60.00
项目类别:面上项目
批准号:40174027
批准年份:2001
资助金额:24.00
项目类别:面上项目
批准号:81200901
批准年份:2012
资助金额:23.00
项目类别:青年科学基金项目
批准号:51605338
批准年份:2016
资助金额:20.00
项目类别:青年科学基金项目
批准号:21002062
批准年份:2010
资助金额:19.00
项目类别:青年科学基金项目
批准号:31670439
批准年份:2016
资助金额:62.00
项目类别:面上项目
批准号:39700143
批准年份:1997
资助金额:8.00
项目类别:青年科学基金项目
批准号:81601175
批准年份:2016
资助金额:17.00
项目类别:青年科学基金项目
批准号:51874347
批准年份:2018
资助金额:61.00
项目类别:面上项目
批准号:51602161
批准年份:2016
资助金额:20.00
项目类别:青年科学基金项目
批准号:50906096
批准年份:2009
资助金额:20.00
项目类别:青年科学基金项目
批准号:30471706
批准年份:2004
资助金额:21.00
项目类别:面上项目
批准号:81770523
批准年份:2017
资助金额:51.00
项目类别:面上项目
批准号:61070039
批准年份:2010
资助金额:36.00
项目类别:面上项目
批准号:31502197
批准年份:2015
资助金额:20.00
项目类别:青年科学基金项目
批准号:60878048
批准年份:2008
资助金额:12.00
项目类别:面上项目
批准号:51805108
批准年份:2018
资助金额:24.00
项目类别:青年科学基金项目
批准号:81371844
批准年份:2013
资助金额:70.00
项目类别:面上项目
批准号:81202882
批准年份:2012
资助金额:24.00
项目类别:青年科学基金项目
批准号:30070415
批准年份:2000
资助金额:20.00
项目类别:面上项目
批准号:21073191
批准年份:2010
资助金额:36.00
项目类别:面上项目
批准号:11871138
批准年份:2018
资助金额:53.00
项目类别:面上项目
批准号:31071150
批准年份:2010
资助金额:35.00
项目类别:面上项目
批准号:41174085
批准年份:2011
资助金额:64.00
项目类别:面上项目
批准号:50176026
批准年份:2001
资助金额:19.00
项目类别:面上项目
批准号:30170400
批准年份:2001
资助金额:17.00
项目类别:面上项目
批准号:51502157
批准年份:2015
资助金额:21.00
项目类别:青年科学基金项目
批准号:51631008
批准年份:2016
资助金额:320.00
项目类别:重点项目
批准号:61076070
批准年份:2010
资助金额:30.00
项目类别:面上项目
批准号:61302053
批准年份:2013
资助金额:28.00
项目类别:青年科学基金项目
批准号:31370628
批准年份:2013
资助金额:85.00
项目类别:面上项目
批准号:11872190
批准年份:2018
资助金额:63.00
项目类别:面上项目
批准号:81300795
批准年份:2013
资助金额:23.00
项目类别:青年科学基金项目
批准号:51608449
批准年份:2016
资助金额:20.00
项目类别:青年科学基金项目
批准号:10626037
批准年份:2006
资助金额:3.00
项目类别:数学天元基金项目
批准号:31660150
批准年份:2016
资助金额:39.00
项目类别:地区科学基金项目
批准号:31871229
批准年份:2018
资助金额:59.00
项目类别:面上项目
批准号:40074022
批准年份:2000
资助金额:19.00
项目类别:面上项目
批准号:30700818
批准年份:2007
资助金额:17.00
项目类别:青年科学基金项目
批准号:30871384
批准年份:2008
资助金额:36.00
项目类别:面上项目
批准号:51874049
批准年份:2018
资助金额:61.00
项目类别:面上项目
批准号:81172292
批准年份:2011
资助金额:57.00
项目类别:面上项目
批准号:81400239
批准年份:2014
资助金额:23.00
项目类别:青年科学基金项目
批准号:11426023
批准年份:2014
资助金额:15.00
项目类别:数学天元基金项目
批准号:81372390
批准年份:2013
资助金额:75.00
项目类别:面上项目
批准号:31571437
批准年份:2015
资助金额:65.00
项目类别:面上项目
批准号:81801920
批准年份:2018
资助金额:20.00
项目类别:青年科学基金项目
批准号:61572047
批准年份:2015
资助金额:16.00
项目类别:面上项目
批准号:21773242
批准年份:2017
资助金额:65.00
项目类别:面上项目
批准号:41772214
批准年份:2017
资助金额:80.00
项目类别:面上项目
批准号:51578010
批准年份:2015
资助金额:62.00
项目类别:面上项目
批准号:51407158
批准年份:2014
资助金额:24.00
项目类别:青年科学基金项目
批准号:69772042
批准年份:1997
资助金额:7.00
项目类别:面上项目
批准号:81071490
批准年份:2010
资助金额:32.00
项目类别:面上项目
批准号:51509235
批准年份:2015
资助金额:24.00
项目类别:青年科学基金项目
批准号:81700842
批准年份:2017
资助金额:20.00
项目类别:青年科学基金项目
批准号:51376106
批准年份:2013
资助金额:80.00
项目类别:面上项目
批准号:51702044
批准年份:2017
资助金额:23.00
项目类别:青年科学基金项目
批准号:10771151
批准年份:2007
资助金额:21.00
项目类别:面上项目
批准号:81130046
批准年份:2011
资助金额:240.00
项目类别:重点项目
批准号:61802329
批准年份:2018
资助金额:26.00
项目类别:青年科学基金项目
批准号:21702046
批准年份:2017
资助金额:24.00
项目类别:青年科学基金项目
批准号:50971054
批准年份:2009
资助金额:39.00
项目类别:面上项目
批准号:59575084
批准年份:1995
资助金额:10.00
项目类别:面上项目
批准号:81771513
批准年份:2017
资助金额:54.00
项目类别:面上项目

相似国自然基金

1

语义网的形式化查询的生成方法研究

批准号:61772264
批准年份:2017
负责人:瞿裕忠
学科分类:F0203
资助金额:64.00
项目类别:面上项目
2

基于反例压缩的自动程序修正方法研究

批准号:60603088
批准年份:2006
负责人:沈胜宇
学科分类:F0209
资助金额:27.00
项目类别:青年科学基金项目
3

复杂实时系统的形式化方法和技术

批准号:69583002
批准年份:1995
负责人:陈火旺
学科分类:F0203
资助金额:14.00
项目类别:专项基金项目
4

归约方法与形式化方法相结合的安全协议验证技术研究

批准号:90604010
批准年份:2006
负责人:姬东耀
学科分类:F0206
资助金额:23.00
项目类别:重大研究计划