稳定映射与局部代数格范畴的笛卡儿闭性

本文引入稳定映射迹的概念，得到了局部代数格上的稳定映射可由迹唯一确定以及局部代数格的稳定映射空间关于稳定关系构成局部代数格，在此基础上证明了以局部代数格为对象稳定映射为态射的范畴是笛卡儿闭范畴。     

因素空间理论与知识表示的数学框架（Ⅷ）─—变权综合原理

本文是文［１－７］的继续，研究变权综合问题，从确定变权的经验公式入手引出了变权原理，给出了变权的公理化定义，讨论了与之有关的均衡函数及其梯度向量。     

Li—方程族的换位表示和一个驻定系统

本文据文[1]的思路,得到了Li-谱所对应的发展方程族的换位表示,并讨论了一个驻定系统.     

模型论中的拓扑学方法

本文利用拓扑学方法研究了ω-范畴理论的性质,并对模型个数问题进行了讨论.     

线性分式规划最优解集的求法

本文使用多面集的表示定理，导出了线性分式规划最优解集的结构，并给出确定全部最优解的计算步骤。     

自由模的自同态环之间的同构

本文主要结果如下:(1)证明了两个自由模及是半线性同构当且仅当End_F与End_G是严格的环同构(见定义1)。(2)用不同方法证明并推广了1985年Bolla用范畴方法来描述End_F与End_G之间的环同构。(3)1962年Wolfson定理是我们的推论。     

常平均曲率曲面的谱变换与Weierstrass表示

利用可积系统的方法, 研究了三维双曲空间常平均曲率曲面的形变, 以及三维双曲空间常平均曲率大于1的单连通曲面的Weierstrass表示公式.     

基于MMD算法的HMM参数重估计的矩阵表示

本文提出的MMD算法用于提高模型区别错误信息和正确信息的能力．利用该算法在对模型的参数进行重估计时．涉及到复杂的目标函数的梯度运算．击运用矩阵运算使得梯度运算变得简单明了，因此本文给出了MMD算法下的HMM参数重估计的矩阵表示形式并给出了证明．     

计算物理学会常务理事会会议纪要

2004年8月17日在北京应用物理与计算数学研究所召开了全国计算物理学会常务理事会议。出席本次会议的有理事长赵宪庚、副理事长张锁春、蔚喜军和部分在京常务理事王鼎盛、陈润生、沈隆钧、江松、汤铭端、袁礼、王仲奇、李新亮等人。陈雨生、袁益让、马汉东来电话或电子邮件表示同意会议决议。