新闻

卡片列表

信息学院唐宇田课题组提出安卓应用“降肿”新方法

软件臃肿（software bloat）是软件开发中普遍存在的现象。随着越来越多的功能特性、设备支持等模块集中在单一的软件中，软件臃肿的情况愈发严重。软件臃肿不仅会导致软件维护成本提高、软件风险增加，也会引发用户黏度下降等一系列问题。如何降低软件臃肿，尤其在安卓应用上，已成为近年主要的挑战之一。目前虽然已有一些针对传统软件的降低软件臃肿的办法，但是目前面向安卓软件的“降肿”研究仍处于起步阶段。近期，信息学院唐宇田课题组研发了一种新方法，可有效对抗安卓应用臃肿化。该成果以“XDebloat: Towards Automated Feature-Oriented App Debloating”为题发表在软件工程领域顶级期刊IEEE Transactions on Software Engineering。该期刊同时也是中国计算机学会（CCF）推荐的A类期刊。图| XDebloat 完整框架图唐宇田课题组长期致力于软件开发、系统安全等的相关研究。课题组针对安卓软件臃肿化问题开发了XDebloat框架，实现了基于功能切割和基于功能模块化的安卓软件去臃肿化方案。此方案提供了3种自动化标注功能模块

2022-01-21

新闻
信息学院江智浩团队在人-机-物三元融合系统领域取得多项进展

随着计算机科学的进步，智能软件拥有了在复杂环境中自主做出决策的能力，可在减轻人类专家负担的同时提升工作效率。但在医疗、交通等领域，由于问题的复杂性以及对安全的重视，智能软件还无法完全取代人类专家。在上述领域中的智能软件应保证人-机-物的三元融合，即领域专家（人）在智能软件（机）的辅助下解决复杂问题（物）。智能软件如何利用其严谨性以及高算力承担人类专家不擅长的工作，并为领域专家提供具有可解释性的辅助是人-机-物三元融合系统的核心问题。上科大信息学院江智浩团队利用形式化方法保证智能软件的正确性，并使用数字孪生技术集成领域知识，保证辅助的可解释性，在智慧医疗、软件工程等应用领域取得多项成果。形式化工具降低交叉领域软件验证门槛嵌入式软件的开发属于计算机领域与应用领域的交叉领域，如何让应用领域专家在缺乏计算机专业知识的情况下参与嵌入式软件开发是一项重大的难题。模型验证方法可在软件开发早期对系统在不同环境状况下的正确性进行形式化验证，并通过提供反例的方式为软件改进提供依据。在模型验证中，系统所处的环境状况由环境模型表示，该模型需要覆盖所有可能的环境状况，并在存在反例时保证反例的可解释性。开发满足以

2022-01-19

新闻
信息学院王成课题组开发出中红外超混沌激光源

信息学院王成课题组成功开发出中红外波段宽带超混沌激光源。近日，该成果以 “Mid-infrared hyperchaos of interband cascade lasers”为题在Nature旗下期刊Light：Science Applications上发表。Light: Science Applications由中国科学院长春光学精密机械与物理研究所于2012年创办，2013年被SCI收录，创刊以来发表了多项重要原创成果，对光学及其交叉领域产生了深远影响，是公认最顶尖的国际光学期刊之一。混沌是自然界普遍存在的现象，是确定性动力学系统产生的类似随机过程的无序性行为。大气就是一个典型的混沌系统，1963年由美国气象学家洛伦兹发现，并通过“蝴蝶效应”一词为大众熟知。半导体激光器在特定条件下能够产生激光混沌，即激光输出在时域上表现为随机的无序行为。激光混沌在保密光通信、高速真随机数产生和激光雷达领域有重要的应用价值。近年来，激光混沌开始被应用于（储备池）光计算领域，并有望推动人工智能的发展。然而，目前半导体激光器产生的混沌大都处于近红外波段，限制了其在中红外和其他波段的应用。王成课题

2022-01-10

新闻
信息学院成功举办2021年度亚洲硬件安全与信任研讨会

