Data are clear: humankind is facing a global socio-economic crisis. Global bodies search tbr solution in ending the neoliberal monopolistic, rather than free market, economy, and in introduction of systemic behavior ...Data are clear: humankind is facing a global socio-economic crisis. Global bodies search tbr solution in ending the neoliberal monopolistic, rather than free market, economy, and in introduction of systemic behavior under the label of social responsibility. To support this effort, the research that is reported about in this contribution, suggests systemic perception of social responsibility to cause the end of abuse, strategy of promotion of social responsibility, and of suitable economic preconditions, supported by several lines of action, which everybody can trigger.展开更多
Some authors employed the method and technique of differential inequalities to obtain fairly general results concerning the existence and asymptotic behavior, as ?-n+ , of the solutions of scalar boundary value proble...Some authors employed the method and technique of differential inequalities to obtain fairly general results concerning the existence and asymptotic behavior, as ?-n+ , of the solutions of scalar boundary value problemsIn this paper, we extend these results to vector boundary value problems, under analogous stability conditions on the solution u = u(t) of the reduced equation 0 = h(t, u) Two types of asymptotic behavior are studied, depending on whether the reduced solution u(f) has or does not have a con tinuous first derivative in (a, b) leading to the phenomena of boundary and angular layers.展开更多
Consider an initial-boundary problem vt - ux=0,u, + ()x + f(u) = ()x,θt+ux=()ux=()x+ (E) v(x,0) = v0(x),u(x,0) = u0(x),θ(0,x) = θ0(x), (I) u(t,0) = u(t,1) = θx(t,0) = θx(t,1) (J...Consider an initial-boundary problem vt - ux=0,u, + ()x + f(u) = ()x,θt+ux=()ux=()x+ (E) v(x,0) = v0(x),u(x,0) = u0(x),θ(0,x) = θ0(x), (I) u(t,0) = u(t,1) = θx(t,0) = θx(t,1) (J) Sufficient and necessary conditions for (E), (I) and (J) to have asymptotic stability of the gobal smooth solution are given by means of the elemental L2 energy method.展开更多
Checking if the implementations conform to the requirement models is challenging. Most existing techniques for consistency checking either focus on requirement models(e.g., requirements consistency checking), or on ...Checking if the implementations conform to the requirement models is challenging. Most existing techniques for consistency checking either focus on requirement models(e.g., requirements consistency checking), or on the implementations(e.g., code-based testing) only. In this paper we propose an approach to checking behavioral consistency of implementations against requirement models directly to overcome these limitations. Our approach extracts two behavioral models represented by Labelled Transition Systems(LTS) from requirement models and implementations respectively, and checks the behavioral consistency between these two models based on behavioral simulation relation of LTS. The checking results of our approach provide evidence for behavioral inconsistency as well as inconsistent localization. A research prototype called BCCH and a case study are presented to give initial validation of this approach.展开更多
This paper investigates the applicabilitles of pole-zero model and wave propagation theory in estimating the phase characteristics of vibrating systems. The measured phase spectra are compared with the estlmated rever...This paper investigates the applicabilitles of pole-zero model and wave propagation theory in estimating the phase characteristics of vibrating systems. The measured phase spectra are compared with the estlmated reverberant phase limit and wave propagation phase. The relations between transfer function phase and frequency, damping, and separation distance are described. The present results show that the pole-zero model provides a reasonable estimation of the reverberant phase limit in low frequency band below an identified transition frequency.The reverberant phase is linearly dependent on frequency in this band, but from the transition frequency and onwards the phase increases only with the square root of frequency. This behavior is characteristic for free propagating waves展开更多
Under consideration is the method of probabilistic forecasting of macro parameters representing general patterns of an applied multi-agent system behavior.This system introduces the game interaction between a set of a...Under consideration is the method of probabilistic forecasting of macro parameters representing general patterns of an applied multi-agent system behavior.This system introduces the game interaction between a set of agents and a target.The behavior dynamics of such a system is described by a discrete-state discrete-time Markov random process and represented in the terms,which are considered convenient for interpretation and practical control of macro parameters.The corresponding calculations are based on common characteristics of the initial conditions.The probabilistic model of behavior of the system is generalized for the case of the mobile target and supplemented with formulas for the dynamical calculation of probabilistic distributions of the target’s defeat by the agents as well as the agent’s defeat by the target.展开更多
The probabilistic model to represent the behavior of an applied multi-agent system that introduces the interaction between a set of agents and Player has been developed within the framework of player-centered probabil...The probabilistic model to represent the behavior of an applied multi-agent system that introduces the interaction between a set of agents and Player has been developed within the framework of player-centered probabilistic computer games.The approach features are given with the aid of a game developed for testing cognitive abilities.The agent’s behavior is nondeterministic and therefore unpredictable from Player viewpoint.The system allows both coordinated and autonomous agent’s behavior that depends on availability of information about the presence and position of workable agents for each other.Agent’s behavior is determined with the aid of the algorithm that includes identification of the probabilistic model parameters using maximized objective functions representing individual and group probabilities for Player defeating.Both the model and algorithm ensure the behavior control for relevant applied multi-agent systems.展开更多
文摘Data are clear: humankind is facing a global socio-economic crisis. Global bodies search tbr solution in ending the neoliberal monopolistic, rather than free market, economy, and in introduction of systemic behavior under the label of social responsibility. To support this effort, the research that is reported about in this contribution, suggests systemic perception of social responsibility to cause the end of abuse, strategy of promotion of social responsibility, and of suitable economic preconditions, supported by several lines of action, which everybody can trigger.
文摘Some authors employed the method and technique of differential inequalities to obtain fairly general results concerning the existence and asymptotic behavior, as ?-n+ , of the solutions of scalar boundary value problemsIn this paper, we extend these results to vector boundary value problems, under analogous stability conditions on the solution u = u(t) of the reduced equation 0 = h(t, u) Two types of asymptotic behavior are studied, depending on whether the reduced solution u(f) has or does not have a con tinuous first derivative in (a, b) leading to the phenomena of boundary and angular layers.
文摘Consider an initial-boundary problem vt - ux=0,u, + ()x + f(u) = ()x,θt+ux=()ux=()x+ (E) v(x,0) = v0(x),u(x,0) = u0(x),θ(0,x) = θ0(x), (I) u(t,0) = u(t,1) = θx(t,0) = θx(t,1) (J) Sufficient and necessary conditions for (E), (I) and (J) to have asymptotic stability of the gobal smooth solution are given by means of the elemental L2 energy method.
基金Supported by the National Natural Science Foundation of China(91118003,61003071)the Fundamental Research Funds for the Central Universities(3101046,201121102020006)the Special Funds for Shenzhen Strategic New Industry Development(JCYJ20120616135936123)
文摘Checking if the implementations conform to the requirement models is challenging. Most existing techniques for consistency checking either focus on requirement models(e.g., requirements consistency checking), or on the implementations(e.g., code-based testing) only. In this paper we propose an approach to checking behavioral consistency of implementations against requirement models directly to overcome these limitations. Our approach extracts two behavioral models represented by Labelled Transition Systems(LTS) from requirement models and implementations respectively, and checks the behavioral consistency between these two models based on behavioral simulation relation of LTS. The checking results of our approach provide evidence for behavioral inconsistency as well as inconsistent localization. A research prototype called BCCH and a case study are presented to give initial validation of this approach.
文摘This paper investigates the applicabilitles of pole-zero model and wave propagation theory in estimating the phase characteristics of vibrating systems. The measured phase spectra are compared with the estlmated reverberant phase limit and wave propagation phase. The relations between transfer function phase and frequency, damping, and separation distance are described. The present results show that the pole-zero model provides a reasonable estimation of the reverberant phase limit in low frequency band below an identified transition frequency.The reverberant phase is linearly dependent on frequency in this band, but from the transition frequency and onwards the phase increases only with the square root of frequency. This behavior is characteristic for free propagating waves
基金Grant 17-06-00277 from the Russian Foundation for Basic Research.
文摘Under consideration is the method of probabilistic forecasting of macro parameters representing general patterns of an applied multi-agent system behavior.This system introduces the game interaction between a set of agents and a target.The behavior dynamics of such a system is described by a discrete-state discrete-time Markov random process and represented in the terms,which are considered convenient for interpretation and practical control of macro parameters.The corresponding calculations are based on common characteristics of the initial conditions.The probabilistic model of behavior of the system is generalized for the case of the mobile target and supplemented with formulas for the dynamical calculation of probabilistic distributions of the target’s defeat by the agents as well as the agent’s defeat by the target.
文摘The probabilistic model to represent the behavior of an applied multi-agent system that introduces the interaction between a set of agents and Player has been developed within the framework of player-centered probabilistic computer games.The approach features are given with the aid of a game developed for testing cognitive abilities.The agent’s behavior is nondeterministic and therefore unpredictable from Player viewpoint.The system allows both coordinated and autonomous agent’s behavior that depends on availability of information about the presence and position of workable agents for each other.Agent’s behavior is determined with the aid of the algorithm that includes identification of the probabilistic model parameters using maximized objective functions representing individual and group probabilities for Player defeating.Both the model and algorithm ensure the behavior control for relevant applied multi-agent systems.