期刊文献+
共找到15篇文章
< 1 >
每页显示 20 50 100
An Efficient Secure Real-Time Concurrency Control Protocol 被引量:1
1
作者 XIAO Yingyuan LIU Yunsheng CHEN Xiangyang 《Wuhan University Journal of Natural Sciences》 CAS 2006年第6期1899-1902,共4页
Secure real-time databases must simultaneously satisfy two requirements in guaranteeing data security and minimizing the missing deadlines ratio of transactions. However, these two requirements can conflict with each ... Secure real-time databases must simultaneously satisfy two requirements in guaranteeing data security and minimizing the missing deadlines ratio of transactions. However, these two requirements can conflict with each other and achieve one requirement is to sacrifice the other. This paper presents a secure real-time concurrency control protocol based on optimistic method. The concurrency control protocol incorporates security constraints in a real-time optimistic concurrency control protocol and makes a suitable tradeoff between security and real-time requirements by introducing secure influence factor and real-time influence factor. The experimental results show the concurrency control protocol achieves data security without degrading real-time perform ance significantly. 展开更多
关键词 real-time databases concurrency control SECURITY covert channel
下载PDF
Validation concurrency control protocol in parallel real-time database systems 被引量:3
2
作者 LEI Xiang-dong(雷向东) YUAN Xiao-li(袁晓莉) 《Journal of Central South University of Technology》 2002年第3期197-201,共5页
In parallel real-time database systems, concurrency control protocols must satisfy time constraints as well as the integrity constraints. The authors present a validation concurrency control(VCC) protocol, which can e... In parallel real-time database systems, concurrency control protocols must satisfy time constraints as well as the integrity constraints. The authors present a validation concurrency control(VCC) protocol, which can enhance the performance of real-time concurrency control mechanism by reducing the number of transactions that might miss their deadlines, and compare the performance of validation concurrency control protocol with that of HP2PL(High priority two phase locking) protocol and OCC-TI-WAIT-50(Optimistic concurrency control-time interval-wait-50) protocol under shared-disk architecture by simulation. The simulation results reveal that the protocol the author presented can effectively reduce the number of transactions restarting which might miss their deadlines and performs better than HP2PL and OCC-TI-WAIT-50. It works well when arrival rate of transaction is lesser than threshold. However, due to resource contention the percentage of missing deadline increases sharply when arrival rate is greater than the threshold. 展开更多
关键词 PARALLEL DATABASE system real-time DATABASE concurrENCY control VALIDATION TRANSACTIONS
下载PDF
Weak Serializable Concurrency Control in Real-time Broadcast Environments
3
作者 刘云生 Dang Depeng 《High Technology Letters》 EI CAS 2002年第4期64-68,共5页
Given the asymmetric communication capabilities in mobile real-time environments, traditional serializability-based approaches are too restrictive, unnecessary, and impractical. The new notion of correctness called we... Given the asymmetric communication capabilities in mobile real-time environments, traditional serializability-based approaches are too restrictive, unnecessary, and impractical. The new notion of correctness called weak serializability is given. After the necessary and sufficient conditions for weak serializability are shown, corresponding concurrency control protocol based on this criterion is outlined for real-time broadcast environments. The simulation results confirmed that the proposed techniques help mobile transactions to meet their deadlines and improve query response time. 展开更多
关键词 real-time data broadcast real-time concurrency control relaxing serializability
下载PDF
Quasi Serializable Concurrency Control in Distributed Real-Time Database Systems
4
作者 党德鹏 Liu Yunsheng 《High Technology Letters》 EI CAS 2003年第1期72-76,共5页
This paper formally defines and analyses the new notion of correctness called quasi serializability, and then outlines corresponding concurrency control protocol QDHP for distributed real-time databases. Finally, thro... This paper formally defines and analyses the new notion of correctness called quasi serializability, and then outlines corresponding concurrency control protocol QDHP for distributed real-time databases. Finally, through a series of simulation studies, it shows that using the new concurrency control protocol the performance of distributed real-time databases can be much improved. 展开更多
关键词 distributed real-time database systems relaxing serializability real-tirne concurrency control
下载PDF
Scheduling transactions in mobile distributed real-time database systems 被引量:1
5
作者 雷向东 赵跃龙 +1 位作者 陈松乔 袁晓莉 《Journal of Central South University of Technology》 EI 2008年第4期545-551,共7页
A DMVOCC-MVDA (distributed multiversion optimistic concurrency control with multiversion dynamic adjustment) protocol was presented to process mobile distributed real-time transaction in mobile broadcast environment... A DMVOCC-MVDA (distributed multiversion optimistic concurrency control with multiversion dynamic adjustment) protocol was presented to process mobile distributed real-time transaction in mobile broadcast environments. At the mobile hosts, all transactions perform local pre-validation. The local pre-validation process is carried out against the committed transactions at the server in the last broadcast cycle. Transactions that survive in local pre-validation must be submitted to the server for local final validation. The new protocol eliminates conflicts between mobile read-only and mobile update transactions, and resolves data conflicts flexibly by using multiversion dynamic adjustment of serialization order to avoid unnecessary restarts of transactions. Mobile read-only transactions can be committed with no-blocking, and respond time of mobile read-only transactions is greatly shortened. The tolerance of mobile transactions of disconnections from the broadcast channel is increased. In global validation mobile distributed transactions have to do check to ensure distributed serializability in all participants. The simulation results show that the new concurrency control protocol proposed offers better performance than other protocols in terms of miss rate, restart rate, commit rate. Under high work load (think time is ls) the miss rate of DMVOCC-MVDA is only 14.6%, is significantly lower than that of other protocols. The restart rate of DMVOCC-MVDA is only 32.3%, showing that DMVOCC-MVDA can effectively reduce the restart rate of mobile transactions. And the commit rate of DMVOCC-MVDA is up to 61.2%, which is obviously higher than that of other protocols. 展开更多
关键词 mobile distributed real-time database systems muliversion optimistic concurrency control multiversion dynamic adjustment pre-validation multiversion data broadcast
下载PDF
Similarity based mixed transaction concurrency control protocol
6
作者 潘怡 《Journal of Chongqing University》 CAS 2005年第2期107-112,共6页
Due to the various performance requirements and data access restrictions of different types of real-time transactions, concurrency control protocols which had been designed for the systems with single type of transact... Due to the various performance requirements and data access restrictions of different types of real-time transactions, concurrency control protocols which had been designed for the systems with single type of transactions are not sufficient for mixed real-time database systems (MRTDBS), where different types of real-time transactions coexist in the systems concurrently. In this paper, a new concurrency control protocol MRTT_CC for mixed real-time transactions is proposed. The new strategy integrates with different concurrency control protocols to meet the deadline requirements of different types of real-time transactions. The data similarity concept is also explored in the new protocol to reduce the blocking time of soft real-time transactions, which increases their chances to meet the deadlines. Simulation experiments show that the new protocol has gained good performance. 展开更多
关键词 real-time database semantic concurrency control temporary consistency data similarity
下载PDF
共享合成Petri网系统的语言递归性与系统活性 被引量:10
7
作者 蒲飞 陆维明 宋文 《软件学报》 EI CSCD 北大核心 2004年第3期317-326,共10页
在Petri网系统合成操作的研究中,大系统的一些好性质,如活性、无死锁性的判定,是一个重要的研究内容.研究了Petri网系统的一种重要的合成操作棗共享合成,着重研究了Petri网系统共享合成的行为关系(语言关系),指出并证明了Petri网系统共... 在Petri网系统合成操作的研究中,大系统的一些好性质,如活性、无死锁性的判定,是一个重要的研究内容.研究了Petri网系统的一种重要的合成操作棗共享合成,着重研究了Petri网系统共享合成的行为关系(语言关系),指出并证明了Petri网系统共享合成过程中语言的递归性质,得到一个并发语言形式的共享合成语言关系式.这个语言关系式为应用Petri网系统对具有并发行为特征的系统进行建模分析提供了一种有效的形式化工具.进而利用这个语言关系式来判定共享合成网系统的活性与无死锁性,得到共享合成网系统活及无死锁的充要条件.最后给出了一些条件,在这些条件下,可用小系统的语言子集来判定共享合成网系统的活性,从而达到用小系统来研究大系统活性的目的. 展开更多
关键词 共享合成 语言递归性 并发语言 路径并发合成 PETRI网系统 系统活性
下载PDF
基于上下文定界的递归队列并发程序可达性分析 被引量:1
8
作者 钱俊彦 贾书贵 +1 位作者 赵岭忠 郭云川 《计算机学报》 EI CSCD 北大核心 2014年第12期2574-2585,共12页
基于无界FIFO消息队列的通信框架作为一种通用的并发系统模型,常用于事件驱动的并发程序或分布式程序建模.然而当模型包含递归过程调用时,即使仅考虑执行有限次上下文切换,其可达性问题仍是不可判定的.假定进程的消息队列约束为良序,即... 基于无界FIFO消息队列的通信框架作为一种通用的并发系统模型,常用于事件驱动的并发程序或分布式程序建模.然而当模型包含递归过程调用时,即使仅考虑执行有限次上下文切换,其可达性问题仍是不可判定的.假定进程的消息队列约束为良序,即仅当进程的局部栈为空时才能从队列中读取消息,则其在上下文切换定界上的可达性为可判定.文中以基于队列通信的递归并发程序为对象,研究其可达性问题.首先构造能模拟递归队列并发程序执行的多栈下推系统,并提出转换方法;然后给出一种基于多栈下推系统的上下文切换定界可达算法,算法使用标准Post*操作描述下推系统的迭代,基于良序排队控制进程对队列的出队操作,穷尽地计算k次上下文切换之内的正向可达格局,并证明了构造多栈下推系统方法和上下文切换定界可达算法的正确性;最后对目标状态集合与可达格局状态集合的交集进行判空,确定目标状态是否可达,从而较好地解决此类并发程序的可达性问题. 展开更多
关键词 上下文定界 良序排队 可达性 递归 并发程序
下载PDF
基于时间动态下推网络可达性分析 被引量:1
9
作者 钱俊彦 徐力 +2 位作者 古天龙 赵岭忠 蔡国永 《电子学报》 EI CAS CSCD 北大核心 2017年第9期2241-2249,共9页
动态下推网络(DPN,Dynamic Pushdown Networks)由一组能刻画动态创建线程的动态下推系统(DPDS,Dynamic Push Down Systems)组成.本文首先将描述连续时间的实时时钟引入DPN,提出了时间动态下推网络(TDPN,Timed Dynamic Pushdown Network... 动态下推网络(DPN,Dynamic Pushdown Networks)由一组能刻画动态创建线程的动态下推系统(DPDS,Dynamic Push Down Systems)组成.本文首先将描述连续时间的实时时钟引入DPN,提出了时间动态下推网络(TDPN,Timed Dynamic Pushdown Networks),能对动态创建线程的实时并发递归系统建模;然后基于时钟关键点的时钟等价优化方法,并采用on-the-fly技术,仅关心栈顶及下一层的域状态转换,动态的将连续时间模型TDPN转换为时间域表示的离散模型DPN,同时给出TDPN到DPN的转换算法;最后证明在TDPN中的可达状态当且仅当其转换状态在DPN中可达,从而可解决带动态线程创建的实时并发系统的可达性分析. 展开更多
关键词 动态下推网络 时钟等价 实时并发递归系统 时间动态下推网络
下载PDF
Petri网系统合成操作的活性保持性研究 被引量:1
10
作者 蒲飞 陆维明 《系统仿真学报》 CAS CSCD 2003年第z1期17-25,共9页
合成操作是Petri网系统建模中一种重要的自底向上建模方法,而在Petri网系统的合成过程中,保性性质是一个重要的研究问题。本文综述了我们对Petri网系统两种合成操作(共享合成、同步合成)活性保持性的研究工作。与以往研究不同,侧重从并... 合成操作是Petri网系统建模中一种重要的自底向上建模方法,而在Petri网系统的合成过程中,保性性质是一个重要的研究问题。本文综述了我们对Petri网系统两种合成操作(共享合成、同步合成)活性保持性的研究工作。与以往研究不同,侧重从并发语言的角度讨论。定义了相应合成操作的路径并发合成运算,以此建立两种合成操作Petri网系统的并发语言关系式。这些语言关系式可用于判定相应合成操作Petri网系统的活性与无死锁性,同时给出合成的Petri网系统活性与无死锁性的充要条件。最后分别给出条件使得合成的Petri网系统有活性保持性质。 展开更多
关键词 合成操作 活性保持性 并发语言 递归 路径并发合成
下载PDF
基于时间多栈下推网络的实时系统验证
11
作者 钱俊彦 甘鹏程 +2 位作者 郭云川 赵岭忠 古天龙 《计算机学报》 EI CSCD 北大核心 2016年第11期2253-2269,共17页
多栈下推网络(MPDN)是利用多个栈来描述并发递归程序线程之间交互的一种下推系统模型.为了描述基于线程之间交互的实时并发递归程序,首先将描述连续时间的时钟引入到MPDN,提出了时间多栈下推网络(TMPDN),并给出了语法及其操作语义;其次... 多栈下推网络(MPDN)是利用多个栈来描述并发递归程序线程之间交互的一种下推系统模型.为了描述基于线程之间交互的实时并发递归程序,首先将描述连续时间的时钟引入到MPDN,提出了时间多栈下推网络(TMPDN),并给出了语法及其操作语义;其次利用基于时间关键点的时钟等价优化技术,缩减等价域状态空间;然后通过静态转换方法,获得所有的可达域状态格局,将连续时间的TMPDN模型转换成离散的MPDN模型.在此基础上,基于on-the-fly技术,采用动态转换方法,仅关心栈顶域状态转换,进一步缩减转换后的状态空间.同时证明了状态q_F在TMPDN可达当且仅当其转换状态q′_F在MPDN可达,并给出了模型转换算法;最后可采用现有模型检验工具验证转换后的MPDN. 展开更多
关键词 MPDN TMPDN 并发递归程序 时钟等价 可达性
下载PDF
多源并发下Mur二阶吸收边界和非分裂递归卷积完全匹配层对比研究
12
作者 崔凡 陈毅 +2 位作者 薛晗鹏 彭苏萍 杜云飞 《物探与化探》 CAS 北大核心 2022年第3期693-703,共11页
多个激励源无延时发射(多源并发)相同中心频率脉冲会形成平面波束信号,增强数据记录质量。本文通过数值模拟对比分析在多源并发情况下,非分裂递归卷积完全匹配层作为吸收边界条件和Mur二阶吸收边界条件对电磁波的吸收效果。其研究结果表... 多个激励源无延时发射(多源并发)相同中心频率脉冲会形成平面波束信号,增强数据记录质量。本文通过数值模拟对比分析在多源并发情况下,非分裂递归卷积完全匹配层作为吸收边界条件和Mur二阶吸收边界条件对电磁波的吸收效果。其研究结果表明,传统的Mur二阶吸收边界条件对多源并发、多角度掠射情况下电磁波的吸收效果不佳,在大偏移距下会造成波形畸变和形成虚假反射。而在多源并发情况下采用非分裂递归卷积完全匹配层作为吸收边界条件,将坐标伸缩因子引进时域有限差分算法中。通过傅里叶逆变换将频率域坐标伸缩变换PML方程转换到时域,对电场和磁场值在离散状态下进行递归卷积运算求解。从而避免了直接对卷积进行数值求解的复杂计算,在保证计算准确性的同时,节约了内存空间,提高了计算效率。在不分裂波场情况下,改善了网格截断位置对电磁波的吸收效果。 展开更多
关键词 多源并发 坐标伸缩因子 递归卷积 完全匹配层 时域有限差分 傅里叶逆变换
下载PDF
A new real-time algorithm of wavelet transform for detection of sudden-changing signals of power systems 被引量:1
13
作者 何建军 任震 +2 位作者 黄雯莹 周宏 林涛 《Science China(Technological Sciences)》 SCIE EI CAS 1999年第6期609-615,共7页
With a complex wavelet function, a new real-time recursive algorithm of wavelet transform (WT) is analyzed in detail. Compared with the existing recursive algorithm in two directions, the computing time is greatly red... With a complex wavelet function, a new real-time recursive algorithm of wavelet transform (WT) is analyzed in detail. Compared with the existing recursive algorithm in two directions, the computing time is greatly reduced in response to faults signals in power systems, and the same recursive algorithm can be generalized to other wavelet functions. With the phases and magnitudes of complex WT coefficients under the fast recursive algorithm, a method to detect faults signals of power systems is presented. Lastly, the analyzing results of some signals show that it is effective and practical for the complex wavelet and its real-time recursive algorithm to detect faults of power systems. 展开更多
关键词 sudden-changing SIGNALS real-time WAVELET recursive algorithm integral WAVELET transform.
原文传递
Differential Hydrological Grey Model (DHGM) with self-memory function and its application to flood forecasting 被引量:8
14
作者 CHEN XiangDong1, XIA Jun1,2 & XU Qian3 1 Key Laboratory of Water Cycle and Related Land Surface Processes, Institute of Geographic Sciences and Natural Resources Research, Chinese Academy of Sciences, Beijing 100101, China 2 State Key Laboratory of Water Resources and Hydropower Engineering Science, Wuhan University, Wuhan 430072, China 3 School of Hydrology and Water Resources, Hohai University, Nanjing 210098, China 《Science China(Technological Sciences)》 SCIE EI CAS 2009年第4期1039-1049,共11页
This paper addresses a problem of flood forecasting with the self-memory function. Considering flood forecasting’s uncertainty and updating demand, a hybrid hydrological model, namely Differential Hy- drological Grey... This paper addresses a problem of flood forecasting with the self-memory function. Considering flood forecasting’s uncertainty and updating demand, a hybrid hydrological model, namely Differential Hy- drological Grey Model with self-memory function (DHGM-SM), is developed. The model has two fold features. One is to establish a self-memorization equation linked with DHGM, that could extract useful information from past data series and realize updating of hydrological dynamic process. The other is that this model has higher efficiency relative to original hydrological model without self-memory func- tion. This approach was applied to river flow forecasting of two representative basins in Tunxi of South China and Daqinggou of North China. It is shown that this hybrid method has satisfactory forecasting accuracy by examination of both calibration and validation. 展开更多
关键词 DIFFERENTIAL GREY model the self-memorization principle real-time forecasting faded-memory recursive least SQUARE method
原文传递
Receiver-channel based adaptive blind equalization approach for GPS dynamic multipath mitigation 被引量:6
15
作者 Zhao Yun Xue Xiaonan Zhang Tingfei 《Chinese Journal of Aeronautics》 SCIE EI CAS CSCD 2013年第2期378-384,共7页
Aiming at mitigating multipath effect in dynamic global positioning system (GPS) satellite navigation applications, an approach based on channel blind equalization and real-time recursive least square (RLS) algori... Aiming at mitigating multipath effect in dynamic global positioning system (GPS) satellite navigation applications, an approach based on channel blind equalization and real-time recursive least square (RLS) algorithm is proposed, which is an application of the wireless communication channel equalization theory to GPS receiver tracking loops. The blind equalization mechanism builds upon the detection of the correlation distortion due to multipath channels; therefore an increase in the number of correlator channels is required compared with conventional GPS receivers. An adaptive estimator based on the real-time RLS algorithm is designed for dynamic estimation of multipath channel response. Then, the code and carrier phase receiver tracking errors are compensated by removing the estimated multipath components from the correlators' outputs. To demonstrate the capabilities of the proposed approach, this technique is integrated into a GPS software receiver connected to a navigation satellite signal simulator, thus simulations under controlled dynamic multipath scenarios can be carried out. Simulation results show that in a dynamic and fairly severe multipath environment, the proposed approach achieves simultaneously instantaneous accurate multipath channel estimation and significant multipath tracking errors reduction in both code delay and carrier phase. 展开更多
关键词 Blind equalization Correlation distortion Dynamic multipath mitigation real-time recursive least square algorithm Satellite navigation
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部