报告名称：可公开验证审查的电子投票系统报 告 人：刘雪峰 副教授报告时间：2020年12月11日 15：00—16：30报告地点：B5-302报告简介：投票是社会生活中群体达成统一共识的重要途径，具有广泛的应用价值。个体票据内容隐私、票据格式可审查、群体票据可正确技术，是电子投票系统的本质需求。区块链系统的数据内容不可篡改特性，为电子投票系统提供一个可信公告板用于存储投票历史记录，以支持任意时刻的公开审查策略。然而，区...
2020-12-10
报告名称：大数据与人工智能报 告 人：鲍亮 副教授报告时间：2020年12月11日 9：00报告地点：B5-301报告人介绍：鲍亮，男，工学博士。2006年在西安电子科技大学计算机学院获得工学硕士学位后留校担任软件学院教师。2010年获得工学博士学位，2011年被聘为副教授和硕士生导师，2013年被聘为软件学院院长助理。自2006年起开始从事软件工程和分布式计算方面的研究，目前主要研究方向包括云计算技术、大数据问题、软件工程、软件体系...
2020-12-10
报告名称：生物分子网络的评估、推断和动态分析报 告 人：黄晓太 讲师报告时间：2020年12月10日 8：30报告地点：B5-301报告人介绍：黄晓太，博士；2016年获得香港城市大学工学博士学位；2011年获得西北农林科技大学工学硕士学位；2008年获得西北农林科技大学工学学士学位。报告简介：生物分子间的相互作用，如蛋白质与蛋白质相互作用、蛋白质与DNA相互作用、蛋白质与小分子相互作用以及在遗传上的基因互作等，在生物体的新陈代...
2020-12-08
报告名称：形式化方法在信息安全中的应用报 告 人：付玉龙 副教授报告时间：2020年12月9日 10：00报告地点：B5-302报告人介绍：付玉龙，博士，副教授，研究生导师。本科及硕士毕业于哈尔滨工业大学，博士毕业于法国波城大学。2014年加入西安电子科技大学至今。分别于2016年和2018年短期出访澳大利亚迪肯大学和芬兰阿尔托大学。主要研究方向为网络安全、数据安全以及形式化安全证明。报告简介：形式化安全方法利用一阶或高阶逻辑...
2020-12-08
报告名称：相控阵天线电磁特性分析与控制报 告 人：张帅 副教授报告时间：2020年12月08日 14：30报告地点：B5-301报告人介绍：张帅，湖北省随州市，博士；2007年获得西安电子科技大学工学学士学位；2012年获得西安电子科技大学工学博士学位；2012年4月至今，在西安电子科技大学电子工程学院任教。报告简介：相控阵雷达具有波束指向灵活、覆盖范围可控、抗干扰性能好、目标容量大等优势，广泛应用于通信、导航、雷达探测等领域。...
2020-12-07Copyright © Beplay网页链接 版权所有beplay体育下载密码 号
陕公网安备61019002002681号技术支持：信息网络技术中心西安聚力
