李国强
- 作品数：39 被引量：67H指数：4
- 供职机构：上海交通大学更多>>
- 发文基金：国家自然科学基金国家杰出青年科学基金上海市科学技术委员会资助项目更多>>
- 相关领域：自动化与计算机技术理学医药卫生文化科学更多>>
- 基于本体的面向区块链溯源的供应链数据标准化系统
- 一种基于本体的面向区块链溯源的供应链数据标准化系统，监测模块、本体部署模块和溯源模块，本发明利用本体模型，将跨国供应链中不同厂商对活动实例的不同表述标准化为一个统一的本体表述，解决语义多样性导致的数据共享问题；将供应链中...
- 王家欢蔡鸿明叶聪聪姜丽红于晗李国强
- 文献传递
- 基于类pi演算的电子支付协议安全性形式化研究被引量：4
- 2006年
- 设计一个满足安全需求的协议非常困难,并且极易出错,因此利用形式化方法来检验安全协议引起了人们极大的关注。使用了类pi演算来验证电子支付协议的认证性和匿名性。
- 顾永跟李国强王国钧
- 关键词：电子支付协议认证性匿名性
- 树比较可视化方法综述被引量：7
- 2016年
- 层次数据是生产和生活中常见的一类数据.树可视化通常用于呈现层次数据,是可视分析中的一个重要部分.比较是一种常用的分析方式,而树比较可视化也是可视分析研究中的一个重要课题.树比较可视化从所比较的树的数目角度,分为树内比较、两树比较和多树(3树及以上)比较;从数据特点角度分为静态树比较和动态树比较;从比较分析的任务角度,分为结构比较和属性比较.对现有的树比较可视化方法进行了总结,按照不同方法的表现形式,将树比较可视化分为并置、合并以及动画这3类.同时,结合其他分类方法对树比较可视化方法进行了全面的分析和评估.通过评估和比较,分析了不同方法的优缺点以及在不同的数据分析需求中的适用性.在此基础上,还对树比较可视化中的交互方式进行了总结,并阐述了树比较可视化所面临的挑战.
- 李彦龙李国强董笑菊
- 基于Spi演算的Kerberos认证协议形式化研究被引量：3
- 2004年
- 网络安全已成为世人关注的问题,安全协议的形式化验证显得越来越重要,基于Spi演算的验证是一种很好的模型检测方法。我们介绍了Spi演算并扩展了两个基本原语,描述和验证Kerberos协议的认证性,同时指出了该协议的不足之处,最后分析了基于Spi演算的形式化研究的今后发展方向。
- 李国强顾永跟傅育熙
- 关键词：KERBEROS认证KERBEROS协议形式化验证
- 针对形近汉字的图像优化识别系统
- 一种针对形近汉字的图像优化识别系统，包括：图像识别模块、中文文本笔画拆分模块和中文文本纠错模块，其中：图像识别模块根据文字在图片上笔画的突变为特征信息，利用CTPN和CRNN模型进行图像文字的检测和识别得到图片中的文字信...
- 罗艺康李国强
- 文献传递
- 基于0.18um BCD工艺的逻辑EEPROM IP核的设计与验证
- 笔记本电脑是现代电子产业的典型产品之一，小巧轻薄，全球出货量高达几亿台。本文对笔记本电脑上的电池管理系统进行了深入的分析，发现主流方案采用了高集成度的片上系统芯片或多颗芯片，该芯片市场潜力巨大。同时这些方案中需要EEPR...
- 李国强
- 关键词：笔记本电脑电池管理
- 文献传递
- 异步多进程时间自动机的可覆盖性问题
- 2017年
- 已有的实时系统模型无法动态创建新进程.为此,基于时间自动机模型,提出了异步多进程时间自动机模型,将每个进程抽象为进程时间自动机,其部分状态能够触发新进程.考虑到队列会导致模型图灵完备,进程都被缓存在集合中,但仍可建模许多实时系统.通过将其编码到可读边时间Petri网,证明了该模型的可覆盖性问题可判定.
- 刘立李国强
- 关键词：时间自动机
- 在自然语言文本上进行标记的方法
- 一种在自然语言文本上进行标记的方法，通过人机交互设备在文本中触发标记工具可识别事件，通过标记工具判断该事件所属的标记元素结构并对其进行对应的排版，保证在标记过程中进行各种操作时，界面始终保持一致性，同时展示的文本当中句子...
- 马振文王若愚谭淳沙群皓李国强
- 文献传递
- 机器阅读理解系统的自定义问题数据自动生成方法
- 一种机器阅读理解系统的自定义问题数据自动生成方法，包括：数据集预处理模块、答案挖掘模块和问题生成模块，数据集预处理模块根据HotpotQA和SQuAD机器阅读理解数据集中的信息，使用模型判定机制进行问题难度分类，得到每个...
- 陈旻宇李国强
- 文献传递
- 基于模型检测的并发程序分析综述被引量：1
- 2014年
- 程序分析可以被看作抽象解释的模型检测,这使得程序分析的系统化方法成为可能。并发程序日益重要,在多核平台和分布式系统有着广泛的应用。而并发程序分析仍然有巨大的困难,实践上的复杂性和理论上的不可判定性都使得程序分析难以简单进行。文献[19]指出即使只有两个递归线程的交互,断言检测也是不可判定的。为了克服这类障碍,一些并发程序的静态分析方法被提了出来。对基于模型检测的并发程序分析给出一个详尽的综述,包括使用的数学模型、已有工具、可判定以及不可判定结果。
- 黄明璋李国强
