吴文俊与数学机械化

机器证明的思想可以回溯到17世纪的Descartes与Leibnize,20世纪初Hilbert更明确地提出了公理系统的机械化判定问题,但是,随后的种种努力都未能使机器证明取得本质的进展。近20年来,吴俊继承并发展了中国古代的数学思想,在定理机器证明上开创了以多项式组零点集为基本点的消元方法;吴俊的数学机械化方法已在物理规律的发现,机器人学,计算机视觉以及促进现代数学研究等重大高科技的前沿领域实现了成功的应用。数学机械化研究的兴趣,是中国当代数学发展中一个引人瞩目的具有中国传统特色的新里程碑。     

再析建部贤弘“缀术”之本质——兼论《缀术算经》的数学体系

《缀术算经》(1722)是江户时代的一本重要的和算书,中日学者从不同角度分析了其中的内容,然而对于该书十二道算题中的“解题本术”所蕴涵的数学思想只有一些零星讨论,并没有展开系统研究,至于其“缀术”的本质,一般均认为是今日所谓的归纳法.事实上,其“缀术”的思想集中反映在其十二道算题的“解题本术”之中.本文通过对“解题本术”进行系统分析,认为其“缀术”的本质乃将“算法单元”连缀起来的方法.其中的“法则、术理、员数”是对数学内容的分类,“理”、“术”、“数”是解法系统的组成部分,而“据理探”和“据数探”则是缀术的基本方法,数学内容、解法系统、探索方法共同构成了《缀术算经》的数学体系.     

基于数学平台的摆式列车姿态参数计算方法

在摆式列车的研制中,研究列车未平衡加速度的测量方法是系统的关键技术之一,摆出了基于“数学平台”的摆式列车姿态计算方法,建立了“数学平台”的系统的数学模型,研究了摆式列车姿态求解方法并进行仿真计算。     

管理创新：城市交通发展良性循环的重要保障

中国作为世界上城市最多的国家,随着城市化进程的高速发展,中国城市交通问题日益严峻,以至于已经成为许多城市所面临的难题之一。发达国家和国内部分先进城市的经验已经证明,要解决城市交通问题,决不能把注意力集中于“硬件”建设上,而应同时给予交通“软件”足够重视,只有“软硬”兼施,才有可能找到解决城市交通难题的途径。     

数学在交通事故处理工作中的应用

数学起源于计数、丈量土地等实际生产活动，也就是说她一开始就是从应用中诞生。因此，数学既是一门基础科学，更是一门应用科学。所以，若将其原理应用于交通事故处理工作中去，则能解决工作中的实际问题与难题。下面，笔者就其应用展开探讨。     

“数学实验”课程：指导思想与开设内容

阐述了开设“数学实验”课程的背景。提出了开设该课程的指导思想。详细介绍了其中的“数学软件实验”课的三部分内容：数值计算方法，数学软件Ｍａｔｈｅｍａｔｉｃａ和Ｍａｔｌａｂ。     

新职教法实施背景下高职数学“活页式”教材建设探究

新修订的《职业教育法》是促进当前职业教育发展的根本法律和制度保障,建设中国特色的高质量教材是当前职业院校提质发展的重要一环。通过对高职数学教材建设的现状内驱力和发展外动力研究,确立高职数学教育现代化“活页式”教材建设的目标,探索高职数学“活页式”教材“理实一体+X”模块的设计与优化方向,凸显职业教育的类型特色,以期能推进高职公共基础课程的高质量发展。     

高职数学“一体化”教学探讨

数学教育在高职教育中应该承担两大功能，即学生职业核心能力的培养和为专业课程提供基本工具。目前，高职数学教学现状落后于现代职教理论的发展，不能有效融人人才培养体系。为解决这一问题，本文主要论证了高职数学构建“一体化”教学的可行性，指出数学知识来源于生活与生产实践，基于项目、任务导向设计教学具有可实施性。最后对一体化教学设计的基本原则进行了论述。     

恶无限性造成三次数学危机

数学史上出现的三次数学危机，与其说是“数学的危机”，不如说是“数学哲学的危机”。解决的办法只有依靠哲学。三次数学危机的共性是在于数学家们研究数学的过程中执拗于恶无限性，也由于思维把一个对象的实际上联结在一起的各个环节彼此分隔开来考察。三次数学危机给我们的反思；自然科学家力图建立无所不包的庞大理论体系行不通；单靠形式逻辑不能解决危机；一直到现在，数学家们仍重犯恶无限性毛病，数学的演进始终是在离散与连续相互作用和相互补充的矛盾中。     

“公平”的理论思考及政策选择

因“三大差距”进一步扩大,并引发诸多社会矛盾、危及社会和谐,公平与效率的关系问题再度成为学术界争论的焦点。本文认为当前学术界相异的观点实质上具有统一性,而引发争议的主要原因有二：一是对公平内涵理解的差异,二是没有“具体问题、具体分析”。并就以上两个问题提出了相应的观点及现阶段恰当处理公平与效率关系的政策主张。     

缺氧在大鼠肝纤维化形成中的作用机制

