一类素数问题等对PA的条件独立性--对一些数论问题的逻辑讨论(Ⅳ)

用模型论方法证明了2次函数素数值问题及一种3重完美数问题对于PA的条件独立性,以及一些更一般的结论.     

吉林西部盐碱区农田土壤盐碱程度与碳的稳定同位素比值的关系

为了探讨农田土壤盐碱程度对土壤碳固定和碳排放的影响,选取吉林西部不同开发年限的盐碱旱田、水田为研究对象,进行野外采样和实验测量。测定土壤盐碱程度的基本理化指标:土壤pH、电导率和碱化度;同时测定土壤有机碳和无机碳的稳定碳同位素比值。研究结果表明,旱田土壤整体盐碱程度较高、固碳水平较低,土壤-大气碳循环较慢。随开发年限的增加,盐碱程度没有显著降低;而水田土壤盐碱程度相对较低,固碳水平较高,促进了土壤-大气碳循环。随开发年限的增加,土壤盐碱程度得以改善,土壤固碳水平提高。总体而言,玉米的种植无法较为有效地改善土壤盐碱程度和土壤碳的固定,而水稻的种植则可以改善土壤条件,有利于土壤对碳的固定从而降低碳排放。在全球温室效应大环境下,研究区应大力关注水稻种植产业的发展,改造盐碱土壤,为减缓区域变暖做出一定贡献。     

天然抗氧化剂在植物油脂中的应用研究进展

天然抗氧化剂因具有安全性高、低毒、抗氧化性强的特点,而使其具有很大的应用市场;综述了天然抗氧化剂的分类和天然抗氧化剂对植物油脂的抗氧化机制,以及植物油脂中天然抗氧化剂的应用研究进展,旨在为天然抗氧化剂的开发、利用、植物油脂储存、保质研究提供参考。     

关于本体感觉测评中的平衡能力测试方法的研究

目的:在测量本体感觉中平衡能力是很重要的测试方法之一。通过查阅大量资料并进行剖析归纳,对本体感觉的平衡能力测试方法的研究现状进行综述。方法:由该研究者检索PubMed数据库以及中国知网的相关文章。英文检索词为"proprioception,balance";中文检索词为"本体感觉,平衡"。结果与结论:本体感觉的平衡测试方法有静态平衡测试、动态平衡测试及量表类测试。静态平衡测试中主要的指标有压力中心、重心偏移指数、闭眼单腿站立时间等。动态平衡测试中主要的测试方法有星偏移平衡测试、起立-行走计时测试、单腿跳远测试等。可用于评估的量表有Berg平衡量表、活动信心平衡量表等。     

山东、安徽汉族与我国19个族群体质特征的聚类分析与主成分分析

测量了山东汉族成人778例(男428例,女350例)与安徽汉族成人693例(男352例,女341例)的13项身体遗传学指标(头长、头宽、额最小宽、面宽、形态面高、鼻宽、鼻高、口裂宽、眼内角间宽、身高、坐高、肩宽、骨盆宽),采用聚类分析和主成分分析法进行山东、安徽汉族与我国19个族群亲缘关系的研究.聚类分析结果表明,山东和安徽汉族与我国蒙古族、回族、赫哲族较为接近.主成分分析结果表明,山东和安徽汉族具有身体高度大、头部长度大、面部宽的特点.这一结果表明这两个省份汉族族群的体质特征与我国北方族群更为接近.     

基于证据理论的群组层次分析法判断矩阵集结方法

针对现有群组集结方法关注于专家权重和集结元素之间相似性,缺少对层次分析法(AHP)判断矩阵元素一致性考虑的不足,提出一种基于证据理论的群组AHP判断矩阵集结方法。该方法以群组AHP判断矩阵元素的相似性和一致性为证据源,采用DS证据理论计算上三角元素的合理性指标值;并以该指标值为边权计算最大生成树和相对应的完全一致矩阵;该方法在完全一致矩阵和PG算子集结矩阵的约束下,结合残缺元素的修复策略,计算满足最优相似一致度的群组集结结果。通过算例分析,说明该方法的可行性与有效性。     

重力坝双滑面稳定可靠度方法以及抗力角的取值分析

重力坝坝基抗滑稳定性通常用等安全系数法,其没有考虑各个影响条件的不均一性,而可靠度的方法,则解决了这种不足。结合两种方法,就是体现可靠度方法的等K′法。对重力坝的稳定分析通常使用静力法,需要对抗力角进行假设,而抗力角的取值还没有统一的标准,本文对比安全系数以及等K′法对抗力角的敏感性,来分析抗力角的取值。     

浅议公路沥青路面维修处治方法

沥青路面的病害,直接影响各级公路、农村公路的行车安全和使用质量。在县乡(镇)公路、农村公路当中,沥青路面的结构型式占有绝大部分的比重。在建设、管理和养护过程中,及时预防、发现和维修处治这些病害,对保证公路安全、畅通具有极其重要的意义。     

不动点问题和零点问题的公共元的具误差的迭代算法

在自反的严格凸的具有K-K性质的光滑Banach空间中,设计了一种新的具误差的投影算法,用以逼近拟φ-非扩张映射的不动点集和极大单调算子的零点集的公共元素,并利用所设计的算法证明了公共元的强收敛定理.作为应用,给出寻找凸泛函的极小值问题.     

拟严格渐近伪压缩映射的不动点的收缩投影算法

在自反的严格凸的具有K-K性质的光滑Banach空间中,设计了一种收缩投影算法用以逼近拟严格渐近伪压缩映射的不动点,并利用所设计的算法证明了不动点的强收敛定理.所得结果是近期相关结果的改进与推广.