数学机械化中的AC=BD模式

介绍了AC=BD模式及其在用机械化方法求解方程和证明定理中的应用.首先证明对可单值化算子D,如果CKerD C KerA,则存在算子B使AC=BD.利用带余除法对于给定的算子A给出了求其(C-D对的算法,使得AC=BD.并将其应用到求解算子方程,可以将一些较为复杂的方程化为简单方程求解.其次,利用对偶算子给出了将非线性非交换算子方程组化为单个方程求解的算法.最后,利用解方程的方法给出了机械化产生并证明定理的模式,并且给出了一些实例.     

庆祝《物理化学学报》创刊30周年

<正>将中国的《物理化学学报》办成有世界影响力的学术刊物,需要您的参与和贡献(投稿、引用、审稿)!SCIE、CA、SCOPUS、AJ、JICST、CSTPCD等数据库收录办刊理念:以服务求支持、以贡献求发展基金资助:中国科协精品科技期刊工程项目出版特点:出版速度快,学术质量高,同时刊登中文和英文文章,数字化程度高,发表费用低。     

NMR分析胶质瘤细胞系CHG5和U87的代谢轮廓

胶质瘤是中枢神经系统最常见的恶性肿瘤,其发病原因和恶性进展机制均不明确,给胶质瘤的临床诊疗带来很大困难.胶质瘤恶性进展伴随着癌细胞代谢改变,但可以反映胶质瘤恶性进展的代谢物信息和分子机制目前仍不清楚.该研究以两种不同恶性程度的胶质瘤细胞系CHG5和U87为研究对象,用基于NMR的代谢组学方法分析这两种胶质瘤细胞系的代谢轮廓,寻找差异性代谢物.结果表明CHG5和U87的代谢轮廓存在明显差异.在高恶性程度的U87细胞中,柠檬酸盐(citrate)等15种代谢物有上升趋势;而乳酸盐(lactate)、牛磺酸(taurine)等6种代谢物有下降趋势.以上结果表明这些差异性代谢物可能与胶质瘤细胞的恶性特性密切相关.这些从胶质瘤细胞系获取的代谢信息将成为临床标本代谢组学研究的重要前提和有益补充.     

落叶松受雅氏落叶松尺蠖危害程度光谱检测

近年来蒙古国雅氏落叶松尺蠖灾害不断加剧，逐渐逼近大兴安岭地区，将威胁我国北方森林生态系统安全。以现代遥感监测方法替代传统检测方法，及早掌握该虫害发生发展规律对防控有重要意义。为快速、大范围遥感监测雅氏落叶松尺蠖灾害，利用光谱分析技术研究了该害虫危害下落叶松受害程度检测模型。通过实测健康和轻度、中度、重度受害落叶松光谱，计算与比较不同受害程度落叶松原始光谱和去除包络线光谱的敏感度，揭示光谱敏感波段及去除包络线光谱敏感性。然后对去除包络线光谱进行一阶导数变换获得光谱特征参数并分析其随受害程度的变化特征，构建基于CART(分类与回归树)算法的落叶松受害程度光谱检测模型。研究表明：去除包络线光谱敏感性比原始光谱更显著，尤其在480～520 nm(蓝边)、640～720 nm(红谷、红边)、1 416～1 500 nm(短波红外谷)等波段内光谱敏感度介于0.1～2.0，而且出现了敏感峰现象。随受害程度增加，去除包络线光谱敏感性增强趋势比原始光谱更明显；在蓝边波段上去除包络线光谱敏感峰位置向短波方向移动，即502 nm→490 nm，而在红谷及红边、短波红外谷等波段上光谱敏感峰位置向长波方向移动，即664 nm→672 nm和1 436 nm→1 448 nm；红谷位置和短波红外谷位置归一化反射率以及红谷和短波红外谷面积呈上升趋势。在蓝边与红边波段内去除包络线光谱一阶导数对受害程度有明显响应，出现了波峰现象。随害虫危害程度加剧红边位置蓝移(718 nm→700 nm)，红边斜率及面积和蓝边斜率及面积呈下降趋势。基于此，利用红边斜率、红谷位置和短波红外谷位置归一化反射率、红谷和短波红外谷面积、蓝边斜率及面积等去除包络线光谱特征参数构建的CART模型对落叶松受害程度有很好的检测能力。与多元线性回归模型相比，CART模型检测精度更高，其Kappa系数达0.875。研究结果对雅氏落叶松尺蠖灾害的防治有参考价值。     

“水体系中物质转化程度的探究”教学设计与实施

以反应的耦合与浓度商为核心概念,以弱电解质的电离、难溶电解质的配位溶解等为问题情境,引导学生基于反应间相互作用视角认识水体系中的物质转化程度。     

CTA成像在下肢血管闭塞病变中的应用及与血管腔内疗效的关系

本文探讨计算机体层扫描血管造影(CTA)检查在下肢血管闭塞病变中的应用价值及与血管腔内疗效的关系。选取经数字减影血管造影(DSA)确诊的93例下肢血管闭塞病变患者,采用CTA检查,分析CTA诊断病变部位结果、血管狭窄程度及与DSA诊断结果的一致性,并探讨CTA征象与患者血管腔内疗效的关系。结果显示,CTA诊断下肢血管闭塞病变部位、狭窄程度与DSA诊断结果均具有较高一致性(P<0.05);病变血管长度>1.41 cm、血管狭窄程度4级、病变血管远端CT值>62.65 Hu、钙化性斑块是下肢血管闭塞病变血管腔内治疗失败的危险因素(P<0.05)。CTA检查是诊断下肢血管闭塞病变的可靠方法,通过检查患者病变血管长度、血管狭窄程度、远端CT值及管腔内粥样斑块性质,有助于降低治疗盲目性,提高血管腔内治疗成功率。     

光子轨道角动量纠缠实现量子存储

中国科学技术大学郭光灿院士带领的中科院量子信息重点实验室史保森小组在高维量子中继研究方向取得重要进展,首次在国际上实现了光子轨道角动量纠缠的量子存储,进一步证明了基于高维量子中继器实现远距离大容量量子信息传输的可行性。相关研究已发表于《物理评论快报》。     

“直线的斜率”教学设计及教后反思

一、教材内容的理解与学习目标的制定(一)教材的地位和作用分析平面解析几何是高中数学课程中的重要内容之一,它体现了代数法在刻画平面曲线中的应用,反映了数形结合的重要思想.直线的斜率和倾斜角是高中解析几何的起始课,起着承上启下的作用.本节课涉及到一个概念和一个公式.一个概念是直线的斜率,它是从"数"的角度刻画直线的倾斜程度.一个公式是直线的斜率公式,它显示了直线上点的坐标和直线斜率之间的关系.任意给出直线上不同两点的坐标,直线就被唯一确定,则它的斜率也就确定了,这说明两点坐标     

斜率在高中数学中的运用

<正>高中数学教材的"解析几何"无疑都是十分重要、且有着里程碑意义的章节.它以坐标系为桥梁将数与形完美结合,带我们进入了一个不同以往的精彩的数学天地.在这里,"数形结合"的思想得到了充分的体现,抽象的方程、不等式成为更加直观的图形.从直线到圆再到圆锥曲线的很多问题都在培养数学变换能力,即"将一种数学结构变换为另一种数学结构、