Refactoring pattern matching

Defining functions by pattern matching over the arguments is advantageous for understanding and reasoning, but it tends to expose the implementation of a datatype. Significant effort has been invested in tackling this loss of modularity; however, decoupling patterns from concrete representations while maintaining soundness of reasoning has been a challenge. Inspired by the development of invertible programming, we propose an approach to program refactoring based on a right-invertible language rinv—every function has a right (or pre-) inverse. We show how this new design is able to permit a smooth incremental transition from programs with algebraic datatypes and pattern matching, to ones with proper encapsulation, while maintaining simple and sound reasoning

A critical review of capillary pressure behavior and characterization in fractional-wet reservoirs

Fractional wettability is common in oil and gas reservoirs, resulting in complex fluid distribution and transport phenomena. A precise understanding of capillary pressure behavior and characterization in fractional-wet reservoirs, including the two-phase flow mechanisms within pores and relationship between capillary pressure and saturation in porous media, is significant to enhanced oil recovery strategies. In this paper, an in-depth review of the two-phase flow mechanisms in fractional-wet pores and capillary entry pressures in various displacement processes was conducted. Furthermore, the effects of oil-wet proportion and contact angle on capillary pressure characterization were summarized, highlighting the emergence of similar capillary pressure curves under conditions of low oil-wet proportions. The prediction models for capillary pressure, containing empirical equations and physics-based models were discussed, with the aim of clarifying the most effective prediction methodologies. Finally, the review was finalized by outlining key findings and future directions for both experimental and theoretical studies in the realm of capillary pressure behavior and characterization.Document Type: Invited reviewCited as: Xiao, Y., You, Z., Wang, L., Du, Z. A critical review of capillary pressure behavior and characterization in fractional-wet reservoirs. Capillarity, 2024, 10(1): 12-21. https://doi.org/10.46690/capi.2024.01.0

Combining Syntactic and Semantic Bidirectionalization

Matsuda et al. [2007, ICFP] and Voigtlander [2009, POPL] introduced two techniques that given a source-to-view function provide an update propagation function mapping an original source and an updated view back to an updated source, subject to standard consistency conditions. Being fundamentally different in approach, both techniques have their respective strengths and weaknesses. Here we develop a synthesis of the two techniques to good effect. On the intersection of their applicability domains we achieve more than what a simple union of applying the techniques side by side deliver

Modeling and analysis of high availability techniques in a virtualized system

Availability evaluation of a virtualized system is critical to the wide deployment of cloud computing services. Time-based, prediction-based rejuvenation of virtual machines (VM) and virtual machine monitors, VM failover and live VM migration are common high-availability (HA) techniques in a virtualized system. This paper investigates the effect of combination of these availability techniques on VM availability in a virtualized system where various software and hardware failures may occur. For each combination, we construct analytic models rejuvenation mechanisms to improve VM availability; (2) prediction-based rejuvenation enhances VM availability much more than time-based VM rejuvenation when prediction successful probability is above 70%, regardless failover and/or live VM migration is also deployed; (3) failover mechanism outperforms live VM migration, although they can work together for higher availability of VM. In addition, they can combine with software rejuvenation mechanisms for even higher availability; (4) and time interval setting is critical to a time-based rejuvenation mechanism. These analytic results provide guidelines for deploying and parameter setting of HA techniques in a virtualized system

The hole sealing technology of solid-liquid materials with three pluggings and two injections for gas extraction hole in the coal mine

The sealing quality of the gas extraction holes determines the extracted gas concentration. Based on this, the paper reveals the basic principle of hole sealing by analyzing the gas leakage mechanism of the borehole. The hole sealing technology of solid-liquid materials with three pluggings and two injections for the gas extraction hole is proposed, and the hole sealing device and material are developed. Through testing the granularity distribution of the solid material, as well as the surface tension and contact angle of the slurry, the hole sealing material that can meet the requirements of accessible, sticky, and anti-deformation is selected. The sealing material enters microcracks and bonds coal rock more easily. First, the solid material is injected for hole sealing. Second, the liquid material can be injected repeatedly to maintain a high concentration for holes with poor sealing and gas concentration attenuation in the late stage of gas extraction. Field tests show that the gas concentration of solid material is 1.3 times that of the conventional material after 30 days of sealing. The liquid material injected after the concentration decline enables the gas extraction concentration to be recovered at 85 %