公共文化服务平台

同济大学电子与信息工程学院嵌入式系统与服务计算教育部重点实验室: 作品数：303 被引量：2,006H指数：22; 相关作者：王伟刘伟赵勤王鹏伟王磊更多>>; 相关机构：山东科技大学信息科学与工程学院上海电力学院计算机科学与技术学院井冈山大学电子与信息工程学院更多>>; 发文基金：国家自然科学基金国家教育部博士点基金教育部重点实验室开放基金更多>>; 相关领域：自动化与计算机技术电子电信电气工程交通运输工程更多>>

合作机构

电子商务业务流程网的可达分析方法被引量：2: 2017年; 电子商务业务流程网(E-commerce Business Process Net,EBPN)是一种基于Petri网的形式化模型.该模型面向业务流程的设计阶段和应用层,整合了控制流、数据流及其相关属性,可以较好地刻画现今主流的电子业务流程,有助于描述业务流程执行过程中的数据错误和数据状态的非确定性.针对EBPN的结构和动态属性,进一步研究了EBPN的可达分析方法,给出了可达数据状态图的构造算法及相关结论.为了减少可达分析的难度,借鉴程序切片的思想,研究了EBPN的模型切片方法,定义了切片准则,构造了EBPN的切片算法.EBPN的切片方法可用于降低可达数据状态图的分析复杂度.; 于汪洋黄昭方贤文; 关键词：电子商务 PETRI网

基于网络编码的同态HASH抗污染攻击系统研究被引量：5: 2015年; 文章在已有的同态HASH签名基础上,为了解决网络编码传输过程中容易遭受污染攻击的问题,提出了一种新型的应用同态HASH函数的抗污染攻击系统,网络中的各个节点通过同步同态HASH函数的参数和原始消息分组的HASH值来对所收到的每个分组进行验证,只有通过验证的分组才会转发给下一个节点。该方案结合了针对源节点与目标节点端对端在线验证的安全ACK验证方案,从而能有效抵抗网络编码中的污染攻击。同时,为了有效降低网络编码中各节点的运算时间,文章提出了硬件加速的方法,利用FPGA开发板进行数据分组的验证以及编码操作,以提高系统的运行效率。该系统能够提高整体网络吞吐量,并确保被篡改的数据不会因为编码在整个网络中扩散,对于网络编码环境下的网络传输安全具有重要的作用。; 陈福臻程久军廖竞学邵剑雨; 关键词：网络编码 FPGA

基于卷积神经网络的谣言检测被引量：36: 2017年; 人工检测谣言通常需要耗费大量的人力物力,并且会有很长的检测延迟。目前现存的谣言检测模型一般根据谣言的内容、用户属性、传播方式人工地构造特征,而人工构建特征存在考虑片面、浪费人力等现象。为了解决这个问题,提出了基于卷积神经网络(CNN)的谣言检测模型。将微博中的谣言事件向量化,通过卷积神经网络隐含层的学习训练来挖掘表示文本深层的特征,避免了特征构建的问题,并能发现那些不容易被人发现的特征,从而产生更好的效果。实验结果表明,所提方法能够准确识别谣言事件,在准确率、精确率与F1值指标上优于支持向量机(SVM)与循环神经网络(RNN)等对比算法。; 刘政卫志华张韧弦; 关键词：卷积神经网络

移动互联网环境下基于动态信任值的访问控制方法研究被引量：6: 2016年; 现有的基于角色的访问控制(RBAC)是一种静态的访问控制方法,特定的用户只能映射到固定的角色中,无法满足身份与角色之间的动态关系。文章结合移动互联网位置性和实时性的特点,引入位置态和时间态,给出移动互联网环境下基于动态信任值的访问控制方法。同一用户在不同的位置态和时间态下对应着不同的角色,拥有不同的访问权限。同时,用户的信任值不再是一成不变的,一方面,随着用户对不同资源的访问,用户的信任值会增加或者减少;另一方面,用户的信任值会类似于遗忘曲线一样随着时间的流逝而递减。文中方法通过动态调整用户的信任值,克服了当前访问控制在移动互联网环境下安全性不足的缺点,能够有效控制用户在不同状态下对不同资源的访问权限。实验证明,该方法正确、有效。; 邵剑雨陈福臻秦鹏宇程久军; 关键词：移动互联网访问控制

轨迹数据融合用户表示方法的重要位置发现被引量：2: 2019年; 【目的】发现重要位置,为用户行为轨迹特征和规律的研究提供良好数据支撑。【方法】提出融合用户表示方法的重要位置预测模型,提出基于Word2Vec的用户行为轨迹的向量化表示方法;基于用户向量相似度构建用户关系网络,提取访问位置上的核心用户;通过核心用户的访问行为进行重要位置预测。【结果】实验结果表明,基于本文方法过滤后的核心用户对重要位置进行标注,比直接标注的正确率提升7%。在地图上显示标注区域,能够有效发现对应的住宅区和商业区。【局限】本文方法只能够识别居住地和工作地,更加细粒度的标注有待进一步实现。【结论】本文所提基于用户表示学习的核心用户过滤方法,对重要位置的标注具有重要意义,同时为研究用户的轨迹行为特征和规律提供了更为科学的决策支持。; 曾庆田戴明弟李超段华赵中英; 关键词：支持向量机

