COVID-19疫情传播建模分析

当大规模传染性疾病威胁到人类安全时,有效预测其传播趋势是减少疾病对人们伤亡和财产损失的重要措施.该文使用3种方法对2019年新冠肺炎的传播趋势进行建模分析,并以北京市、云南省、江西省为代表预测其传播趋势和确诊人数的峰值.实验结果表明:当使用高阶函数拟合对前期的发展趋势进行建模时,其趋势与真实的疫情最吻合,趋势拟合效果最佳,峰值误差最小.当使用Logistic增长曲线中的S型曲线对前期的发展趋势进行建模时,其趋势与真实的疫情基本吻合,趋势拟合效果次佳,峰值误差次佳.当使用基于动力学传播模型中的SIR模型对前期的发展趋势进行建模时,其趋势与真实的疫情基本吻合,趋势拟合效果在3种方法中最差,峰值误差也最大.     

一种基于Concurrent Apla语言的共享内存并发分布式算法2层验证方法

形式化验证共享内存并发分布式算法已成为当前极具挑战性的问题之一,尤其是在云计算、多核、无线传感器网络、分布式数据库、区块链环境下.该文基于研究团队在形式化规约语言和方法、算法形式推导和验证方面的已有工作,以自定义泛型抽象顺序设计语言Apla为基础,进一步研究并提出简明、高抽象用于并发分布式计算的Concurrent Apla语言,使其既支持顺序算法的验证又能有效地验证并发分布式算法.在依赖-卫式推理的基础上,提出一种新颖的2层并发分布式算法形式化验证方法,其中系统层用于处理并发级验证,而组件层用于处理顺序级验证.最后,通过2个实例验证了该方法的有效性和可行性.     

包覆和掺杂对锂离子电池石墨负极材料的影响

从石墨改性的本质出发,综述了锂离子电池石墨负极材料的改性方法:表面包覆法和掺杂其它元素等。通过改性处理,可有效降低石墨的比表面积,从而大幅度提高石墨负极材料的首次可逆容量和库仑效率,改善电池的循环性能。     

基于GIS的城市地下综合管网系统的建立

借助现代计算机和日益成熟的地理信息系统技术建立地下管线信息系统，以动态管理地下管线信息数据，实现了地下管线现代化管理。探讨了城市地下综合管网系统建立的导个环节，包括空间信息的采集方法、录入过程、集成技术以及管理功能等各方面，通过胶州市地下综合管网系统的研究和开发，较好地解决了城市地下各种管线数据的自动化录入、集成以及综合管理问题。     

城市GPS控制网工程研究

通过应用GPS技术改造城市基本控制网工程实例，在控制点的布设、网型结构、精度统计、成果与原城市控制成果的一致性等方面进行了实验研究，提出了科学实用的工程技术方案：在水准高程与GPS拟合高程和RTK高程成果进行对比分析的基础上，认为GPS拟合高程和RTK高程成果不能作为城市基本高程控制网成果使用，需要单独布设水准网。