胡凯教授做的研究主要有:数字经济和区块链技术:是国内最早从事区块链技术的研究学者之一,提出并发展了智能合约工程(SCE)、法律代码科技、验证即服务(VaaS)等理论方法,在数字经济与区块链结合、数字经济园区规划和咨询、区块链数字治理、区块链可扩展性、多链互联和区块链形式化验证技术等方面具有深入研究和专利性成果。主持研发了北航区块链(TrustChain)系列产品,包括了自主知识产权的各形态区块链系统、浏览器、监控器、部署工具和区块链大数据管理系统(OpenData)。分布式并行计算和网络:长期从事复杂计算环境下的集群计算系统、高性能计算、航空航天电子总线,以及天地一体化网络信息技术研究等,提出和研究了基于狼群的可重组多集群计算理论并应用于实践,研发了多个应用软件系统。形式化设计与验证方法:与法国图卢兹计算机研究所(IRIT)和法国自动化所(INRIA)密切合作,创建中法形式化方法联合研究实验室,研究基于模型驱动的形式化设计与验证方法,提出基于AADL和同步语言Signal的多项创新扩展技术,研发了多个模型转换、验证和自动代码生成工具。近年来在国内外重要学术期刊会议上发表SCI/EI检索等论文60余篇,主编《网络计算新技术》(416页,科学出版社2001年出版),合作完成国家级“十一五”规划权威教材《分布式计算系统导论》(490余页,清华大学出版社2014年出版,获校2016年教材一等奖,已被十余所重点大学教材采用)。先后主持和参与多项国家自然基金、国家重点研发项目、863重大项目、军口863项目、国家核高基项目、航空航天基金,以及多项航空航天领域重要工程项目。获得国家发明专利和软著等30余项,2015年获航空基金五年成就奖,2018年牵头“天地一体化信息系统设计验证与仿真”获产学研学会二等创新成果奖。
一个以用户为中心的微网绿电交易区块链数据模型在《电力通信技术研究及应用》期刊中有。以绿色新能源为主体的分布式能源成为能源交易市场中的重要组成部分,为了提高能源利用率、多渠道扩展分布式能源本地消纳,分布式能源获得合法就近售电资质,其能源生产和消费结构呈无中心、多节点状。现有能源运营模式由于具有集中式管理的特点,难以简单套用于分布式能源。区块链技术具有可追溯性、交易公开、数据透明的优势,其分散化特性与分布式能源无中心特点相符合,故提出一种基于区块链的分布式能源交易方案。分析现有分布式能源交易的方式及其弊端,研究区块链技术对于分布式能源P2P交易的适用性,在连续双边拍卖(continuous double auction,CDA)、竞争均衡价格(competitive equilibrium price,CEP)、节点信誉值等基础上确立支撑分布式能源P2P交易的分布式能源结算机制,制定符合中国政策的分布式能源区块链支付模式,提出包括系统架构、交易流程在内的基于区块链技术的分布式能源交易方案,对比传统电力交易系统和基于区块链的分布式能源交易系统的性能,思考如何改进目前区块链的不足之处并展望能源市场未来,实现传统电力交易市场向分布式能源交易的延伸性发展。
在学历条件上,需要申请学生是国内211或985大学毕业生,并提供在校期间成绩,平均成绩达80分及以上,非211、985大学毕业的学生在校期间平均成绩达85分及以上。新加坡国立大学研究生申请的时间一般有两次,一次是1月份,一次是8月份。学生一般都需要在开课之前的半年左右申请。新加坡国立大学,于1905年始建,坐落于新加坡,是新加坡首屈一指的世界级顶尖大学。新加坡共和国,是东南亚的一个岛国、城市国家,位于马来半岛南端、马六甲海峡出入口,由新加坡岛及附近63个小岛组成,国土面积728.6平方千米,其中新加坡岛东西约50千米,南北约26千米。
近日,美国电子电气工程师学会(Institute of Electrical and Electronic Engineers,简称IEEE)公布新一届 Fellow 名单,"微众学者"、中山大学教授及软件工程学院副院长郑子彬因其对区块链可靠性工程的贡献入选。他也是本届当选IEEE Fellow的最年轻的华人高校学者之一。
IEEE是国际性的电子技术与信息科学工程师的学会,引领着信号和信息处理、电力、电子、计算机、通信、控制、遥感、生物医学、智能交通和太空等技术领域的最新发展方向。IEEE Fellow为学会最高等级会员,是IEEE授予成员的最高荣誉,在学术科技界被认定为权威的荣誉和重要的职业成就,获该荣誉者均为在科学与工程技术领域内取得重要成就的杰出科学家。
郑子彬教授是近年来唯一凭借区块链领域的成就而当选IEEE Fellow的学者。他主要从事区块链及智能合约可靠性相关研究,针对新型的跨合约漏洞难以识别、智能合约符号执行路径爆炸、智能合约模糊测试准确率较低以及庞氏多发等问题,提出多个静态分析与动态测试方法。
相关研究成果已发表于TSE、TOSEM、ICSE、ASE、ISSTA、WWW等国际顶级期刊及会议,论文谷歌学术引用超过25,000次。
此外,郑子彬团队为了解决区块链可靠性研究中数据稀缺的问题,发布了区块链可靠性数据平台XBlock.pro,方便广大科研人员下载使用相关数据集,为区块链的可靠性提升做出重要贡献。
郑子彬教授在区块链领域的持续探索,与微众银行的科研观念不谋而合。在由微众银行发起的首届"微众学者计划"中,郑子彬教授承担区块链方向课题,基于FISCO BCOS开源区块链底层平台的智能合约场景,构建易于使用的智能合约一致性验证及高效的安全性验证平台。
中国知网
资料类型:学术论文
适用学科:全部
知网是全球最大的中文知识资源数据库,收录学术期刊7000多种。作为大学生最常用的网站之一,你可以从中查询学术期刊,学术论文抑或是政府文件,法律法规。知网坐拥浩瀚如海的资料信息,一站式阅读加数字笔记模式便于深入研究,能为绞尽脑汁写论文的你提供灵感。同时还支持写作与排版及在线编辑投稿,亦可利用论文查重功能修改自己的论文来降低论文查重率。
CSDN
资料类型:编程语言、IT技术
适用学科:计算机
全球最大的中文IT社区,被称为程序员的大本营,致力于为中国软件开发者提供知识传播、在线学习、职业发展等全生命周期服务。这里不仅各类编程语言应有尽有,数据库、数据结构、区块链、物联网的相关知识也被囊括其中。你可以找到生动有趣的编程知识,也可以了解最新的前沿科学。最重要的搜题能力,CSDN也毫不逊色。代码跑不了,函数想不出,求助社区中的编程大佬。那些让你头疼的编程难题,在这里都能迎刃而解。
可可英语
资料类型:听力、纪录片
适用学科:英语
多年陪伴英语学生的良心英语网站,听说读写,样样齐全,满足背单词、练阅读、练听力等需求。无论是四六级还是考研,无论是经济学人还是VOA、BBC,丰富的资源储备都能满足你不同阶段的各种学习需求。它还有配套的手机APP,配有单词闯关、跟读联系等人性化服务,随学随用,是提升英语水平的不二法宝。
鸠摩搜书
资料类型:电子书
适用学科:全部
鸠摩搜书采用最新的大数据搜索,可以对国内外各种电子书资源进行扫描查询,在最短的时间内为用户反馈搜索接过,执行速度快,准确率高,以后再也不用为了电子书而苦苦搜寻啦!
鸠摩搜书特色可以概括三点:1.好用,电子书狂热者自建搜索平台,更加符合用户搜索习惯;2.格式多样,所有结果全都是电子书格式,自动过滤非电子书格式内容;3.资源丰富,只要是网上有的电子书,在鸠摩搜书中基本都可以找到。
你到文库找找吧,我复制不过来,老是提示内容不适合发表,郁闷...
大学生适合的网站有很多,有用的网站可以帮助我们学习,下面我来说一下我认为的大学生必备网站。
1、考试酷-考试必备
这是一个永久免费的电子作业与在线考试系统云平台,上面各种各样的题库以及测试。网站现在收录12大类学习内容,试卷1154170份,公开共享的试卷33387份、试题1812419套,内容量丰富到可怕,最重要完全免费,还是永久免费。
大学一定要多给自己考点证,你完全可以不报培训班,使用这个网站刷题,网上有人说,这个网站的题目你要是都会了,考试绝对没问题。比如你要考大学英语四级,完全可以刷题真的很不错,还有很多题录,大家都可以看下,这个网站,值得还是大学生的你收藏。
2、WikiHow-知识增长必备
一个能让所有人学做任何事情的网站。像是更加专业化的维基百科。WikiHow的目标是建立世界最大的最高质量的指导手册。主要解决的问题是:如何去做的问题。网站上所有的回答,质量非常高,可以直接使用,不会出现像百度一样的广告和错误引导,这些都是一些专家检验的回答。回答非常专业,实操性强,而且为了方便理解,会使用一些漫画作为解释,即使小朋友也能看清楚。你绝对值得收藏的网站,大学通过这个网站,了解一些有趣的知识,增加聊天资本。
3、知网
这是全球最大的中文知识资源数据库,收录学术期刊7000多种。七上作为大学生最常用的网站之一,我们可以从中查询学术期刊,学术论文抑或是政府文件,法律法规。知网坐拥浩瀚如海的资料信息,一站式阅读加数字笔记模式便于深入研究,可以能为绞尽脑汁写论文的我们大学生提供灵感。同时还支持写作与排版及在线编辑投稿,亦可利用论文查重功能修改自己的论文来降低论文查重率。
所以说,适合大学生的网站除了我上面说的那三个,还有其他,最重要的是是找到适合自己的。
有哪些对大学生有用的网站?以下是我整理出来的比较好用的网站。
1、仿知网(https://www.cn-ki.net/)
仿知网是一个完全可以代替知网的精品网站。
首先这个网站的论文检索结果和知网的搜索结果基本一样,而且这个网站每个账号前期免费提供论文下载,当你的下载次数没了,你完全可以用其它邮箱再注册其它账号使用;当然,如果你不想再注册账号,这个网站提供一块钱随意下载论文一天,也是非常值得尝试。
2、爱给网()
一个超强的免费素材下载网站。
各种音效,各种视频、AE模板、3D模型、3D素材、平面素材、设计模板、免扣元素、图库都可以免费下载,还有9710套15万集教程可以学习。
3、正版中国(https://getitfree.cn/)
正版中国是一个十分推荐的正版软件搜索下载网站,是一个十分专业的正版软件搜索下载网站。它提供永久免费,限时折扣,限时免费三个版块,永久免费版块就是提供各种免费的正版软件,限时折扣和限时免费版块就是提供付费正版软件的限时活动。
它支持 PC,Android,ios,Mac,UWP 软件,并且所有软件都是正版的,没有其它多余的东西;它提供的软件也是十分全面:网络安全传输,硬盘分区驱动,文档转换压缩,备份恢复加密,图片编辑管理,卸载清理优化等等。
它提供免费软件板块,也提供收费软件的各种活动,并且网站会经常更新。
4、文泉学堂()
清华大学限时开放的7万多册正版图书免费阅读网站,图书偏向专业性的多,在2.16日开学前都可以浏览,可以足不出户免费阅读,用知识战疫!
文泉学堂以清华大学出版社的特色内容为基础,聚合高等教育专业知识性内容,突出理工、计算机、经管等专业学科,引入知识图谱体系,将内容资源按知识点关联,为用户提供个性化的专业知识服务,包括知识内容的个性化搜索、订阅、推荐、阅读、学习,方便用户之间的交流和分享。
胡凯教授做的研究主要有:数字经济和区块链技术:是国内最早从事区块链技术的研究学者之一,提出并发展了智能合约工程(SCE)、法律代码科技、验证即服务(VaaS)等理论方法,在数字经济与区块链结合、数字经济园区规划和咨询、区块链数字治理、区块链可扩展性、多链互联和区块链形式化验证技术等方面具有深入研究和专利性成果。主持研发了北航区块链(TrustChain)系列产品,包括了自主知识产权的各形态区块链系统、浏览器、监控器、部署工具和区块链大数据管理系统(OpenData)。分布式并行计算和网络:长期从事复杂计算环境下的集群计算系统、高性能计算、航空航天电子总线,以及天地一体化网络信息技术研究等,提出和研究了基于狼群的可重组多集群计算理论并应用于实践,研发了多个应用软件系统。形式化设计与验证方法:与法国图卢兹计算机研究所(IRIT)和法国自动化所(INRIA)密切合作,创建中法形式化方法联合研究实验室,研究基于模型驱动的形式化设计与验证方法,提出基于AADL和同步语言Signal的多项创新扩展技术,研发了多个模型转换、验证和自动代码生成工具。近年来在国内外重要学术期刊会议上发表SCI/EI检索等论文60余篇,主编《网络计算新技术》(416页,科学出版社2001年出版),合作完成国家级“十一五”规划权威教材《分布式计算系统导论》(490余页,清华大学出版社2014年出版,获校2016年教材一等奖,已被十余所重点大学教材采用)。先后主持和参与多项国家自然基金、国家重点研发项目、863重大项目、军口863项目、国家核高基项目、航空航天基金,以及多项航空航天领域重要工程项目。获得国家发明专利和软著等30余项,2015年获航空基金五年成就奖,2018年牵头“天地一体化信息系统设计验证与仿真”获产学研学会二等创新成果奖。
钛学术在钛学术版权交易平台投稿。钛学术联合入驻期刊社为上链的文献保证发表的真实性,并出具相应的发表认证证书作为凭证。基于区块链实现不可篡改的版权交易体系,期刊社独立运营,提供公正公平的版权交易环境,版权认证、溯源服务等维护版权所有人的合法权益。
《区块链技术指南》(邹均)电子书网盘下载免费在线阅读
资源链接:
链接:
书名:区块链技术指南
作者:邹均
豆瓣评分:6.4
出版社:机械工业出版社
出版年份:2016-11-1
页数:254
内容简介:
第1-2章为基础和入门内容,着重是区块链入门介绍,并讲解区块链的一些基础概念。本书详细、全面地介绍了区块链的基础知识与概念,剖析了区块链的架构、底层实现细节以及加密技术,并配合行业应用案例,常见问题等,全面解读大热的区块链技术实现与应用。第3-10章,着重是区块链架构剖析,并讲解区块链的关键技术,包括密码学和共识算法;提供比特币开发指南以及以太坊智能合同开发指南;同时介绍HyperLedger,讨论区块链的常见问题和典型的解决方案。第11章,从架构变革的角度探讨IT发展的原动力,并提供对区块链对未来IT发展的一些展望。
作者简介:
邹均,中关村区块链产业联盟专家、服务合约(ServiceContract)方向博士,关注与实践区块链技术与应用,现为海纳云CTO。曾任IBM澳洲金融行业首席软件架构师。擅长云计算、大数据、软件定义存储。融智北京高端外国专家,在国际会议期刊发表论文20余篇。
张海宁,VMware中国云原生应用首席架构师,Harbor企业级开源容器Registry项目负责人,CloudFoundry中国社区最早的技术布道师之一,多年软件开发经验。曾任IBM资深软件工程师、Sun公司资深架构师等。目前着重关注容器、云计算和区块链领域的研究和开发。
唐屹,广州大学教授、理学博士,专注于网络信息安全、分布式计算、区块链安全及应用等,为国外知名安全公司开发过椭圆曲线密码软件,获密码科技进步二等奖(省部级)。多次主持或参与完成国家*科技与人才项目基金工作。
李磊,合肥工业大学副教授,Macquarie大学博士。擅长数据挖掘、社会计算、智能计算。多次担任IEEE国际会议程序委员会委员与组织者,在社会计算和区块链等领域发表论文40余篇,被引用350余次。
胡凯教授做的研究主要有:数字经济和区块链技术:是国内最早从事区块链技术的研究学者之一,提出并发展了智能合约工程(SCE)、法律代码科技、验证即服务(VaaS)等理论方法,在数字经济与区块链结合、数字经济园区规划和咨询、区块链数字治理、区块链可扩展性、多链互联和区块链形式化验证技术等方面具有深入研究和专利性成果。主持研发了北航区块链(TrustChain)系列产品,包括了自主知识产权的各形态区块链系统、浏览器、监控器、部署工具和区块链大数据管理系统(OpenData)。分布式并行计算和网络:长期从事复杂计算环境下的集群计算系统、高性能计算、航空航天电子总线,以及天地一体化网络信息技术研究等,提出和研究了基于狼群的可重组多集群计算理论并应用于实践,研发了多个应用软件系统。形式化设计与验证方法:与法国图卢兹计算机研究所(IRIT)和法国自动化所(INRIA)密切合作,创建中法形式化方法联合研究实验室,研究基于模型驱动的形式化设计与验证方法,提出基于AADL和同步语言Signal的多项创新扩展技术,研发了多个模型转换、验证和自动代码生成工具。近年来在国内外重要学术期刊会议上发表SCI/EI检索等论文60余篇,主编《网络计算新技术》(416页,科学出版社2001年出版),合作完成国家级“十一五”规划权威教材《分布式计算系统导论》(490余页,清华大学出版社2014年出版,获校2016年教材一等奖,已被十余所重点大学教材采用)。先后主持和参与多项国家自然基金、国家重点研发项目、863重大项目、军口863项目、国家核高基项目、航空航天基金,以及多项航空航天领域重要工程项目。获得国家发明专利和软著等30余项,2015年获航空基金五年成就奖,2018年牵头“天地一体化信息系统设计验证与仿真”获产学研学会二等创新成果奖。
《区块链技术指南》(邹均)电子书网盘下载免费在线阅读
资源链接:
链接:
书名:区块链技术指南
作者:邹均
豆瓣评分:6.4
出版社:机械工业出版社
出版年份:2016-11-1
页数:254
内容简介:第1-2章为基础和入门内容,着重是区块链入门介绍,并讲解区块链的一些基础概念。本书详细、全面地介绍了区块链的基础知识与概念,剖析了区块链的架构、底层实现细节以及加密技术,并配合行业应用案例,常见问题等,全面解读大热的区块链技术实现与应用。第3-10章,着重是区块链架构剖析,并讲解区块链的关键技术,包括密码学和共识算法;提供比特币开发指南以及以太坊智能合同开发指南;同时介绍HyperLedger,讨论区块链的常见问题和典型的解决方案。第11章,从架构变革的角度探讨IT发展的原动力,并提供对区块链对未来IT发展的一些展望。
作者简介:邹均,中关村区块链产业联盟专家、服务合约(ServiceContract)方向博士,关注与实践区块链技术与应用,现为海纳云CTO。曾任IBM澳洲金融行业首席软件架构师。擅长云计算、大数据、软件定义存储。融智北京高端外国专家,在国际会议期刊发表论文20余篇。
张海宁,VMware中国云原生应用首席架构师,Harbor企业级开源容器Registry项目负责人,CloudFoundry中国社区最早的技术布道师之一,多年软件开发经验。曾任IBM资深软件工程师、Sun公司资深架构师等。目前着重关注容器、云计算和区块链领域的研究和开发。
唐屹,广州大学教授、理学博士,专注于网络信息安全、分布式计算、区块链安全及应用等,为国外知名安全公司开发过椭圆曲线密码软件,获密码科技进步二等奖(省部级)。多次主持或参与完成国家*科技与人才项目基金工作。
李磊,合肥工业大学副教授,Macquarie大学博士。擅长数据挖掘、社会计算、智能计算。多次担任IEEE国际会议程序委员会委员与组织者,在社会计算和区块链等领域发表论文40余篇,被引用350余次。