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

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

具有离散时滞的非自治扩散的N种群竞争模型

1模型与概念文献[1]给出了如下具有时滞的Lotka-Voltrra竞争模型x(t)=x(t)(r1-ax(t-τ)-by(t))y(t)=y(t)(r2-cx(t)-dy(t))本文将上述模型推广到非自治的N种群竞争扩散模型进行讨论.考虑如下形式的模型x·i(t)=xi(t)(ri(t)-aii(t)xi(t-τ)-∑nj=1,j≠iaij(t)xj(t))x·n(t)=xn(t)     

区间值进程演算的可加模型

进程演算是研究并行计算和分布式计算的一个重要语义模型．引入区间值进程演算的可加模型（简称AICCS），以解决在并发通讯系统中产生的不确定性．在该模型中，前缀进程、并行进程以及和进程都赋以区间值．作者给出了AICCS的语法及可加的操作语义，引入了进程的量化这一概念，在此基础上引入强互模拟和μ-强互模拟的概念，并且讨论了其相关性质．     

生物除磷脱氮工艺再生回用水作为冷却水应注意的问题

污水处理的再生水回用与冷却用水采用除磷脱氮工艺,是把好水质质量关的重要保证。提出在生物除磷脱氮工艺的管理运行中,要采用科学方法,使水处理工艺达到最高能效;在运行管理中要掌握原理,注意生物除磷脱氮的主要影响因素和其他方面的问题。     

二元合金非等温凝固枝晶生长的数值模拟

采用相场方法对二元合金的非等温凝固进行二维数值模拟.以Ni-Cu合金为例,研究了在不同热扩散系数和不同溶质梯度系数下枝晶的生长以及二元合金的溶质分布.研究结果表明,随着热扩散率的增大,包围等轴晶的热扩散层增厚,抑制了侧向分支的生长,从而使侧向分支生长不发达;其次,热扩散率的增大,使得溶质场扩散层也明显增厚,溶质截留现象不明显,但在溶质场界面前沿产生明显溶质偏析;当溶质梯度系数增大时,相场形貌厚度并不产生影响,但溶质场扩散厚度却显著增加,而溶质偏析程度得以降低.     

毛细管法研究pH值对放射性核素^152＋154Eu（Ⅲ）在紧密皂土中的扩散影响

利用毛细管法研究了pH值对放射性核素^152＋154Eu在紧密皂土中的吸附和扩散影响．实验结果与Fiek定律理论计算值非常一致，与近似条件下其他方法的测量结果非常相近，表明毛细管法的正确性．研究结果表明，放射性核素^152＋154Eu（Ⅲ）在紧密皂土中的扩散随pH值的升高而减小，^152＋154Eu（Ⅲ）在紧密皂土上的吸附随pH值的升高而增加，Eu（Ⅲ）在皂土上吸附的分配系数随皂土密度的增加而减小．皂土的密度（皂土的空隙数）对放射性核素的吸附、扩散和迁移起重要的作用．     

一类超抛物型极限方程的非线性反应扩散问题

讨论了一类具有超抛物型极限方程的非线性奇摄动反应扩散问题.利用比较定理,研究了问题解的存在唯一性及其渐近性态.     

一种改进的图像自适应非线性滤波方法

针对图像的保边光滑问题，分析了Perona-Malik(PM)方程的非线性滤波扩散行为，利用保边正则化思想给出了由一种新的各向异性扩散方程所决定的图像自适应光滑算法。这种新的各向异性扩散滤波方法与PM方程的不同之处在于：扩散系数不是直接来源于图像的梯度幅值，而是在图像梯度模基础上恢复出图像的边缘信息。实验结果表明，所提方法对图像边缘的恢复结果要比PM的方法具有更高的可靠性和准确性。     

基于PLS模型的自适应间歇过程质量预测

间歇生产过程中,很多质量指标不能在线测量,导致过程很难控制。该文应用部分最小二乘(PLS)方法建立软测量模型,通过批次初期在线测量的过程变量对最后的产品质量进行预测。同时,利用过程中得到的中间质量测量值对最后的预测结果进行修正。为了解决过程参数随时间变化的问题,在每个批次结束后利用新数据对原模型进行更新。将该法用于异丁烯酸甲酯(MMA)聚合反应过程,仿真结果显示,该法能够克服过程参数变化的影响,有效地预测最后的产品质量。     

扩散问题边界积分方程的一类新算法

采用与时间相关的基本解，把扩散方程转化为边界积分方程，在时间推进的过程中，使用一种新的推进方法，该法无需计算低时间层的内点值，便直接得到希望的时刻的解，由于避免计算低层的内点值，从而计算量大为减少。数值例子显示该算法具有精度高、稳定等特点。