基本的一阶时态逻辑的一个完备性定理

仅以基本公理作为逻辑公理的一阶时态逻辑的形式系统,称为基本的一阶时态逻辑的形式系统。基本的一阶时态逻辑有模态逻辑和时态逻辑的一个发展。本文的目的是:为基本的一阶时态逻辑建立一个完备性定理。     

降水量自动采集中的干扰分析和处理

介绍了降水量测量的几种方式和翻斗式雨量计的计量原理，并针对翻斗式雨量计使用过程中的出现的问题作了分析，给出了几种解决的方法。     

单片机控制的频率合成器

本文介绍 MCS-48系列8749单片处理器控制的频率合成器,详细讨论吞脉冲程序分频器技术及其关键部件——计数控制逻辑电路 CE12014,指出调试中应注意的问题和测量的主要指标.     

农民大规模转移中其子女义务教育经费保障机制研究

在工业化、城镇化进程中,农民大规模转移到城市,给进城农民在生产安置、经济收入、住房建设以及子女教育等方面带来了一系列问题。进城农民工子女的义务教育具有跨行政区域、准公共产品的属性,本文通过分析现行的农民工子女义务教育经费的政策设计不完善,区县经费责任不合理、公办学校自由裁量权过大和效果不理想等问题,提出在继续推动户籍制度改革背景下建立国家主导、流入地和流出地共同分担的经费负担体制,探索调整现有义务教育格局,合理配置国有公共教育资源,完善社会捐赠机制,多渠道筹措教育经费等相关对策及建议。     

单位圆到单位圆的贝尔特拉米方程组同胚解的明确表达式

§1.引言设在单位圆上(简记为E_1)有贝尔特拉米方程组?其中q(z)是有界可测函数,?是函数w(z)的索伯列夫意义下广义复导数.若?平方可积,且几乎处处满足方程组(1.1),则称w(z)是组(1.1)的正则解.关于贝尔特拉米方程组正则解,苏联数学家保耶尔斯基详细地讨论了它的存在性和一些主要性质.他证明了方程组任一正则解w(z)总能表示成一特殊的正则解x(z)和一个     

中药葛根提取物中抗氧化活性成分的筛选

生物体在代谢过程中产生的氧自由基及其诱导的氧化反应对体内脂类、蛋白质、核酸、糖类等造成的氧化损害是引发炎症、心脑血管疾病、心脏疾病的重要因素~([1]),同时食用油脂和含脂食品、化妆品的酸败变质也与氧自由基氧化有关.BHT、BHA等合成抗氧化剂由于潜在的毒副作用而被许多国家禁用后,研究者开始从中草药中寻找天然、高效、低毒的抗氧化剂.     

39例脾脏占位性病变的临床诊断和治疗分析

目的:探讨脾占位性病变的临床诊断特点和治疗对策.方法:回顾性分析1990年至2010年收住我院的39例脾占位性病变患者的临床资料,总结更佳的治疗策略.结果:21例患者无症状,脾占位性病变临床表现无特异性,诊断依据影像学检查如B超、CT、MRI、数字减影血管造影(DSA)和病理检查.39例脾占位性病变中良性35例,其中手术切除脾脏23例,非手术治疗16例,包括恶性4例.随访5月～5年,手术与否,良性疾病均获得长期生存,而恶性者诊断后4月内死亡率100%.结论:脾占位性病变以良性为主,恶性少见,影像学检查是发现脾占位性病变的主要手段.根治性切除是治疗恶性占位性病变的唯一手段,而脾切除对成年人可能是最佳的治疗方案,但脾部分切除更适宜儿童患者.     

复方乌头汤配伍贝母化学成分变化研究

将超高效液相色谱-质谱联用(UPLC-MS) 及UPLC-MSⁿ技术与偏最小二乘法判别分析(PLS-DA)结合, 对乌头汤分别与川贝、 浙贝按照制川乌与贝母生药质量比1: 1配伍前后化学成分的变化情况进行了研究. 在PLS-DA模型中, 乌头汤与川贝、 浙贝配伍前后的煎煮液均可明显区分. 乌头汤与川贝共煎后获得8个化学标志物, 可鉴定出7个化合物, 其中尼奥灵、 附子灵及苯甲酰基新乌头原碱在共煎后含量上升, 塔拉定、 10-OH苯甲酰基乌头原碱、 10-OH苯甲酰基新乌头原碱和苯甲酰基去氧乌头原碱在配伍后含量下降. 乌头汤与浙贝共煎后获得7个化学标志物, 分别为Chuanfumine、 Songorine、 塔拉定、 尼奥灵、 附子灵、 苯甲酰基新乌头原碱和10-OH苯甲酰基新乌头原碱, 所有化学标志物的含量在共煎后均降低.     

情感因素与独立学院大学英语教学

影响外语学习最主要的因素有两个：一是情感,一是母语。情感因素对英语教学具有重大的影响。目前我国大学英语教学存在严重的知情分离现象,片面强调语言学习中的认知因素,忽视情感因素对语言教学的作用。作为普通高校以新机制、新模式举办的独立学院也不例外。本文通过情感因素在英语教学中的作用以及当前独立学院英语教学中存在的问题,提出了改进英语教学的建议。     

邻硝基苯胺还原关环一步法合成苯并咪唑类化合物

邻硝基苯胺( 1〖STBZ〗, 4〖STBZ〗)与芳香醛( 2〖STBZ〗〖WTHZ 〗a 〖WTHZ〗c )在连二亚硫酸钠存在下共热,发生还原关环反应, 一步即可合成苯并咪唑类化合物( 3〖STBZ〗〖WTHZ〗a 〖WTHZ〗c〖WTBZ 〗, 5〖STBZ〗〖WTHZ〗a 〖WTHZ〗c ).当起始物中含有不止一 个 硝基时,连二亚硫酸钠对硝基的还原有选择性.反应以乙醇 水为溶剂,水可加速反应进程.