哥德尔的逻辑人生

他是个天才的数学家、杰出的逻辑学家、深奥的思想家,同时又是一个孤僻的遁世者、偏执狂和抑郁症患者,除了极少数知己和圈内人士,人们难得一识他的庐山真面目.临终前,他甚至还叮嘱妻子躲开新闻记者和传记作家.然而,赏识他的仍不乏其人.     

G(o)del程序推理过程的可视化

主要介绍了实现Gdel语言程序结构和动态执行过程的可视化计算的一些思想,提出并设计了Gdel语言程序的两种类型的可视化.对Gdel语言程序结构和谓词之间关系的可视化,能够便于用户静态分析Gdel程序;对Gdel语言程序的动态执行过程的可视化,能够使最终用户更好地理解Gdel语言程序的执行机制,调试并查找程序运行过程中可能出现的非预期的错误.     

G(o)del宇宙模型的一个近似解

通过对G(o)del宇宙基本性质的分析,求得了弱场条件下其Einstein方程近似解,并对该解进行了分析.     

G(o)del语言的一种并行推理模型

针对Gdel语言成分复杂,难以采用Prolog语言的并行推理策略,给出了基于该语言程序中间代码的并行推理模型,并对该并行模型的加速效果进行了分析,结果表明新提出的Gdel并行策略具有良好的加速比.     

Activation of the ERK/MAPK pathway by an isoform of rap1GAP associated with G alpha(i)

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.     

基于G(o)del配数的程序结构研究

用自然数研究程序结构的特点是文章的写作目的.在提出同构程序概念和程序G(o)del数概念后,讨论了静态同构程序与动态同构程序之间的关系,证明了同构程序可数;在文中建立的程序积的概念下,从结构化程序设计角度,继承性地对一般程序结构进行了定义,并对它们的特点进行了较详细的讨论,从而指出循环结构和子程序结构都是分枝结构的特殊形式;利用同一程序的静态结构与动态结构G(o)del数、程序积之间的关系找出了程序中存在子程序结构、分枝结构和循环结构的条件.讨论的结果表明用G(o)del配数研究程序设计理论是一种行之有效的方法.最后,提出了进一步研究的目标.     

甘薯贮藏特性及活性氧代谢的相关性分析

文章以多个具有不同贮藏特性的甘薯品种徐55-2、徐32、Z15-1、美99573、商薯9号、Sinjami、徐薯23、徐22-5、Z11-1、烟25为研究对象,考察了其块根贮藏特性的差异,并测定了甘薯叶片中抗氧化相关酶、脂氧合酶(LOX)、活性氧(ROS)及丙二醛(MDA)等指标,解析了它们之间的相关性.结果 表明:徐...     

《经济学原理》双语教学实践与思考

双语教学课程建设是西昌学院实施本科教育质量工程的重要内容之一,<经济学原理>是本院土地资源管理专业、资源环境与城乡规划管理专业的重要专业基础课.本文首先阐述了双语教学的概念,分析了<经济学原理>双语教学的重要意义,并在西昌学院<经济学原理>双语教学实践探索的基础上,针对当前高校双语教学存在的问题,提出了相应的措施建议.     

G(o)del系统中一种降级算法及性质

与G(o)del系统中广义重言式之间的一种升级算法相对应,作者给出了G(o)del系统中广义矛盾式之间的一种降级算法,对其基本性质进行了讨论,并讨论了G(o)del系统中关于广义矛盾式理论的广义语义MP规则与广义语义HS规则,为进一步对G(o)del系统的研究提供了帮助.     

形式Peano算术的G(o)del不完备性定理的一个简单证明

给出了形式Peano算术的Godel不完备性定理的一个简单证明.     

G(o)del逻辑系统中一类模糊逻辑方程解的性质

以模糊逻辑系统中公式的真度理论为基础,提出了模糊逻辑方程概念,从而实现了方程思想与模糊逻辑的结合；并在 G(o)del逻辑系统中选取形如τ(p→X)=α的一类模糊逻辑方程,展开方程解的性质讨论,其中,p为原子命题,X是待定的公式,由此得到如下结论:模糊逻辑方程τ(p→X)=α有同型解当且仅当α=0或1；有m-同型解(m≥2)当且仅当α∈{i/(m+2)! |i=0,1,2,…,(m+2)!}.     

G(o)del逻辑系统中公式真度判断方法

通过给出Godel系统中公式的伪真值函数的概念,得到了判断原子个数比较少的公式真度的一般方法.     

Godel宇宙模型在理想流体条件下的一个近似解

在引力源为理想流体条件下,通过对G(o)del宇宙基本性质的分析求解了Einstein场方程,给出了一个G(o)del宇宙时空度规的近似解.并且对此解进行了分析.结果表明,在参量f(x)的两种不同情况下,G(o)del宇宙将分别表现出静态与膨胀的特征.对于膨胀宇宙,H的取值主要依赖于λ、k以及σ等模型参数.     

命题公式集F(S)的基于修正的Godel算子的十八类分划

本文利用修正的G(o)del蕴涵算子研究了命题公式集FS中公式确定集的特征,进而以确定集为工具得到FS的一个十八类分划,并证明了这种分划关于非运算是同余的.最后讨论了各类关于MP运算和HS运算的封闭性.     

模糊命题系统G(o)del和L*中条件真度的比较

首先把条件真度由三值逻辑系统推广到连续值系统Gdel和L＊中,然后通过计算同时包含伴随对（,→）的4个公式（pq）→r,p（q→r）,（p→q）r和p→（qr）基于同一个信息Γ={p}下的条件真度并比较其大小,得到条件真度的大小服从三角模算子的大小顺序,即τL＊≤Gτd.     

图的三个参数A（G）,R（G）及D2（G）的关系

图的三个参数Ａ（Ｇ），Ｒ（Ｇ）及Ｄ２（Ｇ）的关系是图色唯一性研究的一个常用工具，文献〔４〕中给出了边数与点数之差小于等于０的图其三参数间的关系。本文从连通图点边差的界出发，给出了边数与点数之差为任意整数的图的三参数的关系，从而推广了这一定理。     

水稻Xa7基因抗白叶枯病应答中的活性氧代谢分析

白叶枯病是由革兰氏阴性黄单孢菌水稻变种（Xanthomonas oryzae pv．Oryzae,Xoo）所引起的一种世界性水稻细菌病害．水稻Xa7基因是一个具有广谱抗性的显性抗白叶枯病基因．通过对水稻抗病品种IRBB7（含Xa7）和感病对照IR24接种白叶枯菌PX086,发现：在叶片的病原菌侵染部位,IRBB7比IR24的活性氧（H2O2和O2-）积累更快且含量更高;与活性氧代谢相关的酶,如超氧化物歧化酶、过氧化氢酶、抗坏血酸过氧化物酶和过氧化物酶的活性也更高．推测活性氧的代谢调节可能在Xa7基因介导的抗病反应中起作用．     

关于S-Lindel(o)f空间与S-分离性

在S-Lindel(o)f 空间中讨论了几个S-分离性空间之间的关系.给出了S2-空间成为S3*-空间、S2-空间成为S4*-空间及S3*-空间成为S4*-空间的一个充分条件.     

Wangzaozin A调节NADPH氧化酶源性活性氧诱导HL-60细胞分化

利用台盼蓝排染法、吉姆萨染色及流式细胞术对对映-贝壳杉烷二萜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细胞分化.