Rewriting logic is a unified model of concurrency, which provides a formal commo n framework of well-known models of concurrent systems. A new formal method of t he specification and execution of P systems using rewri...Rewriting logic is a unified model of concurrency, which provides a formal commo n framework of well-known models of concurrent systems. A new formal method of t he specification and execution of P systems using rewriting logic was proposed. The powerful tool Ma ude 2.0 is used to implement this specification. In order to present the general ideas in a concr ete case study, a simple and classical example from the literature is adopted to present how to formally spe cify and execute a P system.展开更多
IIn order to improve the performance of wireless distributed peer-to-peer(P2P)files sharing systems,a general system architecture and a novel peer selecting model based on fuzzy cognitive maps(FCM)are proposed in this...IIn order to improve the performance of wireless distributed peer-to-peer(P2P)files sharing systems,a general system architecture and a novel peer selecting model based on fuzzy cognitive maps(FCM)are proposed in this paper.The new model provides an effective approach on choosing an optimal peer from several resource discovering results for the best file transfer.Compared with the traditional min-hops scheme that uses hops as the only selecting criterion,the proposed model uses FCM to investigate the complex relationships among various relative factors in wireless environments and gives an overall evaluation score on the candidate.It also has strong scalability for being independent of specified P2P resource discovering protocols.Furthermore,a complete implementation is explained in concrete modules.The simulation results show that the proposed model is effective and feasible compared with min-hops scheme,with the success transfer rate increased by at least 20% and transfer time improved as high as 34%.展开更多
The S^p_q equivalent current system of the quiet day geomagnetic variation in the polar region is very complicated. It is composed of several currents, such as the ionospheric dynamo current and the auroral electrojet...The S^p_q equivalent current system of the quiet day geomagnetic variation in the polar region is very complicated. It is composed of several currents, such as the ionospheric dynamo current and the auroral electrojet caused by the field aligned current. S p q is unsymmetrical in both polar regions. In this paper, the S p q current systems are analyzed in the corrected geomagnetic coordinates (CGM) instead of the conventional geomagnetic coordinates (GM), and the symmetries of the S p q current in different systems are compared. Then the causes of S p q asymmetry in the GM coordinates are discussed; the effects of each component in S p q are determined.展开更多
The binaphthol enantiomers separation process using simulation moving bed technology is simulated with the true moving bed approach （TMB）. In order to systematically optimize the process with multiple productive obj...The binaphthol enantiomers separation process using simulation moving bed technology is simulated with the true moving bed approach （TMB）. In order to systematically optimize the process with multiple productive objectives, this article develops a variant of tissue P system （TPS）. Inspired by general tissue P systems, the special TPS has a tissue-like structure with several membranes. The key rules of each membrane are the communication rule and mutation rule. These characteristics contribute to the diversity of the population, the conquest of the multimodal of objective function, and the convergence of algorithm. The results of comparison with a popular algorithm——the non-dominated sorting genetic algorithm 2（NSGA-2） illustrate that the new algorithm has satisfactory performance. Using the algorithm, this study maximizes synchronously several conflicting objectives, purities of different products, and productivity.展开更多
In this article, we investigate the existence of periodic solutions for a class of nonautonomous second-order differential systems with p(t)-Laplacian. Some multiplicity results are obtained by using critical point th...In this article, we investigate the existence of periodic solutions for a class of nonautonomous second-order differential systems with p(t)-Laplacian. Some multiplicity results are obtained by using critical point theory, which extend some known results.展开更多
In this paper the one-way P automata with priorities are introduced. Suchautomata are P systems where the membranes are only allowed to consume objects from parentmembranes, under the given conditions. The result of c...In this paper the one-way P automata with priorities are introduced. Suchautomata are P systems where the membranes are only allowed to consume objects from parentmembranes, under the given conditions. The result of computation of these systems is the set ofmultiset sequences consumed by skin membrane into the system. The rules associated in some orderwith each membrane cannot modify any objects, they can only move them through membrane. We show thatP automata with priorities and two membranes can accept every recursively enumerated language.展开更多
基金National Natural Science Foundation ofChina (No. 60173033) and 973 Project( No. 2002CB312002 ) of China, andGrand Project of the Science and Tech-nology Commission of Shanghai Munici-pality ( No. 03dz15027 and No.03dz15028)
文摘Rewriting logic is a unified model of concurrency, which provides a formal commo n framework of well-known models of concurrent systems. A new formal method of t he specification and execution of P systems using rewriting logic was proposed. The powerful tool Ma ude 2.0 is used to implement this specification. In order to present the general ideas in a concr ete case study, a simple and classical example from the literature is adopted to present how to formally spe cify and execute a P system.
基金Sponsored by the National Natural Science Foundation of China(Grant No.60672124 and 60832009)Hi-Tech Research and Development Program(National 863 Program)(Grant No.2007AA01Z221)
文摘IIn order to improve the performance of wireless distributed peer-to-peer(P2P)files sharing systems,a general system architecture and a novel peer selecting model based on fuzzy cognitive maps(FCM)are proposed in this paper.The new model provides an effective approach on choosing an optimal peer from several resource discovering results for the best file transfer.Compared with the traditional min-hops scheme that uses hops as the only selecting criterion,the proposed model uses FCM to investigate the complex relationships among various relative factors in wireless environments and gives an overall evaluation score on the candidate.It also has strong scalability for being independent of specified P2P resource discovering protocols.Furthermore,a complete implementation is explained in concrete modules.The simulation results show that the proposed model is effective and feasible compared with min-hops scheme,with the success transfer rate increased by at least 20% and transfer time improved as high as 34%.
文摘The S^p_q equivalent current system of the quiet day geomagnetic variation in the polar region is very complicated. It is composed of several currents, such as the ionospheric dynamo current and the auroral electrojet caused by the field aligned current. S p q is unsymmetrical in both polar regions. In this paper, the S p q current systems are analyzed in the corrected geomagnetic coordinates (CGM) instead of the conventional geomagnetic coordinates (GM), and the symmetries of the S p q current in different systems are compared. Then the causes of S p q asymmetry in the GM coordinates are discussed; the effects of each component in S p q are determined.
基金Supported by the National Natural Science Foundation of China （No.60421002）
文摘The binaphthol enantiomers separation process using simulation moving bed technology is simulated with the true moving bed approach （TMB）. In order to systematically optimize the process with multiple productive objectives, this article develops a variant of tissue P system （TPS）. Inspired by general tissue P systems, the special TPS has a tissue-like structure with several membranes. The key rules of each membrane are the communication rule and mutation rule. These characteristics contribute to the diversity of the population, the conquest of the multimodal of objective function, and the convergence of algorithm. The results of comparison with a popular algorithm——the non-dominated sorting genetic algorithm 2（NSGA-2） illustrate that the new algorithm has satisfactory performance. Using the algorithm, this study maximizes synchronously several conflicting objectives, purities of different products, and productivity.
基金Supported by the Natural Science Foundation of Anhui Province（1408085MA02, 1208085 MA13, 1308085MA01, 1308085QA15） Supported by the Key Foundation of Anhui Education Bureau （KJ2012A019, KJ2013A028）+2 种基金 Supported by the National Natural Science Foundation of China（11271371, 11301 004） Supported by the Research Fund for the Doctoral Program of Higher Education（20113401110001） Supported by 211 Project of Anhui University（02303129, 02303303-33030011, 02303902-39020011, KYXL2012004 XJYJXKC04, yfcl00012）
文摘In this article, we investigate the existence of periodic solutions for a class of nonautonomous second-order differential systems with p(t)-Laplacian. Some multiplicity results are obtained by using critical point theory, which extend some known results.
文摘In this paper the one-way P automata with priorities are introduced. Suchautomata are P systems where the membranes are only allowed to consume objects from parentmembranes, under the given conditions. The result of computation of these systems is the set ofmultiset sequences consumed by skin membrane into the system. The rules associated in some orderwith each membrane cannot modify any objects, they can only move them through membrane. We show thatP automata with priorities and two membranes can accept every recursively enumerated language.
