Behaviour detection models based on automata have been studied widely. By add- ing edge ε, the local automata are combined into global automata to describe and detect soft- ware behaviour. However, these methods in- ...Behaviour detection models based on automata have been studied widely. By add- ing edge ε, the local automata are combined into global automata to describe and detect soft- ware behaviour. However, these methods in- troduce nondeterminacy, leading to models that are imprecise or inefficient. We present a model of software Behaviour Detection based on Process Algebra and system call （BDPA）. In this model, a system call is mapped into an action, and a function is mapped into a process We construct a process expression for each function to describe its behaviour. Without con- strutting automata or introducing nondeter- minacy, we use algebraic properties and algo- rithms to obtain a global process expression by combining the process expressions derived from each function. Behaviour detection rules and methods based on BDPA are determined by equivalence theory. Experiments demon- strate that the BDPA model has better preci- sion and efficiency than traditional methods.展开更多
In order to improve the influence of the uncertain and dynamic of node enterprise behavior on the performance of supply chain,the method based on stochastic process algebra for description,analysis,validation and eval...In order to improve the influence of the uncertain and dynamic of node enterprise behavior on the performance of supply chain,the method based on stochastic process algebra for description,analysis,validation and evaluation of supply chain business process model is proposed.Firstly,the description of the uncertainty of node enterprise behavior is given using the extended Unified Modeling Language sequence diagram,and mapping rule is defined from the extended Unified Modeling Language sequence diagram to stochastic process algebra.Secondly,on the basis of the acquired stochastic process algebra model,the supply chain business process model is verified with Mobility Workbench.Finally,according to the operational semantics of stochastic process algebra,the continuous-time Markov chain,isomorphic with stochastic process algebra model,is built; and the system performance evaluation of transient status and stable status is respectively conducted in accordance with Markov transfer relations and the current state of system,obtaining the predicted performance value and average performance index value for a specific period of time.The simulation experiments show that the proposed method can accurately describe the stochastic behaviors of supply chain system and interactions among nodes,effectively verify the validity of the model,and objectively and exactly evaluate design of the supply chain.展开更多
A polynomial algorithm for the regularity problem of weak and branching bisimilarity on totally normed process algebra(PA) processes is given. Its time complexity is O(n3+ mn), where n is the number of transition rule...A polynomial algorithm for the regularity problem of weak and branching bisimilarity on totally normed process algebra(PA) processes is given. Its time complexity is O(n3+ mn), where n is the number of transition rules and m is the maximal length of the rules. The algorithm works for totally normed basic process algebra(BPA) as well as basic parallel process(BPP).展开更多
Combining the principle of antibody concentration with the idea of biological evolution, this paper proposes an adaptive target detection algorithm for cloud service security based on Bio-Inspired Performance Evaluati...Combining the principle of antibody concentration with the idea of biological evolution, this paper proposes an adaptive target detection algorithm for cloud service security based on Bio-Inspired Performance Evaluation Process Algebra(Bio-PEPA). The formal modelling of cloud services is formally modded by Bio-PEPA and the modules are transformed between cloud service internal structures and various components. Then, the security adaptive target detection algorithm of cloud service is divided into two processes, the short-term optimal action selection process which selects the current optimal detective action through the iterative operation of the expected function and the adaptive function, and the long-term detective strategy realized through the updates and eliminations of action planning table. The combination of the two processes reflects the self-adaptability of cloud service system to target detection. The simulating test detects three different kinds of security risks and then analyzes the relationship between the numbers of components with time in the service process. The performance of this method is compared with random detection method and three anomaly detection methods by the cloud service detection experiment. The detection time of this method is 50.1% of three kinds of detection methods and 86.3% of the random detection method. The service success rate is about 15% higher than that of random detection methods. The experimental results show that the algorithm has good time performance and high detection hit rate.展开更多
A hierarchical closed-loop production control scheme integrating scheduling,control and performance evaluation is discussed.Firstly,the production process is divided into two main hierarchies:the lower level is the ph...A hierarchical closed-loop production control scheme integrating scheduling,control and performance evaluation is discussed.Firstly,the production process is divided into two main hierarchies:the lower level is the physical operation level and the upper one is the management level.Secondly,the schedule template for the management level and the activity template for the physical operation level are constructed separately,the tasks in the schedule have the ability to make partial decisions,and the per- formance parameters are introduced into activity template.Thirdly,the two levels use different model representations:stochastic process algebra for the management level whose output is the control commands and stochastic Petri net for the physical operation lev- el which is the execution of the control commands.Then,the integration of the two levels is the control commands mapping into the lower physical operations and the responses feeding back to the upper decision-making that are defined by some transition functions. Under the proposed scheme,the production process control of a flexible assembly is exemplified.It is concluded that the process con- trol model has partial ability to make decision on-line for uncertain and dynamic environments and facilitates reasoning about the be- haviors of the process control,and performance evaluation can be done online for real-time scheduling to ensure the global optimiza- tion.展开更多
A model of a hypertorus communication grid has been constructed in the form of an infinite Petri net. A grid cell represents either a packet switching device or a bioplast cell. A parametric expression is obtained to ...A model of a hypertorus communication grid has been constructed in the form of an infinite Petri net. A grid cell represents either a packet switching device or a bioplast cell. A parametric expression is obtained to allow a finite specification of an infinite Petri net. To prove properties of an ideal communication protocol, we derive an infinite Diophantine system of equations from it, which is subsequently solved. Then we present the programs htgen and ht-mcrl2-gen, developed in the C language, which generate Petri net and process algebra models of a hypertorus with a given number of dimensions and grid size. These are the inputs for the respective modeling tools Tina and mCRL2, which provide model visualization, step simulation, state space generation and reduction, and structural analysis techniques. Benchmarks to compare the two approaches are obtained. An ad-hoc induction-like technique on invariants,obtained for a series of generated models, allows the calculation of a solution of the Diophantine system in a parametric form.It is proven that the basic solutions of the infinite system have been found and that the infinite Petri net is bounded and conservative. Some remarks regarding liveness and liveness enforcing techniques are also presented.展开更多
Stochastic process algebras have been proposed as compositional specification formalisms for performance models. A formal analysis method of survivable network was proposed based on stochastic process algebra, which i...Stochastic process algebras have been proposed as compositional specification formalisms for performance models. A formal analysis method of survivable network was proposed based on stochastic process algebra, which incorporates formal modeling into performance analysis perfectly, and then various performance parameters of survivable network can be simultaneously obtained after formal modeling. The formal description with process expression to the survivable network system was carried out based on the simply introduced syntax and operational semantics of stochastic process algebra. Then PEPA workbench tool was used to obtain the probability of system’s steady state availability and transient state availability. Simulation experiments show the effectiveness and feasibility of the developed method.展开更多
Based on the dual source cumulative rotation technique in the time-domain proposed by Zeng and MacBeth（1993）,a new algebraic processing technique for extracting shear-wave splitting parameters from multi-component V...Based on the dual source cumulative rotation technique in the time-domain proposed by Zeng and MacBeth（1993）,a new algebraic processing technique for extracting shear-wave splitting parameters from multi-component VSP data in frequency-dependent medium has been developed.By using this dual source cumulative rotation technique in the frequency-domain（DCTF）,anisotropic parameters,including polarization direction of the shear-waves and timedelay between the fast and slow shear-waves,can be estimated for each frequency component in the frequency domain.It avoids the possible error which comes from using a narrow-band filter in the current commonly used method.By using synthetic seismograms,the feasibility and validity of the technique was tested and a comparison with the currently used method was also given.The results demonstrate that the shear-wave splitting parameters frequency dependence can be extracted directly from four-component seismic data using the DCTF.In the presence of larger scale fractures,substantial frequency dependence would be found in the seismic frequency range,which implies that dispersion would occur at seismic frequencies.Our study shows that shear-wave anisotropy decreases as frequency increases.展开更多
The investigation of novel signal processing tools is one of the hottest research topics in modern signal processing community. Among them, the algebraic and geometric signal processing methods are the most powerful t...The investigation of novel signal processing tools is one of the hottest research topics in modern signal processing community. Among them, the algebraic and geometric signal processing methods are the most powerful tools for the representation of the classical signal processing method. In this paper, we provide an overview of recent contributions to the algebraic and geometric signal processing. Specifically, the paper focuses on the mathematical structures behind the signal processing by emphasizing the algebraic and geometric structure of signal processing. The two major topics are discussed. First, the classical signal processing concepts are related to the algebraic structures, and the recent results associated with the algebraic signal processing theory are introduced. Second, the recent progress of the geometric signal and information processing representations associated with the geometric structure are discussed. From these discussions, it is concluded that the research on the algebraic and geometric structure of signal processing can help the researchers to understand the signal processing tools deeply, and also help us to find novel signal processing methods in signal processing community. Its practical applications are expected to grow significantly in years to come, given that the algebraic and geometric structure of signal processing offer many advantages over the traditional signal processing.展开更多
基于离散状态的性能建模方法受系统规模和复杂性的限制,在分析过程中极易产生状态空间爆炸问题.针对这一问题,基于随机进程代数的性能评估进程代数(performance evalution process algebra,PEPA)模型的流体逼近方法,分析了PEPA模型流体...基于离散状态的性能建模方法受系统规模和复杂性的限制,在分析过程中极易产生状态空间爆炸问题.针对这一问题,基于随机进程代数的性能评估进程代数(performance evalution process algebra,PEPA)模型的流体逼近方法,分析了PEPA模型流体逼近的基本性质:唯一性、有界性、收敛性和正性,证明了PEPA模型导出的常微分方程组解的收敛性,为随机进程代数流体逼近方法在性能建模领域的应用提供相关理论基础.数值仿真实验结果进一步验证了流体逼近的相关性质,有效缓解了状态空间爆炸问题.展开更多
进程代数是一种适合描述Web服务组合的形式建模语言,然而同样对QoS建模和分析的支持不足.在现有进程代数的基础上,提出了一种代价概率进程代数PPPA(priced probabilistic process algebra),给出其语法和语义,证明其具有功能、概率和代...进程代数是一种适合描述Web服务组合的形式建模语言,然而同样对QoS建模和分析的支持不足.在现有进程代数的基础上,提出了一种代价概率进程代数PPPA(priced probabilistic process algebra),给出其语法和语义,证明其具有功能、概率和代价的统一建模和分析能力.给出了基于PPPA统一建模和分析Web服务组合功能和QoS的方法.实例建模和分析了Web服务组合的功能、可靠性、性能和代价,其结果表明,PPPA可以有效地支持Web服务组合功能和QoS的形式化统一建模和分析.展开更多
The software architecture is a design of application system,performance evaluation of software architecture during the early stage of their development is really attractive. This paper proposes a new method for softwa...The software architecture is a design of application system,performance evaluation of software architecture during the early stage of their development is really attractive. This paper proposes a new method for software architecture performance modeling. To achieve this ,it adds new calculus into stochastic process algebra(SPA in short),the developed SPA called extended stochastic process algebra (ESPA in short). By ESPA,performance evaluation and software architecture modeling can combine perfectly. It defines a few performance terms for software architecture using reward structure derived from ESPA. To explain the performance terms it also designs an experiment.展开更多
基金supported by the Fund of National Natural Science Project under Grant No.61272125the Specialized Research Fund for the Doctoral Program of Higher Education under Grant No.20121333110014the Hebei Provincial Natural Science Foundation under Grant No.F2011203234
文摘Behaviour detection models based on automata have been studied widely. By add- ing edge ε, the local automata are combined into global automata to describe and detect soft- ware behaviour. However, these methods in- troduce nondeterminacy, leading to models that are imprecise or inefficient. We present a model of software Behaviour Detection based on Process Algebra and system call （BDPA）. In this model, a system call is mapped into an action, and a function is mapped into a process We construct a process expression for each function to describe its behaviour. Without con- strutting automata or introducing nondeter- minacy, we use algebraic properties and algo- rithms to obtain a global process expression by combining the process expressions derived from each function. Behaviour detection rules and methods based on BDPA are determined by equivalence theory. Experiments demon- strate that the BDPA model has better preci- sion and efficiency than traditional methods.
基金Sponsored by the National High-Tech.R&D Program for CIMS,China(Grant No.2007AA04Z146)
文摘In order to improve the influence of the uncertain and dynamic of node enterprise behavior on the performance of supply chain,the method based on stochastic process algebra for description,analysis,validation and evaluation of supply chain business process model is proposed.Firstly,the description of the uncertainty of node enterprise behavior is given using the extended Unified Modeling Language sequence diagram,and mapping rule is defined from the extended Unified Modeling Language sequence diagram to stochastic process algebra.Secondly,on the basis of the acquired stochastic process algebra model,the supply chain business process model is verified with Mobility Workbench.Finally,according to the operational semantics of stochastic process algebra,the continuous-time Markov chain,isomorphic with stochastic process algebra model,is built; and the system performance evaluation of transient status and stable status is respectively conducted in accordance with Markov transfer relations and the current state of system,obtaining the predicted performance value and average performance index value for a specific period of time.The simulation experiments show that the proposed method can accurately describe the stochastic behaviors of supply chain system and interactions among nodes,effectively verify the validity of the model,and objectively and exactly evaluate design of the supply chain.
基金the National Natural Science Foundation of China(Nos.61261130589 and 61033002)the Fund of the Science and Technology Commission of Shanghai Municipality(No.11XD1402800)
文摘A polynomial algorithm for the regularity problem of weak and branching bisimilarity on totally normed process algebra(PA) processes is given. Its time complexity is O(n3+ mn), where n is the number of transition rules and m is the maximal length of the rules. The algorithm works for totally normed basic process algebra(BPA) as well as basic parallel process(BPP).
基金Supported by the National Natural Science Foundation of China(61202458,61403109)the Natural Science Foundation of Heilongjiang Province of China(F2017021)and the Harbin Science and Technology Innovation Research Funds(2016RAQXJ036)
文摘Combining the principle of antibody concentration with the idea of biological evolution, this paper proposes an adaptive target detection algorithm for cloud service security based on Bio-Inspired Performance Evaluation Process Algebra(Bio-PEPA). The formal modelling of cloud services is formally modded by Bio-PEPA and the modules are transformed between cloud service internal structures and various components. Then, the security adaptive target detection algorithm of cloud service is divided into two processes, the short-term optimal action selection process which selects the current optimal detective action through the iterative operation of the expected function and the adaptive function, and the long-term detective strategy realized through the updates and eliminations of action planning table. The combination of the two processes reflects the self-adaptability of cloud service system to target detection. The simulating test detects three different kinds of security risks and then analyzes the relationship between the numbers of components with time in the service process. The performance of this method is compared with random detection method and three anomaly detection methods by the cloud service detection experiment. The detection time of this method is 50.1% of three kinds of detection methods and 86.3% of the random detection method. The service success rate is about 15% higher than that of random detection methods. The experimental results show that the algorithm has good time performance and high detection hit rate.
文摘A hierarchical closed-loop production control scheme integrating scheduling,control and performance evaluation is discussed.Firstly,the production process is divided into two main hierarchies:the lower level is the physical operation level and the upper one is the management level.Secondly,the schedule template for the management level and the activity template for the physical operation level are constructed separately,the tasks in the schedule have the ability to make partial decisions,and the per- formance parameters are introduced into activity template.Thirdly,the two levels use different model representations:stochastic process algebra for the management level whose output is the control commands and stochastic Petri net for the physical operation lev- el which is the execution of the control commands.Then,the integration of the two levels is the control commands mapping into the lower physical operations and the responses feeding back to the upper decision-making that are defined by some transition functions. Under the proposed scheme,the production process control of a flexible assembly is exemplified.It is concluded that the process con- trol model has partial ability to make decision on-line for uncertain and dynamic environments and facilitates reasoning about the be- haviors of the process control,and performance evaluation can be done online for real-time scheduling to ensure the global optimiza- tion.
文摘A model of a hypertorus communication grid has been constructed in the form of an infinite Petri net. A grid cell represents either a packet switching device or a bioplast cell. A parametric expression is obtained to allow a finite specification of an infinite Petri net. To prove properties of an ideal communication protocol, we derive an infinite Diophantine system of equations from it, which is subsequently solved. Then we present the programs htgen and ht-mcrl2-gen, developed in the C language, which generate Petri net and process algebra models of a hypertorus with a given number of dimensions and grid size. These are the inputs for the respective modeling tools Tina and mCRL2, which provide model visualization, step simulation, state space generation and reduction, and structural analysis techniques. Benchmarks to compare the two approaches are obtained. An ad-hoc induction-like technique on invariants,obtained for a series of generated models, allows the calculation of a solution of the Diophantine system in a parametric form.It is proven that the basic solutions of the infinite system have been found and that the infinite Petri net is bounded and conservative. Some remarks regarding liveness and liveness enforcing techniques are also presented.
基金the Specialized Research Fund for the Doctoral Program of Higher Education (No. 20050217007)
文摘Stochastic process algebras have been proposed as compositional specification formalisms for performance models. A formal analysis method of survivable network was proposed based on stochastic process algebra, which incorporates formal modeling into performance analysis perfectly, and then various performance parameters of survivable network can be simultaneously obtained after formal modeling. The formal description with process expression to the survivable network system was carried out based on the simply introduced syntax and operational semantics of stochastic process algebra. Then PEPA workbench tool was used to obtain the probability of system’s steady state availability and transient state availability. Simulation experiments show the effectiveness and feasibility of the developed method.
基金supported by the National Natural Science Foundation of China (No. 41004055)
文摘Based on the dual source cumulative rotation technique in the time-domain proposed by Zeng and MacBeth（1993）,a new algebraic processing technique for extracting shear-wave splitting parameters from multi-component VSP data in frequency-dependent medium has been developed.By using this dual source cumulative rotation technique in the frequency-domain（DCTF）,anisotropic parameters,including polarization direction of the shear-waves and timedelay between the fast and slow shear-waves,can be estimated for each frequency component in the frequency domain.It avoids the possible error which comes from using a narrow-band filter in the current commonly used method.By using synthetic seismograms,the feasibility and validity of the technique was tested and a comparison with the currently used method was also given.The results demonstrate that the shear-wave splitting parameters frequency dependence can be extracted directly from four-component seismic data using the DCTF.In the presence of larger scale fractures,substantial frequency dependence would be found in the seismic frequency range,which implies that dispersion would occur at seismic frequencies.Our study shows that shear-wave anisotropy decreases as frequency increases.
基金Sponsored by Program for Changjiang Scholars and Innovative Research Team in University ( IRT1005 )the National Natural Science Founda-tions of China ( 61171195 and 61179031)Program for New Century Excellent Talents in University ( NCET-12-0042)
文摘The investigation of novel signal processing tools is one of the hottest research topics in modern signal processing community. Among them, the algebraic and geometric signal processing methods are the most powerful tools for the representation of the classical signal processing method. In this paper, we provide an overview of recent contributions to the algebraic and geometric signal processing. Specifically, the paper focuses on the mathematical structures behind the signal processing by emphasizing the algebraic and geometric structure of signal processing. The two major topics are discussed. First, the classical signal processing concepts are related to the algebraic structures, and the recent results associated with the algebraic signal processing theory are introduced. Second, the recent progress of the geometric signal and information processing representations associated with the geometric structure are discussed. From these discussions, it is concluded that the research on the algebraic and geometric structure of signal processing can help the researchers to understand the signal processing tools deeply, and also help us to find novel signal processing methods in signal processing community. Its practical applications are expected to grow significantly in years to come, given that the algebraic and geometric structure of signal processing offer many advantages over the traditional signal processing.
文摘基于离散状态的性能建模方法受系统规模和复杂性的限制,在分析过程中极易产生状态空间爆炸问题.针对这一问题,基于随机进程代数的性能评估进程代数(performance evalution process algebra,PEPA)模型的流体逼近方法,分析了PEPA模型流体逼近的基本性质:唯一性、有界性、收敛性和正性,证明了PEPA模型导出的常微分方程组解的收敛性,为随机进程代数流体逼近方法在性能建模领域的应用提供相关理论基础.数值仿真实验结果进一步验证了流体逼近的相关性质,有效缓解了状态空间爆炸问题.
文摘进程代数是一种适合描述Web服务组合的形式建模语言,然而同样对QoS建模和分析的支持不足.在现有进程代数的基础上,提出了一种代价概率进程代数PPPA(priced probabilistic process algebra),给出其语法和语义,证明其具有功能、概率和代价的统一建模和分析能力.给出了基于PPPA统一建模和分析Web服务组合功能和QoS的方法.实例建模和分析了Web服务组合的功能、可靠性、性能和代价,其结果表明,PPPA可以有效地支持Web服务组合功能和QoS的形式化统一建模和分析.
文摘形式化建模Web服务组合并分析其功能正确性和QoS可满足性,是提高组合服务可信性的重要手段,但目前形式化方法侧重功能正确性建模和分析,对QoS可满足性的建模和分析支持不足.为此提出一种时间概率代价进程代数TPPPA(Timed Probabilistic Priced Process Algebra),给出了TPPPA的语法和语义,并证明其具有功能、时间、概率和代价的统一建模和分析能力.用实例表明了TPPPA可有效支持Web服务组合功能正确性和QoS可满足性的形式化统一建模和分析.
文摘The software architecture is a design of application system,performance evaluation of software architecture during the early stage of their development is really attractive. This paper proposes a new method for software architecture performance modeling. To achieve this ,it adds new calculus into stochastic process algebra(SPA in short),the developed SPA called extended stochastic process algebra (ESPA in short). By ESPA,performance evaluation and software architecture modeling can combine perfectly. It defines a few performance terms for software architecture using reward structure derived from ESPA. To explain the performance terms it also designs an experiment.
