您的位置： 专家智库 > >

宋巍

作品数：79 被引量：98H指数：4
供职机构：南京理工大学更多>>
发文基金：国家自然科学基金国家重点基础研究发展计划江苏省基础研究计划更多>>
相关领域：自动化与计算机技术自然科学总论更多>>

合作作者

文献类型

  • 52篇专利
  • 20篇期刊文章
  • 5篇会议论文
  • 2篇学位论文
  • 1篇科技成果

领域

  • 38篇自动化与计算...
  • 1篇自然科学总论

主题

  • 26篇日志
  • 19篇事件日志
  • 13篇工作流
  • 10篇启发式规则
  • 10篇BPEL
  • 8篇日志文件
  • 8篇流模型
  • 8篇工作流模型
  • 7篇控制流
  • 6篇依赖图
  • 6篇漏洞
  • 6篇工作流挖掘
  • 6篇并发
  • 6篇插桩
  • 6篇WEB服务
  • 5篇流图
  • 5篇漏洞检测
  • 5篇混合型
  • 5篇规约
  • 5篇ANDROI...

机构

  • 70篇南京理工大学
  • 16篇南京大学
  • 4篇解放军理工大...
  • 3篇计算机软件新...
  • 1篇河海大学
  • 1篇杭州师范大学
  • 1篇南京航空航天...
  • 1篇盐城工业职业...

作者

  • 80篇宋巍
  • 8篇吕建
  • 7篇张功萱
  • 6篇胡昊
  • 6篇陈芳菲
  • 5篇马晓星
  • 5篇黄青青
  • 4篇张文嘉
  • 4篇张学伟
  • 4篇刘红玉
  • 4篇李晅松
  • 3篇杨启亮
  • 3篇邢建春
  • 3篇窦万春
  • 3篇王洪达
  • 2篇陶先平
  • 2篇葛季栋
  • 2篇朱耀琴
  • 2篇曹春
  • 2篇张学伟

传媒

  • 6篇软件学报
  • 2篇计算机应用与...
  • 2篇计算机工程与...
  • 2篇计算机与数字...
  • 2篇计算机科学
  • 1篇计算机学报
  • 1篇计算机应用
  • 1篇计算机工程与...
  • 1篇哈尔滨工程大...
  • 1篇东北师大学报...
  • 1篇中国科学：信...
  • 1篇2012全国...
  • 1篇第十一届全国...

年份

  • 5篇2024
  • 6篇2023
  • 9篇2022
  • 5篇2021
  • 4篇2020
  • 6篇2019
  • 8篇2018
  • 9篇2017
  • 4篇2016
  • 3篇2015
  • 4篇2014
  • 2篇2013
  • 6篇2012
  • 2篇2011
  • 2篇2010
  • 1篇2009
  • 3篇2007
  • 1篇2005
共 79 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
时间约束Petri网及其可调度性分析与验证被引量：28
2007年
时间约束Petri网(timingconstraintPetrinets,简称TCPN)是一类重要的时间Petri网系统.对相关定义重新界定,丰富并完善了TCPN理论.针对变迁可调度原始定义的不足,首先给出了变迁的弱/强可调度的新定义及强可调度判定定理;然后对变迁的强可调度进行了拓展,提出了TCPN时间可调度的概念,并结合Petri网结构给出了TCPN时间可调度判定定理;最后对TCPN的相关特性进行了研究.TCPN对时间Petri网的研究工作将起到启发作用,并对实时系统的描述和建模工作具有一定的参考价值.
宋巍窦万春刘茜萍
关键词：TCPN可调度性分析
基于活动间依赖关系分析的工作流挖掘方法
本发明公开了一种基于依赖关系分析的工作流挖掘方法。从事件日志L中去除冗余的路径，获得目标路径集L'；对目标路径集L'中的每条路径的活动进行依赖关系R分析，得到动态依赖图DDG；分析动态依赖图DDG，根据活动间的依赖关系得...
宋巍张文嘉张功萱
文献传递
一种基于有向图注意力网络的智能合约漏洞检测方法
本申请提供一种基于有向图注意力网络的智能合约漏洞检测方法，方法包括：步骤1，收集智能合约源代码数据集并标注漏洞；步骤2，通过程序分析技术，构建智能合约异构数据流图及智能合约异构控制流图；步骤3，融合智能合约异构数据流图和...
黄灿宋巍
基于混合型事件日志的过程挖掘方法
本发明公开了一种基于混合型事件日志的过程挖掘方法，以包含点事件和区间事件的混合型事件日志为输入，以挖掘出的正确的过程模型作为输出；首先从日志中的每条事件序列中挖掘低层次的事件关系；之后，基于所有的低层次事件关系推导出整个...
宋巍尚庆民戴汪洋常震
文献传递
一种基于静态分析的Android应用JavaScript安全漏洞检测方法
本发明提出一种基于静态分析的Android应用中的JavaScript安全漏洞检测方法，使用Soot工具对Android应用中的APK文件进行反编译，获得Jimple字节码；对Jimple字节码进行分析，判断所述Andr...
宋巍黄青青常震钱祥星
文献传递
一种计算具有QoS关联关系的QoS最优组合服务限定范围的方法
本发明公开了一种计算具有QoS关联关系的QoS最优组合服务限定范围的方法，该方法具体包括：步骤一、首先在备选服务中，根据服务支配关系计算出Skyline服务，移除被支配的QoS关联，进而移除非Skyline且不具备QoS...
胡昊宋巍葛季栋吕建杜宇
文献传递
Android应用网络相关行为测试方法
本发明公开了一种Android应用网络相关行为测试方法，以Android应用的apk文件为输入，以测试出的应用与网络相关的错误作为输出，本发明基于模糊测试的思想，首先对待测Android应用进行静态分析，来定位Andro...
宋巍张炽华钱昌盛
基于WS-BPEL的web服务依赖关系分析
基于构件层的在线演化技术能够在更新的同时不影响事务的执行和服务的状态.但是，动态更新并不容易，程序员必须考虑更新前后版本一致性和数据迁移等问题.WS-BPEL(Web Service Business Process E...
冯仁君宋巍马晓星
关键词：WS-BPEL
文献传递
一种服务编排的动态演化方法
为了保持竞争优势，Web服务必须适应不断变化的业务需求和环境对于一个长时间运行的服务编排而言，其中的参与服务可能会在运行时刻发生演化．然而，当参与服务的演化影响到之前商定的服务编排时，如果这些服务按照一种非协同的方式进行...
宋巍吕建马晓星胡昊曹春
关键词：WEB服务
基于WS-BPEL过程的Web服务依赖关系分析被引量：1
2014年
构件和服务等软件实体的动态更新是支撑软件系统在线演化的关键技术,该技术可以在不中断系统运行的前提下对软件系统的结构或行为进行调整。然而,为保证更新前后系统行为的一致性,只有当软件实体处于安全状态时方可进行更新。以基于WS-BPEL(Web Service Business Process Execution Language)的软件系统为例,通过分析WS-BPEL过程与其成员服务间的依赖关系,提出了一种可预判成员服务是否动态更新的算法。实验结果表明,依赖分析算法可以有效预判成员服务可动态更新的时机,从而在不影响系统行为一致性的前提下有效减少动态更新所引起的服务中断。
冯仁君宋巍马晓星
全选 清除 导出
共8页<12345678>
聚类工具0