期刊文献+
共找到32篇文章
< 1 2 >
每页显示 20 50 100
一个基于混合并发模型的Java虚拟机 被引量:6
1
作者 杨博 王鼎兴 郑纬民 《软件学报》 EI CSCD 北大核心 2002年第7期1250-1256,共7页
从解释执行到及时编译的转变极大地提高了Java程序的运行速度.但是,现有的Java虚拟机还有待进一步的改进.提出了一种新的Java虚拟机编译与执行模型——混合并发模型HCCEM(hybrid concurrent compilation and execution model).该模型通... 从解释执行到及时编译的转变极大地提高了Java程序的运行速度.但是,现有的Java虚拟机还有待进一步的改进.提出了一种新的Java虚拟机编译与执行模型——混合并发模型HCCEM(hybrid concurrent compilation and execution model).该模型通过多线程控制方式将字节码的编译与执行过程相重叠,从而获取加速的效果.另外还给出了基于HCCEM的Java虚拟机JAFFE的设计方案,并就实现中的执行模式切换、异常处理以及层次线程等问题进行了讨论.实验结果表明,HCCEM能够有效地提高Java程序的执行速度. 展开更多
关键词 混合并发模型 虚拟机 异常处理 多线程 JAVA语言 程序设计
在线阅读 下载PDF
智能网SCP的两级并发模型与软件容错研究 被引量:5
2
作者 刘云龙 杨放春 陈俊亮 《通信学报》 EI CSCD 北大核心 1998年第3期15-23,共9页
智能网作为一种能够快速灵活地定义与提供电信新业务的体系结构,近年来受到人们的普遍重视,其中,业务控制点SCP作为整个系统的核心,它的可靠性与全网的服务质量息息相关。本文中,我们首先指出了目前的SCP产品在容错性能上存... 智能网作为一种能够快速灵活地定义与提供电信新业务的体系结构,近年来受到人们的普遍重视,其中,业务控制点SCP作为整个系统的核心,它的可靠性与全网的服务质量息息相关。本文中,我们首先指出了目前的SCP产品在容错性能上存在的不足,然后根据SCP的结构和运行机制提出一种两级并发模型,并基于此模型对其软件容错的途径进行了深入的探讨与研究。本文首次提出了应用软件出错情况下保证所有在线呼叫可靠处理的容错目标,并在SCP系统级与呼叫级两个并发层次上给出了切实可行的容错策略或算法,最后,我们还对SCP软件有效度的估算进行了进一步讨论。 展开更多
关键词 智能网 业务控制点 两级并发模型 软件容错 ISDN
在线阅读 下载PDF
并发模型的分类与层次 被引量:2
3
作者 李文军 周晓聪 李师贤 《计算机科学》 CSCD 北大核心 2000年第3期29-34,共6页
随着处理器性能的不断提高和网络技术的迅速发展,越来越多的计算机应用系统涉及并行与分布式计算。开发这类系统远比传统的串行系统困难,这除了并行与分布式计算本身固有的复杂性外,还有一个原因是人们对并发性的实质缺乏真正了解,因而... 随着处理器性能的不断提高和网络技术的迅速发展,越来越多的计算机应用系统涉及并行与分布式计算。开发这类系统远比传统的串行系统困难,这除了并行与分布式计算本身固有的复杂性外,还有一个原因是人们对并发性的实质缺乏真正了解,因而对并发模型进行深入广泛的研究具有重要的现实意义。并发模型是一种描述与解释并发与分布式系统的形式化数学模型,在理论上可提供对并发系统及其行为的深刻理解,在实践中可为并发系统的设计与分析提供指导方法。探讨并发性的语义往往也集中在并发模型的研究,以此作为并发语言与系统的指称结构。 展开更多
关键词 并发模型 分类 层次 软件开发
在线阅读 下载PDF
并发模型分析 被引量:2
4
作者 刘海燕 陈火旺 《计算机科学》 CSCD 北大核心 1995年第3期13-16,共4页
并发一直是计算机科学中矛盾的源泉和争论的焦点之一。本文分析和比较了三种并发模型:Petri网、CSP和CCS的发展历史、描述方法、处理并发与不确定性的方式等。
关键词 并发模型 形式语义 计算机语言 PETRI网
在线阅读 下载PDF
并发模型的范畴论方法 被引量:1
5
作者 李文军 周晓聪 李师贤 《中山大学学报(自然科学版)》 CAS CSCD 北大核心 2000年第z2期165-171,共7页
范畴论是一种通用概念框架,可作为软件工程的理论基础.介绍范畴论不同于集合论的独特思维方式,并探讨将这些概念与思想作为数学工具应用到语义模型研究中的一般方法,最后给出利用范畴论研究并发模型以及模型间关系的应用实例.
关键词 并发模型 范畴论
在线阅读 下载PDF
并发计算的元模型 Ⅴ.并发模型间的关系
6
作者 傅育熙 《上海交通大学学报》 EI CAS CSCD 北大核心 2000年第7期864-867,共4页
讨论 pi演算和 chi演算之间的关系问题 .通过构造从 pi演算到 chi演算的翻译 ,证明了 chi演算的表达能力不亚于 pi演算 .
关键词 并发计算 进程代数 互模拟 并发模型 PI演算
在线阅读 下载PDF
一个面向对象的二级并发模型 被引量:1
7
作者 王戟 陈火旺 《软件学报》 EI CSCD 北大核心 1994年第9期16-22,共7页
本文提出了一个面向对象的二级并发模型FORCE-Model.它从需求规范的角度充分开发对象间和对象内两个层次上的并行性,从而将面向对象与并发性有机地结合起来,提供了有效的实时系统建模框架.基于该模型,我们开发了一个多... 本文提出了一个面向对象的二级并发模型FORCE-Model.它从需求规范的角度充分开发对象间和对象内两个层次上的并行性,从而将面向对象与并发性有机地结合起来,提供了有效的实时系统建模框架.基于该模型,我们开发了一个多视点可视规范语言族FORCE-Language. 展开更多
关键词 面向对象 二级并发模型 软件开发
在线阅读 下载PDF
并发模型的比较研究
8
作者 肖育东 《计算机科学》 CSCD 北大核心 1992年第1期22-26,共5页
并发性是计算机科学面临的主要挑战之一。近几年来,在这方面已经展开了大量的研究。并发进程模型的重要意义在于,它将提供一个可信赖的通用形式框架及一批新的技术手段,为并行分布式系统的研究、开发打下一个坚实的基础。对模型的深入研... 并发性是计算机科学面临的主要挑战之一。近几年来,在这方面已经展开了大量的研究。并发进程模型的重要意义在于,它将提供一个可信赖的通用形式框架及一批新的技术手段,为并行分布式系统的研究、开发打下一个坚实的基础。对模型的深入研究,使我们能更深刻地洞察并发性的实质问题。本文对目前最成功的两个并发模型:CSP 和 CCS 的各主要方面进行较深入的比较研究,搞清楚它们实质的贡献,差异及存在的问题。 展开更多
关键词 并发模型 计算机科学 CSP CCS
在线阅读 下载PDF
基于GPU多流并发并行模型的NDVI提取算法 被引量:3
9
作者 左宪禹 张哲 +3 位作者 苏岳瀚 刘扬 葛强 田军锋 《计算机科学》 CSCD 北大核心 2020年第4期25-29,共5页
利用GPU进行加速的归一化差分植被指数(Normalized Differential Vegetation Index,NDVI)提取算法通常采用GPU多线程并行模型,存在弱相关计算之间以及CPU与GPU之间数据传输耗时较多等问题,影响了加速效果的进一步提升。针对上述问题,根... 利用GPU进行加速的归一化差分植被指数(Normalized Differential Vegetation Index,NDVI)提取算法通常采用GPU多线程并行模型,存在弱相关计算之间以及CPU与GPU之间数据传输耗时较多等问题,影响了加速效果的进一步提升。针对上述问题,根据NDVI提取算法的特性,文中提出了一种基于GPU多流并发并行模型的NDVI提取算法。通过CUDA流和Hyper-Q特性,GPU多流并发并行模型可以使数据传输与弱相关计算、弱相关计算与弱相关计算之间达到重叠,从而进一步提高算法并行度及GPU资源利用率。文中首先通过GPU多线程并行模型对NDVI提取算法进行优化,并对优化后的计算过程进行分解,找出包含数据传输及弱相关性计算的部分;其次,对数据传输和弱相关计算部分进行重构,并利用GPU多流并发并行模型进行优化,使弱相关计算之间、弱相关计算和数据传输之间达到重叠的效果;最后,以高分一号卫星拍摄的遥感影像作为实验数据,对两种基于GPU实现的NDVI提取算法进行实验验证。实验结果表明,与传统基于GPU多线程并行模型的NDVI提取算法相比,所提算法在影像大于12000*12000像素时平均取得了约1.5倍的加速,与串行提取算法相比取得了约260倍的加速,具有更好的加速效果和并行性。 展开更多
关键词 NDVI GPU多流并发模型 遥感信息提取 计算通讯重叠 并行加速
在线阅读 下载PDF
基于并发服务器模型的邮件系统 被引量:2
10
作者 刘广涛 李海燕 刘启明 《计算机工程与应用》 CSCD 北大核心 2005年第8期114-116,142,共4页
电子邮件服务是Internet中最主要的网络服务之一。该文通过对当前流行网络服务器程序的分析,结合邮件服务的特点,提出了一种基于并发服务器模型的邮件系统设计方案。通过使用线程池技术,成功地解决了实现过程中的请求过载、死锁及线程... 电子邮件服务是Internet中最主要的网络服务之一。该文通过对当前流行网络服务器程序的分析,结合邮件服务的特点,提出了一种基于并发服务器模型的邮件系统设计方案。通过使用线程池技术,成功地解决了实现过程中的请求过载、死锁及线程池大小控制问题,保证了邮件服务器系统的性能。实际测试结果表明该系统具有反映时间快、占用系统资源少的优点。 展开更多
关键词 邮件服务器 线程池 并发模型
在线阅读 下载PDF
基于DHP-2PL的分布式实时数据库的并发控制模型 被引量:1
11
作者 王劲波 薛永生 +1 位作者 吕晓华 翁伟 《计算机工程与设计》 CSCD 2004年第6期869-872,共4页
介绍了几种用于RTDBS(实时数据库系统)中的并发控制模型以及它们在分布式环境下(DRTDBS)的拓展。根据DHP-2PL提出一种改进的并发控制模型。在该模型中,引入优先级分配机制和加锁检测机制。通过这两种机制可更好地协调DRTDBS中一致性与... 介绍了几种用于RTDBS(实时数据库系统)中的并发控制模型以及它们在分布式环境下(DRTDBS)的拓展。根据DHP-2PL提出一种改进的并发控制模型。在该模型中,引入优先级分配机制和加锁检测机制。通过这两种机制可更好地协调DRTDBS中一致性与截止期的关系,同时也解决了DHP-2PL中事务高重启率的问题。 展开更多
关键词 DHP-2PL 分布式 实时数据库 并发控制模型 RTDBS
在线阅读 下载PDF
一种基于加锁粒度的分布式高优先级两段锁的并发控制模型 被引量:4
12
作者 王劲波 薛永生 徐勋民 《计算机应用与软件》 CSCD 北大核心 2003年第6期16-18,33,共4页
本文通过分析并发控制中的几种锁模型及其在分布式环境下的拓展,提出了一种基于加锁粒度的分布式高优先级两段锁模型。在该模型中,引入一种加锁检测机制,通过该机制可以确定哪些冲突事务可以通过降低加锁粒度来解决冲突。同时提出了该... 本文通过分析并发控制中的几种锁模型及其在分布式环境下的拓展,提出了一种基于加锁粒度的分布式高优先级两段锁模型。在该模型中,引入一种加锁检测机制,通过该机制可以确定哪些冲突事务可以通过降低加锁粒度来解决冲突。同时提出了该模型的算法。该算法在避免死锁、提高事务的并发度上有很大的改善。 展开更多
关键词 加锁粒度 并发控制模型 分布式高优先级两段锁 分布式数据库 计算机网络
在线阅读 下载PDF
基于Petri网的数据库系统并发控制模型 被引量:6
13
作者 左凤朝 《计算机工程与应用》 CSCD 北大核心 2002年第13期198-200,共3页
该文对数据库系统中事务的并发操作进行了分析,讨论了共享资源的Petri网模型及其行为。给出了数据库系统中事务并发控制的Petri网模型,有效地克服了由事务的并发操作引起的各种数据不一致问题。
关键词 PETRI网 数据库系统 并发控制模型
在线阅读 下载PDF
面向图形化编程的事件触发并发数据流模型 被引量:2
14
作者 王瑞荣 汪乐宇 《浙江大学学报(工学版)》 EI CAS CSCD 北大核心 2002年第5期535-539,共5页
目前的许多图形化编程语言 (又称为可视化语言 )多是基于动态纯数据流 DHDF(dynam ic hom ogeneousdataflow) .由于 DHDF的自然属性 (数据驱动 )与操作系统事件驱动模型不能很好地结合 ,导致了两个明显的不足 :运行效率低 ,CPU占用率高 ... 目前的许多图形化编程语言 (又称为可视化语言 )多是基于动态纯数据流 DHDF(dynam ic hom ogeneousdataflow) .由于 DHDF的自然属性 (数据驱动 )与操作系统事件驱动模型不能很好地结合 ,导致了两个明显的不足 :运行效率低 ,CPU占用率高 ;对外部事件响应速度慢 ,系统实时性差 .文中提出了一种事件触发并发数据流 ECDF(event triggered concurrent dataflow)模型 ,并给出了基于该模型的图形化编程语言的构建技术 .ECDF模型通过引入多优先级线程以及事件触发机制 ,在很大程度上提高了系统的实时性与运行效率 ,并且使得基于该模型的图形化编程语言能够实现事件驱动、阻塞调用及重叠 I/O等各种操作模式 .通过一个面向测试系统的图形化程序实例表明 :ECDF模型确实大大提高了图形化程序的运行效率和对外部事件的响应速度 . 展开更多
关键词 事件触发并发数据流模型 图形化编程 数据处理 多优先级线程 事件触发机制
在线阅读 下载PDF
并发系统模型研究
15
作者 贾国平 郑国梁 《计算机科学》 CSCD 北大核心 1996年第5期7-9,共3页
1.引言一个模型的作用是对想要构造或分析的系统性质给出严格定义,同时也为验证这些性质提供一个基础。现有的用于软件开发的每一种形式化描述和分析方法其有效性范围均是相对于程序执行的某一数学模型而言,并不是实际的系统。
关键词 并发系统模型 软件开发 数学模型
在线阅读 下载PDF
基于缓存机制的作物模型Web服务并发处理 被引量:2
16
作者 傅兵 姜海燕 +3 位作者 胥晓明 刘小军 曹卫星 朱艳 《农业工程学报》 EI CAS CSCD 北大核心 2012年第6期184-190,共7页
为了改善作物模型Web服务的响应时间,该文提出了基于缓存机制的作物模型Web服务并发处理方案。通过综合分析作物模型Web服务的组合结构、数据Web服务的通信特性以及作物模型Web服务的响应时间特征,以多线程处理和数据缓存技术为基础,设... 为了改善作物模型Web服务的响应时间,该文提出了基于缓存机制的作物模型Web服务并发处理方案。通过综合分析作物模型Web服务的组合结构、数据Web服务的通信特性以及作物模型Web服务的响应时间特征,以多线程处理和数据缓存技术为基础,设计了基于缓存机制的作物模型Web服务并发处理方案;并以作物栽培管理知识模型Web服务为测试对象,在真实网络环境下,验证了该方案的有效性。结果表明,在单用户多地点请求和多用户多地点请求情况下,采用并发处理方案分别可以缩短32%和35%的模型服务响应时间,极大地提高了模型的多用户并发处理能力。该研究为作物模型的区域应用提供了技术支撑。 展开更多
关键词 作物 模型 Web服务 并发处理 多线程 缓存机制
在线阅读 下载PDF
一种基于MPI的并发面向对象模型
17
作者 鲁宏伟 肖永玲 《计算机科学》 CSCD 北大核心 2003年第4期33-35,共3页
Object-oriented model possesses inherent concurrency. The integration of concurrency and objectorientation is a new prosperous field. MPI is a message-passing standard and has been adopted by more and more people. Thi... Object-oriented model possesses inherent concurrency. The integration of concurrency and objectorientation is a new prosperous field. MPI is a message-passing standard and has been adopted by more and more people. This paper proposes a concurrent object-oriented model based on MPI in which asynchronous message-passing is adopted between concurrent objects. This paper simplely introduces the features of the model and design and realization. 展开更多
关键词 面向对象 程序设计方法 并发面向对象模型 MPI 软件构件
在线阅读 下载PDF
并发进程模型CSP与CCS 被引量:1
18
作者 肖育东 《计算机科学》 CSCD 北大核心 1991年第6期24-30,共7页
并发性是当前最活跃的研究领域之一。已经出现了众多并发进程模型。一个好的并发模型应该概念清晰简单,以便于理解;有丰富的表达能力、演绎能力,以反映并发性的各主要方面;有好的构造性质及动态性质,以支持复杂多样的系统构成;有坚实的... 并发性是当前最活跃的研究领域之一。已经出现了众多并发进程模型。一个好的并发模型应该概念清晰简单,以便于理解;有丰富的表达能力、演绎能力,以反映并发性的各主要方面;有好的构造性质及动态性质,以支持复杂多样的系统构成;有坚实的数学基础,以支持稳固的发展与深刻的洞察。以此来衡量,GSP 模型及 CCS 模型都属于最成功的模型。本文介绍了它们的基本观点,主要结果,理论背景,模型的意义及一些相关的研究工作。 展开更多
关键词 CCS CSP 并发进程模型
在线阅读 下载PDF
书面汉语全切分算法中的并发检索模型
19
作者 李卫红 万建成 《计算机应用》 CSCD 北大核心 2004年第5期59-61,共3页
文中首先讨论了书面汉语切分研究的问题,然后从一般性研究出发,提出了全切分算法中可能的并发检索。并针对全切分分词算法进行了研究,给出了全切分分词方法算法中的并发检索模型。希望本文对于全切分算法中并发检索模型的讨论,对深入研... 文中首先讨论了书面汉语切分研究的问题,然后从一般性研究出发,提出了全切分算法中可能的并发检索。并针对全切分分词算法进行了研究,给出了全切分分词方法算法中的并发检索模型。希望本文对于全切分算法中并发检索模型的讨论,对深入研究书面汉语全切分分词的问题和实现具有实际意义。 展开更多
关键词 书面汉语切分 全切分 汉字序列 并发检索模型
在线阅读 下载PDF
紫草素对体外模拟糖尿病并发抑郁症环境大鼠海马神经元凋亡的影响 被引量:2
20
作者 张洪艳 张燕娇 +4 位作者 郑静静 卞睿 顾鑫 李文慧 任卫东 《中成药》 CAS CSCD 北大核心 2023年第9期3062-3066,共5页
目的研究紫草素对模拟糖尿病并发抑郁症(DD)环境大鼠海马神经元凋亡的保护作用。方法取大鼠胎鼠海马神经元进行体外原代培养,并以葡萄糖联合皮质酮干预的方法构建体外模拟DD环境海马神经元细胞模型。噻唑蓝法检测不同浓度紫草素对模拟D... 目的研究紫草素对模拟糖尿病并发抑郁症(DD)环境大鼠海马神经元凋亡的保护作用。方法取大鼠胎鼠海马神经元进行体外原代培养,并以葡萄糖联合皮质酮干预的方法构建体外模拟DD环境海马神经元细胞模型。噻唑蓝法检测不同浓度紫草素对模拟DD环境海马神经元细胞活力的影响。取传代的大鼠胎鼠海马神经元细胞,随机分为对照组、模型组、紫草素(2μmol/L)组、C16-PAF[有效的丝裂原活化蛋白激酶(MAPK)激活剂,4μmol/L]组、紫草素+C16-PAF(2μmol/L+4μmol/L)组,药物干预、建模后,检测神经元细胞活力、细胞损伤、凋亡率、肿瘤坏死因子-α(TNF-α)、白细胞介素-6(IL-6)、白细胞介素-18(IL-18)水平和凋亡相关蛋白[半胱氨酸天冬氨酸蛋白酶-9(caspase-9)、B淋巴细胞瘤-2相关X蛋白(Bax)]及MAPK信号通路蛋白表达。结果不同浓度紫草素可增强体外模拟DD环境大鼠海马神经元活力(P<0.05),并在一定浓度范围内随浓度升高而作用增强。与对照组比较,模型组神经元细胞尼氏小体数减少,细胞明显损伤,细胞活力降低(P<0.05),凋亡率、TNF-α、IL-6、IL-18水平和caspase-9、Bax、磷酸化p38 MAPK(p-p38 MAPK)/p38 MAPK蛋白表达升高(P<0.05);与模型组比较,紫草素组神经元尼氏小体数增加,损伤减轻,细胞活力升高(P<0.05),凋亡率、TNF-α、IL-6、IL-18水平和caspase-9、Bax、p-p38 MAPK/p38 MAPK蛋白表达降低(P<0.05);C16-PAF可逆转紫草素对模拟DD环境海马神经元细胞模型的作用效果(P<0.05)。结论紫草素可抑制MAPK信号激活,减少炎性细胞因子表达合成,减轻模拟DD环境大鼠海马神经元炎症损伤,抑制其凋亡,起到保护作用。 展开更多
关键词 紫草素 体外糖尿病并发抑郁症模型 海马神经元 凋亡 MAPK信号通路
在线阅读 下载PDF
上一页 1 2 下一页 到第
使用帮助 返回顶部