This paper investigates the problem of cluster synchronization of master-slave complex net-works with time-varying delay via linear and adaptive feedback pinning controls.We need not non-delayed and delayed coupling m...This paper investigates the problem of cluster synchronization of master-slave complex net-works with time-varying delay via linear and adaptive feedback pinning controls.We need not non-delayed and delayed coupling matrices to be symmetric or irreducible.We have the advantages of using adaptive control method to reduce control gain and pinning control technology to reduce cost.By con-structing Lyapunov function,some sufficient synchronization criteria are established.Finally,numerical examples are employed to illustrate the effectiveness of the proposed approach.展开更多
As a key component of injection molding,multi-cavity hot runner(MCHR)system faces the crucial problem of polymer melt filling imbalance among the cavities.The thermal imbalance in the system has been considered as the...As a key component of injection molding,multi-cavity hot runner(MCHR)system faces the crucial problem of polymer melt filling imbalance among the cavities.The thermal imbalance in the system has been considered as the leading cause.Hence,the solution may rest with the synchronization of those heating processes in MCHR system.This paper proposes a’Master-Slave’generalized predictive synchronization control(MS-GPSC)method with’Mr.Slowest’strategy for preheating stage of MCHR system.The core of the proposed method is choosing the heating process with slowest dynamics as the’Master’to track the setpoint,while the other heating processes are treated as‘Slaves’tracking the output of’Master’.This proposed method is shown to have the good ability of temperature synchronization.The corresponding analysis is conducted on parameters tuning and stability,simulations and experiments show the strategy is effective.展开更多
This paper addresses a master-slave synchro- nization strategy for complex dynamic systems based on feedback control. This strategy is applied to 3-DOF pla- nar manipulators in order to obtain synchronization in such ...This paper addresses a master-slave synchro- nization strategy for complex dynamic systems based on feedback control. This strategy is applied to 3-DOF pla- nar manipulators in order to obtain synchronization in such complicated as chaotic motions of end-effectors. A chaotic curve is selected from Duffing equation as the trajectory of master end-effector and a piecewise approximation method is proposed to accurately represent this chaotic trajectory of end-effectors. The dynamical equations of master-slave manipulators with synchronization controller are derived, and the Lyapunov stability theory is used to determine the stability of this controlled synchronization system. In numer- ical experiments, the synchronous motions of end-effectors as well as three joint angles and torques of master-slave manipulators are studied under the control of the proposed synchronization strategy. It is found that the positive gain matrix affects the implementation of synchronization con- trol strategy. This synchronization control strategy proves the synchronization＇s feasibility and controllability for com- plicated motions generated by master-slave manipulators.展开更多
This paper deals with control system design and implementation problems encountered in multiple robot systems. The methodology developed is depicted by a set of coordination mechanisms using hierarchical net structure...This paper deals with control system design and implementation problems encountered in multiple robot systems. The methodology developed is depicted by a set of coordination mechanisms using hierarchical net structures and their accompanying rules. With the net models, the hierarchical and distributed control system is designed for an assembly task. Synchronization commands allow coordination of the movements of the robots. The net models make concurrency of the movements of the robots transparent to users. The net based machine controller executes robot motion control through the communication with the external robot controller using the command/response concept. Sensory signals indicating the change of state of robots are used to trigger or initiate tasks. Simultaneous movement of the robots is obtained by creating different background threads running in parallel under Windows OS. The multilevel hierarchical control system can be consistently constructed using net models.展开更多
Aiming at the weaknesses of LON bus, combining the coexistence of fieldbus and DCS (Distribu ted Control Systems) in control networks, the authors introduce a hierarchical hybrid control network design based on LON an...Aiming at the weaknesses of LON bus, combining the coexistence of fieldbus and DCS (Distribu ted Control Systems) in control networks, the authors introduce a hierarchical hybrid control network design based on LON and master slave RS 422/485 protocol. This design adopts LON as the trunk, master slave RS 422/485 control networks are connected to LON as special subnets by dedicated gateways. It is an implementation method for isomerous control network integration. Data management is ranked according to real time requirements for different network data. The core components, such as control network nodes, router and gateway, are detailed in the paper. The design utilizes both communication advantage of LonWorks technology and the more powerful control ability of universal MCUs or PLCs, thus it greatly increases system response speed and performance cost ratio.展开更多
An integrated method for concurrency control in parallel real-time databases has been proposed in this paper. The nested transaction model has been investigated to offer more atomic execution units and finer grained c...An integrated method for concurrency control in parallel real-time databases has been proposed in this paper. The nested transaction model has been investigated to offer more atomic execution units and finer grained control within in a transaction. Based on the classical nested locking protocol and the speculative concurrency control approach, a two-shadow adaptive concurrency control protocol, which combines the Sacrifice based Optimistic Concurrency Control (OPT-Sacrifice) and High Priority two-phase locking (HP2PL) algorithms together to support both optimistic and pessimistic shadow of each sub-transaction, has been proposed to increase the likelihood of successful timely commitment and to avoid unnecessary replication overload.展开更多
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.展开更多
Background and Objective: Concurrent chemoradiotherapy for cervical carcinoma develops rapidly and has become a common and standard therapy in recent years. Both the local control rate and survival rate of patients we...Background and Objective: Concurrent chemoradiotherapy for cervical carcinoma develops rapidly and has become a common and standard therapy in recent years. Both the local control rate and survival rate of patients were increased and the risk of death fell by 30%-50%. This study aimed to explore the efficacy of concurrent chemoradiotherapy plus adjuvant chemotherapy on and the treatment compliance of the patients with advanced cervical squamous cell carcinoma. Methods: A total of 156 patients with stage IIa-IIIb cervical squamous cell carcinoma were randomly divided into the concurrent chemoradiotherapy group (experimental group) and radiotherapy group (control group). Intracavity and external beam radiation therapy were administered. At point A, 40-48 Gy were given by 10-12 fractions; at point B, 46-50 Gy were given by 23-25 fractions. In the same time, experimental group was treated by cisplatin (DDP, 40 mg) on day 1, repeated every week. Ten days after radiation therapy, TP regimen was administered as adjuvant chemotherapy. Results: For the experimental and control groups, the objective response rates were 88.61% and 75.32%, 1-year survival rates were 88.57% and 70.77%, 1-year local control rates were 81.43% and 64.62%, 3-year survival rates were 82.14% and 57.69%, and 3-year local control rates were 75.00% and 46.15%, with significant differences (P < 0.05). Quality of life of all patients were significantly improved after treatment (P< 0.05). Conclusion: Concurrent chemoradiotherapy plus adjuvant chemotherapy for advanced cervical cancer can improve short-term and long-term survival and local control rates of patients, improve the quality of life, and the toxicity can be tolerated.展开更多
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.展开更多
Concurrency control is a critical technology and one of the problems in CSCW systems. With the development of agent based technology, it has also been applied to research and development of CSCW systems. An Agent ba...Concurrency control is a critical technology and one of the problems in CSCW systems. With the development of agent based technology, it has also been applied to research and development of CSCW systems. An Agent based method for concurrency control in CSCW is explored in this paper. This new way is achieved by making use of the thoughts of AOP (Agent Oriented Programming) to improve traditional locking method, on the basis of researching characteristics and functional requirements of concurrency control in CSCW, and analyzing various usually used concurrency control methods. All amendments to locking method are done on the basis of the analysis of limitations brought by locking. In this paper, a new algorithm supporting queue of locking request for Agent based concurrency control is also presented. All above aspects are discussed in some detail in this paper.展开更多
Most of the proposed concurrency control protocols for real time database systems are based on serializability theorem. Owing to the unique characteristics of real time database applications and the importance of sa...Most of the proposed concurrency control protocols for real time database systems are based on serializability theorem. Owing to the unique characteristics of real time database applications and the importance of satisfying the timing constraints of transactions, serializability is too strong as a correctness criterion and not suitable for real time databases in most cases. On the other hand, relaxed serializability including epsilon serializability and similarity serializability can allow more real time transactions to satisfy their timing constraints, but database consistency may be sacrificed to some extent. We thus propose the use of weak serializability(WSR) that is more relaxed than conflicting serializability while database consistency is maintained. In this paper, we first formally define the new notion of correctness called weak serializability. After the necessary and sufficient conditions for weak serializability are shown, corresponding concurrency control protocol WDHP(weak serializable distributed high priority protocol) is outlined for distributed real time databases, where a new lock mode called mask lock mode is proposed for simplifying the condition of global consistency. Finally, through a series of simulation studies, it is shown that using the new concurrency control protocol the performance of distributed real time databases can be greatly improved.展开更多
A 3 DOF master-slave telerobot system is established for study on force telepresence technology. A force feedback and position control scheme is adopted in the bilateral force response control system,and force fidelit...A 3 DOF master-slave telerobot system is established for study on force telepresence technology. A force feedback and position control scheme is adopted in the bilateral force response control system,and force fidelity and controllability experiments demonstrate feasibility of the con-trol system.展开更多
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.展开更多
The problem of maintaining data consistency in mobile broadcast environments is researched. Quasi serializability is formally defined and analyzed at first. It was shown that quasi serializability is less stringent th...The problem of maintaining data consistency in mobile broadcast environments is researched. Quasi serializability is formally defined and analyzed at first. It was shown that quasi serializability is less stringent than serializability when database consistency is maintained for transactions. Then, corresponding concurrency control protocol that supports both update transactions and read-only transactions is outlined for mobile broadcast environments. Finally, the simulation results confirmed that the proposed protocol could improve the response time significantly.展开更多
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.展开更多
Concurrent multipath transfer(CMT)using stream control transmission protocol(SCTP)multihoming has become an appealing option to increase the throughput and improve the performance of increasingly bandwidth-hungry appl...Concurrent multipath transfer(CMT)using stream control transmission protocol(SCTP)multihoming has become an appealing option to increase the throughput and improve the performance of increasingly bandwidth-hungry applications.To investigate the rate allocation for applications in CMT,this paper analyzes the capacities of paths shared by competing sources,then proposes the rate allocation model for elastic flows based on the framework of network utility maximization(NUM).In order to obtain the global optimum of the model,a distributed algorithm is presented which depends only on local available information.Simulation results confirm that the proposed algorithm can achieve the global optimum within reasonable convergence times.展开更多
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.展开更多
This paper deals with a comparative study on testing of concurrent programs based on different techniques. The various challenges in testing concurrent programming are: defining test coverage criteria based on control...This paper deals with a comparative study on testing of concurrent programs based on different techniques. The various challenges in testing concurrent programming are: defining test coverage criteria based on control flow, generating control flow graph of nondeterministic programs, investigating the applicability of sequential testing criteria to parallel program testing etc. For solving these issues, some existing techniques are discussed in this study. Various researchers use an intermediate graph called Event Inter Actions Graph (EIAG) to solve the problem of generating the control flow graph of nondeterministic programs. Some researches propose an intermediate graph called Interaction Sequence Testing Criteria (ISTC) approach based on sequence of interactions to solve the problem of test coverage criteria based on control and data flow. Another method to solve the problem of generating test coverage based on control flow graph of nondeterministic programs is constraint based approach. It needs constrained elements to generate test case which includes structural element and constraint. The selection of good test cases has been addressed by test data generation technique. The technique of concurrent path analysis approach is used to solve the problem of applicability of sequential testing criteria to parallel program testing. It reduces the number of combined concurrent test paths. The sequential test paths are combined to form concurrent test path. The Integration and System Test Automation (ISTA) approach is used to solve the problem of applicability of sequential testing criteria to parallel program testing. It is used for automated test case generation and execution by using high-level Petri net is a finite state test model.展开更多
This paper presents a framework of the distributed concurrent multi-port-testing test system (CMPT-TS) for IP routers under development at Sichuan Network Communication Key Laboratory. Having analyzed the actuality of...This paper presents a framework of the distributed concurrent multi-port-testing test system (CMPT-TS) for IP routers under development at Sichuan Network Communication Key Laboratory. Having analyzed the actuality of concurrent testing for routers, this paper develops a distributed architecture of CMPT-TS and discusses its functional components in detail. Moreover, a new test definition language, CMPT definition language, is also introduced simply.展开更多
The problem of long transactions is a significant problem in spatial database. The checkout mechanism and multi version mechanism are two kind methods of solving the problem of long transactions. In this paper, we pre...The problem of long transactions is a significant problem in spatial database. The checkout mechanism and multi version mechanism are two kind methods of solving the problem of long transactions. In this paper, we present a Shallow Version Management mechanism to realize multi version mechanism in spatial database. And we introduced a increment storage and dynamic version views building method to improve efficiency of storing and consulting. We also illuminate how to resolve the problem of long transaction concurrency control in spatial database by using multi version mechanism. At the end of this paper, we introduce some required means to version management in spatial database, like converge, compress and delete.展开更多
文摘This paper investigates the problem of cluster synchronization of master-slave complex net-works with time-varying delay via linear and adaptive feedback pinning controls.We need not non-delayed and delayed coupling matrices to be symmetric or irreducible.We have the advantages of using adaptive control method to reduce control gain and pinning control technology to reduce cost.By con-structing Lyapunov function,some sufficient synchronization criteria are established.Finally,numerical examples are employed to illustrate the effectiveness of the proposed approach.
基金supported in part by National Natural Science Foundation of China(62203127)Basic and Applied Basic Research Project of Guangzhou City(2023A04J1712)+1 种基金The Foshan-HKUST Projects Program(FSUST19-FYTRI01)GDAS’Project of Science and Technology Development(2020GDASYL-20200202001).
文摘As a key component of injection molding,multi-cavity hot runner(MCHR)system faces the crucial problem of polymer melt filling imbalance among the cavities.The thermal imbalance in the system has been considered as the leading cause.Hence,the solution may rest with the synchronization of those heating processes in MCHR system.This paper proposes a’Master-Slave’generalized predictive synchronization control(MS-GPSC)method with’Mr.Slowest’strategy for preheating stage of MCHR system.The core of the proposed method is choosing the heating process with slowest dynamics as the’Master’to track the setpoint,while the other heating processes are treated as‘Slaves’tracking the output of’Master’.This proposed method is shown to have the good ability of temperature synchronization.The corresponding analysis is conducted on parameters tuning and stability,simulations and experiments show the strategy is effective.
基金supported by the Key Project of Chinese Ministry of Education(108037)the National Natural Science Foundation of China(10402008 and 50535010)
文摘This paper addresses a master-slave synchro- nization strategy for complex dynamic systems based on feedback control. This strategy is applied to 3-DOF pla- nar manipulators in order to obtain synchronization in such complicated as chaotic motions of end-effectors. A chaotic curve is selected from Duffing equation as the trajectory of master end-effector and a piecewise approximation method is proposed to accurately represent this chaotic trajectory of end-effectors. The dynamical equations of master-slave manipulators with synchronization controller are derived, and the Lyapunov stability theory is used to determine the stability of this controlled synchronization system. In numer- ical experiments, the synchronous motions of end-effectors as well as three joint angles and torques of master-slave manipulators are studied under the control of the proposed synchronization strategy. It is found that the positive gain matrix affects the implementation of synchronization con- trol strategy. This synchronization control strategy proves the synchronization＇s feasibility and controllability for com- plicated motions generated by master-slave manipulators.
文摘This paper deals with control system design and implementation problems encountered in multiple robot systems. The methodology developed is depicted by a set of coordination mechanisms using hierarchical net structures and their accompanying rules. With the net models, the hierarchical and distributed control system is designed for an assembly task. Synchronization commands allow coordination of the movements of the robots. The net models make concurrency of the movements of the robots transparent to users. The net based machine controller executes robot motion control through the communication with the external robot controller using the command/response concept. Sensory signals indicating the change of state of robots are used to trigger or initiate tasks. Simultaneous movement of the robots is obtained by creating different background threads running in parallel under Windows OS. The multilevel hierarchical control system can be consistently constructed using net models.
文摘Aiming at the weaknesses of LON bus, combining the coexistence of fieldbus and DCS (Distribu ted Control Systems) in control networks, the authors introduce a hierarchical hybrid control network design based on LON and master slave RS 422/485 protocol. This design adopts LON as the trunk, master slave RS 422/485 control networks are connected to LON as special subnets by dedicated gateways. It is an implementation method for isomerous control network integration. Data management is ranked according to real time requirements for different network data. The core components, such as control network nodes, router and gateway, are detailed in the paper. The design utilizes both communication advantage of LonWorks technology and the more powerful control ability of universal MCUs or PLCs, thus it greatly increases system response speed and performance cost ratio.
文摘An integrated method for concurrency control in parallel real-time databases has been proposed in this paper. The nested transaction model has been investigated to offer more atomic execution units and finer grained control within in a transaction. Based on the classical nested locking protocol and the speculative concurrency control approach, a two-shadow adaptive concurrency control protocol, which combines the Sacrifice based Optimistic Concurrency Control (OPT-Sacrifice) and High Priority two-phase locking (HP2PL) algorithms together to support both optimistic and pessimistic shadow of each sub-transaction, has been proposed to increase the likelihood of successful timely commitment and to avoid unnecessary replication overload.
基金Supported by the Defense Pre-Research Project ofthe"Tenth Five-Year-Plan"of China (413150403)
文摘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.
文摘Background and Objective: Concurrent chemoradiotherapy for cervical carcinoma develops rapidly and has become a common and standard therapy in recent years. Both the local control rate and survival rate of patients were increased and the risk of death fell by 30%-50%. This study aimed to explore the efficacy of concurrent chemoradiotherapy plus adjuvant chemotherapy on and the treatment compliance of the patients with advanced cervical squamous cell carcinoma. Methods: A total of 156 patients with stage IIa-IIIb cervical squamous cell carcinoma were randomly divided into the concurrent chemoradiotherapy group (experimental group) and radiotherapy group (control group). Intracavity and external beam radiation therapy were administered. At point A, 40-48 Gy were given by 10-12 fractions; at point B, 46-50 Gy were given by 23-25 fractions. In the same time, experimental group was treated by cisplatin (DDP, 40 mg) on day 1, repeated every week. Ten days after radiation therapy, TP regimen was administered as adjuvant chemotherapy. Results: For the experimental and control groups, the objective response rates were 88.61% and 75.32%, 1-year survival rates were 88.57% and 70.77%, 1-year local control rates were 81.43% and 64.62%, 3-year survival rates were 82.14% and 57.69%, and 3-year local control rates were 75.00% and 46.15%, with significant differences (P < 0.05). Quality of life of all patients were significantly improved after treatment (P< 0.05). Conclusion: Concurrent chemoradiotherapy plus adjuvant chemotherapy for advanced cervical cancer can improve short-term and long-term survival and local control rates of patients, improve the quality of life, and the toxicity can be tolerated.
文摘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.
文摘Concurrency control is a critical technology and one of the problems in CSCW systems. With the development of agent based technology, it has also been applied to research and development of CSCW systems. An Agent based method for concurrency control in CSCW is explored in this paper. This new way is achieved by making use of the thoughts of AOP (Agent Oriented Programming) to improve traditional locking method, on the basis of researching characteristics and functional requirements of concurrency control in CSCW, and analyzing various usually used concurrency control methods. All amendments to locking method are done on the basis of the analysis of limitations brought by locking. In this paper, a new algorithm supporting queue of locking request for Agent based concurrency control is also presented. All above aspects are discussed in some detail in this paper.
文摘Most of the proposed concurrency control protocols for real time database systems are based on serializability theorem. Owing to the unique characteristics of real time database applications and the importance of satisfying the timing constraints of transactions, serializability is too strong as a correctness criterion and not suitable for real time databases in most cases. On the other hand, relaxed serializability including epsilon serializability and similarity serializability can allow more real time transactions to satisfy their timing constraints, but database consistency may be sacrificed to some extent. We thus propose the use of weak serializability(WSR) that is more relaxed than conflicting serializability while database consistency is maintained. In this paper, we first formally define the new notion of correctness called weak serializability. After the necessary and sufficient conditions for weak serializability are shown, corresponding concurrency control protocol WDHP(weak serializable distributed high priority protocol) is outlined for distributed real time databases, where a new lock mode called mask lock mode is proposed for simplifying the condition of global consistency. Finally, through a series of simulation studies, it is shown that using the new concurrency control protocol the performance of distributed real time databases can be greatly improved.
文摘A 3 DOF master-slave telerobot system is established for study on force telepresence technology. A force feedback and position control scheme is adopted in the bilateral force response control system,and force fidelity and controllability experiments demonstrate feasibility of the con-trol system.
文摘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.
文摘The problem of maintaining data consistency in mobile broadcast environments is researched. Quasi serializability is formally defined and analyzed at first. It was shown that quasi serializability is less stringent than serializability when database consistency is maintained for transactions. Then, corresponding concurrency control protocol that supports both update transactions and read-only transactions is outlined for mobile broadcast environments. Finally, the simulation results confirmed that the proposed protocol could improve the response time significantly.
文摘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.
基金supported by the National Natural Science Foundation of China(60833002)the National Basic Research Program of China(973 Program)(2007CB307100)+2 种基金the National High Technology Research and Development Program of China(863 Program)(2007AA01Z202)the Program for Changjiang Scholars and Innovative Research Team in University(IRT0707)the Program of Introducing Talents of Discipline to Universities(111 Project)(B08002)
文摘Concurrent multipath transfer(CMT)using stream control transmission protocol(SCTP)multihoming has become an appealing option to increase the throughput and improve the performance of increasingly bandwidth-hungry applications.To investigate the rate allocation for applications in CMT,this paper analyzes the capacities of paths shared by competing sources,then proposes the rate allocation model for elastic flows based on the framework of network utility maximization(NUM).In order to obtain the global optimum of the model,a distributed algorithm is presented which depends only on local available information.Simulation results confirm that the proposed algorithm can achieve the global optimum within reasonable convergence times.
基金the National Natural Science Foundation of China and the Commission of Science,Technokgy and Industry for National Defense
文摘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.
文摘This paper deals with a comparative study on testing of concurrent programs based on different techniques. The various challenges in testing concurrent programming are: defining test coverage criteria based on control flow, generating control flow graph of nondeterministic programs, investigating the applicability of sequential testing criteria to parallel program testing etc. For solving these issues, some existing techniques are discussed in this study. Various researchers use an intermediate graph called Event Inter Actions Graph (EIAG) to solve the problem of generating the control flow graph of nondeterministic programs. Some researches propose an intermediate graph called Interaction Sequence Testing Criteria (ISTC) approach based on sequence of interactions to solve the problem of test coverage criteria based on control and data flow. Another method to solve the problem of generating test coverage based on control flow graph of nondeterministic programs is constraint based approach. It needs constrained elements to generate test case which includes structural element and constraint. The selection of good test cases has been addressed by test data generation technique. The technique of concurrent path analysis approach is used to solve the problem of applicability of sequential testing criteria to parallel program testing. It reduces the number of combined concurrent test paths. The sequential test paths are combined to form concurrent test path. The Integration and System Test Automation (ISTA) approach is used to solve the problem of applicability of sequential testing criteria to parallel program testing. It is used for automated test case generation and execution by using high-level Petri net is a finite state test model.
文摘This paper presents a framework of the distributed concurrent multi-port-testing test system (CMPT-TS) for IP routers under development at Sichuan Network Communication Key Laboratory. Having analyzed the actuality of concurrent testing for routers, this paper develops a distributed architecture of CMPT-TS and discusses its functional components in detail. Moreover, a new test definition language, CMPT definition language, is also introduced simply.
基金This work is supported by the National High Technology Research and Development Program ofChina(2 0 0 2 AA135 2 30 ) and the Major Project of National Natural Science Foundation of Beijing(4 0 110 0 2 ) .
文摘The problem of long transactions is a significant problem in spatial database. The checkout mechanism and multi version mechanism are two kind methods of solving the problem of long transactions. In this paper, we present a Shallow Version Management mechanism to realize multi version mechanism in spatial database. And we introduced a increment storage and dynamic version views building method to improve efficiency of storing and consulting. We also illuminate how to resolve the problem of long transaction concurrency control in spatial database by using multi version mechanism. At the end of this paper, we introduce some required means to version management in spatial database, like converge, compress and delete.
