吕建

作品数：199被引量：1408H指数：22
导出分析报告
供职机构：南京大学更多>>
发文主题：移动AGENT面向对象软件开发INTERNET软件体系结构更多>>
发文领域：自动化与计算机技术电子电信经济管理文化科学更多>>
发文期刊：更多>>
所获基金：国家自然科学基金国家高技术研究发展计划国家重点基础研究发展计划江苏省自然科学基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
神经符号系统:非确定性管理的视角
《中国科学:信息科学》2025年第1期1-31,共31页李泽南 姚远 马晓星 吕建 
国家自然科学基金(批准号:62025202);江苏省软件新技术与产业化协同创新中心资助项目。
作为一种智能化软件形态,融合了神经网络和符号规则的神经符号系统正受到越来越多的关注,相关研究爆炸性增长.然而,现有技术仍然难以有效支持较大规模神经符号系统“端到端”的自动构建.神经网络训练和符号规则学习过程中对非确定性的...
关键词：神经符号学习 神经符号接地 推理捷径 符号约束合成 
新一代信息技术赋能应急管理现代化的战略分析被引量：34
《中国科学院院刊》2022年第12期1727-1737,共11页张海波 戴新宇 钱德沛 吕建 
中国科学院学部院士咨询评议重大项目(2022-ZW14-Z-027);国家社会科学基金重大项目(20&ZD160)
新一代信息技术的应用和发展是实现应急管理现代化的重要支撑。大数据、人工智能等新一代信息技术已经在自然灾害、安全生产等领域得到应用,提高了政府监测预警、监管执法、应急指挥决策辅助、救援实战和社会动员能力,改进了企业本质安...
关键词：应急管理 现代化 信息技术 大数据 人工智能 
深入学习贯彻习近平总书记重要回信精神以实际行动加快建设世界上“第一个南大”
《中国高等教育》2022年第11期11-14,共4页胡金波 吕建 
习近平总书记给南京大学留学归国青年学者回信,是习近平总书记关于教育的重要论述的最新内容,为高等教育发展提供了根本遵循。我们以习近平总书记重要回信精神为指导,在推动科技自立自强上再创佳绩,在坚定文化自信讲好中国故事上争做表...
关键词：重要回信 科技自强 文化自信 
可成长软件理论方法和实现技术:从范型到跨越被引量：4
《中国科学：信息科学》2020年第11期1595-1611,共17页许畅 秦逸 余萍 曹春 吕建 
国家重点研发计划(批准号:2017YFB1001801);国家自然科学基金(批准号:61932021,61902173)资助项目。
在云计算和大数据的技术背景下,"人–机–物"三元融合的应用模式正不断加速社会的信息化进程,并对软件系统的自适应和持续演化能力提出了新的需求.本文探索了面临软硬件环境及外部资源不断变迁挑战下的可成长网构软件理论方法和实现技术...
关键词：可成长软件 范型机理 自主适应 持续演化 
PaxosStore中共识协议TPaxos的推导、规约与精化被引量：2
《软件学报》2020年第8期2336-2361,共26页易星辰 魏恒峰 黄宇 乔磊 吕建 
国家自然科学基金(61690204,61702253,61772258)。
PaxosStore是腾讯开发的高可用分布式存储系统,现已用于全面支持微信核心业务.PaxosStore实现了分布式共识协议Paxos的一种变体,称为TPaxos.TPaxos的新颖之处在于其“统一性”:为每个参与者维护统一的状态类型,并采用统一格式的消息进...
关键词：Paxos PaxosStore 共识协议 TLA+ 精化关系 模型检验 
CRDT协议的TLA+描述与验证被引量：4
《软件学报》2020年第5期1332-1352,共21页纪业 魏恒峰 黄宇 吕建 
国家重点研发计划(2017YFB1001801);国家自然科学基金(61702253,61772258)。
无冲突复制数据类型(conflict-free replicated data types,简称CRDT)是一种封装了冲突消解策略的分布式复制数据类型,它能够保证分布式系统中副本节点间的强最终一致性,即执行了相同更新操作的副本节点具有相同的状态.CRDT协议设计精巧...
关键词：无冲突复制数据类型 强最终一致性 最终可见性 模型检验 TLA+ 
面向环境非确定性的信息物理融合系统测试技术研究被引量：2
《中国科学：信息科学》2019年第11期1428-1450,共23页秦逸 许畅 陈紫琦 吕建 
国家重点研发计划(批准号:2017YFB1001801);国家自然科学基金(批准号:61932021,61902173);软件新技术与产业化协同创新中心(江苏)资助项目
信息物理融合系统(cyber-physical system,CPS)是“人-机-物”三元融合模式背景下新型软件基础设施的重要一环.为了处理不断涌现的新环境、新模式和新平台,CPS软件必须具备一定质量保障水平的可成长和可持续演化能力.然而CPS软件在与环...
关键词：信息物理融合系统 软件测试 环境非确定性 测试输入生成 测试预言生成 环境适应性 评估 
Android应用测试输入自动生成技术被引量：3
《中国科学：信息科学》2019年第10期1234-1266,共33页王珏 蒋炎岩 许畅 马晓星 吕建 
国家重点研发计划(批准号:2017YFB1001801);国家自然科学基金(批准号:61690204,61802165)资助项目
软件自动化是提高软件生产率的根本途径.由于Android应用快速迭代的开发模式,其对于自动化协助应用开发,尤其是自动化测试,有很高的需求.在自动化测试中,测试输入自动生成是最为关键和资源消耗最大的步骤之一,极大地影响自动化测试的有...
关键词：ANDROID 自动测试 输入生成 技术描述 智能手机 
与南大同路 与时代同行——南京大学2018届本科生毕业典礼校长寄语
《大学科普》2018年第3期21-23,共3页吕建 
尊敬的各位来宾、各位家长、老师们、同学们：大家下午好!栀子花开的6月是收获的季节,2018届的同学们辛勤耕耘,学业有成,即将带着4年的收获,步入新的人生旅程.栀子花开的6月也是离别的时刻,校园里满满都是你们在与学校、老师、同学、朋...
关键词：毕业典礼 南京大学 本科生 校长 同行 大同 栀子花 同学 
基于循环神经网络的缺陷报告分派方法被引量：5
《软件学报》2018年第8期2322-2335,共14页席圣渠 姚远 徐锋 吕建 
国家重点研发计划(2016YFB1000802);国家自然科学基金(61702252;61672274)~~
随着开源软件项目规模的不断增大,人工为缺陷报告分派合适的开发人员(缺陷分派)变得越来越困难.而不合适的缺陷分派往往会严重影响缺陷修复的效率,为此,迫切需要一种缺陷分派辅助技术帮助项目管理者更好地完成缺陷分派任务.当前,大部分...
关键词：缺陷分派 循环神经网络 深度学习 
全选清除导出
共20页<12345678910>
检索报告 对象比较 聚类工具 使用帮助 返回顶部