A method for modeling crosscutting concerns in the concurrent software system is presented based on the aspect-oriented（A-O） technique and the statechart of unified modeling language （UML）. Modeled with UML statec...A method for modeling crosscutting concerns in the concurrent software system is presented based on the aspect-oriented（A-O） technique and the statechart of unified modeling language （UML）. Modeled with UML statechart diagrams, the primary system functions and corresponding traversal features are enveloped into various orthogonal regions of a composite state. The mutual relationships between orthogonal regions are implied by the orders of broadcast events. Using a modular transition system as a basic computational model, the formalization description of A-O statechart models is proposed. The precise semantics of model elements and modeling procedures is given. The example study indicates that the separation strategy of crosscutting concerns is implemented in the design phase of the concurrent software system with this method. Meanwhile, the software modeling method has advantages of loose coupling, adaptability and traceability.展开更多
In recent years, realising a ＂clean- state＂ design for the future Internet has become an important research focus. An architecture com- bining an Information-Centric Network （ICN） and Sottware-Defmed Network （SDN...In recent years, realising a ＂clean- state＂ design for the future Internet has become an important research focus. An architecture com- bining an Information-Centric Network （ICN） and Sottware-Defmed Network （SDN） （IC-SDN） has gradually attracted more attention. How- ever, the existing studies regarding IC-SDN still lack support in terms of the ＂network status awareness＂ function, resulting in unreasonable resource allocation. In this paper, we propose a new status-aware resource adaptation sche- me, i.e. a status-aware module is embedded into basic elements （Forwarding Node （FN） and Resource adaption Manager （RM））. The FNs collect the network status dynamically for the controller to reallocate network resources accor- ding to the fluctuations in environmental con- ditions. Simulation results show that, compared with the existing IC-SDN mechanism, the pro- posed scheme reduced the link bandwidth var- iance by 56% and the content delivery latency by 40%. The proof-of-concept implementation demonstrates the feasibility of our proposed sc- heme for small-scale deployment.展开更多
Our primary purpose of this work is to explicitly construct the general multiparite Einstein-Podolsky- Rosen （EPR） entangled state in multi-mode Fock space for a system with different masses of particles, which make...Our primary purpose of this work is to explicitly construct the general multiparite Einstein-Podolsky- Rosen （EPR） entangled state in multi-mode Fock space for a system with different masses of particles, which makes up a new quantum mechanical representation owing to completeness relation and orthogonal property. Its entanglement can be seen more clearly by analyzing its standard Schmidt decomposition. In addition, some applications of the multipartite entanglement are proposed including deriving the generalized Wigner operator and squeezing operator.展开更多
XML is an important technology for Internet-based data exchange with far reaching capabilities be-yond for just data exchange. The paper describes the first results of a project that aims to explore the applicabil-ity...XML is an important technology for Internet-based data exchange with far reaching capabilities be-yond for just data exchange. The paper describes the first results of a project that aims to explore the applicabil-ity of XML technology for web-based software engineering with the emphasis on collaborative software testing in-volving the use of statechart. The paper presents the approach of building the statechart schema with XML Sche-ma. It also describes the use of the schema in a web-based collaborative software testing CASE environment.展开更多
文摘A method for modeling crosscutting concerns in the concurrent software system is presented based on the aspect-oriented（A-O） technique and the statechart of unified modeling language （UML）. Modeled with UML statechart diagrams, the primary system functions and corresponding traversal features are enveloped into various orthogonal regions of a composite state. The mutual relationships between orthogonal regions are implied by the orders of broadcast events. Using a modular transition system as a basic computational model, the formalization description of A-O statechart models is proposed. The precise semantics of model elements and modeling procedures is given. The example study indicates that the separation strategy of crosscutting concerns is implemented in the design phase of the concurrent software system with this method. Meanwhile, the software modeling method has advantages of loose coupling, adaptability and traceability.
基金supported in part by the National Basic Research Program of China(973 Program)under Grant No.2013CB329100the National Natural Science Foundation of China under Grants No.61232017,No.61271200the Fundamental Research Funds for the Central Universities under Grant No.2013YJS007
文摘In recent years, realising a ＂clean- state＂ design for the future Internet has become an important research focus. An architecture com- bining an Information-Centric Network （ICN） and Sottware-Defmed Network （SDN） （IC-SDN） has gradually attracted more attention. How- ever, the existing studies regarding IC-SDN still lack support in terms of the ＂network status awareness＂ function, resulting in unreasonable resource allocation. In this paper, we propose a new status-aware resource adaptation sche- me, i.e. a status-aware module is embedded into basic elements （Forwarding Node （FN） and Resource adaption Manager （RM））. The FNs collect the network status dynamically for the controller to reallocate network resources accor- ding to the fluctuations in environmental con- ditions. Simulation results show that, compared with the existing IC-SDN mechanism, the pro- posed scheme reduced the link bandwidth var- iance by 56% and the content delivery latency by 40%. The proof-of-concept implementation demonstrates the feasibility of our proposed sc- heme for small-scale deployment.
基金National Natural Science Foundation of China under Grant No.10675108the Natural Science Foundation of the Education Department of Anhui Province under Grant No.KJ2007B377ZCthe Young University Teachers' Fund of Anhui Province under Grant No.2007jql155
文摘Our primary purpose of this work is to explicitly construct the general multiparite Einstein-Podolsky- Rosen （EPR） entangled state in multi-mode Fock space for a system with different masses of particles, which makes up a new quantum mechanical representation owing to completeness relation and orthogonal property. Its entanglement can be seen more clearly by analyzing its standard Schmidt decomposition. In addition, some applications of the multipartite entanglement are proposed including deriving the generalized Wigner operator and squeezing operator.
基金Sponsored by Guangxi Science Research Foundation (Grant No. 0141046)
文摘XML is an important technology for Internet-based data exchange with far reaching capabilities be-yond for just data exchange. The paper describes the first results of a project that aims to explore the applicabil-ity of XML technology for web-based software engineering with the emphasis on collaborative software testing in-volving the use of statechart. The paper presents the approach of building the statechart schema with XML Sche-ma. It also describes the use of the schema in a web-based collaborative software testing CASE environment.
