您的位置： 专家智库 > >

李宣东

作品数：292 被引量：826H指数：16
供职机构：南京大学更多>>
发文基金：国家自然科学基金国家高技术研究发展计划江苏省自然科学基金更多>>
相关领域：自动化与计算机技术医药卫生电子电信文化科学更多>>

合作作者

文献类型

  • 155篇专利
  • 128篇期刊文章
  • 5篇会议论文
  • 3篇科技成果
  • 1篇学位论文

领域

  • 162篇自动化与计算...
  • 7篇医药卫生
  • 3篇电子电信
  • 3篇文化科学
  • 2篇机械工程
  • 2篇建筑科学
  • 1篇经济管理
  • 1篇理学

主题

  • 35篇代码
  • 34篇自动机
  • 21篇面向对象
  • 16篇可达性
  • 14篇状态机
  • 14篇建模语言
  • 14篇测试用例
  • 13篇形式化
  • 13篇软件开发
  • 13篇混成系统
  • 13篇规约
  • 12篇实时系统
  • 12篇网络
  • 12篇控制流
  • 12篇MDA
  • 11篇求解器
  • 10篇自动生成
  • 9篇源程序
  • 9篇源代码
  • 9篇搜索

机构

  • 273篇南京大学
  • 23篇计算机软件新...
  • 5篇国防科学技术...
  • 3篇复旦大学
  • 3篇北京大学
  • 3篇北京航空航天...
  • 3篇中国科学院软...
  • 3篇兖矿集团总医...
  • 2篇华东师范大学
  • 2篇南京航空航天...
  • 2篇华为技术有限...
  • 2篇兖矿集团有限...
  • 2篇兖州矿业(集...
  • 1篇东北大学
  • 1篇河海大学
  • 1篇北京信息工程...
  • 1篇北京信息科技...
  • 1篇济宁医学院
  • 1篇山东大学
  • 1篇西北工业大学

作者

  • 292篇李宣东
  • 104篇王林章
  • 69篇郑国梁
  • 52篇卜磊
  • 48篇张天
  • 40篇赵建华
  • 34篇潘敏学
  • 28篇陈志
  • 19篇汤恩义
  • 15篇陈鑫
  • 11篇李必信
  • 8篇张岩
  • 7篇于笑丰
  • 6篇胡军
  • 6篇沈思远
  • 6篇陆一飞
  • 5篇崔萌
  • 5篇王云峰
  • 5篇李一超
  • 5篇蒋慧

传媒

  • 38篇软件学报
  • 29篇计算机科学
  • 12篇计算机学报
  • 5篇计算机研究与...
  • 5篇南京大学学报...
  • 5篇计算机应用与...
  • 5篇中国科学：信...
  • 4篇电子学报
  • 4篇计算机科学与...
  • 3篇计算机工程与...
  • 2篇山东医药
  • 2篇计算机工程与...
  • 2篇大数据
  • 2篇信息安全学报
  • 2篇863计划智...
  • 1篇系统工程与电...
  • 1篇中国煤炭工业...
  • 1篇计算机工程与...
  • 1篇计算机应用研...
  • 1篇煤矿现代化

年份

  • 2篇2024
  • 13篇2023
  • 8篇2022
  • 14篇2021
  • 17篇2020
  • 21篇2019
  • 19篇2018
  • 18篇2017
  • 27篇2016
  • 18篇2015
  • 11篇2014
  • 27篇2013
  • 5篇2011
  • 7篇2010
  • 3篇2009
  • 4篇2008
  • 6篇2007
  • 8篇2006
  • 17篇2005
  • 10篇2004
共 292 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
一种数值程序的全局优化方法
本发明提出了一种数值程序的全局优化方法，利用符号执行技术从源程序中抽取用于表述路径约束条件以及数值计算过程的代数表示。并分析每个代数表示，通过运用不同地代数变换规则将其转换成数值计算误差更小的代数形式。最终把每个代数表示...
王协肖安祥汤恩义王林章马骏李宣东
一种基于MARTE建模语言和Theme方法的嵌入式系统建模方法
一种基于MARTE建模语言和Theme方法的嵌入式系统建模方法，步骤10：根据嵌入式系统的需求说明书分析实体和采用的Theme；步骤11：确定最终的类和实体；步骤12：确定最终的Theme；步骤13：确定时间相关行为，使...
张天孙晴晴李宣东
文献传递
一种智能家居物联网系统验证与修复的方法和装置
本发明公开了一种智能家居物联网系统验证与修复的方法和装置。本发明通过智能家居设备描述信息和IFTTT规则构建混成自动机模型，然后通过对混成自动机模型的路径分析，找出可能到达系统不安全的路径，然后将这些可达路径编码成SMT...
卜磊熊文任昕悦王熙马娆沈思远王亚楠李宣东
一种基于深度学习与程序合成的C/C++程序缺陷自动修复方法
本发明基于深度学习与程序合成的C/C++程序缺陷自动修复方法，输入带有缺陷的C/C++程序、错误定位信息、程序需要满足的规约以及满足相同规约正确程序集，通过学习正确程序中的书写结构，建立一个正确书写结构模型；根据错误定位...
王林章周风顺李宣东
文献传递
一种智能家居线性时序逻辑规约生成的方法和装置
本发明公开了一种由智能家居生成线性时序逻辑规约的方法和装置，用于在智能家居领域中将用户输入的自然语言需求文本转换成线性时序逻辑规约。该方法首先对输入的自然语言文本进行预处理；然后使用自然语言处理技术，生成语法分析树和语法...
卜磊翟娟张时雨张秋萍赵建华李宣东
文献传递
一种基于动态树的无线传感网目标跟踪方法
本发明给出一种基于动态树的无线传感网目标跟踪方法，该方法采用动态树优化基于无线传感网的目标跟踪中的网络自组织过程，包括构建初始树、动态树的扩展与裁剪、动态树的重构等过程，选取距离目标真实位置最近的节点作为根节点来构造动态...
陈志李梦泽李宣东王林章迟文东
文献传递
UML实时活动图的形式化分析被引量：42
2004年
统一建模语言 (UML)自从成为OMG规范后 ,应用越来越广泛 .但UML没有精确的、形式化的语义阻碍了它的进一步发展 .该文基于Petri网 ,给出带时间约束的UML活动图的形式化描述 .与Petri网不同的是 ,Petri网的时间约束是在跃迁 (transition)上 ,而作者将UML活动图的时间约束放在活动状态上 .在此基础上 ,用整型时间的验证技术对实时活动图的时间性质加以分析 ,为实时系统的建模打下了基础 .
崔萌李宣东郑国梁
关键词：UML统一建模语言面向对象活动图形式化分析
一种用于人工智能数据分析的大数据高保真可视化方法
本发明公开了一种用于人工智能数据分析的大数据高保真可视化方法。针对大数据量、高维度的向量型数据集提供可视化高保真展示，在人工智能领域中用于分析数据的内部规律与数据特征。为了保证分析效果的准确性，本发明引入了高保真可视化技...
唐波汤恩义王林章李宣东
文献传递
一种递归最大执行频度与深度的静态估计方法
本发明提出了一种递归最大执行频度与最大执行深度的静态估计方法，该方法通过静态扫描程序源代码以定位递归作用域并收集递归中函数调用与返回的执行条件，然后引入可满足性模求解器来求解这些收集到的符号条件约束，并最终直接获得估计结...
汤恩义刘璐方园李宣东冯世宁张庆垒
文献传递
基于抽象解释的线性混成系统不变式的生成方法
本发明提供一种线性混成系统不变式的生成系统，输入为线性混成系统模型——线性混成自动机，输出该线性混成系统的节点不变式；线性混成系统不变式生成系统包括转换模块和不变式生成部分两个组成部分如下：1）转换模块基于面向线性混成系...
卜磊刘春能蒋慧李宣东
文献传递
全选 清除 导出
共30页<12345678910>
聚类工具0