检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

大智能:大数据+大模型+大算力

高科技与产业化 2023年第5期29卷 16-19页

作者：蒋昌俊中国人工智能学会中国工程院

在近日举行的“2022中国人工智能产业年会”主论坛上,中国人工智能学会监事长、中国工程院院士蒋昌俊在报告中表示,人工智能的发展已经历了数十年的过程,大模型ChatGPT在今年春节前后突然出现,大家还没有来得及深度思考就已经“扑面而来”

关键词：中国工程院院士监事长人工智能大数据主论坛深度思考

基于图注意力变换神经网络的信用卡欺诈检测模型

在线全文

学校读者我要写书评

暂无评论

计算机应用 2023年

作者：杨帆邹窈朱明志马振伟程大伟蒋昌俊同济大学计算机科学与技术系同济大学网络金融安全国家级协同创新中心中国银联

针对现有模型无法精准识别复杂多变的团伙诈骗模式的问题，提出了一种新型实用的基于复杂交易图谱的信用卡反欺诈检测模型。首先利用用户原始的交易信息构造出关联交易图谱；随后使用图自注意力变换神经网络模块直接从交易网络中挖掘团... 详细信息

针对现有模型无法精准识别复杂多变的团伙诈骗模式的问题，提出了一种新型实用的基于复杂交易图谱的信用卡反欺诈检测模型。首先利用用户原始的交易信息构造出关联交易图谱；随后使用图自注意力变换神经网络模块直接从交易网络中挖掘团伙欺诈特征，无需繁冗的特征工程构建；最后通过欺诈预测网络联合优化图谱中的拓扑模式和时序交易模式，实现了对欺诈交易的高精度检测。在信用卡交易数据上的反欺诈实验测试结果表明，本文提出的模型在全部评价指标上均优于7个对比的基线模型。在交易欺诈检测任务中，平均精度（Average Precision）比最好的基准图注意力神经网络（GAT）提升了20%，在ROC曲线下方面积（AUC）指标上平均提升了2.7%。结果表明本文设计的模型在信用卡欺诈交易检测中的有效性，能够保护信用卡持卡人和商户的资金安全，为监管部门和金融机构对信用卡交易进行欺诈检测提供了新的方法理论。

关键词：信用卡交易欺诈检测图神经网络自注意力变化

利用服务聚类优化面向过程模型的语义Web服务发现

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

计算机学报 2008年第8期31卷 1340-1353页

作者：孙萍蒋昌俊同济大学计算机科学与工程系

如何快速、准确和高效地发现满足用户需求的Web服务是现阶段急需解决的关键问题之一.文中针对现有的Web服务发现机制中存在的效率低下和查准率不高的两个问题,提出了一个新的语义Web服务发现框架.在该框架下,采用Petri网作为Web服务过... 详细信息

如何快速、准确和高效地发现满足用户需求的Web服务是现阶段急需解决的关键问题之一.文中针对现有的Web服务发现机制中存在的效率低下和查准率不高的两个问题,提出了一个新的语义Web服务发现框架.在该框架下,采用Petri网作为Web服务过程描述的形式化工具.首先,利用聚类技术,从服务的功能相似和过程相似两个层面对服务进行聚类预处理,从而在很大程度上降低服务的查找空间,提高服务的查找效率.进一步,针对服务请求中可能潜在的行为约束,建立基于Petri网的过程需求模型,将其与候选服务的过程模型进行比较,对满足功能需求的可行服务进一步筛选,从而提高查找的精确度.最后,利用仿真实验对所提出的方法进行验证.

关键词：服务发现匹配过程模型 Petri网聚类

聚类分析及关联挖掘在Web服务组合中的应用研究

在线全文

学校读者我要写书评

暂无评论

高技术通讯 2008年第11期18卷 1187-1194页

作者：孙萍蒋昌俊同济大学计算机科学与工程系上海201804 同济大学嵌入式系统与服务计算教育部重点实验室上海201804

从有助于实现 Web 服务的自动发现及最优选择的角度,从聚类分析和关联挖掘两个方面研究了数据挖掘技术在 Web 服务组合领域中的应用。仿真研究表明:根据服务之间的语义相似性,包括基本描述相似性、功能属性相似性以及社会关系相似性,对... 详细信息

从有助于实现 Web 服务的自动发现及最优选择的角度,从聚类分析和关联挖掘两个方面研究了数据挖掘技术在 Web 服务组合领域中的应用。仿真研究表明:根据服务之间的语义相似性,包括基本描述相似性、功能属性相似性以及社会关系相似性,对服务注册库中的原子服务进行聚类分析,在此基础上进行服务的自动查找,可在很大程度上降低服务的查找空间,提高服务的匹配效率;对服务执行日志中的历史记录进行分析,挖掘服务组合的模式以及服务之间的关联关系,结合服务质量进行服务的最优选择,可在一定程度上提高合成服务的执行成功率。

关键词：聚类分析关联挖掘服务发现选择相似性关联度

在线全文

学校读者我要写书评

暂无评论

工作流模型验证及分解的多项式算法分析

同济大学学报（自然科学版） 2009年第3期37卷 390-394页

作者：庞善臣蒋昌俊同济大学计算机科学与工程系上海200092 山东科技大学信息科学与工程学院山东青岛266510

