共查询到20条相似文献,搜索用时 15 毫秒
1.
尹传红 《科技导报(北京)》2010,28(17):124-124
他是个天才的数学家、杰出的逻辑学家、深奥的思想家,同时又是一个孤僻的遁世者、偏执狂和抑郁症患者,除了极少数知己和圈内人士,人们难得一识他的庐山真面目.临终前,他甚至还叮嘱妻子躲开新闻记者和传记作家.然而,赏识他的仍不乏其人. 相似文献
2.
主要介绍了实现Gdel语言程序结构和动态执行过程的可视化计算的一些思想,提出并设计了Gdel语言程序的两种类型的可视化.对Gdel语言程序结构和谓词之间关系的可视化,能够便于用户静态分析Gdel程序;对Gdel语言程序的动态执行过程的可视化,能够使最终用户更好地理解Gdel语言程序的执行机制,调试并查找程序运行过程中可能出现的非预期的错误. 相似文献
3.
通过对G(o)del宇宙基本性质的分析,求得了弱场条件下其Einstein方程近似解,并对该解进行了分析. 相似文献
4.
针对Gdel语言成分复杂,难以采用Prolog语言的并行推理策略,给出了基于该语言程序中间代码的并行推理模型,并对该并行模型的加速效果进行了分析,结果表明新提出的Gdel并行策略具有良好的加速比. 相似文献
5.
N Mochizuki Y Ohba E Kiyokawa T Kurata T Murakami T Ozaki A Kitabatake K Nagashima M Matsuda 《Nature》1999,400(6747):891-894
Many receptors for neuropeptides and hormones are coupled with the heterotrimeric G(i) protein, which activates the p42/44 mitogen-activated protein kinase (ERK/MAPK) cascade through both the alpha- and betagamma-subunits of G(i). The betagamma-subunit activates the ERK/MAPK cascade through tyrosine kinase. Constitutively active G(alpha)i2 (gip2) isolated from adrenal and ovarian tumours transforms Rat-1 fibroblasts and also activates the ERK/MAPK cascade by an unknown mechanism. The ERK/MAPK pathway is activated by Ras, and is inhibited when the low-molecular-mass GTP-binding protein Rap1 antagonizes Ras function. Here we show that a novel isoform of Rapl GTPase-activating protein, called rap1GAPII, binds specifically to the alpha-subunits of the G(i) family of heterotrimeric G-proteins. Stimulation of the G(i)-coupled m2-muscarinic receptor translocates rap1GAPII from the cytosol to the membrane and decreases the amount of GTP-bound Rap1. This decrease in GTP-bound Rap1 activates ERK/MAPK. Thus, the alpha-subunit of G(i) activates the Ras-ERK/MAPK mitogenic pathway by membrane recruitment of rap1GAPII and reduction of GTP-bound Rap1. 相似文献
6.
用自然数研究程序结构的特点是文章的写作目的.在提出同构程序概念和程序G(o)del数概念后,讨论了静态同构程序与动态同构程序之间的关系,证明了同构程序可数;在文中建立的程序积的概念下,从结构化程序设计角度,继承性地对一般程序结构进行了定义,并对它们的特点进行了较详细的讨论,从而指出循环结构和子程序结构都是分枝结构的特殊形式;利用同一程序的静态结构与动态结构G(o)del数、程序积之间的关系找出了程序中存在子程序结构、分枝结构和循环结构的条件.讨论的结果表明用G(o)del配数研究程序设计理论是一种行之有效的方法.最后,提出了进一步研究的目标. 相似文献
7.
文章以多个具有不同贮藏特性的甘薯品种徐55-2、徐32、Z15-1、美99573、商薯9号、Sinjami、徐薯23、徐22-5、Z11-1、烟25为研究对象,考察了其块根贮藏特性的差异,并测定了甘薯叶片中抗氧化相关酶、脂氧合酶(LOX)、活性氧(ROS)及丙二醛(MDA)等指标,解析了它们之间的相关性.结果 表明:徐... 相似文献
8.
《经济学原理》双语教学实践与思考 总被引:1,自引:0,他引:1
双语教学课程建设是西昌学院实施本科教育质量工程的重要内容之一,<经济学原理>是本院土地资源管理专业、资源环境与城乡规划管理专业的重要专业基础课.本文首先阐述了双语教学的概念,分析了<经济学原理>双语教学的重要意义,并在西昌学院<经济学原理>双语教学实践探索的基础上,针对当前高校双语教学存在的问题,提出了相应的措施建议. 相似文献
9.
G(o)del系统中一种降级算法及性质 总被引:4,自引:0,他引:4
吴洪博 《四川大学学报(自然科学版)》2003,40(6)
与G(o)del系统中广义重言式之间的一种升级算法相对应,作者给出了G(o)del系统中广义矛盾式之间的一种降级算法,对其基本性质进行了讨论,并讨论了G(o)del系统中关于广义矛盾式理论的广义语义MP规则与广义语义HS规则,为进一步对G(o)del系统的研究提供了帮助. 相似文献
10.
11.
杨洁 《烟台大学学报(自然科学与工程版)》2012,25(3)
以模糊逻辑系统中公式的真度理论为基础,提出了模糊逻辑方程概念,从而实现了方程思想与模糊逻辑的结合;并在 G(o)del逻辑系统中选取形如τ(p→X)=α的一类模糊逻辑方程,展开方程解的性质讨论,其中,p为原子命题,X是待定的公式,由此得到如下结论:模糊逻辑方程τ(p→X)=α有同型解当且仅当α=0或1;有m-同型解(m≥2)当且仅当α∈{i/(m+2)! |i=0,1,2,…,(m+2)!}. 相似文献
12.
Radisky DC Levy DD Littlepage LE Liu H Nelson CM Fata JE Leake D Godden EL Albertson DG Nieto MA Werb Z Bissell MJ 《Nature》2005,436(7047):123-127
13.
通过给出Godel系统中公式的伪真值函数的概念,得到了判断原子个数比较少的公式真度的一般方法. 相似文献
14.
在引力源为理想流体条件下,通过对G(o)del宇宙基本性质的分析求解了Einstein场方程,给出了一个G(o)del宇宙时空度规的近似解.并且对此解进行了分析.结果表明,在参量f(x)的两种不同情况下,G(o)del宇宙将分别表现出静态与膨胀的特征.对于膨胀宇宙,H的取值主要依赖于λ、k以及σ等模型参数. 相似文献
15.
本文利用修正的G(o)del蕴涵算子研究了命题公式集FS中公式确定集的特征,进而以确定集为工具得到FS的一个十八类分划,并证明了这种分划关于非运算是同余的.最后讨论了各类关于MP运算和HS运算的封闭性. 相似文献
16.
模糊命题系统G(o)del和L*中条件真度的比较 总被引:1,自引:0,他引:1
首先把条件真度由三值逻辑系统推广到连续值系统Gdel和L*中,然后通过计算同时包含伴随对(,→)的4个公式(pq)→r,p(q→r),(p→q)r和p→(qr)基于同一个信息Γ={p}下的条件真度并比较其大小,得到条件真度的大小服从三角模算子的大小顺序,即τL*≤Gτd. 相似文献
17.
图的三个参数A(G),R(G)及D2(G)的关系 总被引:5,自引:2,他引:3
火博丰 《青海师范大学学报(自然科学版)》1998,(2):1-6
图的三个参数A(G),R(G)及D2(G)的关系是图色唯一性研究的一个常用工具,文献〔4〕中给出了边数与点数之差小于等于0的图其三参数间的关系。本文从连通图点边差的界出发,给出了边数与点数之差为任意整数的图的三参数的关系,从而推广了这一定理。 相似文献
18.
白叶枯病是由革兰氏阴性黄单孢菌水稻变种(Xanthomonas oryzae pv.Oryzae,Xoo)所引起的一种世界性水稻细菌病害.水稻Xa7基因是一个具有广谱抗性的显性抗白叶枯病基因.通过对水稻抗病品种IRBB7(含Xa7)和感病对照IR24接种白叶枯菌PX086,发现:在叶片的病原菌侵染部位,IRBB7比IR24的活性氧(H2O2和O2-)积累更快且含量更高;与活性氧代谢相关的酶,如超氧化物歧化酶、过氧化氢酶、抗坏血酸过氧化物酶和过氧化物酶的活性也更高.推测活性氧的代谢调节可能在Xa7基因介导的抗病反应中起作用. 相似文献
19.
在S-Lindel(o)f 空间中讨论了几个S-分离性空间之间的关系.给出了S2-空间成为S3*-空间、S2-空间成为S4*-空间及S3*-空间成为S4*-空间的一个充分条件. 相似文献
20.
Wangzaozin A调节NADPH氧化酶源性活性氧诱导HL-60细胞分化 总被引:2,自引:0,他引:2
利用台盼蓝排染法、吉姆萨染色及流式细胞术对对映-贝壳杉烷二萜wangzaozin A影响人早幼粒白血病细胞HL-60生长、细胞形态、NBT还原能力、细胞吞噬及细胞表面抗原CD11b表达进行了检测.结果显示,0.2~0.8μmol/L wangzaozin A抑制HL-60细胞生长,0.6和0.8μmol/L处理组细胞显示了明显的G1期周期阻滞.随着wangzaozin A浓度升高及处理时间延长,细胞核质比减小,肾形核、杆状核和分叶核细胞增多及胞质中颗粒状物质增加;同时,细胞NBT还原能力、吞噬能力及细胞表面抗原CD11b表达显著增强,表明wangzaozin A可诱导HL-60细胞向成熟粒细胞分化.进一步利用荧光探针DCF检测显示0.6和0.8μmol/L wangzaozin A处理细胞12h后细胞内ROS显著升高;抗氧化剂NAC及NADPH氧化酶抑制剂APO显著抑制wangzaozin A诱导HL-60细胞上调CD11b表达,表明wangzaozin A可通过上调NADPH氧化酶源性的活性氧浓度诱导HL-60细胞分化. 相似文献