Environment as a first class abstraction in multiagent systems

The current practice in multiagent systems typically associates the environment with resources that are external to agents and their communication infrastructure. Advanced uses of the environment include infrastructures for indirect coordination, such as digital pheromones, or support for governed interaction in electronic institutions. Yet, in general, the notion of environment is not well defined. Functionalities of the environment are often dealt with implicitly or in an ad hoc manner. This is not only poor engineering practice, it also hinders engineers to exploit the full potential of the environment in multiagent systems. In this paper, we put forward the environment as an explicit part of multiagent systems.We give a definition stating that the environment in a multiagent system is a first-class abstraction with dual roles: (1) the environment provides the surrounding conditions for agents to exist, which implies that the environment is an essential part of every multiagent system, and (2) the environment provides an exploitable design abstraction for building multiagent system applications. We discuss the responsibilities of such an environment in multiagent systems and we present a reference model for the environment that can serve as a basis for environment engineering. To illustrate the power of the environment as a design abstraction, we show how the environment is successfully exploited in a real world application. Considering the environment as a first-class abstraction in multiagent systems opens up new horizons for research and development in multiagent systems.     

机械过冷的制冷系统在汽车空调中的应用

由于很多汽车空调采用斜盘式压缩机，有利于采用机械过冷的制冷系统，来增加汽车空调的制冷量、提高制冷效率。本文的主要目的是通过对系统工质的流量分配、空调制冷量和性能系数(COP)与中间压力之间的变化关系的研究，来研究机械过冷在汽车空调中应用的可行性。     

A globally convergent algorithm for transportation continuous network design problem

The continuous network design problem (CNDP) is characterized by a bilevel programming model, in which the upper level problem is generally to minimize the total system cost under limited expenditure, while at the lower level the network users make choices with regard to route conditions following the user equilibrium principle. In this paper, the bilevel programming model for CNDP is transformed into a single level convex programming problem by virtue of an optimal-value function tool and the relationship between System Optimum (SO) and User Equilibrium (UE). By exploring the inherent nature of the CNDP, the optimal-value function for the lower level user equilibrium problem is proved to be continuously differentiable and its derivative in link capacity enhancement can be obtained efficiently by implementing user equilibrium assignment subroutine. However, the reaction (or response) function between the upper and lower level problem is implicit and its gradient is difficult to obtain. Although, here we approximately express the gradient with the difference concept at each iteration, based on the method of successive averages (MSA), we propose a globally convergent algorithm to solve the single level convex programming problem. Comparing with widely used heuristic algorithms, such as sensitivity analysis based (SAB) method, the proposed algorithm needs not strong hypothesis conditions and complex computation for the inverse matrix. Finally, a numerical example is presented to compare the proposed method with some existing algorithms.     

An analytical model to determine the ultimate load on masonry arch bridges.

This paper proposes an analytical elasto–plastic model to describe the behavior of arches. The modeling is carried out using the equations of (i) horizontal equilibrium, (ii) vertical equilibrium and (iii) equilibrium of moments. The latter equations of equilibrium are ordinary differential equations which can easily be solved by adding boundary conditions, imposing restrictions on the horizontal and vertical movement and on the rotation in the abutments of the arch. For masonry arches, including material properties allowing the occurrence of cracks and the subsequent formation of hinges is required. The latter theory has been implemented in a computer program (Matlab), offering numerical simulations. The software was used to illustrate two case-studies, i.e., the assessment of an arch loaded with a vertical point load and one with a horizontal point load.     

Synthesis and applications of fluoroalkyl end-capped cooligomers having fullerene and mixed fullerenes in the main chain

Fluoroalkanoyl peroxides reacted with FULLERENES [fullerene (C₆₀) and commercially available fullerenes (Nanom Mix^TR and Nanom Black^TR)] and radical polymerizable comonomers such as acrylic acid, N,N-dimethylacrylamide, N-(1,1-dimethyl-3-oxobutyl)acrylamide, and acryloylmorpholine to afford fluoroalkyl end-capped cooligomers having FULLERENES in the main chain under very mild conditions. Fluoroalkyl end-capped Nanom Mix and Nanom Black cooligomers thus obtained were found to exhibit a similar solubility to that of the corresponding fluoroalkyl end-capped cooligomers having fullerene in the main chain. These fluorinated FULLERENES cooligomers were found to form the nanometer size-controlled self-assembled cooligomeric aggregates in aqueous solutions. These fluoroalkyl end-capped FULLERENES cooligomers were more effective for solubilizing fullerene, Nanom Mix and Nanom Black into water, compared to those of the corresponding fluoroalkyl end-capped homooligomers having no FULLERENES in the main chain. Fluoroalkyl end-capped fullerene- and Nanom Mix-acrylic acid cooligomers were found to exhibit fluorescence spectra related to fullerene and Nanom Mix in cooligomers, respectively, in aqueous solutions. Additionally, these fluorinated fullerene- and Nanom Mix-acrylic acid cooligomers were able to increase chemiluminescence intensity related to luminol, effectively, compared to the corresponding fluorinated acrylic acid homooligomers.     

Network and device-level impacts: performance and reliability of active I/O storage systems

Distributed active storage architectures are designed to offload user-level processing to the peripheral from the host servers. In this paper, we report preliminary investigation on performance and fault recovery designs, as impacted by emerging storage interconnect protocols and state-of-the-art storage devices. Empirical results obtained using validated device-level and interconnect data demonstrate the significance of the said parameters on the overall system performance and reliability.     

添加微量铝对TS-2合成及苯酚羟基化的影响

以硅溶胶为硅源合成分子筛TS 2时 ,在溶胶制备过程中添加微量的铝 ,可以降低模板剂氢氧化四丁基铵 (TBAOH)的用量 ,当TBAOH/SiO2 降低到 0 .1以下时 ,仍然合成了性能优良的TS 2 ,而且用于苯酚过氧化氢羟基化反应过程中催化活性也大大提高。所得催化剂用XRD ,IR ,ICP进行了表征     

On the effectiveness of early life cycle defect prediction with Bayesian Nets

Standard practice in building models in software engineering normally involves three steps: collecting domain knowledge (previous results, expert knowledge); building a skeleton of the model based on step 1 including as yet unknown parameters; estimating the model parameters using historical data. Our experience shows that it is extremely difficult to obtain reliable data of the required granularity, or of the required volume with which we could later generalize our conclusions. Therefore, in searching for a method for building a model we cannot consider methods requiring large volumes of data. This paper discusses an experiment to develop a causal model (Bayesian net) for predicting the number of residual defects that are likely to be found during independent testing or operational usage. The approach supports (1) and (2), does not require (3), yet still makes accurate defect predictions (an R ² of 0.93 between predicted and actual defects). Since our method does not require detailed domain knowledge it can be applied very early in the process life cycle. The model incorporates a set of quantitative and qualitative factors describing a project and its development process, which are inputs to the model. The model variables, as well as the relationships between them, were identified as part of a major collaborative project. A dataset, elicited from 31 completed software projects in the consumer electronics industry, was gathered using a questionnaire distributed to managers of recent projects. We used this dataset to validate the model by analyzing several popular evaluation measures (R ², measures based on the relative error and Pred). The validation results also confirm the need for using the qualitative factors in the model. The dataset may be of interest to other researchers evaluating models with similar aims. Based on some typical scenarios we demonstrate how the model can be used for better decision support in operational environments. We also performed sensitivity analysis in which we identified the most influential variables on the number of residual defects. This showed that the project size, scale of distributed communication and the project complexity cause the most of variation in number of defects in our model. We make both the dataset and causal model available for research use.