公共文化服务平台

李绪蓉: 作品数：29 被引量：234H指数：9; 供职机构：南京航空航天大学计算机科学与技术学院更多>>; 发文基金：国家高技术研究发展计划国家自然科学基金国家重点基础研究发展计划更多>>; 相关领域：自动化与计算机技术机械工程文化科学经济管理更多>>

合作作者

知识链模型研究被引量：14: 2005年; 知识链定义为有限个知识资源组成的有序集合。从“过程”的观点来看,伴随业务过程而存在的一个流动的“知识过程”,也就是知识链。知识链映射业务过程,支持并主导业务过程,更提升、激励业务过程。知识健模型包含了知识资源生产过程和知识资源应用过程。前者定义为知识生产链,其操作包括知识资源的挖掘、表示和存储。后者定义为知识应用链,其操作包括知识资源的识别和选用、执行、评估。一个完备、健壮的知识链模型可以通过定义知识链单元的特性参数来评估,以保证知识链操作过程的高效率、低成本和负荷平衡。; 徐焕良李绪蓉; 关键词：知识链模型知识资源知识生产

基于XML的Agent通信语言被引量：19: 2003年; Agent之间的交互与合作是Agent系统中核心问题之一,而Agent通信语言(ACL)是实现交互与合作的基础。根据目前Agent的应用环境,分析了目前主流通信语言KQML与FIPAACL以及与之相关的内容语言的缺点,结合WWW的主流技术XML,提出基于XML的ACL。; 凌兴宏李绪蓉丁秋林; 关键词：AGENT 可扩展标记语言 AGENT通信语言

云计算下资源调度模型研究: 云计算环境中资源调度管理是云计算的关键技术之一。本文介绍了云计算下资源调度模型，阐述了云计算资源调度流程和云计算环境下实体之间的关系。根据物理服务器的资源属性，建立了一种综合考虑云计算资源负载的调度模型，利用人工加自动的...; 刘赛李绪蓉万麟瑞陈韬; 关键词：云计算资源调度负载均衡资源池; 文献传递

基于角色模型的业务过程再工程(BPR)的研究被引量：17: 2003年; Based on role object, the Business Process Reengineering (BPR) is quickly implemented by constructingthe frame of role model. This technology will be widely applied in CIMS too.; 徐焕良李绪蓉丁秋林; 关键词：角色模型 INTERNET 并行工程敏捷制造

一种基于最大熵的构件库动态存储方法: 2005年; 依照ALOAF构件库框架参考模型,首先给出构件库的形式化描述。然后,根据构件库框架的元模型以及相应的数据模型,确定构件在构件库中的存储方式。进而,提出一种基于最大熵的构件库的动态存储方法,概括为分类、模糊聚类、划分和排序。此方法改变传统构件库的静态组织形式,基于最大熵的构件块划分和贝叶斯方法的构件动态排列以及淘汰机制使构件库的存储更合理。; 徐焕良李绪蓉; 关键词：最大熵构件库模糊聚类贝叶斯方法

一种基于CCM的机构元知识构件模型被引量：1: 2004年; CCM作为CORBA的构件模型标准 ,代表着未来的构件规范。文章基于CCM ,提出了知识处理的构件模型。并通过机构设计中的复杂机构的机构元知识构件组合 ,从而实现其预定运动的实例。; 徐焕良李绪蓉丁秋林; 关键词：构件库 CCM 知识

基于业务构件的快速可重构信息系统研究被引量：23: 2003年; The present situation of research on Rapid Reconfigurable Information System (RRIS)is analyzed. Andthen,the advantages of BCRRIS (Business Component-based RRIS)are summarized. Moreover,strategies of BCRRISare discussed briefly. The emphasis is paid on the key technologies of BCRRIS,including software architecture ofBCRRIS,business components,component model (CORBA CCM)and a framework of BCRRIS.; 李绪蓉丁秋林; 关键词：软件体系结构软件工程

UML活动图模型正确性诊断方法被引量：3: 2011年; UML活动图的正确性决定了业务流程的正确执行,为此,提出一种UML活动图模型的正确性诊断方法。将模型分解后,对子模型进行模型验证,并对验证错误的子模型进行模型诊断,得到诊断结果。在质量管理过程实例中的应用结果表明,该方法能减小模型空间,减少诊断次数,准确锁定错误,有效地对模型的正确性进行诊断。; 周春燕李绪蓉周良; 关键词：活动图

面向业务构件的黑白盒混合的领域框架的设计与实现被引量：5: 2005年; 在 OO领域框架与构件化领域框架的基础上 ,兼顾两者优点 ,利用业务构件技术 ,并借助于 CCM构件模型标准 ,提出了面向业务构件的黑白盒混合的领域框架设计思想 .设计了管理调度中心 ,依据领域规则 ,将业务构件库的构件、热点知识库的热点子系统粘贴起来 ,实现构件在框架上的即插即用 .重点设计了领域规则库及管理调度中心 ,并结合订单处理系统的实例 ,说明了面向业务构件的黑白盒混合的领域框架的具体实现 .; 李绪蓉徐焕良; 关键词：CCM 规则库构件库

C程序数组越界的运行时验证技术研究与实现被引量：7: 2015年; 缓存区溢出能引起非常严重的安全问题,对网络和分布式系统(如机群,网格,P2P系统等)构成严重威胁。数组越界在缓存区溢出中占据重要位置,如何检测数组越界错误是一个重要且极具意义的课题。针对该课题,给出一种对C语言数组越界进行运行时验证的方法。分析了数组越界的错误类型,根据这些类型分别研究了数组越界的运行时验证的思想;设计了基于程序插桩进行数组越界动态检测的算法,给出了该方法基于开源编译器Clang的具体实现;用实验证明了该方法是切实可行并且有效的。; 李文明陈哲李绪蓉黄志球; 关键词：数组越界程序插桩