预测我国钢铁工业发展趋势的递归模型

本文根据我国钢铁工业生产特点,建立了60多个变量、28个方程的递归模型,描述了钢铁工业生产的结构形式,确定了主要生产环节的生产函数,给出了各种经济变量间的相互关系,预测了我国矿、铁、钢、钢材、产值等28个主要的内生变量的未来值,分析了“七五”、“八五”、“九五”三个五年计划可达指标、发展速度及保证条件。经过1984年的实际检验,证明模型的预测效果良好。     

时间词义赋值的个别差异的初步研究

运用模糊统计对１０个持续时间词进行了初步研究，然后选出其中２个，让不同个性特征的男女被试对其赋值。结果表明：在时间词的估计值和估值范围上，Ａ型行为类型者的赋值都小于Ｂ型行为类型者；低焦虑者的时间词的估值范围大于高焦虑者；在赋值特征上性别差异不显著．     

多边形的等积三角剖分

2000年，美国数学家Stein提出了一个很一般的猜想：任何特殊多边形不可能划分为奇数个面积相等的三角形，并证明了猜想对边数不超过6的特殊多边形成立．借助Sperner引理与2-进赋值函数证明：对任何正整数n＞6，存在边数为n的特殊多边形，并证明猜想对边数为7的几类典型的特殊多边形成立．     

AR箭图—类连通分支中的几乎分裂序列

设A是代数闭域F上一个有限维基连通代数,modA为有限维右A-模范畴,ΓA为代数A的AR箭图.由于modA中成立Krull-Schmidt定理,通常将modA中模与它的同构类看作一回事.Auslander和Reiten在研究Artin代数的表示理论时,引进了几乎分裂序列和既约映射的概念.今天,几乎分裂序列理论已成为代数表示论的一大基石. 令0→X→(?)_i~r=_1Y_i→Z→0是modA中的几乎分裂序列,其中Y_i是不可分解的,则数γ刻画了modA中始于X且止于Z的映射的复杂程度.因此,研究几乎分裂序列中间项的不可分解直和项的个数是很有意义的.Bautista和Brenner证明了如果A是有限表示型的,则modA中几乎分裂序列中间项至多有4个不可分解模,当中间项有4个不可分解模时,必有一个是投射-内射模.Liu将此定理推广到非正则模的几乎分裂序列上.本文研究的modA中几乎分裂序列出现在AR箭图中     

(L)ukasiewicz命题逻辑系统中的赋值决定公式问题

为了在经典逻辑学中建立Fuzzy分离规则的推理模式，Zadeh提出了赋值决定公式问题（VDF问题），并已于二值命题逻辑以及Lukasiewicz三值和p＋1值命题逻辑中得到解决．文中在更一般的Lukasiewicz命题逻辑系统中建立了VDF问题的求解理论，首先给出了一般的Lukasiewicz命题逻辑系统中VDF的合理性条件，其次构造性地解决了Ln、La和Lc中的VDF问题．     

R0-代数的R0-语义集上的拓扑

以ΩM记R0-代数M到R0-单位区间的全体赋值之集.证明一个同构于一族全序的至多可数的R0-代数的直积的子R0-代数M是赋值决定序的,即x≤y当且仅当(V)v∈ΩM,v(x)≤v(y).然后通过一种自然的方式在ΩM上引入Fuzzy拓扑δ,研究拓扑δ及其相应的截拓扑的性质.建立R0-代数的Fuzzy拓扑表现定理和Loomis-Sikorski定理.     

─类Fuzzy模的Fuzzy赋值

讨论Ｆｕｚｚｙ向量空间和Ｆｕｚｚｙ模的有限赋值分布问题．Ｒ．Ｌｏｗｅｎ在１９８０年证明了每个Ｆｕｚｚｙ有限维向量空间仅有有限个Ｆｕｚｚｙ赋值［３］．Ｆｕｚｚｙ模是Ｆｕｚｚｙ向量空间概念的一般化，它是由Ｃ．Ｖ．Ｎｅｇｏｉｔａ和Ｄ．Ａ．Ｒａｌｅｓｃｕ于１９７５年引入的［１］．我们在１９８７年找出了一大类Ｆｕｚｚｙ模，它们具有有限Ｆｕｚｚｙ赋值分布的性质［５］．经研究，进一步得到Ｆｕｚｚｙ模具有有限Ｆｕｚｚｙ赋值的充要条件，并介绍了一种求出这些Ｆｕｚｚｙ赋值的计算方法．     

几乎Prüfer整环的研究

通过对几乎赋值环的理想和性质的讨论,对几乎Prüfer整环的理想和性质进行了刻画,证明了几乎Prüfer整环的几个等价条件.最后给出一个例子来说明几乎Prüfer整环不是Prüfer整环.     

程序中表达式的副作用问题讨论

讨论函数式语言中引入赋值操作 ,表达式的副作用对程序正确性检查的影响 ,同时也讨论了强制型语言中如何克服表达式的副作用 .文中引入了良性副作用的概念 ,并对函数式语言和强制型语言中表达式副作用是否是良性的作了进一步的讨论