中国主要陆地生态系统服务与生态安全研究的重要进展*

介绍了国家重点基础研究计划项目“中国主要陆地生态系统服务功能与生态安全（2009-2013）”执行三年多来的重要研究进展,包括生态系统过程与服务机理、生态系统服务区域综合研究、国家尺度生态系统结构与服务、生态系统服务价值化与生态安全等四个方面。最后概要介绍了项目的后续研究计划。     

农用光转换材料结构的剖析

用高温固相反应制备ＣａＳ：Ｃｕ,Ｅｕ农用光转换材料,运用ＸＲＤ和透射光谱技术对材料的微晶结构进行研究,获得ＣａＳ：Ｃｕ,Ｅｕ荧光材料构态与光转换效率关系的信息,为光转换材料及其相应的光转换农膜的迅速发展提供依据。     

含迭代函数的一些新型Hilbert不等式

推广了类似Hilbert不等式的一些新不等式,获得了含迭代函数的一些新型Hilbert不等式及积分类似形式,所得结论包含和推广了一些以往的相关结果.     

稻壳基高吸水性树脂的合成与性能研究

以过硫酸钾为引发剂,N,N-亚甲基双丙烯酰胺为交联剂,采用溶液聚合反应将丙烯酸(AA)和丙烯酰胺(AM)单体接枝到改性稻壳纤维中合成稻壳基高吸水性树脂.研究了反应温度、引发剂用量和交联剂等因素对高吸水性树脂吸液率的影响.结果表明,反应温度为55℃,m改性纤维∶m丙烯酸∶m丙烯酰胺=1∶3∶2,引发剂用量占单体质量的1.56%,交联剂用量占单体质量的0.44%时,制备的高吸水性树脂吸液率最大,其对吸去离子水和0.9%Na Cl的吸液率分别为154.5 g/g和34.6g/g.     

时间自动机的事务级形式验证

提出了一种形式方法用于验证TLM-2.0的设计方案.该方法中TLM-2.0设计方案将被转换成定时自动机形式模型.定义若干种属性,验证将根据这些属性执行,并引入一种模拟事务级设计方案差错的故障模型来评估这些属性.然后这些属性通过使用形式UPPAAL验证工具在系统的定时自动机表示上针对这些故障被验证.最后通过一个实例研究说明该方法的有效性.     

儒学的价值观──以仁的价值观为主

（一）现代以物质为主的不正确价值观，使人类陷于困境，进人21世纪我们不能不转向以人为主的价值观。自二次世界大战至今，人们就把西方化视为近代化的同义语．凡是与西方化不同的，就被视为落后，特别是儒教更是遭此特遇，被视为近代化的羁绊，作为近代化的反面教材受到批判。随着亚洲各国经济和科学技术飞速发展，我们逐浙赶上了西方，在有些领域甚至超过了西方国家，情况开始发生了变化。日本、韩国、台湾、新加坡等都属于自然资源不足的国家和地区，探寻这些国家和地区经济发展的原因，从物质资源上是找不到答案的，因此这些国家和地区…     

采、选、冶系统回收率优化模型的研究

本文研究了矿产资源利用这一非线性系统。首先建立了金属量投入产出模型,然后用采、选、冶系统各部门的投入和产出金属量,描述了矿产资源利用系统。在金属量投入产出模型的基础上,建立了采、选、冶系统回收率优化模型,开发了通用程序包。它是一个通用决策管理模型,具有多种用途,既适应单金属矿又适应多金属矿山冶金系统。最后给出了优化模型在大冶有色金属公司中的应用。     

模糊系统在日本的现状和展望

模糊逻辑理论是美国加利福尼亚大学伯克利分校教授洛特菲·A·扎德在25年前提出来的。“究竟该给它取个什么名字,我是很费了些思索的。”扎德说,“我也发觉,模糊这个词听起来并不怎么好,可是,我也找不到一个科学术语能比模糊两字更为准确地描述这个理论了。”现在,人们正在用模糊逻辑帮助计算机来模拟我们思维过程和语言中所固有的模糊性和不确定性。计算机解决问题的方式通常是,将问题分解成一系列是或非的判定,它们分别用1和0来代表。但是模糊逻辑却能让计算机所赋予的是些处在0与1之间某些位置上的数值。模糊逻辑所设定的语句或条件,不再是非对即错这样一些绝不允许模棱两可的东西,而是些诸如慢、中、快这样一些没有明确界限的条件。正因为     

产值优化模型与技术进步测算研究

生产函数与Ｌｅｏｎｔｉｅｆ投入产出模型是目前测算技术进步方法的理论基础，但它们必须在满足各自的经济假设下才能成立，导致测算技术进步方法的局限性，在实际应用中存在一系列的问题。本文从产值优化角度探讨技术进步的测算，提出了技术进步产值优化模型分析法。这种新方法没有任何经济假设，不仅能从产出总量上分析技术进步，而且能测算体现技术进步各个因素的作用。在大冶有色金属公司应用的实证研究，说明这是一种行之有效的     

单叶函数及其导函数的邻域

对于单位圆盘上的解析函数f(z),本文定义了f(z)的σ-邻域N_σ(f)及其导数的σ-邻域N′_σ(f),得到了N_σ(f)和N′σ(f)包含于单叶函数的某些子族的条件。推广了A.Kobori的结果:如果f(z)=z sum from k=2 to ∞a_kz~k满足条件sum from k=2 to ∞k~2|a_k|1≤1,则f(z)是凸函数。