Gravity boiling studies Final report, 1 Sep. 1969 - 31 Dec. 1970

Interacting effect of gravity and size on peak and minimum pool boiling heat fluxe

Conceptual design for spacelab pool boiling experiment

A pool boiling heat transfer experiment to be incorporated with a larger two-phase flow experiment on Spacelab was designed to confirm (or alter) the results of earth-normal gravity experiments which indicate that the hydrodynamic peak and minimum pool boiling heat fluxes vanish at very low gravity. Twelve small sealed test cells containing water, methanol or Freon 113 and cylindrical heaters of various sizes are to be built. Each cell will be subjected to one or more 45 sec tests in which the surface heat flux on the heaters is increased linearly until the surface temperature reaches a limiting value of 500 C. The entire boiling process will be photographed in slow-motion. Boiling curves will be constructed from thermocouple and electric input data, for comparison with the motion picture records. The conduct of the experiment will require no more than a few hours of operator time

Addendum no. 1 to final development report

Pseudo-linearity concept impact on linear filters designed to ease pulse crowding effects at high bit densitie

Interacting Effects of Gravity and Size upon the Peak and Minimum Pool Boiling Heat Fluxes

Mathematical correlation of effects of gravity, size, boiled liquid, pressure, and configuration on peak and minimum boiling heat fluxe

Multifunctional adaptive façade at iba 2013; design studies for an integral energy harvesting façade shading system

As part of the international exhibition ‘Bauausstellung’ IBA 2013 in Hamburg, Germany, architects from KVA MATx team and engineers from Knippers Helbig Advanced Engineering have developed an integral energy harvesting façade shading system for their ‘Softhouse’ project. Its overall concept includes an energy harvesting hybrid textile roof featuring flexible photovoltaics, which contributes to create a micro-climate for the building as a shading roof for the terrace and glass façade. This responsive façade is based on a textile hybrid system, using textile membranes and glass fibre reinforced plastics (GFRP) in an intricate form- and bending-active structure. This paper will discuss the multiple design studies that were undertaken to develop a system that satisfies the, at times, diametrically opposed demands from architecture, building physics, structural engineering and technical approval. Furthermore, detailed information will be given on the design specifications for using GFRP in bending-active elements and the Finite-Element simulation techniques used for the form-finding and structural analysis

Thermal recoil force, telemetry, and the Pioneer anomaly

Precision navigation of spacecraft requires accurate knowledge of small forces, including the recoil force due to anisotropies of thermal radiation emitted by spacecraft systems. We develop a formalism to derive the thermal recoil force from the basic principles of radiative heat exchange and energy-momentum conservation. The thermal power emitted by the spacecraft can be computed from engineering data obtained from flight telemetry, which yields a practical approach to incorporate the thermal recoil force into precision spacecraft navigation. Alternatively, orbit determination can be used to estimate the contribution of the thermal recoil force. We apply this approach to the Pioneer anomaly using a simulated Pioneer 10 Doppler data set.Comment: 10 pages, 3 figures. Published versio

On Real Fluid Flow Over Yawed Circular Cylinders

The equations for both the boundary layer and the outer potential flow over a yawed cylinder can be resolved into equations for the crosswise and spanwise velocity components. These components of the boundary layer are evaluated using Sears’ method, and the separation point is found to be uninfluenced by the yaw angle. The potential-flow solutions for the spanwise and crosswise flows are added together to determine vortex patterns behind the cylinder. The approximate direct dependence of the Strouhal number upon the cosine of the yaw angle and/or the drag coefficient upon the square of the cosine, are verified. Experimental determinations of the Strouhal number and visualization of the flow pattern are consistent with the analysis

New and extended parameterization of the thermodynamic model AIOMFAC: calculation of activity coefficients for organic-inorganic mixtures containing carboxyl, hydroxyl, carbonyl, ether, ester, alkenyl, alkyl, and aromatic functional groups

