您的位置： 专家智库 > >

李彬

作品数：22 被引量：24H指数：3
供职机构：南京大学更多>>
发文基金：国家自然科学基金教育部“新世纪优秀人才支持计划”国家重点基础研究发展计划更多>>
相关领域：自动化与计算机技术经济管理文化科学理学更多>>

合作作者

文献类型

  • 11篇期刊文章
  • 7篇学位论文
  • 3篇专利
  • 1篇会议论文

领域

  • 10篇自动化与计算...
  • 4篇经济管理
  • 2篇文化科学
  • 2篇理学
  • 1篇政治法律
  • 1篇语言文字

主题

  • 3篇草图
  • 3篇草图检索
  • 2篇新闻
  • 2篇新闻话语
  • 2篇银行
  • 2篇银行理财
  • 2篇实证
  • 2篇数据结构
  • 2篇相关反馈技术
  • 2篇理财
  • 2篇话语
  • 2篇激光
  • 2篇激光剥离
  • 2篇反馈技术
  • 2篇变式
  • 1篇单晶
  • 1篇单晶薄膜
  • 1篇氮化镓
  • 1篇德语
  • 1篇递归

机构

  • 20篇南京大学
  • 5篇计算机软件新...
  • 1篇洛阳师范学院

作者

  • 22篇李彬
  • 5篇赵建华
  • 5篇翟娟
  • 4篇汤震浩
  • 2篇张荣
  • 2篇修向前
  • 2篇李宣东
  • 2篇汤恩义
  • 2篇孙正兴
  • 1篇姚景才
  • 1篇陈振宇
  • 1篇陈鑫
  • 1篇张尧烨
  • 1篇梁爽

传媒

  • 5篇软件学报
  • 2篇时代金融
  • 1篇新闻传播
  • 1篇计算机科学
  • 1篇智能系统学报
  • 1篇现代管理
  • 1篇第四届全国配...

年份

  • 2篇2024
  • 1篇2021
  • 3篇2020
  • 5篇2018
  • 3篇2017
  • 1篇2011
  • 1篇2009
  • 2篇2007
  • 1篇2005
  • 1篇2004
  • 2篇2001
