关于Fejer点上的一种复有理型插值的一致逼近阶

设D是一个Jordan,Г为其边界，并设Г满足Aльпер条件。本文得到了一种基于Fejer点的有理型插值算子对于f(z)∈C（Г）的一致逼近阶。     

高等代数与解析几何一体化教学思考

本探讨了高等代数与解析几何进行一体化教学的必要性，研究了高等代数与解析几何进行一体化教学以后教学内容的协调性与教学手段的合理性，强调了数学实验在高等代数与解析几何一体化教学中的重要性。     

无原子布氏代数理论的计算复杂性

研究无原子布氏代数的计算复杂性 .得到了下面的新定理 :定理 1　无原子布氏代数理论Δ具有完全的量词消去法 ,也就是说每一个式子都Δ等价于一个开式子 .定理 2　无原子布氏代数的初等型Γ (x1,… ,xn)是由型内的不含量词的全体开式子所唯一决定 .定理 3　无原子布氏代数的一个长度为 n的语句的判断过程所消耗的 Turing时间和空间都是属于 2 2 cn指数级 .     

线性加指数效用函数的组合投资研究

应用无差异曲线法较好地解决了在投资决策分析中具有特殊重要地位的线性加指数效用函数的最优组合投资比例的求解问题,并给出实例予以说明.     

Green公式和代数的遗传性

设Λ是有限域k上的有限维代数, 证明了在molΛ中Green公式成立当且仅当Λ是遗传代数.     

基于ECC的限制性部分盲签名及离线电子现金方案

本文简述了电子现金系统的研究成果及其发展现状，针对已有的基于椭圆曲线的限制性盲签名方案提出可能的攻击手段，并在此基础上提出安全的基于椭圆曲线的限制性部分盲签名方案，同时也构建了一个与已有方案相比更富应用价值的高效离线电子现金方案．     

"受迫振动共振"演示实验的改进

高一物理新教材第九章第七节受迫振动共振中出现了三种频率：物体受迫振动的频率、驱动力的频率和物体的固有频率，对三种频率的理解学生感到困难；其次，对共振曲线的理解也感到很抽象。为此，对本节演示实验进行了较科学的改进，收到了很好的效果。     

复制受限的环境演算中模态逻辑的内涵性

环境演算(MA)的模态逻辑AL进行了研究．在考虑了复制操作和限制操作的情况下，提出了逻辑等价的协归纳操作描述，并利用协归纳关系与进程结构同余关系进行比较，证明了若对MA加上约束条件得到子集MAIF^syn，此时逻辑等价(=L)与结构同余关系是等价的，即AL在MAIF^syn中是内涵的．同时发现由于复制操作的存在，AL的内涵性受到了影响，使得AL的区分能力被削弱，但通过对复制公式的构造验证了AL的表达能力．     

平面数控抛光工艺优化技术

为了满足“神光”-Ⅲ装置对大批量大口径光学元件的需求，解决加工精度以及加工效率等方面的问题，对计算机控制光学表面成型技术（CCOS）进行了多方面的研究。在对平面数控软件进行了深入的研究工作后，结合高精度干涉检测手段，对数控工艺软件进行了大幅的改进。     

多元χ演算运行时错误的不可判定性

针对多元χ演算运行时刻通信安全的判定性问题进行了研究．通过从Lazyλ项到χ项的编码，将判定一个Lazyλ项是否有范式的问题归约为进程是否有通信错误的问题．证明了在多元χ演算中，通讯错误也是不可判定的．结论说明不存在算法直接来检测进程的通信安全性，而只有通过其他间接的手段(如构造类型系统)才能部分达到预防运行时错误的目的．