马晓星

作品数：67被引量：498H指数：13
导出分析报告
供职机构：南京大学更多>>
发文主题：软件体系结构体系结构自适应软件系统软件开发更多>>
发文领域：自动化与计算机技术石油与天然气工程建筑科学经济管理更多>>
发文期刊：《计算机科学与探索》《计算机学报》《计算机与数字工程》《南京大学学报（自然科学版）》更多>>
所获基金：国家自然科学基金国家高技术研究发展计划国家重点基础研究发展计划江苏省自然科学基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
人机物融合泛在应用的系统支撑
《中国科学:信息科学》2025年第3期464-480,共17页曹云帆 赵超懿 刘瀚之 王加益 王慧妍 余萍 曹春 许畅 马晓星 蒋炎岩 
科技部重点研发项目(批准号:2022YFB4501800)资助。
泛在计算为人机物融合应用带来了新的可能性,但也面临着异构资源管理、需求多样性和计算资源受限等问题;同时,人工智能模型的快速发展也为智能应用的开发带来了机遇与挑战.为此,本文提出了元级化软件定义的泛在操作系统设计理念,通过引...
关键词：泛在计算 泛在操作系统 软件工程 
神经符号系统:非确定性管理的视角
《中国科学:信息科学》2025年第1期1-31,共31页李泽南 姚远 马晓星 吕建 
国家自然科学基金(批准号:62025202);江苏省软件新技术与产业化协同创新中心资助项目。
作为一种智能化软件形态,融合了神经网络和符号规则的神经符号系统正受到越来越多的关注,相关研究爆炸性增长.然而,现有技术仍然难以有效支持较大规模神经符号系统“端到端”的自动构建.神经网络训练和符号规则学习过程中对非确定性的...
关键词：神经符号学习 神经符号接地 推理捷径 符号约束合成 
大模型:基于自然交互的人机协同软件开发与演化工具带来的挑战被引量：16
《软件学报》2023年第10期4601-4606,共6页李戈 彭鑫 王千祥 谢涛 金芝 王戟 马晓星 李宣东 
以自然语言生成为核心的大模型技术正在人工智能领域掀起热潮,并持续向更多的领域穿透其影响力.以ChatGPT为代表的自然语言生成大模型(以下简称大模型),已经在软件工程的多项活动中展示出其通过自然交互方式给人提供一定程度帮助的能力...
关键词：软件开发与演化 大语言模型 人机协同 
Java指针分析综述被引量：3
《计算机研究与发展》2023年第2期274-293,共20页谭添 马晓星 许畅 马春燕 李樾 
国家自然科学基金项目(61932021,62025202,62002157);航空科学基金项目(20185853038,201907053004)。
近年来静态程序分析已成为保障软件可靠性、安全性和高效性的关键技术之一.指针分析作为基础程序分析技术为静态程序分析提供关于程序的一系列基础信息,例如程序任意变量的指向关系、变量间的别名关系、程序调用图、堆对象的可达性等....
关键词：指针分析 别名分析 JAVA 静态分析 上下文敏感 
自适应软件系统模型偏差检测方法的适用性评估被引量：1
《计算机研究与发展》2022年第9期1929-1946,共18页童燕翔 秦逸 马晓星 
国家自然科学基金项目(62025202,61932021,61902173);江苏省自然科学基金项目(BK20190299)。
自适应软件系统的模型偏差会导致诸多可靠性问题.对控制型自适应软件系统而言,其面临的模型偏差源自描述软件系统的标称模型在非确定运行环境中的漂移现象.现有模型偏差检测方法往往忽视了不同模型偏差之间的差异性,导致用户难以为其特...
关键词：自适应软件 控制型自适应软件系统 模型偏差 运行时验证 场景特性 
复杂系统的软件工程和需求工程专题前言被引量：2
《计算机科学》2020年第12期F0002-F0002,I0001,共2页毛新军 吴文峻 马晓星 刘璘 
当前,我们正处于一个软件定义一切的时代,软件无处不在,渗透到社会经济生活的各行各业,成为了人类社会不可或缺的关键基础设备。在这一特殊时代,软件系统的运行支撑环境、自身的规模和形态等复杂性特征也发生了深刻的变化。越来越多的...
关键词：运行支撑环境 软件工程 软件系统 物理设备 软件定义 复杂性特征 融合信息 社会经济生活 
编者按
《中国科学：信息科学》2020年第11期1593-1594,共2页王戟 马晓星 
正如B.Stroustrup所言,软件承载着我们的文明.当前云计算、大数据、物联网、人工智能技术和"人–机–物"三元融合应用模式不断加速社会的信息化进程,软件"定义"一切,成为信息化社会不可或缺的基础设施.作为基础设施,软件需要在其所处软...
关键词：人工智能技术 云计算 大数据 物联网 基础设施 融合应用 外部资源 软硬件环境 
Android应用测试输入自动生成技术被引量：3
《中国科学：信息科学》2019年第10期1234-1266,共33页王珏 蒋炎岩 许畅 马晓星 吕建 
国家重点研发计划(批准号:2017YFB1001801);国家自然科学基金(批准号:61690204,61802165)资助项目
软件自动化是提高软件生产率的根本途径.由于Android应用快速迭代的开发模式,其对于自动化协助应用开发,尤其是自动化测试,有很高的需求.在自动化测试中,测试输入自动生成是最为关键和资源消耗最大的步骤之一,极大地影响自动化测试的有...
关键词：ANDROID 自动测试 输入生成 技术描述 智能手机 
寻找软件开发的“银弹”
《科技纵览》2019年第5期72-75,共4页金芝 张伟 马晓星 陈雨亭 
国家973计划“基于开源生态的网构化软件开发原理和方法”(项目编号:2015CB352200)的支持。
在现代社会中,软件应用于多个方面。典型的软件有电子邮件、嵌入式系统、人机界面、办公套件、操作系统、编译器、数据库、游戏等。同时,各个行业几乎都有计算机软件的应用,这些应用促进了经济和社会的发展,也提高了工作效率和生活效率...
关键词：软件开发 计算机软件 嵌入式系统 计算机能力 计算机程序 电子邮件 人机界面 办公套件 
软件开发方法发展回顾与展望被引量：31
《软件学报》2019年第1期3-21,共19页马晓星 刘譞哲 谢冰 余萍 张天 卜磊 李宣东 
国家自然科学基金委-中国科学院学科发展战略研究项目:软件学科发展战略研究(XK2017XXC01)~~
软件是信息化社会的基础设施,而构造并运用软件的能力成为一种核心竞争力.软件开发方法凝结了系统化的软件构造过程和技术.简要回顾了50年来软件开发方法发展历程中具有重要影响的里程碑,包括基于结构化程序设计和模块化开发的基本方法...
关键词：软件开发方法 回顾 展望 
全选清除导出
共7页<1234567>
检索报告 对象比较 聚类工具 使用帮助 返回顶部