线性非齐次方程待定函数法及相关定理证明

把数理方程混合问题的方程和边界条件视为一个整体,给出了齐次方程加齐次边界条件的形式通解的概念并证明了相关定理,还证明了非齐次方程加非齐次边界条件的形式通解的结构定理,总结了待定函数法解题步骤及一般形式,提供了求解线性非齐次方程混合问题的简便解法。     

拟可微约束优化的次线性Lagrange乘子法则

约束拟可微优化的Lagrange乘子型最优性条件．往往与某些特殊对象（超梯度,方向）的选取有关．这是拟可傲优化的核心问题之一,应用凸紧集与次线性函数的Minkowski对偶．利用次线性泛函产生的非线性Lagrange函数．对于具有有限个等式和不等式约束的拟可微优化,给出了一个与特殊对象选取无关的次线性的Lagrange乘子法则,推广了已有的结果．     

应用模块法杂凑语言的上下文无关文法

编译程序的编制过程中,人们首先接触是语言,而上下文无关文法是作为程序设计语言重要的语法描述工具。因此,只有将语言用上下文无关文法表示才能使用现有的技术,从而用计算机自动实现。通过应用模块法将语言进行模块化划分,并在模块内实现杂凑,能够成功地、方便地实现语言到上下文无关文法的转换。     

局部荷载作用下立井井壁破坏形式研究

针对立井井壁受局部荷载破坏问题,如因破壁注浆压力过大而导致的井壁破坏,采用有限元数值分析的技术手段,利用大型通用软件ANSYS建立了钢筋混凝土立井井壁的三维有限元模型,详细分析了其在局部荷载作用下应力、应变以及最终失稳形态,找出了其最先破坏位置以及破坏发展过程,指出了与均布荷载作用下破坏形式的不同,为实际工程中立井井壁加固位置的确定及破壁注浆极限压力的确定提供一定的理论依据。同时将ANSYS的屈曲分析应用到立井井壁极限承载力的分析中,避免了繁琐的理论解析过程,建立了一种能够迅速判断立井井壁在局部荷载作用下极限承载力的方法,可以为壁后注浆加固工程进行及时的指导,在现实工程中有着极为广阔的应用。     

定性仿真与人工智能的关系及计算机化解法体系

定性仿真是采用定性推理方法建立和求解定性代数方程或定性微分方程模型,得到被仿真对象的定性行为和展望的预测过程。定性仿真(QSIM)和基于深层知识的人工智能技术,在其核心内容上看是属于同一科学领域。图论方法是求解复杂定量或定性仿真模型的实用且有效的计算机化方法。提出了有关定量和定性仿真计算机化的解法体系,给出了一种计算机求解实例。     

接枝淀粉浆料氧化还原接枝引发剂的评价

以丙烯酸(AA)及丙烯酸甲酯(MA)为接枝模型单体,以接枝率、接枝效率、单体转化率、黏度、黏度热稳定性和黏附性能为评价指标,研究了Ce(NH4)2(NO3)6,FeSO4/H2O2,KMnO4/C6H8O7,K2S2O8/Na2S2O3,(NH4)2S2O8/NaHSO35种引发体系对淀粉的接枝引发作用,评价了它们作为接枝淀粉浆料引发剂的优劣,为进一步改善接枝淀粉浆料的使用性能奠定基础,为工业化生产提供参考和依据.研究结果表明,(NH4)2S2O8/NaHSO3和FeSO4/H2O2是性价比较高的引发剂,可以作为接枝淀粉浆料的引发剂.     

超细活性废胶粉改性沥青的微观结构及其流变性能研究

采用超细活性废轮胎胶粉(UACR)和普通废轮胎胶粉(CR)分别制备了超细活性废胶粉改性沥青(UACRMA)和普通废胶粉改性沥青(CRMA).利用傅里叶红外光谱仪、扫描电镜、光学显微镜和旋转流变仪研究了改性沥青的微观结构和流变特性.结果表明:UACRMA体系中胶粉与基质沥青发生了化学和物理作用,UACR颗粒均匀地分布在基质沥青中,且随着UACR份数的增加,体系逐渐形成网络结构,回弹性能和高温稳定性逐渐增大,界面松弛逐渐减弱;而CRMA体系中胶粉与基质沥青仅发生了物理作用,CR颗粒较大,无法形成网络结构.     

非线性时滞系统的随机稳定化

本文讨论非线性时滞系统的随机稳定化问题。对于给定的非线性时滞系统，通过引入一个随机噪音项，可得到一个新的非线性随机时滞系统。在给定条件下，对于任意给定初值，可保证该非线性随机时滞系统具有唯一整体解，且该精确解以一般衰减速度几乎处处稳定。     

地方性知识标准化过程的探究——琼·藤村关于癌症科学标准化过程的解读

科学实践哲学认为科学知识本性是地方性的,根本就不存在普遍性的科学知识.所谓普遍性知识是知识标准化的结果.那么科学知识是如何被标准化成今天大众所理解的科学知识呢?美籍科学哲学家琼·藤村通过深入癌症科学研究实验室的实证研究工作,描述了科学地方性知识的标准化过程,有力地支持了科学实践哲学关于科学知识从始至终就是地方性知识的观点.     

中国古代楚国建筑的“天人合一”建筑观

本文试图以研究古代楚文化的特点为基础，探讨其“天人合一”建筑观的形成必然性和其建筑独具风格的南国特色。