搜索结果: 136-150 共查到“知识要闻 程序设计及其语言”相关记录196条 . 查询时间(2.578 秒)
由湖南省教育厅主办的湖南省第十六届大学生计算机程序设计竞赛于2020年10月17日至10月18日在长沙理工大学举办。经过5个小时的激烈角逐，我校派出的4支队伍斩获一等奖3项和二等奖1项，并斩获团体总分第二名，获得了自2009年参加省赛以来的历史最好成绩。
近日，由全国高等院校计算机基础教育研究会开展的线上教学优秀案例评选活动成果揭晓，我校宋友教授团队负责的《C语言程序设计》课程荣获“全国高等院校计算机基础教育研究会2020年在线教学特邀优秀案例”称号。全国高等院校计算机基础教育研究会是我国有重要影响的、专门从事高校计算机基础教育研究的全国一级学术团体，对我国高校的计算机基础教育起到重要的推动作用。其为及时推广与交流线上教学宝贵经验，组织开展了在线教...
中国科学院软件研究所发布国内首个量子程序设计平台——isQ（图）
中国科学院软件研究所 量子程序设计平台 isQ 编译器 模拟器 模型检测工具
2019/12/25
2019年12月20日上午，中国科学院软件研究所举行了量子程序设计平台新闻发布会,正式发布了国内第一个较为完整的量子程序设计平台isQ，“isQ”中的“is”代表软件研究所Institute of Software，“Q”代表量子Quantum。isQ平台是基于软件所量子软件团队多年来在量子程序设计模型、量子程序逻辑、量子程序分析算法等方面所取得的系统性理论成果基础上成功实现的。该平台包括量子程序...
我国计算机基础理论研究取得进展——编程理论OESPA实现语义计算
计算机基础理论 编程理论 OESPA 语义计算
2019/12/3
计算机应用已经深入到人类社会的每一个角落，可新软件必须通过测试才能投入使用。测试只能发现错误，不能判断是否无错，潜在的错误可能影响我们的生活。科学家们几十年如一日尝试用数学描述和逻辑推理来定义和证明程序正确，测试仍然是软件开发必不可少的步骤。日前，科学出版社出版了国内知名Petri网专家、北大信息学院软件理论教研室原主任、教授袁崇义的英文专著《OESPA: Semantic Oriented Th...
2019年11月8日，我院吴杰老师课题组研究生黄博博、张一名、张瑞、邹文雄和陈路路等组成的复旦 Starry 战队参加由国际高性能和人工智能咨询委员会（HPC-AI）举办的第七届大学生 RDMA 编程挑战赛，最终和清华团队并列获得第二名。本届比赛得到了包括中国高性能计算专业委员会、华为、Mellanox、NVIDIA 等国内外多家知名机构及企业的大力支持。国际高性能和人工智能咨询委员会于 2008...
2019年10月17日，CCF CCSP竞赛(Collegiate Computer Systems & Programming Contest大学生计算机系统与程序设计竞赛)在苏州职业大学落下帷幕。本次大赛中，由我院教师李建波和杜祥军指导的、计算机科学技术学院学子组成的青岛大学参赛队首次参赛便取得了优异成绩，获得2项银奖、2项铜奖，其中赵现锋、林子豪获银奖，曹光旭、姬忠鲁获铜奖。青岛大学在参赛的...
长沙理工大学在湖南省ACM程序设计竞赛中喜获佳绩（图）
长沙理工大学 湖南省 ACM程序设计
2022/2/5
近日，第十五届湖南省大学生计算机程序设计竞赛在湖南师范大学顺利落幕。在本次比赛的ACM程序设计竞赛中，全省近40所高校派出了138支队伍参赛。长沙理工大学共派出4支代表队12名选手参加了本次比赛。
程序语义表示是长期困扰软件工程领域的基础性难题，对于解决代码搜索、应用程序接口学习、缺陷定位等智能化软件工程任务具有重要意义。近年来，众多研究者持续关注程序语义表示问题，但现有技术很难对自然语言与代码元素进行统一表示，难以度量两者间的语义关系。近期我校在软件工程国际期刊IEEE Transactions on Software Engineering（TSE）发表研究成果，为破解程序语义表示难题提...
2019年6月22日至26日，第40届程序设计语言设计与实现会议（ACM SIGPLAN Conference on Programming Language Design and Implementation，PLDI 2019）在美国凤凰城举行，南京大学计算机科学与技术系程序设计语言研究组冯新宇教授、梁红瑾副教授及其团队的论文“Towards Certified Separate Compil...
2019年6月16日，首届中国数据可视化创作大赛颁奖典礼于南京大学新闻与传播学院举行。由江南大学数字媒体学院数字媒体艺术学生朱钧霖、赵文轩、李可儿和数字媒体技术学生张天勤交叉合作完成的的设计作品《落花惊梦》，斩获了该大赛移动交互设计组金奖。该作品由在数字媒体学院教师龙娟娟、陈伟共同指导。此次参赛作品《落花惊梦》是基于明代剧作《牡丹亭》文本内容、利用开源软件processing制作的交互信息设计作品...
2019年5月26日，第十届蓝桥杯全国软件和信息技术专业人才大赛颁奖典礼在北京大学体育馆落下帷幕。数计学院学生力压诸路高手，在本届蓝桥杯全国总决赛C/C++程序设计大学A组（ 985、211高校本科生）中获得历史性突破，取得了特等奖1人、一等奖1人、二等奖7人、三等奖4人的好成绩，其中2015级计算机专业的吴媛媛同学获得总决赛C/C++程序设计大学A组唯一的特等奖（所有参赛学生第一名）。数计学院院...
2019年5月12日，“浪潮杯”第十届山东省大学生ACM程序设计竞赛在济南大学落下帷幕。本次大赛中，我院学子取得了1项金奖、2项银奖、3项铜奖、2项优胜奖的优秀成绩。其中孙雨田、刘春超获金奖，徐艳、林子豪、赵现锋、赵心治、王俊皓、左一兵获银奖，李磊、祖亚君、李阳、李嘉馨、于启星、张润泽、曹光旭、王浩宇、王泗翔获铜奖，胡文江、曹旭、满孝阳、姬忠鲁、李斌、张晓阳获优胜奖。
2019年3月30日，第四届“中国高校计算机大赛-团体程序设计天梯赛”成功进行，来自北京大学、浙江大学、电子科技大学等全国274所高校的761支队伍、7603名学生参加了比赛。比赛分为3个组别，采用相同的题目、相同的时长在全国41个赛点同时在线进行，每支参赛队最多有10 名队员，每所高校成绩最高的3支队伍参与计分和评奖。青岛大学计算机科学技术学院作为大赛的承办赛点，与数软学院一起承办了该项比赛。两...
山东大学科技期刊社四期刊获中国高校期刊奖励
山东大学科技期刊社 四期刊 中国高校 期刊奖励
2018/11/20
2018年11月5日，中国高校科技期刊研究会公布了2018年度全国高校“杰出·百佳·优秀科技期刊”评选结果。山东大学科技期刊社编辑出版的《山东大学学报（理学版）》被评为“中国高校百佳科技期刊”；《山东大学学报（医学版）》《山东大学学报（工学版）》《山东大学耳鼻喉眼学报》被评为“中国高校优秀科技期刊”。近年来，科技期刊社紧紧围绕学校“双一流”建设，以创建“名刊强社”为目标，认真谋划发展蓝图，实施“期...
日前，第九届“蓝桥杯”全国软件和信息技术专业人才大赛(以下简称“蓝桥杯大赛”)全国总决赛在北京落下帷幕，来自北京大学、清华大学、南京大学等千余所高校的近5000余名蓝桥杯省赛一等奖选手云集京城，竞逐蓝桥杯大赛的最高荣誉。经过激烈比拼，信息学院刘洁莎同学斩获全国赛Java软件开发大学B组一等奖，曾培根、韦溢辉同学荣获C/C++程序设计二等奖，洪鼎谋同学荣获单片机设计与开发二等奖，金培源、杨易同学喜获...