Convergence of macrostates under reproducible processes

I show that whenever a system undergoes a reproducible macroscopic process the mutual distinguishability of macrostates, as measured by their relative entropy, diminishes. This extends the second law which regards only ordinary entropies, and hence only the distinguishability between macrostates and one specific reference state (equidistribution). The new result holds regardless of whether the process is linear or nonlinear. Its proof hinges on the monotonicity of quantum relative entropy under arbitrary coarse grainings, even those that cannot be represented by completely positive maps.Comment: 5 pages, no figures; v2: new title and abstract, expanded on motivation and physical meanin

Bin Packing and Related Problems: General Arc-flow Formulation with Graph Compression

We present an exact method, based on an arc-flow formulation with side constraints, for solving bin packing and cutting stock problems --- including multi-constraint variants --- by simply representing all the patterns in a very compact graph. Our method includes a graph compression algorithm that usually reduces the size of the underlying graph substantially without weakening the model. As opposed to our method, which provides strong models, conventional models are usually highly symmetric and provide very weak lower bounds. Our formulation is equivalent to Gilmore and Gomory's, thus providing a very strong linear relaxation. However, instead of using column-generation in an iterative process, the method constructs a graph, where paths from the source to the target node represent every valid packing pattern. The same method, without any problem-specific parameterization, was used to solve a large variety of instances from several different cutting and packing problems. In this paper, we deal with vector packing, graph coloring, bin packing, cutting stock, cardinality constrained bin packing, cutting stock with cutting knife limitation, cutting stock with binary patterns, bin packing with conflicts, and cutting stock with binary patterns and forbidden pairs. We report computational results obtained with many benchmark test data sets, all of them showing a large advantage of this formulation with respect to the traditional ones

Assessing scenarios on the future of work

In this paper will be discussed different types of scenarios and the aims for using scenarios. Normaly they are being used by organisations due to the need to anticipate processes, to support policy-making and to understand the complexities of relations. Such organisations can be private companies, R&D organisations and networks of organisations, or even by some public administration institutions. Some cases will be discussed as the methods for ongoing scenario-building process (Shell Internacional). Scenarios should anticipate possible relations among social actors as in the Triple Helix Model, and is possible to develop strategic intelligence in the innovation process that would enable the construction of scenarios. Such processes can be assessed. The focus will be made in relation to the steps chosen for the WORKS scenarios. In this case is there a model of work changes that can be used for foresight? Differences according to sectors were found, as well on other dimensions. Problems of assessment are analysed with specific application to the scenario construction methods.scenarios, foresight, assessment

An Overview of the BFO - Basic Formal Ontology - and Its Applicability for Satellite Systems

This work aims to present an overview of the top-level ontology BFO - Basic Formal Ontology - and its applicability for Satellite Systems. As an upper level ontology, the BFO was designed to be extended, providing the basis for the specification of detailed representational artifacts about scientific information domains. These aspects and the challenges of satellite systems complexity and large size compose a suitable scenario for the creation of a specialized dialect to improve efficiency and accuracy when modeling such systems. By analyzing BFO based ontologies in other disciplines and existing satellite models it is possible to describe an application for satellite systems, which can provide a foundation for the creation of a concrete ontology to be applied on satellite modeling