约翰逊是最早的护理理论家之一,她于1980年完整地提出了约翰逊行为系统模式（Johnson’s behavioral system model）,近30年来该理论在护理质性和量性研究领域均得到了验证（[1-4]）。约翰逊的行为系统模式对护理研究起到了理论框架的...约翰逊是最早的护理理论家之一,她于1980年完整地提出了约翰逊行为系统模式（Johnson’s behavioral system model）,近30年来该理论在护理质性和量性研究领域均得到了验证（[1-4]）。约翰逊的行为系统模式对护理研究起到了理论框架的支撑作用,在行为系统模式的研究背景下,所有研究的任务都应该是识别和解释由疾病所引起的行为系统的紊乱,并发展处理这些紊乱的原理和方法。从实践上看,展开更多
This paper studies the problem of deriving an interface automata model from UML statechart, in which, interface automata is a formaliged model for describing component behavior in an open system, but there is no unive...This paper studies the problem of deriving an interface automata model from UML statechart, in which, interface automata is a formaliged model for describing component behavior in an open system, but there is no universal criterion for deriving behavior from component to construct the model. UML is a widely used modeling standard, yet it is very difficult to apply it to system verification and testing directly for its imprecise semantics. After analyzing the expression ability of the two models, several transforma- tion rules are defined and each step of transformation is described in detail, after that, the approach is illustrated with an example. The paper provides a method for acquiring interface automata and lays the foundation for related research.展开更多
It is difficult to model human behavior because of the variability in driving styles and driving skills. However, for some driver assistance systems, it is necessary to have knowledge of that behavior to discriminate ...It is difficult to model human behavior because of the variability in driving styles and driving skills. However, for some driver assistance systems, it is necessary to have knowledge of that behavior to discriminate potentially hazardous situations, such as distraction, fatigue or drowsiness. Many of the systems that look for driver distraction or drowsiness are based on intrusive means （analysis of the electroencephalogram--EEG） or highly sensitive to operating conditions and expensive equipment （eye movements analysis through artificial vision）. A solution that seeks to avoid the above drawbacks is the use of driving parameters This article presents the conclusions obtained after a set of driving simulator tests with professional drivers with two main objectives using driving variables such as speed profile, steering wheel angle, transversal position on the lane, safety distance, etc., that are available in a non-intrusive way： （1） To analyze the differences between the driving patterns of individual drivers; and （2） To analyze the effect of distraction and drowsiness on these parameters. Different scenarios have been designed, including sequences with distractions and situations that cause fatigue. The analysis of the results is carried out in time and frequency domains in order to identify situations of loss of attention and to study whether the evolution of the analyzed variables along the time could be considered independent of the driver.展开更多
A comprehensive study on the role of the phase errors distribution on the performances of the phased array systems has been led using a complete and behavioral model for radiation-pattern characteristics. The used mod...A comprehensive study on the role of the phase errors distribution on the performances of the phased array systems has been led using a complete and behavioral model for radiation-pattern characteristics. The used model has many input parameters and it has a lot of features, such as parameters simulations with results analysis, unconventional two-dimensional color graph representation capability in order to show more clearly the results. The results of the study have been discussed and reported. The main achievement of this work is the demonstration that the RMS phase error is a valuable figure of merit of phased array systems but it is not sufficient to completely describe the behavior of a real system. Indeed, this work has shown how the phase errors distribution actually affects the performances of the phased arrays antennas.展开更多
The design, manufacture and deployment of embedded systems become increasingly complex and multidisciplinary process. Before the steps of manufacturing and deployment, a simulation and validation phase is necessary. G...The design, manufacture and deployment of embedded systems become increasingly complex and multidisciplinary process. Before the steps of manufacturing and deployment, a simulation and validation phase is necessary. Given the increasing complexity of systems such as telecommunications systems, control systems and others, a specific simulation and validation process must take place. This simulation ideally made in a single development environment should cover different areas and all components of the system. In this paper, the authors briefly describe the behavioral models of the elements of a large scale WSN （wireless sensors network） used to create simulator, focusing specifically on the model of the transmission channel, and how it can retrieve results from the behavioral simulator. In side to legacy network simulator, for the testing and modeling of communication protocols, this simulator should not omit WSN specific aspect, in accuracy it covers the modeling of node platforms, protocols, and real world phenomena.展开更多
Flexibility plays an important part in the application of the workflow management system and has become one of the major research hotspots in this field recently. When adapting a workflow process definition to specifi...Flexibility plays an important part in the application of the workflow management system and has become one of the major research hotspots in this field recently. When adapting a workflow process definition to specific needs or changing the structure of the workflow process as a result of evolutionary change, coarse-grained reuse of work- flow is of significance to the reduction of the work effort, modeling system and enhancing the reliability of their work. Based on decomposition of workflow tasks and teamwork, this paper proposes an approach to describing interoperability behavior between roles in teamwork by using activity-pattern. In activity-pattern, abstract mechanisms of activity specialization and activity aggregation are presented, enabling reuse of workflow by means of reuse of interoperability behavior between roles. The experimental system shows that our approach presented is feasible.展开更多
Complex systems consisting of N agents can be investigated from the aspect of principal fluctuation modes of agents. From the correlations between agents, an N × N correlation matrix C can be obtained. The princi...Complex systems consisting of N agents can be investigated from the aspect of principal fluctuation modes of agents. From the correlations between agents, an N × N correlation matrix C can be obtained. The principal fluctuation modes are defined by the eigenvectors of C. Near the critical point of a complex system, we anticipate that the principal fluctuation modes have the critical behaviors similar to that of the susceptibity. With the Ising model on a two-dimensional square lattice as an example, the critical behaviors of principal fluctuation modes have been studied. The eigenvalues of the first 9 principal fluctuation modes have been invesitigated. Our Monte Carlo data demonstrate that these eigenvalues of the system with size L and the reduced temperature t follow a finite-size scaling form λn(L, t) = Lγ/νf n(t L^(1/ν)), where γ is critical exponent of susceptibility and ν is the critical exponent of the correlation length. Using eigenvalues λ1, λ2 and λ6, we get the finite-size scaling form of the second moment correlation length ξ(L, t) = Lξ(tL^(1/ν)).It is shown that the second moment correlation length in the two-dimensional square lattice is anisotropic.展开更多
文摘约翰逊是最早的护理理论家之一,她于1980年完整地提出了约翰逊行为系统模式（Johnson’s behavioral system model）,近30年来该理论在护理质性和量性研究领域均得到了验证（[1-4]）。约翰逊的行为系统模式对护理研究起到了理论框架的支撑作用,在行为系统模式的研究背景下,所有研究的任务都应该是识别和解释由疾病所引起的行为系统的紊乱,并发展处理这些紊乱的原理和方法。从实践上看,
文摘This paper studies the problem of deriving an interface automata model from UML statechart, in which, interface automata is a formaliged model for describing component behavior in an open system, but there is no universal criterion for deriving behavior from component to construct the model. UML is a widely used modeling standard, yet it is very difficult to apply it to system verification and testing directly for its imprecise semantics. After analyzing the expression ability of the two models, several transforma- tion rules are defined and each step of transformation is described in detail, after that, the approach is illustrated with an example. The paper provides a method for acquiring interface automata and lays the foundation for related research.
文摘It is difficult to model human behavior because of the variability in driving styles and driving skills. However, for some driver assistance systems, it is necessary to have knowledge of that behavior to discriminate potentially hazardous situations, such as distraction, fatigue or drowsiness. Many of the systems that look for driver distraction or drowsiness are based on intrusive means （analysis of the electroencephalogram--EEG） or highly sensitive to operating conditions and expensive equipment （eye movements analysis through artificial vision）. A solution that seeks to avoid the above drawbacks is the use of driving parameters This article presents the conclusions obtained after a set of driving simulator tests with professional drivers with two main objectives using driving variables such as speed profile, steering wheel angle, transversal position on the lane, safety distance, etc., that are available in a non-intrusive way： （1） To analyze the differences between the driving patterns of individual drivers; and （2） To analyze the effect of distraction and drowsiness on these parameters. Different scenarios have been designed, including sequences with distractions and situations that cause fatigue. The analysis of the results is carried out in time and frequency domains in order to identify situations of loss of attention and to study whether the evolution of the analyzed variables along the time could be considered independent of the driver.
文摘A comprehensive study on the role of the phase errors distribution on the performances of the phased array systems has been led using a complete and behavioral model for radiation-pattern characteristics. The used model has many input parameters and it has a lot of features, such as parameters simulations with results analysis, unconventional two-dimensional color graph representation capability in order to show more clearly the results. The results of the study have been discussed and reported. The main achievement of this work is the demonstration that the RMS phase error is a valuable figure of merit of phased array systems but it is not sufficient to completely describe the behavior of a real system. Indeed, this work has shown how the phase errors distribution actually affects the performances of the phased arrays antennas.
文摘The design, manufacture and deployment of embedded systems become increasingly complex and multidisciplinary process. Before the steps of manufacturing and deployment, a simulation and validation phase is necessary. Given the increasing complexity of systems such as telecommunications systems, control systems and others, a specific simulation and validation process must take place. This simulation ideally made in a single development environment should cover different areas and all components of the system. In this paper, the authors briefly describe the behavioral models of the elements of a large scale WSN （wireless sensors network） used to create simulator, focusing specifically on the model of the transmission channel, and how it can retrieve results from the behavioral simulator. In side to legacy network simulator, for the testing and modeling of communication protocols, this simulator should not omit WSN specific aspect, in accuracy it covers the modeling of node platforms, protocols, and real world phenomena.
基金This research is supported by National Natural Science Foundation of China （60574028） the Key Projects of Natural Science Foundation of Edtication Department of Anhui Province of China （2006kj016A, 2005kj065）
文摘Flexibility plays an important part in the application of the workflow management system and has become one of the major research hotspots in this field recently. When adapting a workflow process definition to specific needs or changing the structure of the workflow process as a result of evolutionary change, coarse-grained reuse of work- flow is of significance to the reduction of the work effort, modeling system and enhancing the reliability of their work. Based on decomposition of workflow tasks and teamwork, this paper proposes an approach to describing interoperability behavior between roles in teamwork by using activity-pattern. In activity-pattern, abstract mechanisms of activity specialization and activity aggregation are presented, enabling reuse of workflow by means of reuse of interoperability behavior between roles. The experimental system shows that our approach presented is feasible.
基金Supported by the National Natural Science Foundation of China under Grant Nos.11121403 and 11504384
文摘Complex systems consisting of N agents can be investigated from the aspect of principal fluctuation modes of agents. From the correlations between agents, an N × N correlation matrix C can be obtained. The principal fluctuation modes are defined by the eigenvectors of C. Near the critical point of a complex system, we anticipate that the principal fluctuation modes have the critical behaviors similar to that of the susceptibity. With the Ising model on a two-dimensional square lattice as an example, the critical behaviors of principal fluctuation modes have been studied. The eigenvalues of the first 9 principal fluctuation modes have been invesitigated. Our Monte Carlo data demonstrate that these eigenvalues of the system with size L and the reduced temperature t follow a finite-size scaling form λn(L, t) = Lγ/νf n(t L^(1/ν)), where γ is critical exponent of susceptibility and ν is the critical exponent of the correlation length. Using eigenvalues λ1, λ2 and λ6, we get the finite-size scaling form of the second moment correlation length ξ(L, t) = Lξ(tL^(1/ν)).It is shown that the second moment correlation length in the two-dimensional square lattice is anisotropic.
