数理邏辑的簡单介紹

我国的讀者近来已越來越多地对数理邏輯发生兴趣了,这是一个很好的現象。它表明了我国大众已經开始重視这門重要的科学;从而将使这門科学在我們祖国的土地上开出光輝灿烂的花朵来。但是一般讀者每每詢問下列一連串問題:数理邏輯是怎样的一門科学?它研究什么?有什么主要內容?学习它时需要什么预备知識?有什么主要参考书?……这些問題如果得不到很好的回答,对数理邏輯的学习将受到不良的影响。本文的目的想介紹数理邏輯的主要內容,部分地回答上述各問題。由于数理邏輯內容的丰富,任何人想在一篇短文內加以介紹,势必掛一漏万。再由于作者水平不够,本文必然会詳略失宜甚至含有严重的錯誤。因此讀者必須用批判的眼光来閱读它,这样才可以不因本文可能出現的錯誤而受到影响。否則本文原来的目的不但沒有达到反而带來了流弊了。数理邏輯簡史数理邏輯的內容是非常丰富的,要介紹它真是不知从何說起。現在我們先从它的发展过程来說起吧。因为一件东西,无論多么复杂,如果能够从它的发展史来看,每每极易得出它的基本特性的。     

关于数理邏輯的一些研究

<正> 在本文中我們对算法論及递归函数論中若干項目作了一些研究,共分五节.第一节是算法簡化,我們指出的正規算法不够簡单原始,建議用“首尾算法”来代替它,后者是使用不可兼的首尾規則表且采用自然結束的約定的. 第二节引入一种換中演算,它是結合演算的推广,我們指出关于結合演算所得的結論几乎全可以推广到換中演算来,并对一些未曾解决的問題給以解决.     

直径为三的不可上嵌入的图

本文证明了只存在一类3-边连通的直径为三的12个点的不可上嵌入的图.     

不同加热位置对振荡热管传热性能的影响

针对利用电加热板作为热源的同一回路型自激振荡流热管,在相同的工质及充液率、相同的倾角等条件下,通过改变加热板的位置,对其壁温和热传输特性随加热功率的变化进行了对比实验研究.实验结果分析表明,对于非微尺度结构的自激振荡流热管,热源位置对其起动功率及循环动力等热传输性能有很大影响.最佳的热源位置应该在自激振荡流热管的最下部,并且热源下部不应再出现绝热段.     

客户回报随机过程的Markov性和时间齐次性

在客户发展关系的Markov链模型的基础上,构建了企业的客户回报随机过程．证明了：在适当假设下,客户回报过程是Markov链。甚至是时间齐次的Markov链．本文求出了该链的转移概率．通过转移概率得到了客户给企业期望回报的一些计算公式,从而为企业选定发展客户关系策略提供了有效的量化基础．     

几种太阳能光伏发电方案的热力分析与比较

本文建立了平板固定式、数倍聚光式、抛物槽一次反射聚光式、碟式反射聚光分频式和菲涅尔透镜聚光式等五种光伏发电方式的光学系统和辐射能量转换器的热物理模型,进行了能量效率和有效能利用率分析,介绍了与太阳不处于热平衡态的地面太阳光谱辐射能的计算式,分析表明在光电池许可的温度下适当提高聚光比可大幅减少光电池使用面积.     

酸枣仁种皮和种仁化学成分的定性及半定量分析

酸枣仁为鼠李科植物酸枣Ziziphus jujuba Mill. var.spinosa(Bunge) Hu ex H. F. Chou的干燥成熟种子,其分为种皮、种仁两个部位,比较研究酸枣仁不同部位化学成分组成及相对含量可为合理开发利用中药酸枣仁资源提供理论依据。基于超高效液相色谱-四极杆飞行时间质谱(UPLC-Q-TOF/MS)技术,从种皮、种仁中共鉴定出57个化学成分。结合主成分分析(PCA)和正交偏最小二乘法判别分析(OPLS-DA)对两者进行差异成分研究,以变量投影重要度(VIP)值> 5为标准,筛选了差异成分17个,其中白桦脂酸、桦木酮酸、麦珠子酸和酸枣仁皂苷Ⅰ主要存在于种皮部位,斯皮诺素、酸枣仁皂苷A和6-阿魏酰斯皮诺素等13个化合物主要存在于种仁部位。通过超高效液相色谱-电雾式检测器(UPLC-CAD)结合反梯度补偿技术,建立半定量液相色谱指纹图谱,考察了6个不同结构类型的代表成分的响应一致性,其不同浓度下平均响应因子间的RSD值为7.04%,各化合物响应一致性良好,可用于酸枣仁的半定量表征分析;结果表明：种皮部位主要成分为白桦脂酸和油酸,其中白桦脂酸的含量约是...     

一种示踪干细胞的磁共振-荧光双模成像探针

本文设计并合成了Gd基磁共振-荧光双模成像探针——Gd-DOTA-PEG-GA,通过电穿孔的方式标记人源间充质干细胞（hMSCs）.电穿孔标记诱导细胞将探针组装成团簇状纳米粒子进入细胞质,显著延长其与细胞结合的时间,并呈现出明显的T₂信号减弱效应,且信号减弱效应可以持续7天以上.在水溶液中,该探针的发射带集中在498 nm,并且荧光强度在一周内无明显衰减.该探针标记的细胞在荧光倒置显微镜下呈现绿色荧光.这些结果表明该探针可以作为磁共振-荧光双模成像探针用于干细胞示踪.     

原始遞歸函數的定義

<正> 符號說明 本文中除以α表示常數外均以小寫拉丁字母表示自變數,以大寫字母表示函數關係,而一元函數A(x)常省寫為A_x. 在本文中只討論數論函數,自口自變數与函數所取之值均限於正整數或0(常