第十届广东大学生节能减排进校园系列活动在华南理工大学落下帷幕,2016年全国可信软件工程中的逻辑方法研讨会在

 照明工业     |      2020-05-08 04:34

图片 1闭幕式现场

  6月7日下午,日本爱知工业大学副校长曾我部博之一行7人来访华南理工大学。学校副校长党志在励吾科技楼会见客人,并代表学校交换两校合作协议。

  • 图片 2

  • 图片 3

  • 图片 4

  • 图片 5

  出门在外突然想起家里电器没关怎么办?如果碰巧是大功率的电器,长时间工作不仅浪费能源,还会带来安全隐患。针对这个问题,华南理工大学的6位大学生设计了一套多重控制方式一体化的智能家居系统,不管你在什么地方,只要通过手机就能随时控制家里的任意电器,还能查看任一电器的详细使用情况,为节约电费开支提供参考。

图片 6 曾我部博之副校长与党志副校长交换协议

  2016年12月28-29日,2016年全国可信软件工程中的逻辑方法研讨会(Colloquium on Logic in Engineering Dependable Software2016)在我校中北校区召开。本次大会由我校计算机科学与软件工程学院主办,上海市高可信计算重点实验室、中国计算机学会形式化专委会承办,国家可信软件国际联合研究中心、教育部可信软件国际合作联合实验室、上海市可信物联网软件协同创新中心等单位协办。中国计算机学会形式化方法专业委员会对大会给予了支持。

  6月11日,历经了近两个月的“南网杯”第十届广东大学生节能减排进校园系列活动在华南理工大学落下帷幕。在本届的竞赛中,共有来自全省31所本、专科院校的239件作品参赛,华南理工大学延续往届的强劲实力,获得3个一等奖、5个二等奖,以及特别贡献奖。共青团广东省委员会副书记梁均达,华南理工大学校长助理李正,广东电网有限责任公司副总经理吴宝英,广东省青少年科技中心主任叶新鹏出席活动。

  会谈中,党志介绍了华南理工的办学历史、优势学科、科研实力以及与日本高校的现有合作,希望两校能够通过教师间的交流带动学生间的交流。他表示,爱知工业大学作为以工科为主的综合性大学,与华南理工的优势学科相似,双方在科研合作、学生交流等方面的发展前景广阔。曾我部博之表示,爱知工业大学所在地是日本少数以工业为经济主导的日本制造业中心,拥有以丰田汽车为首的许多汽车相关企业,该校每年向当地企业输送大量人才,他希望以本次两校签署合作协议为契机,加强双方在优势领域的多方面合作,实现优势互补,共同发展。

  中国科学院软件研究所院士周巢尘和我校计算机科学与软件工程学院院长何积丰共同担任会议主席,西安电子科技大学教授段振华、我校教授朱惠彪和中国科学院软件研究所研究员詹乃军共同担任程序委员会主席,我校教授陈仪香担任工业专题主席。

图片 7决赛答辩现场

图片 8 会议现场

  LEDS研讨会旨在促进我国在可信软件基础领域的理论研究、技术开发和工业实践应用,加强国内该领域同行专家的学术交流与探讨。会议每年邀请国内该领域的知名专家学者、科研工作者、以及工业界的领域专家,围绕软件形式化方法、可信软件技术与理论、软件分析与验证、软件工程实践等内容开展深入探讨和交流。本次大会共吸引了海内外各大高校、研究院所、工业界或企事业单位的学者、研究生共计130余人参加,创造了参会人数之最。

  本次系列活动内容丰富,涵盖面广,吸引广大师生全面参与,处处将节能减排的主题发挥得淋漓尽致。系列活动包括了“世纪木棉”讲座、logo设计征集活动、开幕式、单车环岛骑行、定向越野、创意设计大赛以及四校辩论邀请赛。每次的活动都吸引了数百名师生共同参与,其中的logo设计征集活动和创意设计大赛更是有近300份优秀作品涌现而出。在本次系列活动过程中,学子们不断从身边发现关于节能减排的细节,积极发挥创新精神,使整个系列活动的全程都迸发着青春的活力、科技的创意。

  会上,曾我部博之与党志交换了两校学术交流与交换生协议,两校将开展交换生项目并推动师资交流、科研合作等。教务处、研究生院、国际交流与合作处、机械与汽车工程学院、土木与工程学院相关负责人出席会见。

