余振坤
- 作品数：5 被引量：37H指数：1
- 供职机构：武汉大学计算机学院更多>>
- 发文基金：淡水生态与生物技术国家重点实验室开放课题基金国家自然科学基金更多>>
- 相关领域：环境科学与工程哲学宗教自动化与计算机技术生物学更多>>
- 用XML进行次协调推理
- 次协调逻辑能够合理地处理不协调知识的推理。本文研究如何用XML作为一种次协调逻辑系统——标记逻辑的表示和推理的基本工具,探讨了在这种表示之下标记逻辑自动推理推理规则和推理策略的实现问题,并给出了推理实例。
- 朱福喜余振坤
- 关键词：次协调逻辑XML
- 文献传递
- 普通小球藻生长与武汉东湖水体磷形态的相关研究被引量：37
- 2001年
- 本文探讨了武汉东湖水体中总溶解磷（ＴＩＰ）、溶解反应磷（ＧＲＰ）、总反应磷（ＴＲＰ）、溶解水解磷（ＳＨＰ）和颗粒磷（ＰＰ）对普通小球藻生长的生物有效利用性。 进行了普通小球藻生长量与各磷形态及总磷（ＴＰ）被利用浓度的一元相关分析，进一步讨论了这些一元相关方程的不足。并用多元回归分析建立了普通小球藻生长量（Ｎ）与所测几种磷形态被利用浓度（ＣＴＳＰ，ＣＳＲＰ，ＣＴＲＰ，ＣＳＨＰ，Ｃｐｐ）的相关模型。这些模型可用于评价湖泊水体富营养化的程度及预测藻的生长潜力。
- 周培疆郑振华余振坤仇银燕严国安吴振斌
- 关键词：普通小球藻磷形态生物有效性水体富营养化
- 基于XML的次协调推理
- 2006年
- 标记逻辑是一种次协调逻辑系统,将XML用于表示标记逻辑,探讨了在这种表示之下标记逻辑线性推理规则和推理策略及其实现问题,并给出了推理实例.实例表明,使用XML能够很方便地表达标记逻辑,并且利用XML的辅助工具能够很方便地实现其推理机制.
- 朱福喜龚昌盛余振坤
- 关键词：次协调逻辑
- 基于移动Agent分布式计算程序的开发框架研究
- 移动代理是一种可以移动的Agent,它可自主地在异构的网络上,按照一定的规程移动,寻找合适的计算资源、信息资源或软件资源,利用与这些资源处于同一主机或网络的优势,就近处理或使用这些资源,代表用户完成特定的任务.移动代理提...
- 余振坤
- 关键词：移动AGENT分布式计算表调度AGLETS
- 文献传递
- 武汉东湖水体磷形态与普通小球藻生长的相关研究
- 本文探讨了武汉东湖水体中总溶解磷(TSP)、溶解反应磷(SRP)、总反应磷(TRP)、溶解水解磷(SHP)和颗粒磷(PP)对普通小球藻生长的生物有效利用性.获得了普通小球藻生长与各磷形态及总磷(TP)的一元相关方程,分析...
- 周培疆郑振华余振坤仇银燕严国安吴振斌
- 关键词：水体富营养磷形态
- 文献传递
