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.展开更多
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.展开更多
This paper analyzes cache coherency mechanism from the view of system. It firstly discusses caehe-memory hierarchy of Pentium Ⅲ SMP system, including memory area distribution, cache attributes control and bus transac...This paper analyzes cache coherency mechanism from the view of system. It firstly discusses caehe-memory hierarchy of Pentium Ⅲ SMP system, including memory area distribution, cache attributes control and bus transaction. Secondly it analyzes hardware snoopy mechanism of P6 bus and MESI state transitions adopted by Pentium Ⅲ. Based on these, it focuses on how muhiprocessors and the P6 bus cooperate to ensure cache coherency of the whole system, and gives the key of cache coherency design.展开更多
This paper presents an intelligent technique to fault diagnosis of power transformers dissolved and free gas analysis (DGA). Fuzzy Reasoning Spiking neural P systems (FRSN P systems) as a membrane computing with distr...This paper presents an intelligent technique to fault diagnosis of power transformers dissolved and free gas analysis (DGA). Fuzzy Reasoning Spiking neural P systems (FRSN P systems) as a membrane computing with distributed parallel computing model is powerful and suitable graphical approach model in fuzzy diagnosis knowledge. In a sense this feature is required for establishing the power transformers faults identifications and capturing knowledge implicitly during the learning stage, using linguistic variables, membership functions with “low”, “medium”, and “high” descriptions for each gas signature, and inference rule base. Membership functions are used to translate judgments into numerical expression by fuzzy numbers. The performance method is analyzed in terms for four gas ratio (IEC 60599) signature as input data of FRSN P systems. Test case results evaluate that the proposals method for power transformer fault diagnosis can significantly improve the diagnosis accuracy power transformer.展开更多
Spiking neural P systems with anti-spikes （ASN P systems） are variant forms of spiking neural P systems, which are inspired by inhibitory impulses/spikes or inhibitory synapses. The typical feature of ASN P systems ...Spiking neural P systems with anti-spikes （ASN P systems） are variant forms of spiking neural P systems, which are inspired by inhibitory impulses/spikes or inhibitory synapses. The typical feature of ASN P systems is when a neuron contains both spikes and anti-spikes, spikes and anti-spikes wil immediately annihilate each other in a maximal way. In this paper, a restricted variant of ASN P systems, cal ed ASN P systems without anni-hilating priority, is considered, where the annihilating rule is used as the standard rule, i.e., it is not obligatory to use in the neuron associated with both spikes and anti-spikes. If the annihilating rule is used in a neuron, the annihilation wil consume one time unit. As a result, such systems using two categories of spiking rules （identified by （a, a） and （a,a^-）） can achieve Turing completeness as number accepting devices.展开更多
With the maturation of P2P technology, there are more and more challenges to the protection of digital rights. DRM for traditional Client/Server model can not satisfy the requirement of digital right protection of P2P...With the maturation of P2P technology, there are more and more challenges to the protection of digital rights. DRM for traditional Client/Server model can not satisfy the requirement of digital right protection of P2P network. With practical application of P2P network technology and new generational DRM technology, the article proposes a DRM model for P2P system based on trust degree. The proposed model shares the secret key to the trusty peers and affords necessary security ensure for digital content delivery based on P2P technology. Mathematic analyses and simulations show that, compared to the current DRM model, the proposed model is more robust toleration of transmit and security.展开更多
The key problem in unstructured P2P system is how to control "Flood".Some studies focus on constructing more efficient topology while others focus on better query algorithms.This paper presents HICUS(Hierarc...The key problem in unstructured P2P system is how to control "Flood".Some studies focus on constructing more efficient topology while others focus on better query algorithms.This paper presents HICUS(Hierarchical Interest-driven Community-based Unstructured System) motivated by a basic thought-whether the resources correlate with topology distinguishes structured and unstruc-tured P2P essentially.By introducing hierarchical "interest",HICUS organizes a quasi-structured topology through a pure distributed way,and provides a new platform for query algorithms.We study the procedure and performance of topology organization,and the simulations show that HICUS forms a small-world which can significantly improve the routing efficiency.展开更多
针对耦合神经P系统利用脉冲机制实现区域生长依赖于初始种子点选择的问题,提出一种自适应区域生长耦合神经P系统(adaptive region growing coupled neural P systems,ARGCNP)的图像分割方法。该方法利用金豺优化算法(golden jackal opti...针对耦合神经P系统利用脉冲机制实现区域生长依赖于初始种子点选择的问题,提出一种自适应区域生长耦合神经P系统(adaptive region growing coupled neural P systems,ARGCNP)的图像分割方法。该方法利用金豺优化算法(golden jackal optimization,GJO)的全局搜索能力,通过引入四种策略提升GJO的全局寻优性能,从而在图像中寻找最佳阈值点,以优化区域生长中的种子点选择。在实验中,首先通过CEC2017测试函数对改进后的GJO进行性能测试,结果表明改进后的GJO在测试函数上整体性能第一;随后将ARGCNP应用于分割彩色图像和医学图像,以峰值信噪比等三个指标对分割效果进行量化评价,分割结果显示该方法能够提升分割精度及分割结果的稳定性,证明ARGCNP在应用场景下具有的优势,能够满足图像分割需求。展开更多
基金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.
基金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.
文摘This paper analyzes cache coherency mechanism from the view of system. It firstly discusses caehe-memory hierarchy of Pentium Ⅲ SMP system, including memory area distribution, cache attributes control and bus transaction. Secondly it analyzes hardware snoopy mechanism of P6 bus and MESI state transitions adopted by Pentium Ⅲ. Based on these, it focuses on how muhiprocessors and the P6 bus cooperate to ensure cache coherency of the whole system, and gives the key of cache coherency design.
文摘This paper presents an intelligent technique to fault diagnosis of power transformers dissolved and free gas analysis (DGA). Fuzzy Reasoning Spiking neural P systems (FRSN P systems) as a membrane computing with distributed parallel computing model is powerful and suitable graphical approach model in fuzzy diagnosis knowledge. In a sense this feature is required for establishing the power transformers faults identifications and capturing knowledge implicitly during the learning stage, using linguistic variables, membership functions with “low”, “medium”, and “high” descriptions for each gas signature, and inference rule base. Membership functions are used to translate judgments into numerical expression by fuzzy numbers. The performance method is analyzed in terms for four gas ratio (IEC 60599) signature as input data of FRSN P systems. Test case results evaluate that the proposals method for power transformer fault diagnosis can significantly improve the diagnosis accuracy power transformer.
基金supported by the National Natural Science Foundation of China(6103300361100145+1 种基金91130034)the China Postdoctoral Science Foundation(2014M550389)
文摘Spiking neural P systems with anti-spikes （ASN P systems） are variant forms of spiking neural P systems, which are inspired by inhibitory impulses/spikes or inhibitory synapses. The typical feature of ASN P systems is when a neuron contains both spikes and anti-spikes, spikes and anti-spikes wil immediately annihilate each other in a maximal way. In this paper, a restricted variant of ASN P systems, cal ed ASN P systems without anni-hilating priority, is considered, where the annihilating rule is used as the standard rule, i.e., it is not obligatory to use in the neuron associated with both spikes and anti-spikes. If the annihilating rule is used in a neuron, the annihilation wil consume one time unit. As a result, such systems using two categories of spiking rules （identified by （a, a） and （a,a^-）） can achieve Turing completeness as number accepting devices.
基金Supported by the National Natural Science Foun-dation of China (60502024) the Natural Science Foundation of HubeiProvince (2005ABA267) +1 种基金the Electronic Development Foundation ofMinistry of InformationIndustry of China theInnovation FundforTechnology Based Firms of Ministry of Science and Technology ofChina (04C26214201284)
文摘With the maturation of P2P technology, there are more and more challenges to the protection of digital rights. DRM for traditional Client/Server model can not satisfy the requirement of digital right protection of P2P network. With practical application of P2P network technology and new generational DRM technology, the article proposes a DRM model for P2P system based on trust degree. The proposed model shares the secret key to the trusty peers and affords necessary security ensure for digital content delivery based on P2P technology. Mathematic analyses and simulations show that, compared to the current DRM model, the proposed model is more robust toleration of transmit and security.
基金Supported by the National Natural Science Foundation of China (No.60602018 and 60772033)
文摘The key problem in unstructured P2P system is how to control "Flood".Some studies focus on constructing more efficient topology while others focus on better query algorithms.This paper presents HICUS(Hierarchical Interest-driven Community-based Unstructured System) motivated by a basic thought-whether the resources correlate with topology distinguishes structured and unstruc-tured P2P essentially.By introducing hierarchical "interest",HICUS organizes a quasi-structured topology through a pure distributed way,and provides a new platform for query algorithms.We study the procedure and performance of topology organization,and the simulations show that HICUS forms a small-world which can significantly improve the routing efficiency.
文摘针对耦合神经P系统利用脉冲机制实现区域生长依赖于初始种子点选择的问题,提出一种自适应区域生长耦合神经P系统(adaptive region growing coupled neural P systems,ARGCNP)的图像分割方法。该方法利用金豺优化算法(golden jackal optimization,GJO)的全局搜索能力,通过引入四种策略提升GJO的全局寻优性能,从而在图像中寻找最佳阈值点,以优化区域生长中的种子点选择。在实验中,首先通过CEC2017测试函数对改进后的GJO进行性能测试,结果表明改进后的GJO在测试函数上整体性能第一;随后将ARGCNP应用于分割彩色图像和医学图像,以峰值信噪比等三个指标对分割效果进行量化评价,分割结果显示该方法能够提升分割精度及分割结果的稳定性,证明ARGCNP在应用场景下具有的优势,能够满足图像分割需求。
