有限力迫伴随的可判定性

众所周知,有限力迫伴随T~f关于T_v通常是超算术的。我们证明:如果T~f是∑_1-理论(相对于T_v)则它便是可判定的(相对于T_v)。十九世纪数学的成就之一,是找到一种计算方法,对每一个正的原始公式φ,得出一个无量词公式φ~*(结式),使得,这里T是域的理论。A。Robinson发展了一种模型论的方法,可证明这种结式的存在性。我们进一步说明,计算所需结式的(能行)算法的存在性,亦可用模型论力迫加以证明(由于方法的一般性)。还有其它应用。     

格值模型力迫法

Robinson把Cohen力迫法引进模型论,得到一些有趣的结果。本文把力迫法引进格值模型论中。本文所用符号从文献[2,3],并要求是可数语言,C是可数无限新常量集,值格L适合紧致性定理,满足性质(F_1)、(F_2),具有特征式△.理论T是指中和谐分组句子集。     

动物的偏爪性?

<正>约90%的人类都是右撇子。而且这个比例不仅在各个文化、地域是稳定的,也许在整个人类进化过程中都是稳定的。偏手性一度被认为是人类独有的特质,而研究表明灵长类动物中偏手性可能也是很普遍的。不仅于此,研究人员还发现,在多种非人类灵长类动物中也存在偏向性(偏爪性)。越来越多的证据激励着研究人员们去寻找人类以及其他动物     

六氢吡啶偏钨酸盐的光致变色研究

在粉状白钨酸制备偏钨酸铵的工作中,曾注意到当控制溶液的酸度较小时,反应产物见光即转变为蓝色;随后在制备各种有机胺多钨酸盐时,发现了六氢吡啶、乙醇胺和异丙胺偏钨酸盐晶体或水溶液,经紫外光辐照都会转变成蓝色;放在暗处,蓝色逐渐退去,并可反复循环变化,这现象显然对能源利用、显示器件材料开发等方面具有很大的吸引力。本文对六氢吡啶偏钨酸盐(PiPDMT)     

对大力开展偏微分方程研究的意见

一偏微分方程研究的意义和目的现代科学技术和复杂的工程设计提出一系列偏微分力程问题。例如不稳定流计算牵涉到一个拟线性双曲型一级偏微分方程组。某些应力分析需要解决双调和方程的多连通区域边值问题。高速气流绕流研究,有待于非线性空间混合型方程定解问题的解决。气象中长期数值预报和人工控制天气所考虑的天气力程是极为复杂的非线性偏微分方程组,同     

线性偏微分方程边值问题局部可解的必要条件

在偏微分方程理论中如何正确地提出一个边值问题是十分令人关切的,对于Canchy问题适定提法的必要条件已有较完整的研究(见文献[1—5]),本文则是在局部可解的意义下讨论边值问题可解的必要条件。     

双曲时滞偏微分方程解的振动性质

本文讨论一类双曲泛函微分方程     

温和条件下四方相偏钛酸钡的水热合成

BaTiO_3是典型的铁电、压电材料,是制备高介陶瓷电容器和多层陶瓷电容器的主要原材料.制备BaTiO_3的传统方法是将BaCO_3和TiO_2等摩尔混合并于1250～1300℃的高温条件下锻烧,但BaTiO_3成品纯度低,粒度粗(4μm)和分散不均一.近年来,又发展了所谓溶胶(sol)-凝胶(gel)法,sg法所采用的醇盐原料一般比较昂贵,而且在热分解过程中及易在BaTiO_3颗粒表面包覆有机物,引入氧缺陷甚至发生硬团聚.水热法可以获得纯度高、粒度均细的BaTiO_3,水热法制备BaTiO_3的工作已有不少报道.这些工作中,温和条件制备的     

运动晶界附近硼偏聚行为的研究

微量杂质原子能够显著地降低再结晶过程中晶界的运动速度.Kasen用电阻法研究铝合金退火再结晶与晶粒长大过程,认为运动晶界能大量捕获溶质原子.本文利用硼径迹显微照相技术研究了含硼Fe-30%Ni合金高温热变形再结晶过程中硼在晶界上的偏聚行为,该合金在淬火至室温的过程中不发生γ-α相变,从而可以排除相变对组织和溶质原子分布的影响.1 实验材料与实验方法     

具有偏差变元的偏微分方程周期解

的形如Z=(iω)P,P∈Z~n,的零点个数为算子L的ω特征指数,记作r(ω)。定义2 算子L说是ω偏差椭圆的,如果存在充分小的正数λ和充分大的正数A,使得     

偏微分方程应当有多少边界条件?

“风乍起,吹皱一池春水。”平静的湖面会因和风的煦拂而波纹起伏。“大弦嘈嘈如急雨,小弦切切如私语,”琵琶的琴弦在音乐家的弹奏下发出了激动人心的旋律.“夏日消溶,江河横溢,人或为鱼鳖。”高山上的冰雪,因太阳的照射而融化,洪水在奔流,甚至引起了巨大的灾难。历代的诗人们对于各种自然现象,写出了动人心弦的诗篇。然而对于种种自然现象,人们除了赞赏、伤感、惊惧、激动之外,还不断在研究,企图弄清楚这些现     

椭圆型偏微分方程边值问题的一种数值解法

考虑如下一类边值问题~~     

无私的基因

我们生活于其中的社会能不能施加影响使哪些基因传给我们的后代孩子？劳拉·斯宾尼（LauraSpinney）同一些生物学家交谈,他们相信教养和DNA一样决定着人们进化的命运。     

基因改良与基因革命

基因革命是相对于生物包括人的自然基因进化而盲的。如果说人类和动植物经过千百万年在自然进化过程中形成的各种基因是一种基因改良的结果的话,那么通过现在的基因知识对基因做去除、修补、修饰、增减等等就是一种基因的革命。因为这一过程相对于人和生物的自然进化而言,是极其迅速而强烈的,也可以说是突发的。例如,华裔科学家钱卓改变老鼠体内的一个基因而使得变革了基因的老鼠变得比正常老鼠聪明一些,这一过程经过了     

害怕的基因

研究者发现,只有生物体本身可以让人感到害怕。两项新的研究表明,基因不仅可以控制我们害怕的程度,而且可以决定我们会害怕多久。美国国家精神健康协会成员、精神病学家、神经病学家丹     

我的基因

正"国家食品药品监督管理总局、国家卫生计生委日前联合发出通知,基因测序产前临床应用,予以批准……基因测序产前临床应用,被叫停30年后,终于重新启动。日前位于成都高新区的华西基因公司,向外界高调宣布,为广大孕妇提供免费的胎儿产前基因测定,但是只能提供三对(第21、18、13对)染色体的检测报告。""(接上一条微博)即便如此,该公司在基     

空间微重力下偏晶合金的加工和研究

1987年,我国首次成功地利用返回式卫星进行了空间微重力下的材料加工实验。在这次实验中,我们利用卫星的多用途加工炉成功地进行了三个偏晶合金样品的重熔实验,获得了地面无法得到的有大比重差的均