concurrency相关论文
We discuss the projection temporal logic (PTL), based on a primitive projection operator, prj. A framing technique is al......
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生......
Finite Chu spaces are proposed for the modeling and verification of concurrent programs.In order to model not only typic......
This paper presents a type system, called Location System (L-S), to control the interferences in the ambient-like calcul......
This study proposes a recoverable stress testing algorithm (RSTA) for such special devices as compression/decom-pression......
This paper proposes the concept of generalized L systems, GL systems for short, which can describe asynchronized concurr......
为了减少网络管理系统NBOS中应用统计功能的响应时间,文中采用OpenMP对系统进行了并行改进.首先,指出由于海量数据的统计,NBOS的应......
并发与死锁是操作系统的重要问题,对进程并发、死锁及饥饿现象进行研究,深入探讨了利用信号量解决进程并发应注意的问题,并结合实......
自控网系统是Petri网系统的一个子类，与P／T系统以及基本网系统相比较，具有更强的描述能力和建模能力。文章以自控网系统为基础，定义了......
大量的考生机同时访问现有的考试系统会造成服务器响应缓慢甚至崩溃。基于线程池的高并发访问考试系统,采取线程池控制考试系统对......
声纹识别是一种具有经济性、非接触性、准确性的生物特征识别技术。它从说话人说话语音中提取具有代表性的声纹特征,以此识别说话......
Given the asymmetric communication capabilities in mobile real-time environments, traditional serializability-based appr......
基于时间通信顺序进程（TCSP）语言——一种用于建模、验证实时并发系统的形式化语言，进行了一种新型实时并发系统测试方法的研究，以提高......
为有效解决高速公路视频云联网平台并发访问能力较差的问题,采用Nginx负载均衡技术处理该平台应用层的请求。深入分析加权负载均衡......
在对传统迷宫求解算法的不足进行分析的基础上,提出一种新的基于时延Petri网求迷宫通路的算法（Algo-rithm of Maze problem based o......
掌握好数据并发访问技术是保障数据库正确性、一致性所必需的.文章在实践的基础上总结出了并发事务设计原则,通过使用反复实验与测......
为了研究和发展分布式人工智能，探讨一种新的计算模型，利用面向对象技术提出了一个基于对象的并发模型（OBCM）。讨论了它的两种通讯机制......
随着计算机技术、网络技术的发展和高校对计算机的大量投入，机房管理软件需要实时处理大量数据。如果采用常规的程序设计技术，网络通......
提出的弱引发三态加时变迁Ｐｅｔｒｉ网能有效地建模分析一类具确定性时间与冲突结构并发系统；在并发意义下研究其动态行为及其特性，并把有关结......
MS SQL Server是专为分布式客户/服务器环境设计的数据库管理系统,它提供了一套系统的安全保护机制,具有高的安全性、完整性以及并......
在移动计算环境中,事务移动性和无线网络固有的缺陷使得传统分布式实时事务管理机制不足以支持移动实时事务的执行,故有必要为移动......
在面向对象的应用软件中，广泛存在着对象中的数据和方法与关系型数据库之间相关联的问题。目前使用的主流数据库多是关系型的，并且使......
Concurrent real-time nonuniform network is the developing trend of today's network-constructing technology. In this ......
In distributed systems,high efficiency can be achieved using asynchronous API between client and server.This paper provi......
在CCS中,Milner把系统中的两个事件处于并发定义为＂它们可以按任意顺序发生＂。这个关于并发的定义被称之为＂交叠式并发＂。然而在网论中......
为了实现Z-pinch研究的大型实验中大数量多种类测试仪器的集中控制,利用虚拟仪器技术和并发控制技术管理数十台测试仪器,介绍了基......
文章讨论了各种不同并发控制方法，针对协同交互并发算法中并发度和同步机制不能同时兼顾、并发算法开发复杂的问题，给出了基于并发冲......
共享内存多处理器系统中并发程序执行过程与结果高度不确定,导致并发错误难触发、难调试.提出一种复杂性介于传统方法与现代方法之......
分析了SQLServer 2000的并发控制机制,在实践的基础上总结出了并发事务设计原则,并对典型并发问题、自定义锁应用等进行探讨,最后......
许多并发程序存在同步粒度过粗的问题，可以通过锁分解等代码重构来逐步演化同步结构，提高程序并行性。然而，手工重构一方面识别重构契......
分析了地理信息系统的事务类型与特征,介绍了目前具有代表性的几类ORB产品采用的并发模型及特点,探讨了一类适合GIS事务特点的多事......
研究了用Petri网描述操作系统中经典的“并发操作”的例子——哲学家就餐问题，并构造了不同的Petri网模型解决死锁和无限等待问题，最......
在多道程序系统中,通过多进程并发执行可提高系统资源利用率和系统的处理能力,但也带来了风险,死锁现象。本文讨论了多道程序设计......
提出了一种并发检查点技术,允许进程在设置检查点的同时尽可能保持继续执行。在拷贝进程地址空间（设置检查点的步骤之一）的同时,阻塞......
优先购买权是民法上的一项重要权利.其行使显得尤为重要.本文主要对优先购买权的行使条件、行使期限、行使方式、行使效力以及优先......
软件可测试性是对测试软件难易程度的预测,在测试、度量等许多领域中得到了广泛应用.由于并发程序执行的不确定性,其可测试性分析......
摘要：从同步线程数量和同步方向角度把同步模型分为六种类型，即单线程-单线程单向同步、单线程-单线程循环双向同步、单线程-多线程......
提出了一种基于嵌入式Linux的高性能多路数据采集软件模型．该模型采用ACE设计模式提供的体系架构，实现了异步事件驱动的并发处理，能支......
摘 要:在实际应用中,需要将各种Web服务进行组合和集成以创建动态Web应用。为了使服务组合性能最优,提出一种Web服务组合优化算法,......
在并行处理机中, 主存储器频带宽度要和多个处理单元匹配, 存储器就必须采用多体并行的组成方式.本文在介绍并行主存系统交叉编址......
在现有B／S在线考试系统的基础上，对系统的并发性和可靠性进行了优化．采用二级存储策略、降低服务端数据更新量、服务器生成静态页面和......
为了支持多agent系统的开发，特别是表示多agent环境中的并发等操作，将GoFlux语言扩展为ConFlux语言。ConFlux语言是基于流演算理论，吸......
隔离级别用于决定如何控制并发用户读写数据的操作,读操作可以是任何检索数据的语句,默认使用共享锁。写操作是指任何对表作出修改......
服务器的结构对服务器性能有着至关重要的影响.指出了现行服务器结构设计中的缺陷,提出了一些服务器结构的设计原则,设计了流水线......
在基于Petri网的模型验证方法中，步被广泛用于减少变迁实施产生的语义交织．为了研究基于步的构造算法的计算复杂性，提出步的判定问题，......
分析了资源竞夺型网页开发需要考虑的几个关键问题，列举了可能出现的具体问题并给出了相应的解决方案，介绍了资源竞夺型网页开发需要......
在Web应用程序中，由于Ajax技术的异步特性，当客户端同时产生多个请求时，这些请求将在服务器端异步运行．由于无法预测这些请求的执行次......
基于内容的图像检索是计算机视觉领域的一个研究热点。本文提出了一种利用随机树进行分类的图像检索方法。该检索方法首先提取每幅......
简要介绍了Erlang编程语言一些主要特征。该语言的最初目的是进行大型电信交换设备的软件开发，是一种适用于大规模并行处理环境的高......
为了充分利用网络资源和计算机技术，实现跨区域的信息融合，针对实时交互型网络化协同设计过程的多主体性、协同性、灵活性、同步性等......
