Plans, Actions and Dialogues Using Linear Logic

We describe how Intuitionistic Linear Logic can be used to provide a unified logical account for agents to find and execute plans. This account supports the modelling of agent interaction, including dialogue; allows agents to be robust to unexpected events and failures; and supports significant reuse of agent specifications. The framework has been implemented and several case studies have been considered. Further applications include human–computer interfaces as well as agent interaction in the semantic web.     

A study on the use of statistical tests for experimentation with neural networks: Analysis of parametric test conditions and non-parametric tests

In this paper, we focus on the experimental analysis on the performance in artificial neural networks with the use of statistical tests on the classification task. Particularly, we have studied whether the sample of results from multiple trials obtained by conventional artificial neural networks and support vector machines checks the necessary conditions for being analyzed through parametrical tests. The study is conducted by considering three possibilities on classification experiments: random variation in the selection of test data, the selection of training data and internal randomness in the learning algorithm.The results obtained state that the fulfillment of these conditions are problem-dependent and indefinite, which justifies the need of using non-parametric statistics in the experimental analysis.     

Supporting Unified Distributed Management and Autonomic Decisions: Design,Implementation and Deployment

Nowadays, the prevailing use of networks based on traditional centralized management systems reflects on a fast increase of the management costs. The growth in the number of network equipments and services reinforces the need to distribute the management responsibilities throughout the network devices. In this approach, each device executes common network management functionalities, being part of the overall network management platform. In this paper, we present a Unified Distributed Network Management (UDNM) framework that provides a unified (wired and wireless) management network solution, where further different network services can take part of this infrastructure, e.g., flow monitoring, accurate routing decisions, distributed policies dissemination, etc. This framework is divided in two main components: (A) Situation awareness, which sets up initial information through bootstrapping, discovery, fault-management process and exchange of management information; (B) Autonomic Decision System (ADS) that performs distributed decisions in the network with incomplete information. We deploy the UDNM framework in a testbed which involves two cities (\(\approx\)250 km between), different standards (IEEE 802.3, IEEE 802.11 and IEEE 802.16e) and network technologies, such as, wired virtual grid, wireless ad-hoc gateways, ad-hoc mobile access devices. The UDNM framework integrates management functionalities into the managed devices, proving to be a lightweight and easy-respond framework. The performance analysis shows that the UDNM framework is feasible to unify devices management functionalities and to take accurate decisions on top of a real network.     

Distributed planning and control systems for the virtual enterprise: organizational requirements and development life-cycle

This paper describes the requirements analysis and system specification of an Order Promise module to be used as part of a broader Decision Support System for production and operations planning of a Virtual Enterprise. This work is part of a broader project with a particular focus on the microelectronics industry which is a good example of Virtual Enterprise, and where a quick response to the customers needs and to unpredictable changes in production conditions is considered a major factor for success. First, the analysis and specification are presented within a development framework that involves the study of organizational issues of semiconductor enterprises. The use of ontological engineering for supporting the communication and shared understanding of the system concepts is explained and a virtual enterprise ontology is outlined. Following the clarification of the concept of virtual enterprise, the generic techno-organizational requirements for the information system are derived. Finally, a specification of the global planning module and a more detailed one regarding the order promise module is presented.     

Learning based brain emotional intelligence as a new aspect for development of an alarm system

The multi criteria and purposeful prediction approach has been introduced and is implemented by the fast and efficient behavioral based brain emotional learning method. On the other side, the emotional learning from brain model has shown good performance and is characterized by high generalization property. New approach is developed to deal with low computational and memory resources and can be used with the largest available data sets. The scope of paper is to reveal the advantages of emotional learning interpretations of brain as a purposeful forecasting system designed to warning; and to make a fair comparison between the successful neural (MLP) and neurofuzzy (ANFIS) approaches in their best structures and according to prediction accuracy, generalization, and computational complexity. The auroral electrojet (AE) index are used as practical examples of chaotic time series and introduced method used to make predictions and warning of geomagnetic disturbances and geomagnetic storms based on AE index.     

An evolutionary approach to the delineation of functional areas based on travel-to-work flows

