A situation calculus based approach to dynamic management of e-business services

In the era of e-businesses, the traditional business services are greatly challenged by the ever-increasing demands from customers with various backgrounds and personalities. Large numbers of new e-businesses are driven by the needs of customers. The existing dynamics inherent in the customer needs require the corresponding dynamic management of services. Attempting to respond to customers in a rapid and intelligent way, this paper proposes a situation calculus based approach for dynamically managing e-Business services in the ubiquitous environment. By employing the formalism of the situation calculus to enable intelligence and automation, the approach can implement. the functions of service automatic composition and model verification. These functions will improve the degree of customer-orientation and enable fast responsiveness in the emerging e-service systems.     

Conflict analysis approaches for investigating attitudes and misperceptions in the War of 1812

Formal systems engineering approaches to modeling misperceptions and attitudes are employed within the framework of the graph model for conflict resolution to systematically study the War of 1812 between the United States of America and Great Britain in order to provide enhanced insights into the causes of the war. More specifically, relational definitions for preferences, movements and stability concepts are defined for describing the attitudes and associated behavior of decision makers involved in a conflict. To capture misperceptions of decision makers in the War of 1812, attitudes are studied within the structure of a hypergame. Combining attitudes and misperceptions within the paradigm of the graph model furnishes the flexible analytical tool which demonstrates that misunderstanding of attitudes by Great Britain and the United States may have contributed to the outbreak of this nasty war.     

THE λ-GROBNER BASES UNDER POLYNOMIAL COMPOSITION

Polynomial composition is the operation of replacing variables in a polynomial with other polynomials. λ-Grgbner basis is an especial Grobner basis. The main problem in the paper is： when does composition commute with λ-Grobner basis computation？ We shall answer better the above question. This has a natural application in the computation of λ-Grobner bases.     

SERVICE VALUE NETWORKS： INTO PRACTICE

Modeling a business to match its customer perceived （and customer desired） outcomes, remains an on-going task. This paper considers shows how a service value networks （SVNs） approach may be engaged to model, and deliver, understanding of the front-end business and its direct engagement with its immediate （or front-end） customers. These front-end customers may be either： （1） its off-line, in-store customers - engaging directly with the business sales staff （or representative）, or-（2） its on-line, virtual customers - engaging with the business via internet or remote access. In this situation, both the business, and the customer draw upon their respective viewpoints, and both sides influence the interaction. External to these business and customer influences are additional factors that capture the immediate and broader global effects - termed environmental effects. These three business-customer engagement areas of influence are captured by a SVN SEM approach.
Without a business-customer encounter of some kind the likelihood of a services business, and a prospecting customer, successfully engaging in an exchange process is reduced. This exchange may be a physical, and/or services exchange, and/or an information and/or ideas exchange. To the business, this encounter is, in effect, a trade, and as a result, the business targets acquiring an economic exchange that will ultimately deliver a net positive economic outcome. To the customer, external and internal information feeds, servicing, perceived value, and satisfaction, are key encounter drivers. SVNs offers a new way to understand the business-customer encounter, and to then utilize this acquired knowledge to either： （1） build a strategic management model, or （2） reengineer its business networks, and to then create a re-positioned, more customer-aligned business operation - one that is capable of delivering win - win, competitive business-customer solutions.     

Best weight pattern evaluation based security constrained power dispatch algorithm

This paper presents a methodology which determines the allocation of power demand among the committed generating units while minimizes number of objectives as well as meets physical and technological system constraints. The procedure considers two decoupled problems based upon the dependency of their goals on either active power or reactive power generation. Both the problems have been solved sequentially to achieve optimal allocation of active and reactive power generation while minimizes operating cost, gaseous pollutants emission objectives and active power transmission loss with consideration of system operating constraints along with generators prohibited operating zones and transmission line flow limits. The active and reactive power line flows are obtained with the help of generalized generation shift distribution factors （GGDF） and generalized Z-bus distribution factors （GZBDF）, respectively. First problem is solved in multi-objective framework in which the best weights assigned to objectives are determined while employing weighting method and in second problem, active power loss of the system is minimized subject to system constraints. The validity of the proposed method is demonstrated on 30-bus IEEE power system.     

ROBUST H∞ CONTROL FOR UNCERTAIN NONLINEAR SYSTEMS

This paper studies the robust H∞ disturbance attenuation with internal stability for uncertain nonlinear control systems. By adding one power integrator technique, this paper designs a explicit smooth robust dynamic feedback law while rejecting the disturbance to any specified degree of accuracy. Further, the example and simulation results show the effectiveness of the proposed schemes.     

MULTIPLE CRITERIA DECISION MAKING： DISCORDANT PREFERENCES AND PROBLEM DESCRIPTION

There are many practical decision problems where decision makers＇ preferences may be inconsistent and contradictory. In this paper, new methods for ordering and classifying multi-attribute objects by discordant collective preferences are suggested. These methods are based on the theory of multiset metric spaces. The proposed techniques are applied to ranking companies and a competitive selection of projects, which are estimated by several experts upon multiple qualitative criteria.     

A multiple intelligent agent system for credit risk prediction via an optimization of localized generalization error with diversity

Company bankruptcies cost billions of dollars in losses to banks each year. Thus credit risk prediction is a critical part of a bank＇s loan approval decision process. Traditional financial models for credit risk prediction are no longer adequate for describing today＇s complex relationship between the financial health and potential bankruptcy of a company. In this work, a multiple classifier system （embedded in a multiple intelligent agent system） is proposed to predict the financial health of a company. In our model, each individual agent （classifier） makes a prediction on the likelihood of credit risk based on only partial information of the company. Each of the agents is an expert, but has limited knowledge （represented by features） about the company. The decisions of all agents are combined together to form a final credit risk prediction. Experiments show that our model out-performs other existing methods using the benchmarking Compustat American Corporations dataset.     

A FRAMEWORK FOR REAL-VALUED CIPHER SYSTEMS

Most cipher systems designed thus far are binary-valued or integer-valued cipher systems. Their security relies on the assumption that one-way functions exist. Though the existence of one-way functions has not been proved yet, most cryptographic researchers believe that one-way functions exist. In addition, many candidates for one-way functions have been proposed. Therefore, the key step for developing real-valued cipher systems is to define real one-way functions and to propose candidates for them. In this paper, based on computational complexity theory over the real field, we give two definitions of real one-way functions; one is for digital one-way functions and the other is for general one-way functions. Candidates for these two classes of one-way functions are also proposed. Moreover, we present two examples to demonstrate that the candidates for both digital one-way functions and general one-way functions can be applied to construct secure real-valued cipher systems.     

NECESSARY AND SUFFICIENT CONDITION FOR GLOBAL CONTROLLABILITY OF A CLASS OF AFFINE NONLINEAR SYSTEMS

In this paper, we investigate the global controllability of a class of n-dimensional affine nonlinear systems with n- 1 controls and constant control matrix. A necessary and sufficient condition for its global controllability has been obtained by using the methods recently developed. Furthermore, we generalize the above result to a class of affine nonlinear systems with a block-triangular-like structure. Finally, we will give three examples to show the applications of our results.