Integration of modular process simulators under the Generalized Disjunctive Programming framework for the structural flowsheet optimization

The optimization of chemical processes where the flowsheet topology is not kept fixed is a challenging discrete-continuous optimization problem. Usually, this task has been performed through equation based models. This approach presents several problems, as tedious and complicated component properties estimation or the handling of huge problems (with thousands of equations and variables). We propose a GDP approach as an alternative to the MINLP models coupled with a flowsheet program. The novelty of this approach relies on using a commercial modular process simulator where the superstructure is drawn directly on the graphical use interface of the simulator. This methodology takes advantage of modular process simulators (specially tailored numerical methods, reliability, and robustness) and the flexibility of the GDP formulation for the modeling and solution. The optimization tool proposed is successfully applied to the synthesis of a methanol plant where different alternatives are available for the streams, equipment and process conditions.

Privileged Regions in Critical Strips of Non-lattice Dirichlet Polynomials

This paper shows, by means of Kronecker’s theorem, the existence of infinitely many privileged regions called r -rectangles (rectangles with two semicircles of small radius r ) in the critical strip of each function Ln(z):= 1−∑nk=2kz , n≥2 , containing exactly [Tlogn2π]+1 zeros of Ln(z) , where T is the height of the r -rectangle and [⋅] represents the integer part.

Comparison of Lattice-Fluid Binary Parameters For Mixtures and Block Copolymers

The aim of this report is to discuss the method of determination of lattice-fluid binary interaction parameters by comparing well characterized immiscible blends and block copolymers of poly(methyl methacrylate) (PMMA) and poly(ϵ−caprolactone) (PCL). Experimental pressure-volume-temperature (PVT) data in the liquid state were correlated with the Sanchez—Lacombe (SL) equation of state with the scaling parameters for mixtures and copolymers obtained through combination rules of the characteristic parameters for the pure homopolymers. The lattice-fluid binary parameters for energy and volume were higher than those of block copolymers implying that the copolymers were more compatible due to the chemical links between the blocks. Therefore, a common parameter cannot account for both homopolymer blend and block copolymer phase behaviors based on current theory. As we were able to adjust all data of the mixtures with a single set of lattice-binary parameters and all data of the block copolymers with another single set we can conclude that both parameters did not depend on the composition for this system. This characteristic, plus the fact that the additivity law of specific volumes can be suitably applied for this system, allowed us to model the behavior of the immiscible blend with the SL equation of state. In addition, a discussion on the relationship between lattice-fluid binary parameters and the Flory–Huggins interaction parameter obtained from Leibler's theory is presented.

La enseñanza de robótica en el Máster en Automática y Robótica mediante un robot modular

Este trabajo muestra cómo se realiza la enseñanza de robótica mediante un robot modular y los resultados educativos obtenidos en el Máster Universitario en Automática y Robótica de la Escuela Politécnica Superior de la Universidad de Alicante. En el artículo se describen los resultados obtenidos con el uso de este robot modular tanto en competencias genéricas como específicas, en las enseñanzas de electrónica, control y programación del Máster. En este artículo se exponen los objetivos de aprendizaje para cada uno de ellos, su aplicación a la enseñanza y los resultados educativos obtenidos. En los resultados del estudio, cabe destacar que el alumno ha mostrado mayor interés y ha fomentado su aprendizaje autónomo. Para ello, el robot modular se construyó con herramientas para fomentar este tipo de enseñanza y aprendizaje, tales como comunicaciones interactivas para monitorizar, cambiar y adaptar diversos parámetros de control y potencia del robot.

Desarrollo de un robot modular para la enseñanza en el Máster en Automática y Robótica

Este trabajo presenta el diseño, construcción y programación de un robot modular para el desarrollo tanto de competencias genéricas como específicas, en las enseñanzas de electrónica, control y programación del Master de Automática y Robótica de la Escuela Politécnica Superior de la Universidad de Alicante. En este trabajo se exponen los diferentes módulos propuestos, así como los objetivos de aprendizaje para cada uno de ellos. Uno de los factores más importantes a destacar en el presente estudio es el posible desarrollo de la creatividad y el aprendizaje autónomo. Para ello, se desarrollará especialmente un módulo de comunicación por bluetooth que servirá para monitorizar, cambiar y adaptar on-line diversos parámetros de control y potencia del robot. Además, dicha herramienta se ha introducido como parte de la metodología en las asignaturas del Máster de Electromecánica y Sistemas de Control Automático. En esta memoria se mostrarán los distintos resultados obtenidos durante y en la finalización de este trabajo.

Identification of YAP as sperm-PAWP’s predominant binding partner in MII-arrested oocytes and the relevance of this WWI domain modular interaction to oocyte activation

