基于占优关系的MPI并行程序死锁检测

随着高性能技术的发展,MPI并行程序得到了越来越广泛的应用,其可靠性也得到了软件工程界越来越多的关注.一个MPI并行程序有多个并行执行的进程,每个进程包含一系列串行执行语句.死锁是并行程序的一类典型错误,本文提出一种基于占优关系的死锁检测方法.首先,根据通信语句之间的占优关系,得到每个进程内,通信边之间的占优关系;然后,通过判定通信边占优关系是否相互违背,检测程序中的死锁.基于上述思想,开发了基于占优关系的死锁检测原型工具,用于检测多个典型的MPI并行程序.结果表明,本文方法能够检测出程序中的死锁缺陷.     

城市固体废物循环转化机理研究

该项目利用先进的理论和方法，阐明了固体废物代谢过程与城市生命体活动的动态响应关系，揭示了固体废物代谢机理，阐明了循环转化过程，开展了生命周期评价和环境经济评价，建立了危险废物鉴别和多级风险评价指标与技术方法体系，构建了典型城市固体废物综合管理动态优化模型，建立了一套城市固体废物的综合评价、诊断与管理系统，并在北京、深圳和佛山等典型城市得到应用。     

民办高校党组织与董事会关系探究

随着民办高校的发展,民办高校党建工作在逐渐步入正轨的同时面临许多发展难题,其中最核心的是民办高校党组织与董事会的关系问题。从理论来看,二者之间的关系为决策与参与决策、监督与被监督、引导与被引导、分工协作,但在实践中却出现分权不清、失衡、权力运作失范、制度缺失严重、机制运作失调等问题,因此,只有转变观念,准确定位,建立框架科学、细节完备的制度体系,打造良性互动的科学机制,夯实基础、循序渐进才能处理好二者的关系,推进民办高校健康发展。     

(λ,μ)-模糊粗糙子群

本文根据(λ,μ)-模糊正规子群定义了新的同余关系,由此提出了(λ,μ)-模糊粗糙子群和(λ,μ)-模糊粗糙正规子群的概念,并研究了它们的性质.     

财政农业支出与城乡经济一体化关系实证研究——以广西壮族自治区为例

基于相关分析、协整分析和Granger因果检验以及灰色关联分析等方法,分析了财政农业支出与城乡经济一体化之间的关系。结果表明:(1)财政农业支出与城乡经济一体化之间存在着长期稳定的关系;(2)农业科技三项费用支出与城乡居民人均收入互为原因,第一产业是农业科技三项费用支出的原因;(3)支农支出对城乡经济一体化的作用最大;并且对第一产业的影响最大。另外,加大农业科技三项费用支出也能够加快城乡经济一体化。     

特征性履行理论与最密切联系原则关系之辩证分析——基于我国2008-2013年涉外民商事案例的实证研究

作为美国20世纪30年代第二次冲突法革命的重要成果,最密切联系原则赋予了法官更多自由裁量权来抑制其传统而狭隘的民族主义情结。然而,相对个案公正而言,崇尚法律确定性的大陆法系学者们更倾向于追求正逐渐丧失的判决一致性。特征性履行理论以体现合同特征的“履行”减损或抵消这场伟大革命背后所隐藏的白圭之玷,在学者们看来似乎是场有惊无险的理论界变革,实际上两条并行不悖的道路更容易引起各种思想学说的尖锐交锋。因此,在我国现有的处于不断革新状态的冲突法体系下,着重探讨特征性履行理论和最密切联系原则间的关系,对于分析和指导我国涉外民商事审判实践有着极为重要的意义。     

“两山”理论的制度性实在建构

基于塞尔学说,建构"两山"制度的关键是通过言语行为能力建构制度性事实体系来重视原始事实,然后又用原始事实的存在保障了制度性事实的建构与发展。奥尔曼的内在关系辩证法能够克服塞尔制度性实在理论框架的断裂、静态化和极简化的缺陷,使得"绿水青山"和"金山银山"是一种关系整体,两者之间的相互作用是自身本质的一部分。     

用“整体思想”解题

正有些较复杂的数学题目,仅仅按照常规的思路,从题目的各部分进行分析,探究解题方法,很难得出问题的结果。但是,如果运用"整体思想",着眼全局观察、分析、把握数量关系,则很容易使问题得到解决。现举例加以说明。     

我国成功举办2014年APEC会议

事件：2014年亚太经合组织（APEC）领导人会议周活动,于11月5日至11日在北京举办,这是我国时隔13年再次举办APEC。此次APEC会议就推动区域经济一体化,促进经济创新发展、改革增长,加强全方位基础设施与互联互通建设三大重点议题达成了广泛而深入的共识,通过了《北京纲领：构建融合、创新、互联的亚太——亚太经合组织第二十二次领导人非正式会议宣言》《共建面向来来的亚太伙伴关系——亚太经合组织成立25周年声明》两份成果文件。     

第二类q-Legendre-Stirling数

广义Stirling数都是由2类函数相互表达定义的,在第一类q-Legendre-Stirling数的基础上,提出第二类q-Legendre-Stirling数概念.研究了第二类q-Legendre-Stirling数的递推关系、生成函数,及相关的组合恒等式,并且给出了2类q-Legendre-Stirling数之间的关系.