金芝 作品数:167 被引量:1,238 H指数:17 供职机构: 北京大学 更多>> 发文基金: 国家自然科学基金 国家重点基础研究发展计划 国家高技术研究发展计划 更多>> 相关领域: 自动化与计算机技术 经济管理 文化科学 医药卫生 更多>>
按需动态组织的知件库系统 被引量:1 2015年 "知件"是一个由中科院陆汝钤教授提出的将知识模块化的全新概念。基于知件概念提出并构建了一个按需动态组织的知件库系统。该知件库系统支持对知件的获取、表示、存储和管理。与全局知识库相比,这种知识的组织和管理方式有效地减少了知识管理和演化的代价。进一步地,知件库系统通过运用特定的知件关联算法,支持知件的检索、知件之间关联结构的动态配置和相关知件之间关联关系的展示,从而满足不同应用场景下的个性化知识需求。 施心悦 鲁扬扬 李戈 金芝多范例自动需求建模和分析:一种基于本体的方法 被引量:32 2003年 提出基于组织本体的问题领域描述,用领域用户能够理解的术语与他们交互,引导他们提供需求,提出以问题领域描述为起点的多范例自动建模和分析方法,提出组织结构的合理性,组织目标的可实现性和组织过程的可行性等三个分析准则。分析的结果可以进一步引导领域用户补充和修改问题领域描述,分析完成后得到的问题领域模型可以作为前期需求文档,为进一步的软件需求建模提供依据。 金芝 陆汝钤 David A.Bell关键词:软件工程 信息检索知识图谱嵌入方法、装置和计算机设备 本申请涉及一种信息检索知识图谱嵌入方法、装置和计算机设备。方法包括:获取信息检索知识图谱,并采集信息检索知识图谱的各子图信息;将各子图信息,转换为每个子图信息对应的文本序列,并对各文本序列进行编码转换处理,得到每个文本序... 黄雨 朱话时 雷鸣 徐德轩 李航 金芝知识引导的软件可信性需求的提取 被引量:9 2011年 软件系统的可信性已经成为一个受到广泛关注的焦点问题.开发可信的软件系统的前提是在需求阶段提取恰当的可信性需求.能否提取出足够好的软件可信性需求,不仅依赖于需求工程师对未来软件系统可能面临的威胁的认识,还依赖于其对各种威胁有效的应对措施的了解和掌握.目前缺少系统化的方法指导软件可信性需求的提取.文中提出一个软件可信性需求上层本体作为软件可信性需求的概念框架.在此框架的基础上,开发了一个软件可信性需求知识库,定义了软件可信性需求模式框架以及如何根据知识库的内容进行模式实例化的过程,帮助提取可信需求.最后利用一个股票交易系统作为案例展示了该方法的可行性. 王越 刘春 张伟 张伟软件学科发展回顾特刊前言 被引量:1 2019年 随着信息技术的飞速发展,软件系统无处不在,其应用形态呈现出泛在化、社会化、情境化、智能化等特征,软件正逐步成为人类社会不可或缺的基础设施.软件学科的发展是显而易见的,体现在系统规模越来越大,所解决的问题越来越复杂,交互对象越来越多样,人们寄予越来越高的可靠性要求.现在,人机物融合应用模式的不断深入,“泛在系统”和“软件定义”也成为呼之欲出的着力点.这孕育了软件学科的新的增长点,也给软件方法和技术带来了新的挑战.“以史为镜,可以知兴替”,为了更好地把握时机,迎接挑战,有必要重新审视软件学科中典型方法和技术的发展历程,从而启迪未来的发展方向.2019年是《软件学报》创刊30周年,以此特刊形式记录之. 梅宏 梅宏 金芝关键词:软件系统 信息技术 基础设施 人类社会 社会化 深度学习图像描述方法分析与展望 被引量:3 2023年 图像描述任务是利用计算机自动为已知图像生成一个完整、通顺、适用于对应场景的描述语句,实现从图像到文本的跨模态转换。随着深度学习技术的广泛应用,图像描述算法的精确度和推理速度都得到了极大提升。本文在广泛文献调研的基础上,将基于深度学习的图像描述算法研究分为两个层面,一是图像描述的基本能力构建,二是图像描述的应用有效性研究。这两个层面又可以细分为传递更加丰富的特征信息、解决暴露偏差问题、生成多样性的图像描述、实现图像描述的可控性和提升图像描述推理速度等核心技术挑战。针对上述层面所对应的挑战,本文从注意力机制、预训练模型和多模态模型的角度分析了传递更加丰富的特征信息的方法,从强化学习、非自回归模型和课程学习与计划采样的角度分析了解决暴露偏差问题的方法,从图卷积神经网络、生成对抗网络和数据增强的角度分析了生成多样性的图像描述的方法,从内容控制和风格控制的角度分析了图像描述可控性的方法,从非自回归模型、基于网格的视觉特征和基于卷积神经网络解码器的角度分析了提升图像描述推理速度的方法。此外,本文还对图像描述领域的通用数据集、评价指标和已有算法性能进行了详细介绍,并对图像描述中待解决的问题与未来研究趋势进行预测和展望。 赵永强 金芝 金芝 赵海燕 陶政为 赵海燕 徐新海 刘东红关键词:图像描述 支持Web Services语义组合的框架IRS-Ⅱ:分析与讨论 2006年 Web Services 是基于 Internet 进行分布式计算的基本元素,面向 Service 的计算将成为未来计算技术发展的趋势。但如何能够自动发现需要的 Service 资源,提高 Web Services 组合的智能化程度,是近来的研究热点之一。IRS-Ⅱ首先提出基于任务本体的 Service 发布、发现和组合方法,可以说是将 Service 发现和组合从语法的层次提升到了语义的层次。本文首先深入分析了IRS-Ⅱ提出的方法及其体系结构,然后对 Web Services 的智能检索和服务组合的问题进行讨论。 吴步丹 何丕廉 金芝关键词:WEB SERVICES 基于卷积神经网络的恶意APK的筛查方法 本发明公布了一种基于卷积神经网络的恶意安卓安装包APK的筛查方法,应用深度卷积神经网络对APK建模,使用APK原始数据作为输入,采用APK的Call Graph,根据安全敏感函数或者高频率调用(出现)函数的调用,设计相应... 李戈 金芝 刘雨轩文献传递 创建物联网控制系统的方法及装置 本发明提供一种创建物联网控制系统的方法及装置,该方法包括:采集物联网中设备和传感器的当前状态数据;根据所述设备和传感器的当前状态数据,构建至少一个本体类和所述至少一个本体类的数值类型属性,并根据所述至少一个本体类和所述至... 金芝 李戈 鲁扬扬 邢雪源 郝逸洋文献传递 客户/服务器风格的体系结构描述语言NEWCOM 被引量:8 1998年 本文介绍一个客户/服务器风格的体系结构描述语言NEWCOM.它的抽象级别介于需求描述和第四代语言之间.NEWCOM程序从宏观上描述一个在客户/服务器环境下运行的MIS.它支持多种组件,并为这些组件提供了若干连接机制.NEWCOM涉及数据仓库技术及数据库变换技术,支持异构的网络结构和数据库平台,有助于实现企业的整体解决方案.NEWCOM具有通用性和开放性,既可作为软件人员的设计蓝图,又可直接为用户生成MIS系统. 陆汝钤 金芝 刘璘 蒋爱军 赖辉旻关键词:体系结构 描述语言 MIS