Compositional asynchronous membrane systems

This paper presents an algorithmic way of building complex membrane systems by coupling elementary membranes. Its application seems particularly valuable in the case of asynchronous membrane systems, since the resulting membrane system remains asynchronous. The composition method is based on a handshake mechanism implemented by using antiport rules and promoters.     

带随机状态转移的异步大系统的随机稳定性

本文针对一类具有随机状态转移概率的异步大系统,研究了该类异步大系统的随机收敛性及随机稳定性条件,并就线时不变情形得到的关系系统系数矩阵的约束条件。最后通过一个实例分析说明同步与异步大系统的收敛性及稳定性的关系。     

How a membrane agent buys goods in a membrane store

In this paper we consider a specific model of membrane systems, i. e. membrane systems with attributes. In these systems, the information is placed at the membranes in form of attributes, no objects are considered inside the membranes except for other membranes. The membrane system with attributes evolves according to rules that compute new values for the attributes from the attributes assigned to the membranes involved in the rule. The model of membrane systems with attributes allows us to specify business transactions in a precise way and to simulate different models for such transactions with a suitable tool for membrane systems with attributes.     

How a membrane agent buys goods in a membrane store

In this paper we consider a specific model of membrane systems, i. e. membrane systems with attributes. In these systems, the information is placed at the membranes in form of attributes, no objects are considered inside the membranes except for other membranes. The membrane system with attributes evolves according to rules that compute new values for the attributes from the attributes assigned to the membranes involved in the rule. The model of membrane systems with attributes allows us to specify business transactions in a precise way and to simulate different models for such transactions with a suitable tool for membrane systems with attributes.     

基于本体的异构系统语义互操作研究

企业信息系统的互操作是企业动态联盟中企业协作的基础,为了解决企业间异构系统互操作这一基本问题,引入本体的思想,利用网络本体语言(OWL)建立汽摩配产品本体模型,运用网络服务本体语言(OWL-S)建立了一个Web服务本体模型,设计了基于本体的异构系统互操作集成平台,建立了基于本体的异构系统互操作过程中的语义映射规则,描述了异构系统互操作的实现过程;通过原型系统验证了方法的可行性,结果表明:运用本体技术可以改进订单处理方式,增强平台互操作性,为实现异构系统互操作提供了有效的途径。     

基于CUDA并行平台实现核膜系统求解可满足性问题的研究

膜系统能以空间换时间的方式在多项式时间内求解NP难问题,作为膜系统中的一个新类型,核膜系统不仅包含了不同类型膜系统的特征,而且能提供一种统一性的描述．因此基于核膜系统构建系统模型,并以此求解一个典型的NP难问题：可满足性问题．为了加速对核膜系统的仿真过程,程序将在CUDA并行方式下仿真实现,通过与传统的串行方式比较,使用CUDA能减少95％的仿真时间,这也表明使用CUDA并行方式非常适合仿真核膜系统．     

P systems with array objects and array rewriting rules

Array P systems were introduced by Paun Gh. which is linking the two areas of membrane computing and picture grammars. Puzzle grammars were introduced by us for generating connected picture arrays in the two-dimensional plane, motivated by the problem of tiling the plane. On the other hand, incorporating into arrays the developmental type of generation used in the well-known biologically motivated L systems, Siromoney and Siromoney proposed a very general rectangular array generating model, called extended controlled tabled L array system (ECTLAS). In this paper we introduce two variations of the array P system, called BPG array P system and parallel array P system. The former has in the regions array objects and basic puzzle grammar rules (BPG), which are a specific kind of puzzle grammar rules. In the latter, the regions have rectangular array objects and tables of context-free rules. We examine these two types of P systems for their array generative power.     

P systems with array objects and array rewriting rules

Array P systems were introduced by Paun Gh. which is linking the two areas of membrane computing and picture grammars. Puzzle grammars were introduced by us for generating connected picture arrays in the two-dimensional plane, motivated by the problem of tiling the plane. On the other hand, incorporating into arrays the developmental type of generation used in the well-known biologically motivated L systems, Siromoney and Siromoney proposed a very general rectangular array generating model, called extended controlled tabled L array system (ECTLAS). In this paper we introduce two variations of the array P system, called BPG array P system and parallel array P system. The former has in the regions array objects and basic puzzle grammar rules (BPG), which are a specific kind of puzzle grammar rules. In the latter, the regions have rectangular array objects and tables of context-free rules. We examine these two types of P systems for their array generative power.     

离散事件系统的一种分布式仿真算法

本文针对串行同步仿真方法及Chandy-Misra异步分布式仿真方法所存在的优缺点,采用折衷方案,提出了一种新的离散事件系统分布式仿真方法。这种方法首先将系统分解为N个子系统,它们分别在N个微处理机上基于串行事件驱动仿真方法进行仿真,而在各微处理机间存在着异步性。为了避免仿真死锁,引入了一中央控制器来协调子系统间的异步仿真。最后,建立了0-1整数规划模型以实现系统的最优分解。     

FPGA内部时钟系统间的FIFO数据接口

