一类变指数退化抛物方程的解

考虑如下的变指数退化抛物方程解的适定性问题。利用抛物正则化方法证明了解的存在性。对检验函数适当选取，证明了解的唯一性。在边界上，扩散系数b(x,t)=0，解的唯一性可以不依赖于边界条件。     

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

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

关中—天水经济区人类绿色发展指数测度及其分析

采用主成分分析法,利用人类绿色发展指数(HGDI)和构建指标体系对关中—天水经济区人类社会综合发展状况进行测度与分析。研究表明:2007—2016年,经济区HGDI增长明显,人类社会综合发展程度显著提高;在HGDI中,资源配置和环境保护指数所占比重较小,经济区HGDI发展的短板明显,资源利用率与环境保护意识需要进一步提高;各地市的人类社会综合发展水平提升迅速,但各地市间发展差异较大,经济区呈现中心地区HGDI值高,四周值低的分布特点;经济发展水平是影响经济区HGDI大小的主要因素,其次是教育与医疗等公共服务投入和资源环境的差异。     

大数据中的江苏文化名人国内外知名度研究

以英语谷歌图书语料库、百度指数和微博热词指数为数据来源,考察江苏文化关键词之一的江苏文化名人在英语谷歌图书语料库中的词频变化,分析其在国外影响力的发展变化。同时,考察江苏文化名人在百度指数和新浪微博热词指数的指数变化,分析其在国内影响力的发展变化。研究发现,江苏文化名人在国内外的知名度与名人的政治身份、各朝代分布、国力、对外交流繁荣程度有关。文化名人在国外的知名度还与其著作的可译性、西方社会思潮与学术旨趣变化有关,在国内的知名度与各种古装电视剧、电影等媒介传播有关。     

具有标准发生率的随机SIRS传染病模型的趋势分析

考虑了随机环境下具有标准发病率的SIRS传染病模型,研究了其长时间的动力学行为.证明了随机模型正解的存在性和唯一性,给出了随机模型中感染者数量趋于灭绝或持续的条件.在持久性情况下,利用Hasminskii理论证明了该随机模型具有平稳分布并且是遍历的.     

一个典型弹性梁方程涉及第一特征值的正解

运用锥理论和不动点指数方法,在与相应的线性算子第一特征值有关的条件下,获得了一个典型弹性梁方程正解的存在性,改进了相关文献的结论.     

一类指数Diophantine方程的解的唯一性

给出并证明了指数Diophantine方程2^x+3^x+a=5^x+b(x,a,b∈N,a>b且a,b为常数）的解的唯一性.     

新时代中国跻身创新型国家前列的前景、目标和建议——基于全球创新指数报告的研究

 比较了中国与处于创新型国家前列的发达国家的创新能力和水平，分析了新时代中国跻身创新型国家前列的前景和挑战。分析表明：（1）中国研发投入总量、专利和论文数量已经处于创新型国家前列；（2）企业基础研发投入占比、发明专利占比、研发人员密度、论文引用率等指标还与创新型国家差距较大，追赶上有较大难度；（3）知识产权保护和产学研合作水平亟待提高。因此，中国2030-2035年跻身创新型国家前列，关键在于优化创新投入结构，提高创新成果质量。