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

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

小刺猬交朋友

正有一只小刺猬,它没有朋友。没有朋友的小刺猬很孤单。有一次,森林里要举办一场晚会,小刺猬非常想去看一看。可是,它在去晚会的路上时遇到了一只狐狸。狐狸厌恶地对它说:"你全身都是刺,还是不要参加我们的活动了。"小刺猬听了,非常伤心,它趴在草丛中哭了起来。这时,一只小兔子跳了过来,安慰它说:"小刺猬不要哭,不是我们不想和你交朋友,而是你身上的刺,也许会刺伤我们。"说完,小兔子一跳一跳地走了。小刺猬心想:如果我可以和大家一起玩耍,那该有多好啊!     

在高雄,吹吹海风

正在台湾的时间短,不知道是不是北部多雨南部多晴,反正在台北的时间里一直阴雨绵绵,而坐上高铁越往南部走越能看到蓝天与阳光。在左营站下了车,刚出高铁站,一股热乎乎的粘稠的空气立刻扑面而来,现在的季节还是冬天,但高雄街上行走的路人已经是薄衫、裙子。龙应台说,"高雄,一个从前没听说过的都市,那儿的人皮肤晒得比较黑,说一种像外国话的方言。"龙应台笔下的这个高雄是在1949年,它在她的《大江大海1949》里,是一座带着创伤、充满着迷茫、承载着很多中国人命运转折点的城市,但到了现在,昔年的喧哗已经复归平     

安利创新环保模式

正安利社区看绿活动让企业、基金会、草根组织和社区基层组织在公益领域实现优势互补。用废纸拼出彩色的画,用旧袜子制作娃娃,用投球的方式引导市民垃圾分类。7月4日,由安利公司联合巴南团区委、巴南区环保局联合开展的"Green We Can安利社区看绿环保体验活动"走进巴南龙洲湾社区。今年4月9日,安利正式启动该活动。通过大规模网络征集,共收到来自"草根环保组织"的80余个优秀环保创意,其中"二次皂油"、"妙纸生花"、"布布针先"、"空中花园"和"绿色传递"等5个项目在评选中脱颖而出。数月以来,安利社区看绿活动走进了湖北、海南等多个省份,趣味活动让社区居民在家门口通过互动有趣的游戏,就能了解环保知识,增强环保意识。     

利用废旧地膜和废镍砂开发环保复合井盖

利用废旧地膜、废镍砂等废旧材料开发环保复合井盖,产品具有机械性能强度高、耐碱、耐热、耐寒、弹性模量高、表面平整、美观大方的特点,属于节能环保产品,本研究有效解决"白色污染"问题,提高了资源再利用率,有效保护了环境。     

强边着色猜想问题的最优图

著名图论专家Erds和Nesetǐil对图的强边色数上界提出了一个猜想:当最大度Δ为偶数时,χ's(G)≤5/4Δ~2;当最大度Δ为奇数时,χ's(G)≤1/4(5Δ~2-2Δ+1);并且给出了当Δ=4时的最优图.此处构造了一族图,并证明了当最大度为奇数时,如果Erd9s和Ne2etǐil提出的强边着色猜想成立,则猜想中的上界是最优的.     

带积分边界条件的分数阶微分方程正解的存在性

基于锥上的不动点指数理论,通过构造锥和Green函数的性质,给出如下带有双参数的非线性边值问题:■在不同增长性条件下正解的存在性、多解性和不存在性,其中:2α3;0μ2和λ0是两个参数.     

中俄蒙三边合作如何布局

<正>2014年9月11日,在上合组织即将举行第14次元首峰会的前一天,中国国家主席习近平、俄罗斯总统普京、蒙古国总统额勒贝格道尔吉在塔吉克斯坦首都杜尚别举行了中俄蒙三国元首首次会晤。而在刚刚过去的不到一个月时间里,习近平、普京曾先后对蒙古国进行国事访问和工作访问。中俄蒙如此密集的高层接触前所未见,引起了国际媒体的高度关注。蒙古国地缘位置特殊。在大国战略关系中,蒙古国起着砝码作用,能使亚太战略结构的天平     

沿流向放样的轴流压气机叶道设计方法

针对高负荷压气机角区流动质量差、流动损失显著的问题，以NASA Rotor37为研究对象，提出了一种轴流压气机叶道几何定义与参数化建模新方法，实现了叶片、角区和端壁结构的协同设计及叶片到端壁的高阶光滑过渡，在此基础上，开展了前缘边条和叶身融合对压气机转子气动性能和内部流场影响的数值研究。结果表明，针对NASA Rotor37流道，采用该叶道设计方法对压气机转子角区改型后：绝热效率提高了0.3%,喘振裕度由11.85%增加至18.8%;下凹端壁可以帮助稳定压气机转子通流能力并减少改型过程的流量漂移；叶身融合结构在叶根处提供径向向上的压力梯度，将低能流体从叶片角区吹向主流区以减少角区流动损失，而近叶根处主流区流动损失略有增加。研究成果对发展轴流压气机先进设计方法应具有参考价值。     

三棱柱图的两种染色

通过分析三棱柱图的结构,利用穷举法和组合分析法讨论了三棱柱图的邻强边染色和邻点可区别全染色,通过构造具体染色得到了三棱柱图的邻强边色数和邻点可区别全色数.