微分代数多项式系统的可解集

本文对一般微分代数方程给出了几类可解集的概念，并讨论了多项式微分代数方程的可解集，得到子多项式系统具有唯一解。特别是有多于一个的解的条件，并得到了低次多项式在一定意义下的充分必要条件。     

非完整约束奇异广义力学系统的Poincaré-Cartan积分

对受高阶微商非完整约束并用奇异Lagrange量描述的广义力学系 统，基于广义Apell-Четаев约束条件，并考虑到系统的内在约束，导出了该非完整 约 束奇异广义力学系统的广义Poincaré-Cartan积分不变量. 并证明了该不变量与非完整约束 奇异广义力学系统的广义正则方程等价.     

70K温区混合工质分凝分离循环节流制冷机实验研究

混合工质节流制冷机正在许多方面获得越来越广泛的应用。文中设计了一种新型的混合工质分凝分离循环 ,建立了实验系统 ,并在 70 K温区进行了实验。实验结果表明 ,节流制冷机可以达到 6 5 .3K的低温 ,并在 72 K温度提供 1W的制冷量 ,输入功率为 5 0 0 W。     

一般组合弹性结构的数学模型

研究由任意多个体、板、梁构成的一般组合弹性结构静态问题. 通过最小势能原理和虚功原理建立问题在向量表示下的数学模型. 在获得了一般组合弹性结构上的广义Korn不等式后, 利用Lax-Milgram引理证明了模型的唯一可解性. 在对解做合理的正则性假设的条件下, 由相应变分形式导出向量表示下的所有平衡方程, 并得到了一个对该问题进行有限元分析时有重要作用的恒等式.     

激光诱导间质肿瘤热疗的数值模拟和实验研究

本文在考虑生物组织物性动态变化的情况下建立了激光诱导间质肿瘤热疗(LITT)的物理数学模型,采用MonteCarlo方法数值模拟了LITT中激光能量在生物组织内的传输过程,基于Pennes生物传热方程和Arrhenius方程数值求解了组织内的温度分布和热损伤体积的变化,分析了热物性及血液灌注率的动态变化对LITT过程的影响,并与相应的离体实验结果进行了对比。数值模拟结果表明,组织的热物性及血液灌注率的动态变化对于热损伤体积的变化具有重要的影响。因此在激光诱导间质肿瘤热疗的数值模拟中应该考虑热物性及血液灌注率的动态变化以期为临床治疗方案的制定提供更为准确的依据。     

线性均衡约束最优化的一个广义投影强次可行方向法

本文讨论带线性均衡约束最优化问题,首先利用摄动技术和一个互补函数将问题等价转化为一般约束最优化问题,然后结合广义投影技术和强次可行方向法思想,建立了问题的一个新算法.算法在迭代过程中保证搜索方向不为零,从而使得每次迭代只需计算一次广义投影.在适当的条件下,证明了算法的全局收敛性,并对算法进行了初步的数值试验.     

关于Banach空间中凸泛函的广义次梯度不等式

本文在前人^[1,2]的基础之上，以凸泛函的次梯度不等式为工具，将Jensen不等式推广到Banach空间中的凸泛函，导出了Banach空间中的Bochner积分型的广义Jensen不等式，给出其在Banach空间概率论中某些应用，从而推广了文献[3—6]的工作．     

让学生说题--化学课上培养思维能力的一项重要活动

1 问题的提出 解决化学问题是培养化学思维能力、深化学生认知过程的一个重要环节.传统教学中,不论是随堂练习,还是课后作业,总是一种模式:学生做,教师评讲.固然,通过解题,可以复习巩固所学知识,掌握一些解题方法,但是笔练往往不能反映学生的思维过程(学生对题目中的知识出点、题型结构、条件到问题的关系等等的认知情况),选择、填空等类型题更是如此;同时,解题时,学生一般都独立思考,缺少相互间的讨论、交流和提高的机会,不少学生会因某一处卡壳而使思维中断.     

光纤传感振动检测系统及其实验研究

实际工程结构中的振动检测是十分重要的，也是十分复杂的，常用的结构振动检测传感器易受工程现场恶劣环境的影响．而光纤传感器具有小巧、抗电磁干扰、灵敏度高、适合长期监测等优点。本文建立了基于马赫—曾德(Mech-Zehnder)干涉原理的光纤传感振动检测系统．研制了运用先进的数字信号处理技术采集和处理数据的专用软件，并在典型结构件——钢制悬臂梁结构上进行了外加信号作用下的强迫振动检测和冲击载荷作用下的自由衰减振动检测，测量了该结构件的频率及振幅，其结果与同时进行的成熟的电测结果相近，说明光纤传感器用于结构件的振动测量是可靠的。本文为光纤传感器应用于实际工程的振动检测提供了新的技术装置，具有工程应用前景。     

有限长通电螺线管空间的磁场分布

本文计算了有限长通电螺线管空间的磁感应强度分布，给出了解析表达式，并绘出了它们的空间分布图。