Monad的一种自动生成技术

Monad程序的核心是一组Monad定义.Monad定义分为MAP型和BIND型.如果在Monad库中已有所需要的Monad定义型,则可以直接使用,而不需要重新构造;否则,需要重新构造.但如果在Monad程序设计环境中增加从一类Monad构造另一类Monad的自动生成器,那么既方便了用户也扩充了1倍原有的Monad库.鉴于这种思想,用支持Monad程序设计的高阶函数语言Haskell实现了一个Monad的自动生成系统.另外,用户构造Monad不仅要花费较多的时间,而且写出的Monad多态函数往往不满足Monad所需满足的几条公理,因此,从这方面也可以看出,从一种类型的Monad自动产生另一种类型的Monad的重要意义.

饮用水中微生物可利用磷(MAP)的测定方法研究

研究细化了微生物可利用磷(MAP)的测定方法,采用配水试验得出不同磷浓度与对应浓度下生长的P17菌最大菌落数N_(max)有较好的线性关系。试验测定的MAP产率系数为1.10×10~9CFU/μg PO_4^(3-)-P,MAP测定适用范围为0.5～10μg/L(以PO_4^(3-)-P计)。经过分析提出MAP测定可以用第3,4天的P17菌落数最大值代替最大菌落数N_(max),减少了MAP测定工作量。对某市给水处理工艺和配水管网中MAP占总磷的百分比分析表明,微生物可利用磷与总磷并没有固定的比例关系。

拓扑空间中若干性质的非标准研究

本文利用非标准分析的定义对拓扑空间的一些基本性质进行了研究,表明了在非标准分析定义下拓扑空间的性质与一般拓扑学中定义的性质是一致的,根据分离公理的非标准定义给出了分离公理相对化的非标准定义,又对连续映射的合成进行了非标准证明.

单子集映射m_τ与标准部分逆映射st^(-1)的同态性

在饱和模型中,讨论了单子集映射m_T及标准部分逆映射st^(-1)的同态性质.证明了m_T能扩张成一个σ-同态的充要条件是X是可数紧空间.在一定条件下,st^(-1)是Borelσ-代数上的σ-同态映射,当且仅当X是预Hausdorff的,并给出了一个正则测度的一个Loeb表示.