对我国优秀青年女子篮球队2000～2001年冬训体能和基本技术的测试分析

通过对参加 2 0 0 0～ 2 0 0 1年冬训的我国 2 7名优秀青年女子篮球队运动员冬训前、后体能和基本技术测试和技术评定结果的分析 ,揭示了参加冬训运动员的体能和基本技术的现状与变化 ,并将 2项体能测试结果与篮球运动管理中心制定的标准相对比 。

我国电力生产和建设2000年工作回顾和2001年主要目标及重点工作(英文)

本文摘自国家电力公司总经理高严在２０００年１２月２３至２５日在深圳召开的国家电力公司２００１年工作座谈会上的讲话，回顾了我国电力生产和建设２０００年的工作，提出了２００１年要实现的主要目标及重点工作。

生命周期评价方法体系及其对比分析

简要概述了目前常用生命周期评价(LCA)方法体系:EDIP 97、EPS2000、Ecoindicator 99、CML2001、IMPACT2002+和EDIP 2003体系,它们大体可将其划分为两类:面向问题的方法和损害为主的方法。最后,在此基础上对这几种评价方法体系作了论述与比较。

避免逻辑全知的BDI语义

BDI(belief, desire, intention)是基于Agent计算的理论模型,BDI语义关系着Agent计算的发展.通过把相信划分为主观相信和客观相信,把可能世界理解为认知的不同阶段,给出具有进化特征的BDI语义.该语义既能描述Agent,又避免了逻辑全知问题.