2021年度亚洲硬件安全与信任研讨会（Asian Hardware Oriented Security and Trust Symposium, AsianHOST）近期在上海科技大学顺利召开。会议聚焦硬件安全领域热点问题，旨在搭建学术交流平台，汇聚行业专家学者，共商硬件安全前沿发展。本次会议由上科大信息学院主办，共吸引了160余名来自全球各地的学者注册参会。受疫情影响，研讨会采用线上与线下联动的方式开展。硬件安全与信任已成为新型计算芯片的一个热点问题。随着计算能力和连接性的不断增强，硬件安全已成为系统设计、测试和验证过程的关键环节。此次研讨会旨在提供全面可操作性的软件和硬件平台，进而确保现代计算机系统的安全设计、制造及部署。会议主要聚焦于硬件与系统安全领域的热点问题，涉及可信硬件的技术、工具/测试方法、架构、电路及应用等。中国科学院计算技术研究所研究员、计算机体系结构国家重点实验室常务副主任李晓维和印度理工学院教授Debdeep Mukhopadhyay担任本次会议联合主席，信息学院周平强教授和河海大学曹元教授担任会议程序联合主席。另外，信息学院宋富教授和娄鑫教授担任了会议委员会委员

2022-01-07

新闻
【人民网】寇煦丰：让集成电路设计成为网红课

2022-01-05

新闻
【师者】文鼎柱：保持孜孜不倦的探索精神

2022-01-04

新闻
2021年十大新闻

是时候来总结一下了最近，听歌年度报告刷屏了B站年度视频刷屏了你的2021关键词是什么呢？一年时光飞逝转眼间又到了该跟2021说再见的时候盘点过往让我们来重温一下SIST的2021大事记1、学生风采：在2021年的国际大学生超算大赛总决赛中，由我院本科生组成的上科大代表队GeekPie_HPC在殷树教授的指导下，斩获了总成绩全球第二名，取得历史性突破。他们就是杨易为、赵楚一、季宇辰、曹松晖、井皓天、张厶元和李冠呈。上海科技大学GeekPie_HPC SC21主力队员和主要参与成员合影（左起：李冠呈，李泽城，杨易为，季宇辰，赵楚一，林弘扬，张厶元，秦斐然，井皓天，曹松晖，程家骏）除了骄人的竞赛成绩，大家还记得那款风靡一时，一上线就迅速登上中国App Store图形与设计榜下载量榜首的应用软件“WAND”吗？这是一款能便捷画出二次元虚拟形象的应用软件，由上科大博士生陈安沛、刘睿洋和影眸科技研发团队（上科大信息学院学生：张启煊、张龙文、黄嘉浩、王一玮、吴迪) 一起讨论研发。说到这，是不是又想去打开软件设计人物形象了？Wand研发团队合影说完了竞赛，创新创业，就到了科研成果展示环节。今年我院科研

2021-12-31

新闻
我院高盛华教授入选张江国家自主创新示范区100位杰出创新创业人才！

12月29日，由上海推进科技创新中心建设办公室、上海市人力资源和社会保障局首次举办的“张江国家自主创新示范区杰出创新创业人才”评选，结果正式揭晓。100位在张江国家自主创新示范区建设中做出卓越贡献的战略科学家、领军企业家和科技青年才俊受到表彰。上科大共有4人入选，其中包括我院高盛华教授。高盛华专注于人工智能和计算机视觉方向的研究。在物体检测识别、三维重建和深度学习领域拥有多项核心技术。他提出的多列卷积神经网络模型在人脸识别、人群技术、人眼凝视点估计等诸多任务取得国际领先水平；提出的基于压缩感知的神经网络设计具有可解释性，有助于神经网络的设计和理解；引领并深耕基于几何结构的场景重建，推动了三维重建领域的发展。已申请了16项中国专利，其中人脸识别相关技术已应用于国家会展中心安检系统，并先后服务于两届中国国际进口博览会，三维重建相关技术已用于在徐家汇、张江人工智能岛等多个场景构建城市数字孪生系统。他建立的利用视频预测进行视频异常事件检测的方法，已成为异常事件检测的最主流手段。他开发的利用声音同时驱动人脸和人体运动的数字人技术，在各项评价指标上达到行业领先水平。再次向高盛华及当选的其他三位创新

2021-12-31

新闻

每页 8 记录总共 942 记录
第一页 <<上一页下一页>> 尾页
页码 63/118 跳转到

每页 8 记录总共 942 记录
第一页 <<上一页下一页>> 尾页
页码 63/118 跳转到