Stein 流形上 Koppelman-Leray-Norguet 公式的拓广

得到Stein流形上（p,q)型微分形式的Koppelman-Leray-Norguet公式的一个拓广式。该拓广式的特点是含有可供选择的实参数m,m=2,3，…，N（N＜＋∞），由该拓广式，可得到Stein流形上Э^-－方程的含实参数m的连续解。     

S_n~(k)=sum from m=1 to n (m~k)的显式表示

给出了n个自然数k次乘幂之和 ,S(k)n ≡ nm =1mk 作为n的多项式的显式表示     

FORTRAN下拉式菜单的设计

本文设计了FORTRAN下拉式菜单。在TurboC环境下，根据面向对象（oop）的设计思想，进行设计。从原理菜单功能给出了详细的说明。     

一类代数上的逻辑学（Ⅱ）

Ｚａｄｅｈ的复合命题演算方法（简称ＣＲＩ方法）虽然已被广泛采纳并在应用上取得了很大成功，然而ＣＲＩ方法至今尚未有严格的理论基础．本文在一类模糊公式代数Ｆ（Ｓ）上通过特殊的赋值方法为模糊取式（ＦｕｚｙＭｏｄｕｓＰｏｎｅｎｓ）与模糊拒取式（ＦｕｚｙＭｏｄｕｓＴｏｌｅｎｓ）建立了严格的逻辑基础．其中关于ＦＭＰ的一个结果不只是Ｚａｄｅｈ的ＣＲＩ方法相应结果的改进，而且也是首次把ＣＲＩ方法纳入了模糊逻辑的框架之中，沿此途径，进一步提出并研究了前提与结论之间的支持度与相似度的理论．     

酸化-序列活性污泥工艺处理屠宰污水——实践研究与工程实践

本文论述了厌氧酸化-序列式活性污泥(SBR)工艺处理屠宰污水的工艺原理、试验及工艺设计参数.原污水先经砂除杂,接触床厌氧酸化,SBR工艺采用半限制或限制曝气方式运行,排泥周期5～6个月,处理水优于GB8978-88新建企业一级排放标准,氯消毒后回用于性猪栅及水膜除尘等作业,回用率50%以上。     

火电站哈蒙系统空冷器的热力计算

本文提出空冷电站哈蒙系统的空冷器和自然通风冷却塔的热力计算方法。以600 MW机组为例的计算结果与实际数值极为吻合。     

几类图的联结数

本文给出了若干完全图的联(nK_r+mK_s),圈、路和完全二部图分别与完全图的补图的字典式积(C_m(K_n)、L_m(K_n)和K_(a,b))以及完全r—部图(K_(n1,n2,…nr))等几类图的联结数。     

利用软汉字库在X－Y寻址DC－PDP上显示汉字

大型的汉字显示日益普及，而显示内容，如新闻提要等却千变万化，以往的单片机、单板机等用造字的方法来进行显示已不能满足需要。本文提出一种无需中文操作系统管理，只在西文状态下直接用微机中软汉字库，将任何已编辑好的中文文本在Ｘ－Ｙ寻址ＤＣ－ＰＤＰ上进行显示的方法。     

孙子定理的推广和应用

本文主要是将孙子定理从两个方面加以推广并举出它在解非线性同余式中的应用。     

具有高阶余项的特征值有限元解的渐近展开

本文研究多角形域上特征值问题的有限元逼近，利用四边形等参数双线性元，证明了．当特征函值为四边形域时，λｈ＝λ＋ｃ１ｈ２＋ｃ２ｈ４＋Ｏ（ｎ）６．当特征函数，Ω为一般多角形域时，λｈ＝λ＋ｃ１ｈ２＋ｃ２ｈ４＋Ｏ（ｈ５｜ｌｎｈ｜）．