目的探讨缺氧在大鼠肝纤维化形成中的作用机制。方法建立胆管结扎(bile duct ligation,BDL)大鼠肝纤维化模型,术后1、3、7、14、21、28 d取材,观察肝脏组织学及超微结构的改变;逆转录PCR检测转化生长因子-β1(transforming growth factor-β1,TGF-β1)、Ⅰ型胶原(collagenⅠ,Coll-Ⅰ)mRNA的表达;蛋白免疫印迹检测缺氧诱导因子-1α(hypoxia-inducible factor-1 alpha,HIF-1α)、α-平滑肌肌动蛋白(α-smooth muscle actin,α-SMA)的表达;缺氧培养原代肝星状细胞(hepatic stellate cell,HSC),逆转录PCR检测HIF-1α、TGF-β1、Coll-I mRNA的表达,蛋白免疫印迹检测α-SMA的表达。缺氧/常氧下,加TGF-β1中和抗体、HIF-1α诱导剂氯化钴(cobalt chloride,CoCl2)或抑制剂2-甲氧雌二醇(2-methoxyestradiol,2 ME2),逆转录PCR检测Coll-I mRNA表达的变化。结果①电镜下显示大鼠肝脏术后出现缺氧的表现;②术后3 d时,HIF-1α的蛋白表达升高,7 d时,TGF-β1、Coll-I mRNA及α-SMA蛋白的表达升高;③缺氧诱导HSC表达HIF-1α、TGF-β1、Coll-I mRNA及α-SMA蛋白表达的升高;④常氧下CoCl2诱导Coll-I mRNA的表达,中和抗体及2 ME2抑制缺氧诱导Coll-I mRNA的表达。结论缺氧激活HSC,增加细胞外基质的沉积,促进大鼠肝纤维化的形成,其机制与TGF-β1和HIF-α的介导信号通路密切相关。     

社会转型关键期的法理学前沿——2012年国内理论法学研究成果综述

在检索和分析了2012年出版的法学关键刊物以及其他相关延伸刊物中发表的法理学研究成果后,本文把这些研究成果区分为基础理论和现实问题两部分加以综述.大致勾勒出本年度法理学前沿的轮廓:1.学术主体意识增强,学者们集体尝试建构中国式法理学,并正在成为世界法理学舞台上的生产者;2.对于中国立法、司法、执法等深层问题的解决方案何去何从,学术争鸣气氛浓郁;3.基础理论研究向纵深拓展;4.精准聚焦现实问题,回应了中国社会转型关键期呈现的各种法律理论问题和现实问题.     

物联网在智慧校园中的应用

物联网是建设智慧校园的重要技术支撑。本文首先介绍了物联网的定义、发展历史和运行工作过程,然后根据物联网技术的特点从教学、智慧图书馆、智慧节能、平安校园四个方面详细阐述了物联网在智能校园中的应用,为物联网技术在各级各类学校中建设智慧校园提供一定的技术参考和支持。     

青岛滨海公路桥梁台身开裂原因分析

对青岛市海滨公路北段K46＋883小桥进行了检测,通过调查分析研究了台身产生开裂的原因及其影响,并对处理措施提出了合理的建议。     

恢复生态学在青海高等级公路绿化中的应用研究

根据青海省内的自然地理条件,将恢复生态学中的生态因子限制原理、生态位学说、生态因子适应性原理以及群落演替原理应用到青海省高等级公路绿化中,制定出有针对性的绿化对策。实践证明,恢复生态学的理论对于指导青海省的公路绿化具有非常现实的意义。     

文体学视角与古代诗学辨体理论研究

中国文学史是一部文体形态演变发展的历史。立足于本土文学批评理论本身，借鉴西方文体形式批评的研究角度与思维方法，从文体学角度来研究古代诗学辨体理论，对于发掘与认识中国文学思想的民族特征，深化古代文学批评研究具有重大意义。     

层次分析法在高校奖助学金评定中的应用

分析了高校奖助学金评定的常用方法及存在的问题,引入层次分析法,建立奖助学金评定的层次分析模型,解决了评定过程中各因素量化困难的问题,给出了合理的评定方案,操作简单易行。     

就地热再生技术在路面病害处理中的应用

作为新兴的路面养护技术,沥青路面就地热再生技术具有显著的社会效益及经济效益.鉴于此,结合工程实例,针对路面出现的裂缝情况,对该路段路面采取就地热再生处理技术,以及时修复路面,避免雨水、雪水融化下渗破坏基层,并详细探讨该技术的实施过程.     

考虑潜在类别的市内机动化出行行为模型

为了研究出行者出行选择偏好的异质性和心理因素对出行选择行为的影响,通过验证性因子分析得到影响出行方式选择的心理潜变量;将求得的潜变量纳入潜在类别条件Logit模型,采用期望最大算法求解,得到样本潜在类别的数量和效用函数;最后,以广州市为例进行实证分析.结果表明:潜在类别条件Logit模型对数据的拟合度高于传统的条件Lo...     

EP_2在海马齿状回突触传递中的作用

目的 探讨EP_2在小鼠海马齿状回突触传递中的作用及其机制.方法 细胞外记录技术记录海马脑片穿通纤维-齿状回颗粒细胞突触的场兴奋性突触后电位(fEPSP).结果 ①EP_2的激动剂Butaprost增强海马齿状回突触传递和降低双脉冲比(paired-pulse ratio, PPR),此效应被EP_2的拮抗剂AH6809所阻断.②Forskolin单独或Forskolin+AH6809均可增强fEPSP的斜率.③EP_2增强突触效能的效应由PKA,ERK和IP_3途径介导.结论 多信号转导途径可能参与EP_2激活诱导的突触传递增强.