期刊文献+
共找到25篇文章
< 1 2 >
每页显示 20 50 100
具有并发结构的CMOS数字乘法器设计 被引量:1
1
作者 朱彭遐 戚肖宁 周锋 《电子学报》 EI CAS CSCD 北大核心 1990年第3期26-31,共6页
本文简要介绍了几种结构的数字乘法器。着重讨论了以大规模集成电路为基础的并发结构数字乘法器的设计和性能。给出了并发结构四位数字乘法器的功能模拟结果及CMOS工艺版图。
关键词 并发结构 CMOS 数字乘法器 设计
下载PDF
循环并发结构的过程模型修正方法
2
作者 滕苑秀 杜玉越 王路 《计算机集成制造系统》 EI CSCD 北大核心 2019年第4期882-893,共12页
过程模型描述的行为与事件日志记录的行为之间存在很多偏差,为了使模型可以重演日志中记录的行为,需要对现有模型进行修正。对于存在循环并发结构的模型,现有修正方法得到的模型结构比较复杂,且不能正确地描述活动之间的关系,导致模型... 过程模型描述的行为与事件日志记录的行为之间存在很多偏差,为了使模型可以重演日志中记录的行为,需要对现有模型进行修正。对于存在循环并发结构的模型,现有修正方法得到的模型结构比较复杂,且不能正确地描述活动之间的关系,导致模型精确度较低。因此,针对循环并发结构,提出一种基于逻辑Petri网的动态模型修正方法。基于过程树,提出并发变迁集概念,通过连续日志动作的标识库所集与相应变迁前集之间的关系,进行偏差定位,并根据逻辑Petri网对模型进行动态修正。最后,通过实例验证了所提修正方法的正确性和有效性。 展开更多
关键词 过程模型修正 循环并发结构 逻辑Petri网 一致性检测 校准
下载PDF
针对多并发三角形二度循环结构的过程模型挖掘方法 被引量:1
3
作者 孙慧明 杜玉越 《计算机应用》 CSCD 北大核心 2019年第3期851-857,共7页
为了在不完备的日志中挖掘含有多并发的三角形二度循环结构的过程模型,在扩展Alpha算法的基础上提出AlphaMatch算法。该算法可以在不包含重复行为序列的日志中,将两个活动匹配成三角形二度循环,并挖掘出含有多并发三角形二度循环的过程... 为了在不完备的日志中挖掘含有多并发的三角形二度循环结构的过程模型,在扩展Alpha算法的基础上提出AlphaMatch算法。该算法可以在不包含重复行为序列的日志中,将两个活动匹配成三角形二度循环,并挖掘出含有多并发三角形二度循环的过程模型。首先,根据活动数量关系将构成三角形二度循环的活动分为两类;然后,再根据活动位置关系,使用三角形二度循环活动的首尾标记位置矩阵匹配这两类活动,并且给出足迹矩阵显示活动之间的关系;最后,在ProM平台上进行了大量仿真实验,从模型正确性、挖掘效率、拟合度和精确度四个角度验证了算法能有效挖掘含有多并发的三角形二度循环的Petri网模型。 展开更多
关键词 过程挖掘 并发结构 三角形二度循环 过程模型 PETRI网
下载PDF
基于精简并发潜结构映射的竖炉焙烧过程综合故障诊断 被引量:1
4
作者 刘强 秦泗钊 《自动化学报》 EI CSCD 北大核心 2017年第12期2160-2169,共10页
竖炉焙烧过程因运行条件异常变化或操作不当会造成上火、冒火、过还原和欠还原等运行故障.这些故障直接影响过程运行安全和产品质量(比如,磁选管回收率),但难以采用基于模型和基于知识的方法建模故障与产品质量的关系,以及诊断故障变量... 竖炉焙烧过程因运行条件异常变化或操作不当会造成上火、冒火、过还原和欠还原等运行故障.这些故障直接影响过程运行安全和产品质量(比如,磁选管回收率),但难以采用基于模型和基于知识的方法建模故障与产品质量的关系,以及诊断故障变量.针对上述问题,本文提出数据驱动的基于并发潜结构映射(Concurrent projection to latent structures,CPLS)的竖炉焙烧过程综合故障诊断方法.首先,将并发潜结构映射分解的过程变量共有子空间与残差空间精简合并来建立磁选管回收率相关的过程变化空间,提出基于精简并发潜结构映射模型的竖炉焙烧过程综合监控方法;接下来,定义相应的重构贡献图并与竖炉焙烧过程相结合,提出CPLS精简重构贡献方法用于竖炉焙烧过程故障变量诊断;最后,利用竖炉焙烧过程半实物仿真平台采集的数据进行实验研究,结果表明所提方法不仅可以诊断出质量相关的故障,而且可诊断出回路设定值之外的故障变量. 展开更多
关键词 竖炉焙烧过程 综合故障诊断 并发结构映射 精简重构贡献
下载PDF
基于共享内存的多核时代数据结构研究 被引量:11
5
作者 周维 周可人 +2 位作者 栾钟治 姚绍文 钱德沛 《软件学报》 EI CSCD 北大核心 2016年第4期1009-1025,共17页
随着计算机硬件技术的发展,如今我们已经迈入了多核CPU时代.然而,作为软件核心的数据结构仍然是按照单核CPU和顺序型准则来设计的.在基于共享内存的多核时代,大量并发运行的线程会交替地修改数据,产生不可预期的结果,因而我们面临着严... 随着计算机硬件技术的发展,如今我们已经迈入了多核CPU时代.然而,作为软件核心的数据结构仍然是按照单核CPU和顺序型准则来设计的.在基于共享内存的多核时代,大量并发运行的线程会交替地修改数据,产生不可预期的结果,因而我们面临着严峻挑战.针对基于共享内存多核时代数据结构的相关研究进行综述.首先,对比了并发与并行的区别,归纳了基于演进条件(progress condition)的多核数据结构分类,对近年来学术界对各种类型并发数据结构的研究进行综述.在此基础上,剖析了并发数据结构设计和实现的关键技术,并从并发数据结构的开发流程、正确性验证等方面进行了归纳阐述.最后,基于这些讨论,对多核架构下并发数据结构未来的研究趋势和应用前景进行了展望. 展开更多
关键词 多核处理器 并发数据结构 演进条件
下载PDF
模糊交互时态逻辑及其语义结构 被引量:2
6
作者 王秀丽 宁正元 +1 位作者 胡山立 赖贤伟 《广西师范大学学报(自然科学版)》 CAS 北大核心 2008年第1期154-157,共4页
Alur等人建立的交互时态逻辑(ATL*)是一种重要的多Agent合作逻辑,它对计算树逻辑(CTL*)进行了合作算子拓展,然而它缺乏对不确定时态信息的刻画。通过考察模糊时态事件和模糊时态状态、描述相对时间来改进并发博弈结构,并给出模糊并发博... Alur等人建立的交互时态逻辑(ATL*)是一种重要的多Agent合作逻辑,它对计算树逻辑(CTL*)进行了合作算子拓展,然而它缺乏对不确定时态信息的刻画。通过考察模糊时态事件和模糊时态状态、描述相对时间来改进并发博弈结构,并给出模糊并发博弈结构;把模糊并发博弈结构的若干要件从相对时间域到绝对时间域进行映射,给出已映射模糊并发博弈结构;建立了模糊交互时态逻辑(FATL*),给出其语法,在已映射模糊并发博弈结构下给出其语义;阐述了FATL*的表达力比ATL*强。 展开更多
关键词 交互时态逻辑 并发博弈结构 已映射模糊并发博弈结构 可能性分布 表达力
下载PDF
基于协程的高并发架构研究 被引量:2
7
作者 刘健 黄才胜 《数字技术与应用》 2018年第4期85-86,共2页
本文运用goroutine的简便特点研发了webgo架构,通过对比webgo架构和beego架构可以看出融入协程思想的高并发架构更有优势。
关键词 计算机 软件 协程 并发结构
下载PDF
实时并发系统的PTSL模型检测
8
作者 王晓燕 韩啸 +1 位作者 彭君 刘淑芬 《智能系统学报》 CSCD 北大核心 2017年第5期694-701,共8页
随着实时并发系统的软件规模越来越大、复杂性日趋增加,如何保证并发实时系统正确性和可靠性成为日益紧迫的问题。模型检测技术采用自动化的验证算法判断系统是否具有某一性质,它不仅包括对系统模型的遍历以及基于图形的分析方法,而且... 随着实时并发系统的软件规模越来越大、复杂性日趋增加,如何保证并发实时系统正确性和可靠性成为日益紧迫的问题。模型检测技术采用自动化的验证算法判断系统是否具有某一性质,它不仅包括对系统模型的遍历以及基于图形的分析方法,而且还需要大量的数值计算。本文把实时并发模型看成对并发博弈模型(CGS)的扩展,在此基础上添加了概率与时间性质,提出了概率时间并发博弈结构(PTCGS)。同时本文还提出了新的逻辑语言-概率时间策略逻辑(PTSL),它显式地把策略作为一阶逻辑中的对象,从而使我们能够以简单而自然的方式指定PTCGS系统中的非零和属性。PTSL模型检测方法能够让设计者准确知道模型是否满足用户的需求,从而提高系统的可靠性。最后,本文以ZeroConf协议为例来说明PTSL模型检测方法的正确性。 展开更多
关键词 模型检测 概率时间并发博弈结构 概率时间策略逻辑 概率时间自动机 区域图 实时并发系统 博弈模型
下载PDF
并发多播队列的实现框架及其多种实现的性能分析
9
作者 张其良 张昱 《小型微型计算机系统》 CSCD 北大核心 2017年第6期1237-1242,共6页
开发易用且高效的并发数据结构对降低并行编程的难度和有效利用并行资源非常重要.针对所提出的易于编程的确定性消息传递多线程编程模型DetMP,除可以基于所提出的单生产多播共享虚拟内存模型(SPMC)实现以外,还可以基于传统的多线程共享... 开发易用且高效的并发数据结构对降低并行编程的难度和有效利用并行资源非常重要.针对所提出的易于编程的确定性消息传递多线程编程模型DetMP,除可以基于所提出的单生产多播共享虚拟内存模型(SPMC)实现以外,还可以基于传统的多线程共享虚拟内存模型来实现.为了分析消息通道的实现机制(如数据的存储组织、并发访问的同步控制)对DetMP程序性能的影响,提出一个并发多播队列的框架CMQue,并基于Pthreads实现了6种并发多播队列.我们评估了6种并发多播队列和SPMC通道,结果表明消息通道的实现机制对程序性能影响很大,SPMC通道在CPU核资源充足时具有很好的可伸缩性. 展开更多
关键词 多播队列 并发数据结构 同步控制 多线程编程模型 生产-消费
下载PDF
面向大数据的索引结构研究进展
10
作者 严赵峰 张为华 《大数据》 2019年第4期3-15,共13页
为了保证各类大数据系统的性能,以并发索引结构为核心的高效检索技术变得越来越重要。然而,数据存储体量的增加和用户对性能要求的提高使得并发索引结构面临诸多挑战,设计高效且易用的并发控制策略和提升索引结构操作性能成为系统领域... 为了保证各类大数据系统的性能,以并发索引结构为核心的高效检索技术变得越来越重要。然而,数据存储体量的增加和用户对性能要求的提高使得并发索引结构面临诸多挑战,设计高效且易用的并发控制策略和提升索引结构操作性能成为系统领域关心的重要问题。结合现有的研究成果,综合分析了大数据时代并发索引结构的研究进展。首先讨论了关于设计更优化且易用的并发控制策略的研究现状,接着针对各类新型高性能硬件,探讨了基于新硬件结构特点的优化加速研究成果,并对可能的发展方向进行了展望。 展开更多
关键词 大数据 并发索引结构 新型硬件
下载PDF
基于java高并发BGW仿真系统的实现
11
作者 刘力 《通讯世界》 2016年第7期87-88,共2页
实现高并发的语音数据测试BGW性能。
关键词 BGW 并发数据结构 线程池 I/O非阻塞
下载PDF
联盟规范系统及其规范能力极限 被引量:3
12
作者 王崇骏 吴骏 +1 位作者 张雷 谢俊元 《软件学报》 EI CSCD 北大核心 2012年第7期1796-1804,共9页
联盟规范系统(coalitional normative system,简称CNS)通过选择性地限制联盟的联合行动来对规范系统(normative system,简称NS)进行扩展.扩展了ATL的语义,提出了Coordinate-ATL(Co-ATL),用于对CNS进行形式化.为了刻画其规范能力的极限,... 联盟规范系统(coalitional normative system,简称CNS)通过选择性地限制联盟的联合行动来对规范系统(normative system,简称NS)进行扩展.扩展了ATL的语义,提出了Coordinate-ATL(Co-ATL),用于对CNS进行形式化.为了刻画其规范能力的极限,确定了Co-ATL的两个语言片段,分别对应于两类不可改变的系统属性.对NS和CNS之间的关系进行了讨论,表明所得到的结果可以更好地界定NS的能力极限.此外,引入了对执行历史进行编码的有限状态机,进一步对CNS进行了扩展,提出了CNS-M.可以证明,关于CNS能力极限的界定在该扩展下保持稳定. 展开更多
关键词 规范系统 交互时态逻辑 联盟 并发博弈结构
下载PDF
交互时态信念逻辑及其模型检测 被引量:3
13
作者 宁正元 胡山立 赖贤伟 《南京大学学报(自然科学版)》 CAS CSCD 北大核心 2008年第2期171-178,共8页
交互时态认知逻辑(ATEL)是对交互时态逻辑(ATL)的扩展,但是它只刻画了知识,没有探讨信念的刻画问题.给出广义并发博弈结构,以模态算子的形式在ATL的语法层面给出了三种信念算子,在广义并发博弈结构下给出其语义,建立了交互时态信念逻辑(... 交互时态认知逻辑(ATEL)是对交互时态逻辑(ATL)的扩展,但是它只刻画了知识,没有探讨信念的刻画问题.给出广义并发博弈结构,以模态算子的形式在ATL的语法层面给出了三种信念算子,在广义并发博弈结构下给出其语义,建立了交互时态信念逻辑(ATBL).给出一个多项式时间模型检测算法,并证明了ATBL的模型检测复杂度为PTIME-complete;给出并证明了ATBL的若干良好性质,比较了相关工作.对Agent认知形式化作了进一步探索,为多Agent系统研究提供了一个较好的形式化工具. 展开更多
关键词 交互时态逻辑 并发博弈结构 模型检测 知识 信念
下载PDF
基于改进区块链的智能制造安全模型 被引量:5
14
作者 王卫红 陈震宇 《计算机科学》 CSCD 北大核心 2021年第2期295-302,共8页
针对传统区块链智能制造安全模型存在的区块构建和数据查询速度慢、插入查询操作的时间复杂度高等难题,提出了基于改进区块链的智能制造安全模型。首先为了克服传统区块链耗电量大和吞吐量低的弊端,引入新型Merkle Patricia树(MPT)扩展... 针对传统区块链智能制造安全模型存在的区块构建和数据查询速度慢、插入查询操作的时间复杂度高等难题,提出了基于改进区块链的智能制造安全模型。首先为了克服传统区块链耗电量大和吞吐量低的弊端,引入新型Merkle Patricia树(MPT)扩展区块链结构,以提供节点状态的快速查询;然后针对MPT不支持并发操作和高负载状态下性能较差的问题,设计无锁并发缓存Merkle Patricia树,支持无锁的并发数据操作,可以提升在多核系统下的效率;最后采用具体仿真实验分析了所提模型的性能。结果表明,改进区块链的智能制造安全模型可以有效降低插入查询操作的时间复杂度,大幅提升区块构建和数据查询的速度,相较于传统模型,获得了更优的整体性能。 展开更多
关键词 智能制造 工业物联网 区块链 Merkle Patricia树 并发数据结构
下载PDF
强弱例外下的交互时态逻辑
15
作者 赖贤伟 胡山立 +1 位作者 宁正元 王秀丽 《计算机应用》 CSCD 北大核心 2008年第11期2874-2876,2886,共4页
非单调推理是众多人工智能应用系统都可能面对的问题,多Agent系统也不例外。在前期关于AgentBD I逻辑、多Agent合作逻辑、多Agent合作问题求解过程建模等研究工作的基础上,借鉴Baral等人开发非单调线性时态逻辑N-LTL的技术,利用强弱例... 非单调推理是众多人工智能应用系统都可能面对的问题,多Agent系统也不例外。在前期关于AgentBD I逻辑、多Agent合作逻辑、多Agent合作问题求解过程建模等研究工作的基础上,借鉴Baral等人开发非单调线性时态逻辑N-LTL的技术,利用强弱例外对多Agent合作逻辑的开创性工作交互时态逻辑(ATL)进行拓展,建立非单调交互时态逻辑NATL,给出其语法和语义。是对ATL进行非单调拓展的首次有益尝试。可以考虑以之为理论工具对多Agent思维状态及其动态修正机制进行妥善刻画。 展开更多
关键词 多AGENT系统 非单调逻辑 交互时态逻辑 并发博弈结构 目标
下载PDF
交互时态逻辑下的三种模糊信念算子
16
作者 赖贤伟 胡山立 +1 位作者 宁正元 王秀丽 《海南师范大学学报(自然科学版)》 CAS 2008年第4期385-388,共4页
前期工作交互时态信念逻辑ATBL仅在二值语义下刻画了三种信念算子,没有探讨它们的模糊语义问题.利用可信度函数给出模糊并发博弈结构,以模态算子的形式在ATL的语法层面给出了三种模糊信念算子,在模糊并发博弈结构下给出其语义,建立了模... 前期工作交互时态信念逻辑ATBL仅在二值语义下刻画了三种信念算子,没有探讨它们的模糊语义问题.利用可信度函数给出模糊并发博弈结构,以模态算子的形式在ATL的语法层面给出了三种模糊信念算子,在模糊并发博弈结构下给出其语义,建立了模糊交互时态信念逻辑FATBL,使得ATBL成为FATBL的特殊情况.对Agent认知形式化作了进一步探索,为多Agent系统研究提供了一个较好的形式化工具. 展开更多
关键词 交互时态逻辑 并发博弈结构 信念
下载PDF
Effect of concurrent precipitation on recrystallization textures in commercial Al-Mn alloys
17
作者 涂益友 黄羚惠 +2 位作者 孙中岳 周雪峰 蒋建清 《Journal of Southeast University(English Edition)》 EI CAS 2015年第4期501-505,共5页
The effect of concurrent precipitation on recrystallization textures in AA 3003 aluminum alloys was investigated using X-ray diffraction and electron backscattering diffraction(EBSD) analyses. A weak recrystallizati... The effect of concurrent precipitation on recrystallization textures in AA 3003 aluminum alloys was investigated using X-ray diffraction and electron backscattering diffraction(EBSD) analyses. A weak recrystallization texture was observed in the AA 3003 alloy annealed at 783 K due to the high annealing temperature. Under the same conditions, extremely high P {011 } ( 111 ) recrystallization textures were detected in the AA 3003 alloy added with 0. 39% Sc. Based on the EBSD results, no intensely preferential orientation nucleation of recrystallization grains was observed in the early stage of recrystallizafion for both alloys. However, concurrent precipitation strongly retarded the growth of recrystallization grains, except for P nucleation sites, thereby conferring an apparent initial growth advantage for P nucleation sites compared with other nucleation sites. Therefore, a sharp P {011 } 〈 111 〉 texture appeared in concurrently precipitated AA 3003 alloys. 展开更多
关键词 AA3003 alloy concurrent precipitation recrystaUization texture
下载PDF
基于RTSJ的嵌入式系统API的研究与应用
18
作者 滕海坤 陆二庆 《单片机与嵌入式系统应用》 2011年第9期15-18,共4页
描述了一个基于RTSJ的应用程序接口,该API的功能是提供高级的并发实时计算结构,优化实时嵌入式系统开发。同时,部署和优化(在开销足迹/时间要求方面)实时Java应用程序到一个指定的Java处理器上。本文借助于实现电梯控制系统,说明这些AP... 描述了一个基于RTSJ的应用程序接口,该API的功能是提供高级的并发实时计算结构,优化实时嵌入式系统开发。同时,部署和优化(在开销足迹/时间要求方面)实时Java应用程序到一个指定的Java处理器上。本文借助于实现电梯控制系统,说明这些API的使用方法。 展开更多
关键词 RTSJ 应用程序接口 并发实时计算结构 JAVA处理器
下载PDF
Key-Value型NoSQL本地存储系统研究 被引量:26
19
作者 马文龙 朱妤晴 +4 位作者 蒋德钧 熊劲 张立新 孟潇 包云岗 《计算机学报》 EI CSCD 北大核心 2018年第8期1722-1751,共30页
NoSQL系统因其高性能、高可扩展性的优势在大数据管理中得到广泛应用,而key-value(KV)模型则是NoSQL系统中使用最广泛的一种存储模型.KV型本地存储系统对于以机械磁盘为持久化存储的情形,存在许多性能优化技术,但这些优化技术面对当前... NoSQL系统因其高性能、高可扩展性的优势在大数据管理中得到广泛应用,而key-value(KV)模型则是NoSQL系统中使用最广泛的一种存储模型.KV型本地存储系统对于以机械磁盘为持久化存储的情形,存在许多性能优化技术,但这些优化技术面对当前的硬件发展新趋势,如多核处理器、大内存和低延迟闪存、非易失性内存NVM(Non-Volatile Memory)等,难以充分发挥新硬件的优势,如数据索引、并发控制、事务日志管理等技术在多核架构下存在多核扩展性问题,又如数据存储策略不适应闪存SSD(Solid State Drive)的新存储特性而产生了IO利用率低效的问题.针对多核处理器、大内存和闪存、NVM等硬件发展新趋势,文中面向当前的大数据应用背景,综述了KV型本地存储系统在索引技术、并发控制、事务日志管理和数据放置等核心模块上的最新优化技术和系统研究成果.从处理器、内存和持久化存储的角度概括了KV型本地存储系统当前存在的最优技术,总结了当前研究尚未解决的技术挑战,并对KV型本地存储系统在CPU缓存高效性、事务日志扩展性和高可用性等方面的研究进行了展望. 展开更多
关键词 NOSQL 键值存储 多核扩展性 并发数据结构 日志结构合并型存储 SSD/NVM
下载PDF
基于低冲突帮助机制的快速无等待哈希表算法 被引量:4
20
作者 李鹏飞 张坤龙 康超凡 《计算机工程》 CAS CSCD 北大核心 2015年第11期52-58,共7页
针对现有无等待哈希表算法未充分利用哈希表的固有并行性,造成线程之间存在高冲突和高冗余的问题,提出一种快速无等待哈希表算法。利用可冻结集合思想简化哈希表操作,采用CAS原子指令保证插入、删除与查找操作均为无等待。根据哈希表结... 针对现有无等待哈希表算法未充分利用哈希表的固有并行性,造成线程之间存在高冲突和高冗余的问题,提出一种快速无等待哈希表算法。利用可冻结集合思想简化哈希表操作,采用CAS原子指令保证插入、删除与查找操作均为无等待。根据哈希表结构改进帮助机制,使得哈希桶的实现为无等待,只有在扩展哈希表时哈希桶之间才提供帮助。实验结果表明,该算法能降低线程操作间的冲突,提高帮助操作的并行度,当查找率为0、键值范围为0~256且线程数为8时,其吞吐率是现有无等待哈希表算法的2.5倍。 展开更多
关键词 并发数据结构 哈希表 无等待 可线性化 可扩展
下载PDF
上一页 1 2 下一页 到第
使用帮助 返回顶部