共 22 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
基于线性规划分类器的相关反馈技术
2007年
提出了一种基于线性规划分类器的相关反馈方法.所设计的线性规划分类器将特征选择和分类学习结合起来,使其不仅能在利用用户标注的小样本条件下进行实时训练,而且能根据样本对分类的贡献程度选择用户反馈中的敏感特征,从而能在相关反馈小样本训练条件下有效捕捉用户的反馈意图.针对草图检索的实验结果验证了所提出方法在相关反馈中的有效性.
孙正兴张尧烨李彬
关键词：草图检索
商贸大客户系统Web Service接口的设计与实现
随着企业信息化应用的不断深化，企业内部出现了各种各样的系统，但由于各个系统开发所使用的技术并不一样，为了保持信息的一致性，每个系统都会预留一些接口方便给别的系统使用，传统的接口已经不能满足现在的需要，基于Web Serv...
李彬
关键词：企业信息化接口设计WEB服务
数值稳定性相关漏洞隐患的自动化检测方法被引量：5
2018年
安全漏洞检测,是保障软件安全性的重要手段.随着互联网的发展,黑客的攻击手段日趋多样化,且攻击技术不断翻新,使软件安全受到了新的威胁.描述了当前软件中实际存在的一种新类型的安全漏洞隐患,称为数值稳定性相关的安全漏洞隐患.由于黑客可以利用该类漏洞绕过现有的防护措施,且已有的数值稳定性分析方法很难检测到该类漏洞的存在,因而这一新类型的漏洞隐患十分危险.面对这一挑战,首先从数值稳定性引起软件行为改变的角度定义了数值稳定性相关的安全漏洞隐患,并给出了对应的自动化检测方法.该方法基于动静态相结合的程序分析与符号执行技术,通过数值变量符号式提取、静态攻击流程分析以及高精度动态攻击验证这3个步骤来检测和分析软件中可能存在的数值稳定性相关安全漏洞.在业界多个著名开源软件上进行了实例研究,实验结果表明:该方法能够有效检测到实际软件中真实存在的数值稳定性相关漏洞隐患.
沈维军汤恩义陈振宇陈振宇陈鑫李彬
关键词：漏洞检测
对银行理财子公司发展方向的思考被引量：1
2020年
近年来,银行理财子公司纷纷获批,是中国资管行业转型发展的重要标志。随着居民财富配置均衡化趋势、银行理财净值化转型,未来银行理财子公司将成为居民财富保值、增值的主要平台。本文关注银行理财子公司这一新兴业态,分析需求和市场长期趋势,结合理财子公司自身禀赋和优势,从产品和投资两方面思考理财子公司战略定位。抓住理财子公司发展面临的主要矛盾,勾勒研究资产配置、获取超额收益、另类投资、私募理财和封闭式理财产品募集、吸纳优秀人才及保持核心人员稳定等六大核心能力拼图。最后,本文提出适应居民资产配置长期趋势的银行理财资产配置框架。
李彬高增银
银行理财委托投资管理的几个关键问题被引量：2
2020年
委托投资作为银行理财自主投资的重要补充,是未来银行理财转型、居民大类资产配置的重要工具和依托。在探索过程中,由于对市场风险认知不到位、风险和收益目标定位不清晰、投资久期把握不准、对外部管理人的管理不科学等问题,总体来说银行理财对该工具运用效果不佳。随着居民财富配置均衡化趋势、银行理财净值化转型,未来银行理财子公司将成为居民财富保值增值的主要平台。委托投资符合社会化分工的趋势,应与自主投资优势互补、分工协作,发挥应有作用。本研究回顾了委托投资的发展历程,总结发展中出现的问题,在此基础上分析委托投资在银行理财投资管理体系中的定位,提出了委托投资管理中需要重点关注的几个问题。
李彬高增银
关键词：资产配置
面向草图检索的相关反馈技术研究
手绘草图既符合人们“笔录纸现”的思维表达习惯，又能充分利用计算机极强的信息维护功能，因此在人机交互领域具有强大的生命力。小型化、便携式和无线设备的快速发展极大地推动了手绘草图领域的发展。大量的蕴涵丰富信息的草图不断涌现，...
李彬
关键词：草图检索相关反馈技术线性规划分类器
自动分析递归数据结构的归纳性质被引量：2
2018年
提出了一种对递归数据结构的归纳性质进行自动化分析的框架.工作分为3个主要部分.首先,它将递归数据结构的归纳性质分为两个主要类别,并提出对应的处理模式,从而帮助简化对于程序中的递归数据结构上的相关性质的分析.其次,提出了一种称为分割与拼接的技术来发现和描述递归数据结构是如何被程序修改的:递归数据结构首先被分割为若干个互不相交的片段,然后,这些片段以新的方式重新拼接在一起,形成一个新的数据结构.这个技术的重点在于如何将程序原有的性质保留下来,从而为后面的分析过程所使用.最后,提出了一种调用上下文敏感的程序摘要过程间分析方法.案例分析和实验结果表明:分析框架可以有效地分析递归数据结构的归纳性质,并生成对程序证明过程有用的断言.
汤震浩李彬翟娟翟娟
关键词：过程间分析
自动合成数组不变式被引量：3
2018年
提出了基于抽象解释框架自动合成数组程序不变式的方法,它能够分析按照特定顺序访问一维或者多维数组的程序,然后合成不变式.该方法将性质(包括区间全称量词性质和原子性质)集合作为抽象域,通过前向迭代数据流分析合成数组性质.证明了该方法的正确性和收敛性,并通过一些实例展示了该方法的灵活性.开发了一种原型工具,该工具在各种数组程序(包括competition on software verification中的array-examples benchmark)上的实验展示了方法的可行性和有效性.
李彬翟娟汤震浩汤恩义赵建华
我国产业结构变动与生产率增长——基于结构效应的实证研究
一个国家的经济增长既是GDP总量的提高，同时也是产业生产率的增长，这与产业结构的变动和优化息息相关。在此理论的基础上，本文首先从产业的增加值、生产率和就业变动的三个方面阐述了我国的产业结构的变化，阐明了结构效应存在的前提...
李彬
关键词：产业结构生产率经济增长
通过抽象程序证明复杂具体程序被引量：1
2017年
描述了证明抽象程序和具体程序满足一致性关系的方法.抽象程序使用抽象数据结构(ADTs),如set,list,map及其上的操作.具体程序使用类C语言中的类型.抽象程序和具体程序一致性证明需要用户给出抽象变量和具体变量的关系、抽象程序程序点和具体程序程序点的对应关系.基于对应关系,抽象程序和具体程序一致性证明可以分解,从而容易并可能自动证明.
李彬汤震浩翟娟赵建华
关键词：一致性精化
全选 清除 导出
共3页<123>
聚类工具0