在现场可编程逻辑芯片的设计过程中，不同模块之间的数据接口，尤其是不同时钟系统的各个模块之间的数据接口是系统设计的一个关键．用异步FIFO模块来实现接口，接口双方都在自己时钟的同步下进行工作，它们之间不需要互相握手，只需跟接口FIFO模块进行交互就可以了，即向接口FIFO模块中写入数据或从FIFO模块中读出数据．用这样一个缓冲FIFO模块实现FPGA内部不同时钟系统之间的数据接口，使设计变得非常简单和容易．所用的FIFO接口是XILINX公司提供的IP核，经过充分测试和优化，系统运行稳定，占用的FPGA内部资源也非常少。     

多台系统异步可靠性增长模型及其统计分析

在各单台系统Weibull过程的可靠性增长假设条件下,建立了一种多台系统异步可靠性增长模型,并给出了可靠性增长试验数据的统计分析方法,包括模型参数的点估计、区间估计、系统MTBF估计、增长趋势检验及模型拟合优度检验等.较好地解决了不同步可靠性增长试验数据的统计分析问题.     

异步马尔科夫切换混杂随机时滞系统的矩稳定与镇定

针对一类具有异步马尔科夫切换的混杂时滞随机系统,研究p-阶矩稳定性与镇定问题。探究马尔科夫切换信号检测时延的大小与马尔科夫链生成元之间的关系,并发展一种不等式处理时变时滞的新型技术,建立了异步马尔科夫切换时滞系统的Lyapunov稳定性判据。然后将该稳定性判据应用于一类马尔科夫跳变时滞系统,给出了时滞无关的稳定性判据和镇定性控制器的设计方案。最后,运用两个数值实例验证本研究方法的有效性。     

异步并行Newton迭代法的单调收敛性

文中讨论在多处理机系统上求解非线性方程组的异步并行Newton迭代法及其单调收敛性     

具有延时和数据包丢失的网络控制系统的稳定性

该文研究了同时具有数据包丢失和网络诱导时延的网络控制系统的建模与稳定性。在数据包传输成功率一定的假设下，将网络控制系统建模为具有事件率约束的异步动态系统。利用异步动态系统的相关结论，给出网络控制系统指数稳定的充分条件。最后的仿真表明该方法是有效的。     

膜污染与清洗

各种膜分离已在分离过程中成为最新的技术之一。膜体系的发展有很大的前景 ,但膜的污染问题仍是一个难题 ,它限制了膜的广泛应用。文章概述了膜污染的机理、预防措施及其清洗方法。并根据这些原则对微滤啤酒废水引起的膜污染的清洗方法进行了研究 ,通过比较试验 ,选择了恰当的清洗剂和清洗工艺 ,快速恢复了膜通量     

Solving the factorization problem with P systems

P systems have been used many times to face with computationally difficult problems, such as NP-complete decision problems and NP-hard optimization problems. In this paper we focus our attention on another computationally intractable problem: factorization. In particular, we first propose a simple method to encode binary numbers using multisets. Then, we describe three families of P systems: the first two allow to add and to multiply two binary encoded numbers, respectively, and the third solves the factorization problem.     

Solving the factorization problem with P systems

P systems have been used many times to face with computationally difficult problems, such as NP-complete decision problems and NP-hard optimization problems. In this paper we focus our attention on another computationally intractable problem: factorization. In particular, we first propose a simple method to encode binary numbers using multisets. Then, we describe three families of P systems: the first two allow to add and to multiply two binary encoded numbers, respectively, and the third solves the factorization problem.     

基于观测器的时滞T-S模糊广义切换系统的异步无源控制

引入了一种新的无源不等式到T-S模糊广义切换系统中,进而研究了一类子系统切换与基于观测器的控制器切换存在不同步情况的系统无源性问题.首先,运用分段李雅普诺夫函数和模型依赖平均驻留时间的方法,通过无源性过剩的子系统来弥补无源性不足的子系统,从而确保切换系统的整体无源性;然后,利用线性矩阵不等式的方法得到时滞T-S模糊广义切换系统的全局一致指数稳定和严格指数无源的充分条件,并据此设计出相应的观测器和控制器,最后给出数值算例证明该方法的有效性.     

电力系统失步运行时电流及其频率变化规律的分析

电力系统失步运行时电气量变化规律的研究是开发新型安全保护技术、自动装置和切断电器以及正确判断与处理系统失步的基础,是当前研究者特别感兴趣的课题之一.文讨论了失步运行时电压及其频率的变化规律,在此基础上,本文又讨论了失步运行时电流及其频率的变化规律.首先定性地分析,然后定量地证明,再进一步考虑电力系统实际参数的影响.为分析研究电力系统失步运行时的行为和电气量的特征的利用提供理论基础.     

异步并行非线性多分裂Newton-GAOR方法的收敛性

本文首先给出了解非线性方程组的Ｎｅｗｔｏｎ－ＧＡＯＲ方法．在此基础上，我们得到了异步并行非线性多分裂Ｎｅｗｔｏｎ－ＧＡＯＲ（简记为ＡＰＮＭ－Ｎ－ＧＡＯＲ）方法，证明了方法的局部收敛性，给出了其Ｒ１收敛因子，并得出了多步ＡＰＮＭ－Ｎ－ＧＡＯＲ方法比一步方法收敛更快的结论，文［１］［４］可看作本文的特例