We present a new and considerably extended parameterization of the thermodynamic activity coefficient model AIOMFAC (Aerosol Inorganic-Organic Mixtures Functional groups Activity Coefficients) at room temperature. AIOMFAC combines a Pitzer-like electrolyte solution model with a UNIFAC-based group-contribution approach and explicitly accounts for interactions between organic functional groups and inorganic ions. Such interactions constitute the salt-effect, may cause liquid-liquid phase separation, and affect the gas-particle partitioning of aerosols. The previous AIOMFAC version was parameterized for alkyl and hydroxyl functional groups of alcohols and polyols. With the goal to describe a wide variety of organic compounds found in atmospheric aerosols, we extend here the parameterization of AIOMFAC to include the functional groups carboxyl, hydroxyl, ketone, aldehyde, ether, ester, alkenyl, alkyl, aromatic carbon-alcohol, and aromatic hydrocarbon. Thermodynamic equilibrium data of organic-inorganic systems from the literature are critically assessed and complemented with new measurements to establish a comprehensive database. The database is used to determine simultaneously the AIOMFAC parameters describing interactions of organic functional groups with the ions H^+, Li^+, Na^+, K^+, NH_(4)^+, Mg^(2+), Ca^(2+), Cl^−, Br^−, NO_(3)^−, HSO_(4)^−, and SO_(4)^(2−). Detailed descriptions of different types of thermodynamic data, such as vapor-liquid, solid-liquid, and liquid-liquid equilibria, and their use for the model parameterization are provided. Issues regarding deficiencies of the database, types and uncertainties of experimental data, and limitations of the model, are discussed. The challenging parameter optimization problem is solved with a novel combination of powerful global minimization algorithms. A number of exemplary calculations for systems containing atmospherically relevant aerosol components are shown. Amongst others, we discuss aqueous mixtures of ammonium sulfate with dicarboxylic acids and with levoglucosan. Overall, the new parameterization of AIOMFAC agrees well with a large number of experimental datasets. However, due to various reasons, for certain mixtures important deviations can occur. The new parameterization makes AIOMFAC a versatile thermodynamic tool. It enables the calculation of activity coefficients of thousands of different organic compounds in organic-inorganic mixtures of numerous components. Models based on AIOMFAC can be used to compute deliquescence relative humidities, liquid-liquid phase separations, and gas-particle partitioning of multicomponent mixtures of relevance for atmospheric chemistry or in other scientific fields

A New Hybrid Debugging Architecture for Eclipse

