简介:研究了欧洲博士学位的发展历程及模式,分析了建立欧洲博士学位的必要条件,讨论了阻碍欧洲博士学位发展的因素并提出了相关建议。文章指出,尽管自欧盟成立之初就提出了欧洲博士学位的概念.但直到最近才开始着手解决这一问题。这是包括欧盟委员会、欧洲大学协会、欧洲能授予博士学位的高等教育机构代表和博洛尼亚进程等多方努力的结果。虽然欧洲联合博士学位的工作已取得重要进展,但其合法价值获得真正认可还需要很长的路。由于部分欧盟成员国各国的法律规定以及欧洲高等教育体系内仍然广泛存在着“鼓励学术保护而非促进合作”的保守思想,导致产生了一些问题。阻碍新的联合博士学位发展的两个主要原因是:错误地将国际流动作为目标,而不是将其作为博士生教育的一个策略;广泛担忧一体化将破坏欧洲博士课程的多样化,导致出现同质化。
简介:本文给出了Greub-Rheinboldt不等式和Polya-Szego不等式的一种统一积分形式.
简介:动态服务组合是解决SOA和SOC的重要方案之一.针对动态服务组合的实现,把MAS技术应用到服务组合中.首先对MAS和web服务组合的本质进行分析,讨论了MAS和web服务组合的关系.其次,构建了基于MAS的web服务组合框架,命名为CSMWC,并用Jade实现了该框架.此框架初步实现了语法级别的动态服务组合,并为语义级别的动态服务组合打下基础.为说明构建框架的正确性,应用pi演算对构建的MAS体系结构进行形式化描述,同时对web服务组合中重要的性质如动态性、适应性进行了推理.最后给出了应用基于pi演算的验证工具Pi4SOA进行验证的过程.