基于工作流的Petri网结构化建模方法,证明了工作流网的T不变量和P不变量的存在性、可覆盖性,给出了一个工作流模型完整性的充要条件,进一步得到了基于T不变量的多项式分解算法,与以往非多项式分解算法相比,克服了遍历的不足,降低了算法... 详细信息

基于工作流的Petri网结构化建模方法,证明了工作流网的T不变量和P不变量的存在性、可覆盖性,给出了一个工作流模型完整性的充要条件,进一步得到了基于T不变量的多项式分解算法,与以往非多项式分解算法相比,克服了遍历的不足,降低了算法复杂度,给出的实例验证了算法的有效性.

关键词：工作流 Petri网模型分解及验证多项式算法

Petri网在工作流系统建模和分析中的应用

在线全文

学校读者我要写书评

暂无评论

系统仿真学报 2005年第Z1期17卷 100-104页

作者：庞善臣蒋昌俊山东科技大学信息科学与工程学院山东泰安271019 同济大学计算机科学与工程系上海200092

工作流技术是计算机应用领域的一个研究热点,而行之有效的建模方法和分析工具是工作流系统的关键,也是研究人员的研究重点.介绍工作流系统的Petri网、时间Petri网、逻辑Petri网、着色Petri网、随机Petri网等建模方法,对基于工作流网(WF-... 详细信息

工作流技术是计算机应用领域的一个研究热点,而行之有效的建模方法和分析工具是工作流系统的关键,也是研究人员的研究重点.介绍工作流系统的Petri网、时间Petri网、逻辑Petri网、着色Petri网、随机Petri网等建模方法,对基于工作流网(WF-net)的完整性验证、性能分析、资源调度、时间分配以及协同分析等方法进行综述,指出Petri网在工作流建模和分析中的不足,提出了Petri网解决工作流系统建模和分析进一步的研究的内容.

关键词： Petri网工作流管理系统工作流网完整性验证

基于广义随机Petri网的交通信息系统建模与分析

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

计算机学报 2005年第1期28卷 81-87页

作者：林琳蒋昌俊同济大学计算机科学与工程系上海200092 国家高性能计算机工程技术研究中心同济分中心上海200092

交通信息系统 (TIS)是目前世界各国交通运输领域竞相研究和开发的热点 .它是一种复杂的服务性系统 ,具有典型的业务过程特点 ,但目前用工作流来分析交通信息系统的研究尚不多见 ,更很少有人对该系统中的一些实时性服务进行时序分析 ,提... 详细信息

交通信息系统 (TIS)是目前世界各国交通运输领域竞相研究和开发的热点 .它是一种复杂的服务性系统 ,具有典型的业务过程特点 ,但目前用工作流来分析交通信息系统的研究尚不多见 ,更很少有人对该系统中的一些实时性服务进行时序分析 ,提出优化方案 .该文将广义随机Petri网与工作流相结合 ,首先为TIS建立符合工作流概念的广义随机Petri网模型 .然后根据实际系统中相关数据的统计分析和经验估计 ,利用基于行为表达式的分析方法对点播服务的时间性质进行分析 ,获得了一些有价值的性能指标信息 .

关键词：交通信息系统工作流广义随机Petri网行为表达式性能分析

在线全文

学校读者我要写书评

暂无评论

Petri网语言的Pumping引理

计算机学报 2006年第2期29卷 274-278页

作者：蒋昌俊刘关俊同济大学计算机系上海200092 山东科技大学信息学院青岛266510

Petri网语言是Petri网理论的重要组成部分,也是系统行为分析的一种重要的工具.Petri网语言的Pumping引理反映了Petri网语言的共性,可用来证明某些语言不是Petri网语言.已经证明,当一个Petri网语言可被某个有界Petri网产生时,此语言是正... 详细信息

Petri网语言是Petri网理论的重要组成部分,也是系统行为分析的一种重要的工具.Petri网语言的Pumping引理反映了Petri网语言的共性,可用来证明某些语言不是Petri网语言.已经证明,当一个Petri网语言可被某个有界Petri网产生时,此语言是正规语言,因此,正规语言的Pumping引理对此语言是有效的,但正规语言的Pumping引理并不适用于所有的Petri网语言.文中给出了一种Petri网语言的Pumping引理,证明其对任意无空标注的Petri网语言都有效,并且正规语言的Pumping引理是此引理的一种特殊形式.利用此Pumping引理可以证明某些语言是不能由Petri网产生的.

关键词： Petri网语言正规语言 Pumping引理

约束并发机制下Petri网模型的逻辑行为考察与随机性能评估

在线全文

学校读者我要写书评

暂无评论

自动化学报 1996年第4期22卷 410-417页

作者：蒋昌俊疏松桂郑应平山东矿业学院计算机系中国科学院自动化研究所

提出约束并发引发规则，建立该机制下Ｐｅｔｒｉ网行为的考察手段，进一步地对该机制下的随机Ｐｅｔｒｉ网的性能进行评估．本文结果可以作为约束并发调度规则下系统逻辑行为分析与随机品质估计的理论依据，为并发调度优化提供理论准备．

关键词：约束并发机制 Petri网模型随机品质逻辑行为