The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-319-14125-1_11[EN] During many years, print debugging has been the most used method for debugging. Nowadays, however, industrial languages come with a trace debugger that allows programmers to trace computations step by step using breakpoints and state viewers. Almost all modern programming environments include a trace debugger that allows us to inspect the state of a computation in any given point. Nevertheless, this debugging method has been criticized for being completely manual and time-consuming. Other debugging techniques have appeared to solve some of the problems of Trace Debugging, but they suffer from other problems such as scalability. In this work we present a new hybrid debugging technique. It is based on a combination of Trace Debugging, Algorithmic Debugging and Omniscient Debugging to produce a synergy that exploits the best properties and strong points of each technique. We describe the architecture of our hybrid debugger and our implementation that has been integrated into Eclipse as a plugin.This work has been partially supported by the Spanish Ministerio de Economía y Competitividad (Secretaria de Estado de Investigación, Desarrollo e Innovación) under grant TIN2008-06622-003-02 and by the Generalitat Valenciana under grant PROMETEO/2011/052. David Insa was partially supported by the Spanish Ministerio de Educación under FPU grant AP2010-4415.González, J.; Insa Cabrera, D.; Silva Galiana, JF. (2013). A New Hybrid Debugging Architecture for Eclipse. En Logic-Based Program Synthesis and Transformation. Springer. 183-201. doi:10.1007/978-3-319-14125-1_11S183201Swi-prolog (1987). http://www.swi-prolog.org/Netbeans (1999). http://www.netbeans.org/Eclipse (2003). http://www.eclipse.org/Omnicore codeguide (2007). http://www.omnicore.com/en/codeguide.htmBorland JBuilder (2008). http://www.embarcadero.com/products/jbuilder/Sicstus prolog spider ide (2009). https://sicstus.sics.se/spider/Caballero, R.: A Declarative Debugger of Incorrect Answers for Constraint Functional-Logic Programs. In: Proceedings of the 2005 ACM-SIGPLAN Workshop on Curry and Functional Logic Programming (WCFLP 2005), pp. 8–13. ACM Press, New York (2005)Davie, T., Chitil, O.: Hat-delta: One Right Does Make a Wrong. In: Proceedings of the 7th Symposium on Trends in Functional Programming (TFP 2006) (April 2006)Gestwicki, P., Jayaraman, B.: JIVE: Java Interactive Visualization Environment. In: Companion to the 19th Annual ACM-SIGPLAN Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA 2004), pp. 226–228. ACM Press, New York (2004)Giammona, D.: ORACLE ADF - Putting It Together. Technical report, ADF Declarative Debugger Archives (November 2009)Girgis, H., Jayaraman, B.: JavaDD: a Declarative Debugger for Java. Technical report,University at Buffalo (2006)González, F., De Miguel, R., Serrano, S.: Depurador Declarativo de Programas Java. Technical report, Universidad Complutense de Madrid (2006). http://eprints.ucm.es/9114/Hermanns, C., Kuchen, H.: Hybrid Debugging of Java Programs. In: Escalona, M.J., Cordeiro, J., Shishkov, B. (eds.) ICSOFT 2011. CCIS, vol. 303, pp. 91–107. Springer, Heidelberg (2013)Montebello, M., Abela, C.: Design and Implementation of a Backward-In-Time. In: Chaudhri, A.B., Jeckle, M., Rahm, E., Unland, R. (eds.) NODe-WS 2002. LNCS, vol. 2593, pp. 46–58. Springer, Heidelberg (2003)Insa, D., Silva, J.: An Algorithmic Debugger for Java. In: Proceedings of the 26th IEEE International Conference on Software Maintenance (ICSM 2010), pp. 1–6 (2010)Insa, D., Silva, J.: Scaling Up Algorithmic Debugging with Virtual Execution Trees. In: Alpuente, M. (ed.) LOPSTR 2010. LNCS, vol. 6564, pp. 149–163. Springer, Heidelberg (2011)Insa, D., Silva, J.: loops2recursion Java Library (2013). http://www.dsic.upv.es/~jsilva/loops2recursion/Kouh, H.-J., Yoo, W.-H.: The Efficient Debugging System for Locating Logical Errors in Java Programs. In: Kumar, V., Gavrilova, M.L., Kenneth Tan, C.J., L’Ecuyer, P. (eds.) ICCSA 2003. LNCS, vol. 2667, pp. 684–693. Springer, Heidelberg (2003)B. Lewis. Debugging Backwards in Time. Available in the Computing Research Repository 2003, ( http://arxiv.org/abs/cs.SE/0310016 ), cs.SE/0310016Lienhard, A., Gîrba, T., Wang, J.: Practical Object-Oriented Back-in-Time Debugging. In: Vitek, J. (ed.) ECOOP 2008. LNCS, vol. 5142, pp. 592–615. Springer, Heidelberg (2008)S. Microsystems. Java Platform Debugger Architecture - JPDA (2010). http://java.sun.com/javase/technologies/core/toolsapis/jpda/Mirghasemi, S., Barton, J., Petitpierre, C.: Debugging by lastChange. Technical report (2011). http://people.epfl.ch/salman.mirghasemiNilsson, H.: Declarative Debugging for Lazy Functional Languages. PhD thesis, Linköping, Sweden (May 1998)Nilsson, H., Fritzson, P.: Algorithmic Debugging for Lazy Functional Languages. Journal of Functional Programming 4(3), 337–370 (1994)Pothier, G.: Towards Practical Omniscient Debugging. PhD thesis, University of Chile (June 2011)Shapiro, E.: Algorithmic Program Debugging. MIT Press (1982)Silva, J.: A Survey on Algorithmic Debugging Strategies. Advances in Engineering Software 42(11), 976–991 (2011