函数式语言中赋值语句（之二）

为了能够较好地处理函数式程序设计语言中的I/O问题,通过采用Monad方法将I/O加入到函数式程序设计语言中,来保持函数式程序设计语言的优点,本文探讨了在函数式I/O系统中加入赋值操作与其引用透明性的问题。     

叙列空间上的K级有界变差函数

本文是在有研究结果的继续，讨论了叙列空间上Ｋ级强有界变差函数，Ｋ级有界变差函数、Ｋ级弱有界变差函数的关系和性质，从而进一步推广了「３」中的有关结论     

纳米级锂离子电池正极材料LiCoO2的制备及表征

LiCoO2是锂离子电池中最有前途的正极材料之一，近年来人们对它进行了广泛的研究．这里我们通过两种不同的湿化学方法首次合成了纳米级的LiCoO2：溶胶—凝胶法(方法B)和一种改进了的溶胶—凝胶法(方法C)。为了便于比较，我们也采用了固相反应法(方法A)。用DTA，IR，XRD，TEM等技术对前驱体和LiCoO2纳米颗粒进行了表征．结果表明在600℃煅烧时可以得到晶化程度较好的LiCoO2纳米颗粒，方法A和方法B得到了直径大约为100和40nm的球状颗粒，而方法C主要得到球形颗粒，同时伴有少量小棒形颗粒生成，直径约为50nm。电化学测试表明方法C得到的产物具有最好的性能。     

化工安全仪表系统失效率与检测周期迭代算法

现行国内外功能安全标准在计算安全仪表系统(SIS)的平均需求失效概率时,均假设失效率为定值,但设备由于老化、腐蚀、磨损等随机因素,失效率会随时间缓慢上升导致计算模型误差增大.此外需要对SIS进行定期检测,以发现其可能存在的隐蔽故障,但在实际生产中不确定性因素影响下,检测可能无法严格按照预定周期开展,导致平均需求失效概率...     

N-（5-取代-1,3,4-噻二唑-2-基）-酰胺类化合物的合成、结构表征及其生物活性研究

为了寻找高效生物活性的化合物,笔者设计合成了一系列同时含有1,3,4-噻二唑、酰胺及芳氧亚甲基等活性基团的化合物.首先以取代羧酸和氨基硫脲为起始原料,三氯氧磷为脱水剂,脱水环化得到2-氨基-5-取代-1,3,4-噻二唑,然后再将所得到的产物与酰氯进行酰胺化反应,合成出12个新的N-(5-取代-1,3,4-噻二唑-2-基)-酰胺类化合物.将所合成的化合物通过元素分析、红外光谱、核磁共振氢谱等测试手段进行分析,确证结构.初步观察了所合成的目标化合物在10 ppm浓度下对小麦胚鞘发芽的影响,测试结果表明,所合成的目标化合物中大部分对小麦芽鞘生长具有抑制作用.     

阶的估计及其应用

本文探讨阶的估计及其在求极限中,在判别级数收敛与广义积分收敛中的应用.     

一种灰度图象的自适应分割算法

利用遗传算法的高效搜索性能和模糊集合理论能较好地描述问题的模糊性和随机性，提出了基于遗传算法的最大模糊熵快速分割算法，将遗传算法和模糊集合理论结合起来应用于灰度图象单闽值和多阈值分割．实验结果证明该方法有效地实现了快速分割，并具有较好的鲁棒性．     

若尔盖高原土地利用变化及其驱动因素研究进展

土地利用变化是全球变化的重要影响因素,直接影响生态系统结构和功能.简要回顾了若尔盖高原地区土地利用变化及其驱动因素研究进展,特别是草地、湿地和沙地的生态保护与修复政策和工程对土地变化的影响.针对目前若尔盖高原土地利用产品存在数据源、精度和分类不一的情况和定性分析土地利用变化驱动因素的研究现状,对未来相关研究提出以下展望：(1)通过无人机和卫星遥感结合获取时序长、精度高、分类体系完整的土地利用产品;(2)加强对人地系统耦合研究,定量和预测生态保护与修复政策和工程等驱动力因素对若尔盖高原土地利用变化的影响.本文旨在为该区域土地利用管理优化和提升区域生态系统服务功能提供理论支撑.     

海洋强国之路:学习·追赶·超越

在当前的认知中,地球是茫茫宇宙中唯一可为大型生命提供舒适生存环境的星球,一个重要的原因是海洋的存在. 海洋覆盖了地球71％的表面积,拥有约97％的地球总水量,为维持人类和地球生物圈的稳定生存环境提供了重要支撑.它吸收了约三分之一人类排放的CO2,也储存了 90％以上人类释放的温室气体所导致地球系统增加的热量.人类产生的...