图片 9

  决赛角逐出8个一等奖,其中包括华南理工大学的3个代表作品:卢治霖的“基于电力线载波通信的多重控制方式一体化智能家居系统”、沈栋的“基于无线通讯的医疗智能化复合式空气净化器”、罗立中的“高效节能型人体穿戴型制冷系统设计”。

  会后,代表团参观了发光材料与器件国家重点实验室。(图/许颖 文/通讯员 余莞婷 国际交流与合作处)

本次大会吸引了海内外各大高校、研究院所、工业界或企事业单位的学者、研究生共计130余人参加

图片 10梁均达副书记、李正校长助理参观竞赛产品

附:爱知工业大学简介

图片 11

  “有创意、有想法,继续努力,你们要为国家节能减排做更大的贡献。”梁均达展示现场为学生们点赞。“我们的系统采用的是电力线载波通信,即通过电线就可以控制任一电器,完美解决了目前通过WiFi控制电器时所面临的信号强度和辐射范围问题,尤其适用于政府和学校办公楼,只要一套设备就能精确控制到每一盏灯,而且设备成本仅在百元左右,非常适于大范围推广”,“基于电力线载波通信的多重控制方式一体化智能家居系统”团队的卢治霖介绍说,目前他们正在和厂商合作,计划将产品进行产业化生产。

  爱知工业大学创建于 1912 年,本部位于日本爱知县丰田市,原名为名古屋电力学讲习所,于1960年更名为爱知工业大学,是日本中部地区的第一所工科领域的私立大学。该校在建筑、材料、土木、机械等学科领域拥有较强实力。据悉,1971年,爱知工业大学的创办人、校长后藤钾二作为日本乒乓球协会理事长访问中国,与周恩来总理会谈并邀请中国队参加在名古屋举行的世界乒乓球锦标赛,促进日中关系正常化。

2016年全国可信软件工程中的逻辑方法研讨会在我校召开

  据悉,本届大赛由团省委、省教育厅、省科技厅、省科协、省学联主办,校团委、电力学院承办,广东电网有限责任公司、中国联通、广东工业大学协办,开展了以“节能减排”产品设计和“节能减排”方案设计为主的学术性活动。值得一提的是,此次工业设计大赛特意增加了节能减排创意赛,该比赛门槛较低,全程都在线上进行,符合当代年轻人的生活习惯,又通过前期宣传时在线上平台的转发扩散,以及网络投票时官方以及参赛队伍自觉转发的再次扩散,不但成功传播了节能减排的理念,契合了节能减排进校园活动的主题,同时更是将各参赛作品的精彩创意传递给了全省各高校的学生,促进了共同提高。

  本次大会邀请包括何积丰、段振华团队、美国伊利诺伊大学香槟分校副教授谢涛、美国Portland大学教授谢飞、江西师范大学教授薛锦云、中国科学院软件研究所研究员张立军及詹乃军团队与会,安排20多位专家和科研人员在会上作报告。

附:获奖名单

  大会开幕式由段振华与朱惠彪作为程序委员会主席为会议共同主持。周巢尘与何积丰院士先后分别为大会致辞。何积丰在大会上作了题为A New Roadmap on Linking Theories of Programming的特邀报告,探讨了统一编程理论中的测试理论,提出了链接编程理论的新路标。段振华团队作了题为A Tutorial: Verification tool MSV的报告,介绍了他们的验证工具平台以及最新工作进展。

特别贡献奖

华南理工大学、华南农业大学、广东工业大学、广东技术师范学院、广东环保职业技术学院

一等奖

华南理工大学

卢治霖

基于电力线载波通信的多重控制方式一体化智能家居系统

广东工业大学

黎杰扬

面向动力电池的离子风散热器

广东技术师范学院

黄海森

基于切割磁感线的智能环保自行车

华南理工大学

沈栋

基于无线通讯的医疗智能化复合式空气净化器