公共文化服务平台

金芝: 作品数：166 被引量：1,230H指数：17; 供职机构：北京大学信息科学技术学院高可信软件技术教育部重点实验室更多>>; 发文基金：国家自然科学基金国家重点基础研究发展计划国家高技术研究发展计划更多>>; 相关领域：自动化与计算机技术文化科学经济管理医药卫生更多>>

合作作者

按需动态组织的知件库系统被引量：1: 2015年; "知件"是一个由中科院陆汝钤教授提出的将知识模块化的全新概念。基于知件概念提出并构建了一个按需动态组织的知件库系统。该知件库系统支持对知件的获取、表示、存储和管理。与全局知识库相比,这种知识的组织和管理方式有效地减少了知识管理和演化的代价。进一步地,知件库系统通过运用特定的知件关联算法,支持知件的检索、知件之间关联结构的动态配置和相关知件之间关联关系的展示,从而满足不同应用场景下的个性化知识需求。; 施心悦鲁扬扬李戈金芝

多范例自动需求建模和分析:一种基于本体的方法被引量：33: 2003年; 提出基于组织本体的问题领域描述,用领域用户能够理解的术语与他们交互,引导他们提供需求,提出以问题领域描述为起点的多范例自动建模和分析方法,提出组织结构的合理性,组织目标的可实现性和组织过程的可行性等三个分析准则。分析的结果可以进一步引导领域用户补充和修改问题领域描述,分析完成后得到的问题领域模型可以作为前期需求文档,为进一步的软件需求建模提供依据。; 金芝陆汝钤David A.Bell; 关键词：软件工程

知识引导的软件可信性需求的提取被引量：9: 2011年; 软件系统的可信性已经成为一个受到广泛关注的焦点问题.开发可信的软件系统的前提是在需求阶段提取恰当的可信性需求.能否提取出足够好的软件可信性需求,不仅依赖于需求工程师对未来软件系统可能面临的威胁的认识,还依赖于其对各种威胁有效的应对措施的了解和掌握.目前缺少系统化的方法指导软件可信性需求的提取.文中提出一个软件可信性需求上层本体作为软件可信性需求的概念框架.在此框架的基础上,开发了一个软件可信性需求知识库,定义了软件可信性需求模式框架以及如何根据知识库的内容进行模式实例化的过程,帮助提取可信需求.最后利用一个股票交易系统作为案例展示了该方法的可行性.; 王越刘春张伟张伟

软件学科发展回顾特刊前言被引量：1: 2019年; 随着信息技术的飞速发展,软件系统无处不在,其应用形态呈现出泛在化、社会化、情境化、智能化等特征,软件正逐步成为人类社会不可或缺的基础设施.软件学科的发展是显而易见的,体现在系统规模越来越大,所解决的问题越来越复杂,交互对象越来越多样,人们寄予越来越高的可靠性要求.现在,人机物融合应用模式的不断深入,“泛在系统”和“软件定义”也成为呼之欲出的着力点.这孕育了软件学科的新的增长点,也给软件方法和技术带来了新的挑战.“以史为镜,可以知兴替”,为了更好地把握时机,迎接挑战,有必要重新审视软件学科中典型方法和技术的发展历程,从而启迪未来的发展方向.2019年是《软件学报》创刊30周年,以此特刊形式记录之.; 梅宏梅宏金芝; 关键词：软件系统信息技术基础设施人类社会社会化

深度学习图像描述方法分析与展望被引量：1: 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

基于完全有限前缀展开的行为等价过程树生成算法被引量：2: 2021年; 过程树能够兼具过程模型的行为和结构,在简化模型结构的复杂度方面具有重要意义.现有过程树转化仅能将基于块结构的简单过程模型转化为过程树,无法将具有复杂结构的过程模型转化过程树.为此,提出了一种基于完全有限前缀展开的行为等价过程树生成算法,用于将与过程树行为等价的过程模型转化为行为等价过程树.该方法首先利用完全有限前缀展开技术分析过程模型,抽取模型的活动关系;其次通过分析活动关系,进而对模型进行重构.最终通过活动关系判断和模型重构的不断迭代操作,构建行为等价过程树.通过在测试模型上的实验,验证了该算法在行为等价过程树生成方面的正确性和可行性.; 朱锐黄月金芝金芝李彤; 关键词：PETRI网

金芝

合作作者

文献类型

领域

主题

机构

作者

传媒

年份

用户反馈

金芝

合作作者

文献类型

领域

主题

机构

作者

传媒

年份

用户登录

用户反馈