李京
- 作品数：116 被引量：739H指数：14
- 供职机构：中国科学技术大学计算机科学与技术学院更多>>
- 发文基金：国家自然科学基金国家高技术研究发展计划国家重点基础研究发展计划更多>>
- 相关领域：自动化与计算机技术文化科学经济管理电子电信更多>>
- 明天的“大梁”怎样挑?——中间件技术应用谈被引量：3
- 2002年
- 长期的《方案应用》为大家介绍了中间件的起源、概念、分类,在本期中我们继续介绍中间件的发展趋势、国内现状以及国内企业在应用时应注意的误区。同时还将继续展示中间件在各个领域的应用案例。
- 李京
- 关键词：中间件技术
- 一种面向区块链系统的轻量级高效可验证查询方法
- 2024年
- 近年来,随着区块链技术的广泛应用,各种场景下的应用对链上数据的查询需求与日俱增.针对区块链网络中轻节点的可验证查询问题,本文充分利用区块链的结构特性,提出一种新的轻量且高效的可验证查询方案,以支持对链上数据可验证的布尔范围查询.该方案将查询过程分为块间过滤和块内查询两阶段,针对块内查询,本文设计了一种简化的Merkle-B树结构,在兼顾查询效率的同时减少验证信息的大小,针对块间过滤,本文提出了两种分别基于布隆过滤器和位图的新型可验证数据结构,以高效支持对不同查询的批量处理和验证.安全性分析证明了该方案的可验证性;相关对比实验表明了该方案具有较好的查询性能和较低的开销.
- 孙文鹏王硕李京
- 关键词：区块链布隆过滤器
- J2EE平台的扩展事务模型支持框架被引量：7
- 2006年
- 随着Internet和分布计算的发展,应用趋向于分布、松耦合和复杂化,平面事务模型已经越来越不适应于这些新型的应用,因此出现了多种扩展事务模型.但目前的研究多关注于特定应用环境的模型的提出和分析,同时由于受数据源接口的限制,难以实现事务模型的一些扩展原语,所以真正实现扩展事务模型的系统很少.提出了一种J2EE平台下的扩展事务模型支持框架,通过增强事务管理器的数据并发控制,实现了对常见扩展事务模型的支持.
- 张昕丁晓宁金蓓弘李京
- 关键词：J2EE并发控制
- 一种基于MB+树的网络共享数据查询和检验方法被引量：5
- 2018年
- 网络数据共享机制将数据置于远程网络服务商处并通过外部访问接口进行共享,用户无须保存数据副本,网络服务商负责数据的安全保障,因此无副本情况下数据用户对网络服务商处存储数据的查询和安全校验至关重要。分析目前对远程存储数据查询和检验常用的Merkle散列树方法,就其对大规模数据进行检验时存在验证过程冗余、验证辅助数据量大等不足,提出一种基于MB+树的网络共享数据查询和检验方法,帮助数据用户确认位于网络服务商处数据的正确性和完整性。利用MB+树非叶节点包含多出度、叶节点直接映射数据等特性对数据文件进行抽象组织,避免Merkle散列树的节点数和深度随数据文件块的增多而呈线性增长的问题,同时缩短检验过程中的查询认证路径,减少检验所需的辅助认证信息,有效地控制了时间和空间消耗。通过实验分析可知,相较于常用的方法(如Merkle散列树),处理大规模数据时MB+树更易于构建,也能够更加快速地查询和检验数据文件。
- 李凌张蕾李凌张蕾
- 关键词：副本查询完整性
- 高校网站群及其外延服务研究
- 2014年
- 随着信息化建设的不断深入,公众对高校网站服务水平要求提高,高校网站原有的一群模式架构已经不适合。中国科学技术大学采用网站群架构设计方法,对校内各个网站重新设计部署。围绕网站即服务这个宗旨,在网站群的构建过程中提出网站生态系统用户模型,并根据服务的映射关系提供管理上和软件技术上的服务,着重对校内各网站管理员进行与网站群内容管理平台配套的技术支持和环绕网站群平台的技术开发,提供高效内容搜索、RSS推送服务、访问量统计分析、WML页面发布、稿酬计费统计等功能。历时一年时间,成功对校内各个网站进行改版,构建了包含学校各党政机关部处、各院系科研教学机构和学校社团的网站群系统。
- 陈蕾夏玉良王影徐兵李京
- 关键词：网站群信息服务
- 一种基于移动Agent的复合Web服务容错模型被引量：19
- 2005年
- 摘现有的Web服务容错侧重于通过扩展Web服务标准来提供容错能力.由于Web服务标准体系本身不断发展变化,并且标准之间的兼容性问题依然存在,使得这些研究成果的可实施性较弱.文章提出一种基于移动Agent的复合Web服务容错模型——MAFTM模型,从系统层次而非标准层次来解决复合 Web服务的容错问题.首先说明基于移动Agent的工作流与复合Web服务的关系.在此基础上,给出MAFTM模型,包括故障类型、复制机制、“exactly once”语义和一致性算法,并证明MAFTM模型的正确性.
- 徐伟金蓓弘李京曹建农
- 关键词：移动AGENT工作流容错模型
- 藏语口语语音语料库的设计与研究被引量：8
- 2018年
- 基于对普通语音语料库构建方法的研究与分析,结合自然口语语音识别研究相关需求以及藏语自然口语语音的基本特点,研究设计了适用于藏语语音识别的口语语音语料库建设方案以及相应的标注规范,并据此构建了时长50小时,包含音素、半音节、音节、藏文字以及语句共5层标注信息的藏语拉萨话口语语音语料库。统计结果显示,该语料库在保留口语语音自然属性的同时,对音素、半音节等常用语音建模单元也有均衡的覆盖,为基于藏语口语语音数据的语音识别技术研究提供了可靠的数据支撑。
- 黄晓辉李京李京
- 关键词：语音语料库语音识别
- 面向回填优化的作业时长预测被引量：5
- 2019年
- 高性能计算集群通常使用先来先服务等传统的作业调度方法,它具有良好的公平性,并且实现简单,但容易产生闲置的资源碎片.针对上述问题,一种的策略是使用回填,利用一些短时间小作业来填补系统等待期间的空闲资源碎片.但好的回填方法通常需要知道作业预期的运行时间,而用户或者不愿意提供作业预期运行时间,或者倾向于提供比实际运行时间更长的预期时间以避免作业被系统终止,因此我们有必要自行预测作业的运行时间. VASP是国内应用最普及的高性能计算应用软件之一,本文通过分析VASP作业特性,解析并抽取相应的作业特征集,提出一种基于贝叶斯的二次预测模型IRPA,对VASP作业进行运行时长的预测,最后进一步提出基于径向基网络分支及贝叶斯分类的混合预测模型BRBF,并且利用我校TC4600平台上的VASP作业数据集进行验证.实验结果和其他几个基本方法进行对比,表明IRPA以及BRBF的有效性以及在粗粒度下具有的较高预测准确率.
- 吴桂宝沈瑜张文帅廖莎莎王琦琦李京
- 关键词：回填径向基
- 基于缓存机制的Hyperledger Fabric并发冲突检测方法被引量：1
- 2022年
- Hyperledger Fabric(Fabric)是一个受关注度较高的许可链平台,具有高度模块化、可定制化和可插拔的特点。针对Fabric在高并发的场景下会出现并发冲突导致交易无效的问题,提出一种冲突检测与处理的方法,即利用缓存交易写集的方式在执行阶段检测交易是否冲突,最大程度减小冲突交易在Fabric系统的资源消耗。实验结果表明,在具有冲突交易的场景下,提出的方法能降低平均交易时延,提高系统有效交易吞吐量;并且在没有冲突交易的情况下,不会明显降低性能。
- 王盛姣董建亮熊航李京
- 关键词：区块链并发冲突缓存机制
- 模型库管理系统的设计和实现被引量：62
- 1998年
- 模型库管理系统是决策支持系统的核心，其基本功能包括模型的定义、组合、存储和调用．该文介绍一个支持客户／服务器模式的模型库管理系统的设计和实现，在这个系统中，模型被视为程序模块，通过运用面向对象的方法进行组织以及对模型的远程和动态的透明调用提供支持，使实现的系统具有良好的动态可扩充性．同时，通过提供模型定义语言和模型库管理，便于决策支持系统客户软件的开发．
- 李京孙颖博刘智深张道一
- 关键词：决策支持系统模型库管理系统