从人类智能到机器实现模型——粒计算理论与方法被引量：49: 2016年; 人工智能是研究、开发用于模拟、延伸和扩展人的智能的理论、方法、技术及应用系统的一门新的技术科学,是对人的意识、思维过程的模拟。粒计算是当前智能信息处理领域中一种新的概念和计算范式,是研究基于多层次粒结构的思维方式、复杂问题求解、信息处理模式及其相关理论、技术和工具的方法论。本文首先分析了人工智能模拟人脑智能的粒计算模式与方法,其次总结了粗糙集、商空间、模糊集、云模型、三支决策等几种典型的粒计算基本构架与数学模型,然后分析知识的多粒度解析表示与不确定性度量的研究现状,最后展望了粒计算求解模式在大数据时代所面临的机遇与挑战。; 苗夺谦张清华钱宇华梁吉业王国胤吴伟志高阳商琳顾沈明张红云; 关键词：粒计算多粒度商空间模糊集云模型

中文微博命名实体识别被引量：32: 2013年; 微博这一媒体形式的迅速发展为命名实体识别提供了一个新的载体。根据微博文本的特点,提出针对中文微博的命名实体识别方法。首先,对微博文本做规范化处理,消除由于微博表达不规范造成的干扰;在建立中文人名库、常用地点库等知识库的基础上,选取适合微博的特征模板,使用条件随机场方法进行实体识别;同时,将正确的识别结果添加到知识库中以提升识别效果。在真实微博数据上的实验表明,该方法能够有效地完成中文微博的命名实体识别任务。; 邱泉清苗夺谦张志飞; 关键词：中文信息处理条件随机场

面向生产系统的残次品主次成因的群体智能分析: 2009年; 残次品成因的主次分析与优化是生产质量控制的一个重要环节.以焊球回流工序为例,提出了一种基于群体智能的优化计算理念的残次品主次成因智能分析方法,利用微粒群启发式信息来引导对大量生产数据的分析计算,降低了计算复杂度.通过实际生产数据仿真验证了该方法的有效性.; 杨东升康琦刘波汪镭吴启迪; 关键词：群体智能半导体制造

基于Petri网可达分析的代码搜索方法: 2022年; 复用已有高质量源代码可提高软件开发效率及软件质量.当前,基于用户提供的输入输出对的匹配判断是代码语义搜索的主要方法之一,但该方法难以刻画完整代码行为,且仅能处理单输入类型.提出一种针对多种形式类型匹配的代码语义搜索方法.首先将代码集内各个代码片段中数据对象个数及类型的加工过程转换为Petri网模型;其次根据用户查询中蕴含的数据类型及个数、输出数据类型等约束来构造Petri网初始标识和目标标识;然后在Petri网中通过可达图及诱发网分析判断是否存在相应的可达路径,从而获得代码匹配依据.分析及实验表明,该方法能有效实现多种形式的输入输出类型匹配的代码搜索,且相对于传统类型匹配方法,能明显提高搜索准确度和效率.; 丁雪儿钮俊张开乐毛昕怡; 关键词：代码复用语义搜索 PETRI网模型

近阈值电压下可容错的一级缓存结构设计: 2020年; 随着硅的集成度和时钟频率的急剧提升,功耗和散热已成为体系结构设计中的关键挑战。近阈值电压技术是一种能够有效降低处理器能耗的有着广泛应用前景的技术。然而,在近阈值电压下,大量SRAM单元失效,导致一级缓存的错误率升升,给一级缓存的可靠性带来了严峻挑战。目前有很多学者通过牺牲缓存容量或者引入额外的延迟来纠正缓存的错误,但大多方法只能适应SRAM单元的低失效率环境,在高失效率的环境下表现较差。文中提出了一种基于传统6T SRAM的近阈值电压下可容错的一级缓存结构——FTFLC(Fault-Tolerant First-Level Cache),在高失效率的环境下,其表现出了更好的性能。FTFLC采用两级映射机制,利用块映射机制和位纠正机制分别对缓存行中有错的比特位和子数据块进行映射保护。此外,文中还提出了FTFLC初始化算法将两种映射机制结合,提高了可用的缓存容量。最后,使用gem5模拟器,在650 mV电压的高失效率环境下对FTFLC进行仿真实验,将其与3种已有缓存结构10T-Cache,Bit-fix,Correction Prediction进行对比。对比结果表明,FTFLC相比其他的缓存结构,在保持较低面积和能耗开销的同时,拥有至少3.86%的性能提升,且将L1 Cache的容量可用率提升了12.5%。; 程煜刘伟刘伟刘伟杜薇; 关键词：容错性可靠性低能耗

同济大学电子与信息工程学院嵌入式系统与服务计算教育部重点实验室

合作机构

文献类型

领域

主题

机构

作者

传媒

年份

用户反馈

同济大学电子与信息工程学院嵌入式系统与服务计算教育部重点实验室

合作机构

文献类型

领域

主题

机构

作者

传媒

年份

用户登录

用户反馈