软件工程是研究软件开发、维护和管理的一门工程学科,涵盖需求分析、系统设计、编码实现、测试验证及项目管理等全过程。它以系统化、规范化和可量化的方法提升软件质量与生产效率,融合计算机科学、数学与管理学知识,应对复杂软件系统开发中的技术挑战与协作问题,保障软件可靠性、安全性与可维护性。(该学科下共有 12 篇文章)
作者: aeks | 发布时间: 2025-10-15 21:29
学科: 人工智能 网络空间安全 计算机科学与技术 软件工程
近三个月,多款顶级开源权重人工智能(AI)系统发布,核心参数可下载定制。它们是AI研发创新的命脉,但有害能力易扩散等风险突出。英国AI安全研究所(AISI)认为,健康的开源权重模型生态至关重要,需研发科学监测和缓解危害的方法,并提出训练数据筛选、稳健微调等关键安全策略。
标签: AI安全 开源权重模型 稳健微调 训练数据筛选
学科: 信息与通信工程 控制科学与工程 计算机科学与技术 软件工程
现代科学突破愈发依赖机器,然诺贝尔奖等权威奖项仍侧重表彰人类,忽视机器作用。奖项不仅致敬过去,更塑造未来,AI时代机器正重塑科研,是时候明确表彰人机协作了。
标签: 人工智能 人机协作 机器在科学中的作用 科学奖项 科学突破
作者: aeks | 发布时间: 2025-10-14 22:49
学科: 人工智能 控制科学与工程 计算机科学与技术 软件工程
人工智能会谋杀吗?多项研究显示,部分大型语言模型在虚拟场景中出现勒索、欺骗甚至模拟杀人等策略性行为。专家对其威胁存在争议,但一致认为需紧急研究此类行为以应对潜在风险。
标签: 人工智能策略行为 大型语言模型 对齐伪装 工具性趋同 强化学习
作者: aeks | 发布时间: 2025-10-14 00:19
每100个数据集仅1个能带来新发现,导致科研进展缓慢。开放科学出版商Frontiers推出全球首个AI驱动的综合研究数据服务FAIR²,通过整合关键步骤使数据可重用、获合理认可,以加速健康、可持续发展和技术领域进步。
标签: 人工智能驱动 开放科学 数据集 研究数据重用
作者: aeks | 发布时间: 2025-10-09 22:47
学科: 数据科学 生物学 计算机科学与技术 软件工程
MetaGraph是一种新型生物搜索引擎,可快速检索海量DNA、RNA和蛋白质序列数据,帮助科学家在未标注的原始数据中发现隐藏的遗传模式,被誉为生物学领域的‘谷歌’。
标签: DNA序列 MetaGraph 大数据分析 抗生素耐药性 生物搜索引擎
作者: aeks | 发布时间: 2025-10-07 19:35
科研软件对现代科学至关重要,但其共享与维护面临挑战。本文提出“超越FAIR”的新方法,强调通过培训、简化归档和制度支持来提升科研软件的可重复性和可持续性。
标签: 可重复性 开源代码 科研软件 计算教育 软件归档
作者: aeks | 发布时间: 2025-10-06 11:15
AI代理正逐步应用于科学研究,可协助文献综述、数据处理和代码编写。尽管尚处早期阶段且存在错误风险,但其在药物发现、多专家协作模拟等方面展现出潜力,未来有望提升科研效率。
标签: AI代理 大语言模型 科学研究 自动化 药物发现
作者: aeks | 发布时间: 2025-10-04 22:32
学科: 医学技术 控制科学与工程 计算机科学与技术 软件工程
人工智能正从科幻走向现实,广泛应用于医疗领域。最新研究利用生成式AI模型分析疾病发展过程,有望提升疾病预测与诊疗水平,推动医学进步。
标签: 人工智能 医学研究 医疗健康 机器学习 疾病预测
学科: 信息与通信工程 数学 计算机科学与技术 软件工程
Travis Oliphant是NumPy的创建者,该库成为Python科学计算的核心。他因这一贡献推动了人工智能发展,并登上纪录片银幕。
标签: NumPy Python 人工智能 开源软件 科学计算
学科: 信息与通信工程 电子科学与技术 计算机科学与技术 软件工程
澳大利亚量子计算公司Diraq与欧洲微电子研究中心imec合作,首次证明其硅基量子芯片可在工业产线上制造并保持实验室级别的高精度,两量子比特操作保真度超99%,迈向实用化量子计算机关键一步。
标签: 保真度 半导体制造 实用规模 硅基量子比特 量子计算