搜索结果: 1-15 共查到“计算机软件 首个”相关记录59条 . 查询时间(0.3 秒)
江苏科技大学学子首获江苏省大学生程序设计大赛金奖(图)
江苏科大 江苏 程序设计 金奖
2023/6/6
中国原子能科学研究院自主研发出国内首款基于腔室场景的气溶胶计算软件.(图)
计算软件 放射性气溶胶 分析
2023/2/15
2023年2月15日,原子能院“稳定支持钚气溶胶产生及转移规律”项目研究团队在钚气溶胶的输运机制基础研究中取得重要进展,自主研发出国内首款基于腔室场景的气溶胶计算软件,能够为腔室气溶胶的输运行为分析与现场内照射评价提供模拟计算支撑,相关研究成果为辐射防护设计、监测方案制定、异常原因分析等提供了理论技术支持。钚的同位素大多为α放射性核素,衰变时能释放高能α粒子,具有极高的放射性毒性,即便是少量进入人...
山东大学软件学院学子在中国大学生程序设计竞赛国赛首站获银牌(图)
山东大学软件学院 中国大学生程序设计竞赛 国赛 程序设计
2022/10/31
中央音乐学院音乐人工智能与音乐信息科技系建成全球首个带标注的多模态胡琴演奏数据库(图)
标注 多模态 胡琴演奏 数据库
2022/10/5
近期,中央音乐学院音乐人工智能与音乐信息科技系建成全球首个带标注的多模态胡琴演奏数据库(CCOM-HuQin),该数据库由中央音乐学院民乐系表演专业的研究生参与录制,采用统一的高精度录制标准和科学可靠的标注体系,可广泛用于音高识别、音频转谱、乐谱跟随以及音视频分析、情感计算、表演生成等研究,填补了音乐科技领域中带标注的多模态中国民族乐器演奏数据库的空白,对弘扬中国民族音乐以及中西方音乐对比研究有重...
2021年12月4-5日,2021年(第17届)湖南省大学生计算机程序设计竞赛在益阳正式举行,吸引了来自湖南省40多所高校的400多支队伍共1000余人参加了比赛。本次竞赛由湖南省教育厅主办,湖南省高教学会计算机教育专业委员会协办、湖南城市学院承办。
中国自主研发求解器首获国际SMT比赛冠军
求解器 整数差分逻辑(QF_IDL)组 冠军
2021/8/17
近日,形式化验证顶级会议CAV 2021会议公布了第十六届国际可满足性模理论比赛(SMT-COMP 2021)比赛结果,中国科学院软件研究所(以下简称软件所)研究员蔡少伟带领团队研发的求解器荣获整数差分逻辑(QF_IDL)组冠军。这也是中国团队首次在SMT-COMP比赛中获得冠军。
首获国际大学生程序设计竞赛(亚洲区域赛)金奖(图)
国际大学生程序设计竞赛 亚洲区域赛 金奖 程序设计
2021/5/21
2020年5月21日,正值第9个全球无障碍宣传日,清华大学计算机系联合搜狗输入法发布全球首款面向视障用户的智能键盘,让盲人用户能更方便地使用手机输入文字,更快捷地与世界沟通。目前,视障人士可以通过读屏软件使用手机。但在文本输入时,经常因为点击不准影响输入效率,增大了交互难度。针对该问题,清华大学计算机系教授史元春和副研究员喻纯带领团队创新性提出字符级文本输入纠错方法,基于盲人用户输入行为模型和语言...
中国科学院软件研究所马翠霞研究员首获2019“牛顿奖”中国奖(图)
中国科学院软件研究所 马翠霞 研究员 2019 牛顿奖 中国奖 服务设计 大数据技术 可持续城市化
2020/1/10
2020年1月8日,中英科技与创新新年招待会暨2019“牛顿奖”中国颁奖典礼在英国驻华大使馆官邸举办。英国驻华大使吴百纳宣布了中英合作项目“将服务设计和大数据技术转化为可持续城市化”(Transforming Service Design and Big Data Technologies into Sustainable Urbanisation)获得2019“牛顿奖”中国奖。此项目由英国文化教...
中国科学院软件研究所发布国内首个量子程序设计平台——isQ(图)
中国科学院软件研究所 量子程序设计平台 isQ 编译器 模拟器 模型检测工具
2019/12/20
2019年12月20日上午,中国科学院软件研究所举行了量子程序设计平台新闻发布会,正式发布了国内第一个较为完整的量子程序设计平台isQ,“isQ”中的“is”代表软件研究所Institute of Software,“Q”代表量子Quantum。isQ平台是基于软件所量子软件团队多年来在量子程序设计模型、量子程序逻辑、量子程序分析算法等方面所取得的系统性理论成果基础上成功实现的。该平台包括量子程序...
2020年吉首大学数学与统计学院硕士研究生入学考试自命题C语言程序设计考试大纲。
吉首大学信息科学与工程学院2021年硕士研究生入学初试自命题C语言程序设计考试大纲。
吉首大学数学与统计学院2021年硕士研究生入学初试自命题C语言程序设计考试大纲。