PAWP, a candidate sperm-borne oocyte activating factor, induces oocyte activation and acts upstream of the calcium signalling pathway, however, PAWP’s downstream signalling pathway in oocyte cytoplasm remains to be uncovered. Data from our lab suggested that the interacting partner of PAWP, at least in the frog (Xenopus laevis) model may be YAP, a highly expressed protein in amphibian and mammalian oocytes. Therefore, the objectives of this study were to confirm that PAWP’s predominant binding partner in Xenopus laevis oocyte is YAP; to determine if mammalian oocyte activation is also dependent on PAWP-YAP interaction; and to verify that the PAWP-YAP interaction during oocyte activation is dependent on the WWI domain module. By immunohistochemistry, YAP was localized predominantly in the cytosol of metaphase II-arrested Xenopus laevis oocytes, where presumably the PAWP-YAP interaction occurs. Utilizing Far Western blotting, YAP was identified as the predominant binding partner of PAWP, in metaphase II-arrested frog (Xenopus laevis), swine (Sus scrofa) and mouse (mus musculus) oocytes. The specificity of this interaction was then tested on Far Western blotting of mouse ovarian and oocyte cytosolic extracts, by competition with both wild-type and point-mutated recombinant WWI domains derived from YAP. The removal of GST from the wild-type WWI-GST fusion protein was a requirement for effective blockage of WWI module interaction between PAWP and YAP. As expected, the mutated WWI domain was ineffective in inhibiting the PAWP-YAP interaction. To conclude, this study identified YAP as the predominant binding partner of PAWP in both amphibian and mammalian oocytes, and showed this interaction is dependent on the WWI modular interaction. The results allow us to test the functional relevance of this WWI modular interaction during oocyte activation in vivo, in the future.

A Engenharia Militar na prevenção: Proposta de um sistema de vigilância expedito – Torre de vigilância modular e portátil

A presente dissertação teve como objetivo o desenvolvimento de uma torre de vigilância como sistema expedito de observação e apoio no cumprimento de missões do Exército Português. O estudo desta teve obrigatoriamente em conta a obtenção de uma estrutura final o mais otimizada possível, cuja etapa inicial passou necessariamente pelo levantamento e conhecimento das estruturas semelhantes já existente. A solução encontrada traduziu-se numa estrutura modular e portátil constituída por uma cabine hexagonal capaz de se colocar em funcionamento a alturas entre os 2 e os 12 metros. Para a sua modelação efetuou-se o estudo de todos os critérios de dimensionamento tendo em atenção não só o Estado Limite Último como o Estado Limite de Serviço por forma a garantir o conforto de utilização além da essencial segurança estrutural. Após conclusão dessa etapa e identificação dos esforços condicionantes, foram efetuadas todas as verificações de segurança que levaram necessariamente à alteração de alguns elementos inicialmente definidos. Devido ao facto da estrutura poder ser utilizada com diversas alturas, foi necessário garantir que todos os elementos constituintes na mesma se encontrem em segurança em qualquer das possibilidades, contribuindo assim, para a elaboração do processo de montagem e desmontagem da estrutura.

Proof theory for lattice-ordered groups

Proof-theoretic methods are developed and exploited to establish properties of the variety of lattice-ordered groups. In particular, a hypersequent calculus with a cut rule is used to provide an alternative syntactic proof of the generation of the variety by the lattice-ordered group of automorphisms of the real number chain. Completeness is also established for an analytic (cut-free) hypersequent calculus using cut elimination and it is proved that the equational theory of the variety is co-NP complete.

Optimization of the Modular Educational Program Structure

Optimized structure of the educational program consisting of a set of the interconnected educational objects is offered by means of problem solution of optimum partition of the acyclic weighed graph. The condition of acyclicity preservation for subgraphs is formulated and the quantitative assessment of decision options is executed. The original algorithm of search of quasioptimum partition using the genetic algorithm scheme with coding chromosomes by permutation is offered. Object-oriented realization of algorithm in language C++ is described and results of numerical experiments are presented.

Small modular incinerator systems with heat recovery : a technical, environmental, and economic evaluation /

November 1979.

Communication net of modular processors for a multiprocessor computer /

"This work was submitted in partial fulfillment of the requirements for the degree of Master of Science in Electrical Engineering, June 1967, and was supported in part by the AEC under Contract No. USAEC AT(11-1)1018.

MUMS, a modular unified microprocessor system /

Originally presented as the author's thesis, University of Illinois at Urbana-Champaign.

Control point design using modular logic,

Mode of access: Internet.

A modular microprogrammed computer with concurrent decentralized control.

"Supported in part by the National Science Foundation under Grant no. US NSF GJ-36265."