【摘 要】
：
近日,由重庆大学大数据与软件学院物联网体感大数据(BDL)课题组刘礼副教授为通信作者完成的论文"Quantitative Verification for Monitoring Event-Streaming Systems"被软件工程领域学术期刊IEEE Transactions on Software Engineering(TSE)录用(CCF A类,JCR一区)。该论文合作作者包括澳大利亚
论文部分内容阅读
近日,由重庆大学大数据与软件学院物联网体感大数据(BDL)课题组刘礼副教授为通信作者完成的论文"Quantitative Verification for Monitoring Event-Streaming Systems"被软件工程领域学术期刊IEEE Transactions on Software Engineering(TSE)录用(CCF A类,JCR一区)。该论文合作作者包括澳大利亚伍伦贡大学苏国鑫博士、Minjie Zhang教授,以及新加坡国立大学、ACM/IEEE Fellow
其他文献
3月13日,重庆日报记者从数字重庆大数据应用发展有限公司(下称数字重庆公司)获悉,目前全市城市大数据资源中心项目已完成招标,今年6月将建成。该项目将加速政务数据资源融合互通,推进我市"智慧城市"建设。数字重庆公司负责人介绍,我市"智慧城市"建设由"一中心两平台"组成。其中"一中心"即城市大数据资源中心,以政务数据为主,旨在激活政务数据资源潜力;"两平台"是数字重庆云平台和智慧城市综合服务平台。
随着时代的发展,大规模城市化成为了重要的发展趋势,因此,在城市化大规模发展中,如何建立安全的监控网络十分重要。但是,传统的管理和技术方法难以有效的应对突发事故等问题。而新型的智能和信息技术的出现,让人们重新审视了种种现代化城市所面临的问题。"智慧城市"便是在此基础上而提出的新概念。
随着移动互联网、云计算、大数据等新一轮信息通信技术的发展,智慧城市逐渐成为城市建设的重要发展趋势。"十三五"期间,全国各城市纷纷制定智慧城市建设或发展规划,并将其定位为城市中长期发展战略的重要组成部分。由于智慧城市涉及范围广泛、内容体系庞杂,目前还在不断发展完善之中,尚未形成统一的评价标准。基于此,本文对比了国内外智慧城市评价重点与趋势,以提高城市可持续发展能力、实现高效、公平的城市管理、保障民生
近年来,数字城市在实景三维模型的基础上得到了广泛研究与应用。但是,传统三维建模手段难以满足现代数字城市更快速、更真实、更准确、更大规模的数据生产要求。本文以江苏省淮安市蒋坝古镇为例,开展快速构建城市精细化三维模型的研究,基于低空无人机倾斜摄影测量技术构建城市实景三维模型,利用几何造型方法对实景三维模型进行精细化加工。结果表明,采取的方案满足实景三维模型的应用需要,适合城市三维模型快速构建,对大规模
近日,由重庆大学计算机学院机器学习与跨媒体感知课题组青年教师周明亮博士为第一作者和通信作者、重庆大学为第一单位的论文"Just Noticeable Distortion-Based Perceptual Rate Control in HEVC"被计算机图形学与多媒体领域学术期刊IEEE Transactions on Image Processing(IEEE TIP)录用(CCF A类,JC
近日,中国科学技术大学针对大尺度数万原子分子固体体系的第一性原理计算模拟,以低标度平面波高精度计算软件DGDFT(Discontinuous Galerkin Density Functional Theory)为基础,在国产"神威·太湖之光"超级计算机上实现了千万核超大规模并行计算,研究成果以"High Performance Computing of DGDFT for Tens of Tho
近日,电子科技大学英才实验学院2016级本科生陶超凡在商汤科技研究院进行科研实习期间,攥写的论文"Dynamic and Static Contextaware LSTM for Multi-agent Motion Prediction"成功入选欧洲计算机视觉会议(European Conference on Computer Vision,ECCV)。陶超凡为该论文第一作者,电子科技大学为第一
6月25日,由西安电子科技大学密码研究中心联合深圳奥联信息安全技术有限公司、西安电子科技大学综合业务网理论与关键技术国家重点实验室、西安电子科技大学通信工程学院举办的"第五届密码构造与破译研讨会"成功召开,来自全国各地的两百余名密码领域学者参加了会议,西安电子科技大学通信工程学院院长、广州研究院执行院长沈八中教授参加会议并致辞。由于疫情影响,会议举办方式为线上会议。
6月7日至6月11日,原定于爱尔兰都柏林召开的第54届IEEE国际通信大会(IEEE International Conference on Communication.IEEE ICC)受COVID-19疫情影响改在线上召开。由北京交通大学计算机学院信息通信网络研究所和轨道交通控制与安全国家重点实验室合作完成的学术论文"Minimum Age-Energy Aware Cost in Wirel