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.展开更多
Truth-conditional approaches to tense and other temporal expressions have relied on both linear-time and branching-time frameworks as needed. However, in the truth-conditional enterprise generally, it seems advisable ...Truth-conditional approaches to tense and other temporal expressions have relied on both linear-time and branching-time frameworks as needed. However, in the truth-conditional enterprise generally, it seems advisable to settle on a single depiction of time. Linear time is the simpler framework, and branching time faces difficulties for which we seem to have no immediate solutions. This paper defends the applicability of linear time. The apparent branching of time results from the use of speech acts other than factual assertion. Truth in correspondence with specific conditions is relevant when making factual assertions. However, we are in no epistemic position to advance factual assertions about the future, but only suppositions and predictions. For these, the truth-conditional content is employed differently. For suppositions and predictions, we only ＂pretend＂ to reference things, to assert facts, and to accept them as ＂true.＂ There is a wide array of alternatives about what we can suppose or predict, giving the impression of branching options. Suppositions and predictions under active consideration are often marked with present tense, whereas those that are inactive （not presently under active consideration but nonetheless relevant） are often marked with past tense.展开更多
For a pure non-markovian dephasing model we derive analytic expressions of coherent information,quantum discord,and entanglement.We find that for the cases of the initial Werner states,the dynamical behavior of cohere...For a pure non-markovian dephasing model we derive analytic expressions of coherent information,quantum discord,and entanglement.We find that for the cases of the initial Werner states,the dynamical behavior of coherent information is similar to that of quantum discord but different from that of entanglement.Coherent information,as well as quantum discord,can reveal the quantum correlations in some mixed-states,in which the entanglement is zero.展开更多
Abstract The （3＋1 ）-dimensional variable-coetfficient nonlinear SchrSdinger equation with linear and parabolic traps is studied, and an exact Kuznetsov-Ma soliton solution in certain parameter conditions is derived...Abstract The （3＋1 ）-dimensional variable-coetfficient nonlinear SchrSdinger equation with linear and parabolic traps is studied, and an exact Kuznetsov-Ma soliton solution in certain parameter conditions is derived. These precise expressions indicate that diffraction and chirp factors influence phase, center and widths, while the gain/loss parameter only affects peaks. By adjusting the relation between the maximum accumulated time Tm and the accumulated time To based on maximum amplitude of Kuznetsov Ma soliton, postpone, maintenance and restraint of superposed Kuznetsov-Ma solitons are investigated.展开更多
文摘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.
文摘Truth-conditional approaches to tense and other temporal expressions have relied on both linear-time and branching-time frameworks as needed. However, in the truth-conditional enterprise generally, it seems advisable to settle on a single depiction of time. Linear time is the simpler framework, and branching time faces difficulties for which we seem to have no immediate solutions. This paper defends the applicability of linear time. The apparent branching of time results from the use of speech acts other than factual assertion. Truth in correspondence with specific conditions is relevant when making factual assertions. However, we are in no epistemic position to advance factual assertions about the future, but only suppositions and predictions. For these, the truth-conditional content is employed differently. For suppositions and predictions, we only ＂pretend＂ to reference things, to assert facts, and to accept them as ＂true.＂ There is a wide array of alternatives about what we can suppose or predict, giving the impression of branching options. Suppositions and predictions under active consideration are often marked with present tense, whereas those that are inactive （not presently under active consideration but nonetheless relevant） are often marked with past tense.
基金Supported by National Science Foundation of China under Grant Nos. 11005008,10974016,and 11075013
文摘For a pure non-markovian dephasing model we derive analytic expressions of coherent information,quantum discord,and entanglement.We find that for the cases of the initial Werner states,the dynamical behavior of coherent information is similar to that of quantum discord but different from that of entanglement.Coherent information,as well as quantum discord,can reveal the quantum correlations in some mixed-states,in which the entanglement is zero.
基金Supported by the National Natural Science Foundation of China under Grant No.11375079the Applied Nonlinear Science and Technology from the Most Important Among all the Top Priority Disciplines of Zhejiang Province
文摘Abstract The （3＋1 ）-dimensional variable-coetfficient nonlinear SchrSdinger equation with linear and parabolic traps is studied, and an exact Kuznetsov-Ma soliton solution in certain parameter conditions is derived. These precise expressions indicate that diffraction and chirp factors influence phase, center and widths, while the gain/loss parameter only affects peaks. By adjusting the relation between the maximum accumulated time Tm and the accumulated time To based on maximum amplitude of Kuznetsov Ma soliton, postpone, maintenance and restraint of superposed Kuznetsov-Ma solitons are investigated.