This paper presents a new approach to the delineation of local labor markets based on evolutionary computation. The aim of the exercise is the division of a given territory into functional regions based on travel-to-work flows. Such regions are defined so that a high degree of inter-regional separation and of intra-regional integration in both cases in terms of commuting flows is guaranteed. Additional requirements include the absence of overlap between delineated regions and the exhaustive coverage of the whole territory. The procedure is based on the maximization of a fitness function that measures aggregate intra-region interaction under constraints of inter-region separation and minimum size. In the experimentation stage, two variations of the fitness function are used, and the process is also applied as a final stage for the optimization of the results from one of the most successful existing methods, which are used by the British authorities for the delineation of travel-to-work areas （TTWAs）. The empirical exercise is conducted using real data for a sufficiently large territory that is considered to be representative given the density and variety of travel-to-work patterns that it embraces. The paper includes the quantitative comparison with alternative traditional methods, the assessment of the performance of the set of operators which has been specifically designed to handle the regionalization problem and the evaluation of the convergence process. The robustness of the solutions, something crucial in a research and policy-making context, is also discussed in the paper.     

Quantum statistical foundation to the fermi liquid model and Ginzburg-Landau wave function

An energy eigenvalue equation for a quasi-particle is derived, starting with the Heisenberg equation of motion for an annihilation operator. An elementary derivation of the Fermi liquid model having a sharply defined Fermi surface in thek-space is given, starting with a realistic model of a metal including the Coulomb interaction amongand between electrons and lattice-ions. The Ginzburg-Landau wave function (r), where represents the superconducting pairon (Cooper-pair) state, is shown to be connected with the one-pairon density operatorn by (r) = r¦_n ^1/2¦. A close analogy between supercurrent and laser is indicated.On sabbatical leave from Department of Physics and Astronomy, State University of New York at Buffalo, Buffalo, New York.     

The renal factor in the post-traumatic "fluid overload" syndrome

Hypervolemia with hypertension often occurs 36-72 hours following massive blood and fluid replacement for hypovolemic shock. This syndrome of "fluid overload" has been attributed to the rapid intravascular flux of previously sequestered fluid in patients with impaired diuresis. This hypothesis was tested in 35 injured patients who received a mean of 9.3 L of blood and 17.4 L of salt during resucitation. The renal parameters measured soon after resuscitation included: 1) renal clearance of inulin (GFR), para-amino hippurate (ERPF), milliosmoles, sodium, and free water; 2) inulin space, renal vascular resistance (RVR), O2 consumption, renin, renal blood flow (RBF), and response to furosemide. Eighteen patients developed hypertension, hypervolemia, and respiratory insufficiency. When compared to the 17 normovolemic, non-hypertensive patients, the 18 hypervolemic patients had significantly increased RVR, with a significant decrease in RBF despite an increase in plasma volume and cardiac output. Furosemide produced less diuresis and natriuresis in the hypertensive patients. The balance between hypovolemia and "fluid overload" seemed percarious in the hypertensive patients. Peripheral renin and catecholamine levels were normal in both groups. Patients with post-traumatic "fluid overload" appear to have a combination of hypervolemia, respiratory insufficiency, hypertension, increased cardiac output, decreased extracellular fluid space, and decreased renal perfusion. These findings suggest that decreased interstitial fluid space compliance rather than "fluid overload" is the underlying factor leading to respiratory insufficiency. The therapeutic aspects of these findings are discussed.     

Protein analysis as a measure of active biomass in activated sludge

Conventional methods to determine the biomass in activated sludge are the measurement of total suspended solids (TSS) and volatile suspended solids (VSS). Such methods do not distinguish between active biomass and inactive organic material. In this study, biomass was determined with both conventional methods and also through measuring the protein content with the modified Lowry method. In order to investigate the relationship between activity and biomass concentration in terms of TSS, VSS and protein content, some starvation experiments were conducted. It was found that the protein fraction of VSS differs under different starvation conditions. The biological activity of the activated sludge was measured as oxygen uptake rate (OUR). The strongest correlation could be measured between protein and OUR under various conditions. The results show that protein is an appropriate parameter for the measurement of the biological activity.     

A consistent stable numerical scheme for a nonlinear option pricing model in illiquid markets

Markets liquidity is an issue of very high concern in financial risk management. In a perfect liquid market the option pricing model becomes the well-known linear Black–Scholes problem. Nonlinear models appear when transaction costs or illiquid market effects are taken into account. This paper deals with the numerical analysis of nonlinear Black–Scholes equations modeling illiquid markets when price impact in the underlying asset market affects the replication of a European contingent claim. Numerical analysis of a nonlinear model is necessary because disregarded computations may waste a good mathematical model. In this paper we propose a finite-difference numerical scheme that guarantees positivity of the solution as well as stability and consistency.