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.展开更多
Natural monopoly,because of its spontaneous or natural characteristics, must have some mysterious causes of reasonableness.Thus,the regulations to its efficiency loss would have a different way compared to other monop...Natural monopoly,because of its spontaneous or natural characteristics, must have some mysterious causes of reasonableness.Thus,the regulations to its efficiency loss would have a different way compared to other monopolies. That the characteristics of natural monopoly,in the case of water industry, are that the infrastructure investments are very large,most of which are used to build the transportation system? The webs for transporting their products to their customers,and the products are identity goods or services.By examining the characteristics of natural monopoly,this paper proposed away to break upand remodel the industry of“natural monopoly”.The main clue of remodeling is that the governments,who represent the public and who have the power to control over public resources,should build and maintain a public web platform for the goods’ transportation uses, and break up the barrier ofthe entry so as to produce a market-oriented competitive structure.The running modeland the condition of remodeling are put forward and the cost-revenue analysis of the operation is briefly under consideration.展开更多
Accounting information has gained utmost importance over the years, and it now plays a vital role in our society. Indeed, the trends of a global economy, especially one relying on a capital market-based financial syst...Accounting information has gained utmost importance over the years, and it now plays a vital role in our society. Indeed, the trends of a global economy, especially one relying on a capital market-based financial system, are greatly influenced by reliable accounting information. However, it is sometimes difficult to assess the ＂reliability＂ of such information, given the clear differences in the needs and goals of its different users. In this respect, the possible ways to guarantee the appropriateness of the accounting information provided to users doubtlessly deserve a careful investigation. The second half of the 1970s can be considered as the starting point of a debate, within the Anglo-Saxon accounting literature, concerning the most effective methods to provide users with accounting data effectively meeting their very specific needs. In this context, two antithetical schools of thought developed： （1） free market approach; and （2） regulatory approach. Although it is possible to state that accounting regulation has now become a concrete reality both inside and outside the Anglo-Saxon accounting context, after more than halfa century, its efficacy is still an open issue.展开更多
文摘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.
文摘Natural monopoly,because of its spontaneous or natural characteristics, must have some mysterious causes of reasonableness.Thus,the regulations to its efficiency loss would have a different way compared to other monopolies. That the characteristics of natural monopoly,in the case of water industry, are that the infrastructure investments are very large,most of which are used to build the transportation system? The webs for transporting their products to their customers,and the products are identity goods or services.By examining the characteristics of natural monopoly,this paper proposed away to break upand remodel the industry of“natural monopoly”.The main clue of remodeling is that the governments,who represent the public and who have the power to control over public resources,should build and maintain a public web platform for the goods’ transportation uses, and break up the barrier ofthe entry so as to produce a market-oriented competitive structure.The running modeland the condition of remodeling are put forward and the cost-revenue analysis of the operation is briefly under consideration.
文摘Accounting information has gained utmost importance over the years, and it now plays a vital role in our society. Indeed, the trends of a global economy, especially one relying on a capital market-based financial system, are greatly influenced by reliable accounting information. However, it is sometimes difficult to assess the ＂reliability＂ of such information, given the clear differences in the needs and goals of its different users. In this respect, the possible ways to guarantee the appropriateness of the accounting information provided to users doubtlessly deserve a careful investigation. The second half of the 1970s can be considered as the starting point of a debate, within the Anglo-Saxon accounting literature, concerning the most effective methods to provide users with accounting data effectively meeting their very specific needs. In this context, two antithetical schools of thought developed： （1） free market approach; and （2） regulatory approach. Although it is possible to state that accounting regulation has now become a concrete reality both inside and outside the Anglo-Saxon accounting context, after more than halfa century, its efficacy is still an open issue.
