Matt Insall | Missouri University of Science and Technology (original) (raw)

Papers by Matt Insall

In an enhanced geothermal system (EGS), fluid is injected into pre-existing fractures to be heate... more In an enhanced geothermal system (EGS), fluid is injected into pre-existing fractures to be heated up and then pumped out for the electricity generation; injected fluid is cold as compared to surrounding bedrock. The rock-fluid temperature difference induces thermal stress along the fracture wall, and the large thermal stress could damage some of the self-propping asperities and result in a change of the topography and lifespan of the fractures. Although fracture sustainability has been extensively studied, the mechanism of asperity damage due to rock-fluid temperature difference remains unknown. We have constructed a finite-element based three-dimensional model, which uses a hemisphere contact pair to resemble a single self-propping asperity, to investigate the effect of temperature difference on the asperity damage. In the model, the rock mechanical properties are coupled with temperature and stress state of the bedrock. Two trends of asperity deformation with temperature effect a...

$Research paper thumbnail of Thermal effect of cold fluid injection on fracture integrity of host rock: a microscale analysis of single asperity$

Geothermics, 2020

When relatively cold fluid is injected to hot host rock featured with fractures, the fluid-rock t... more When relatively cold fluid is injected to hot host rock featured with fractures, the fluid-rock temperature difference induces cooling of the self-propping fractures and could cause the failure of the asperity. Although fracture sustainability has been extensively studied, little research has focused on thermal effects on asperity failure. A finite-element analysis is conducted to investigate the effect of fluid-rock temperature differences on the asperity failure. In the analysis, rock mechanical properties are coupled with the temperature and stress states of the host rock. The thermally-induced tensile cracks initiate at the junction of asperity and rock matrix and also start at rim of contact tip at higher temperature difference. When the temperature difference is high enough to propagate tensile cracks, two groups of tensile cracks would coalesce and lead to asperity failure. The critical threshold to initiate two groups of tensile cracks is identified in this study. This asperity failure could also result in the closure of fractures and change the fracture network distribution in the rock. Further, the comparison with fracture wall with no asperity addresses the effect of the asperity on the growth pattern of secondary thermal cracks.

Let R be a ring, and let f be a function from R to R We say that f is polynomially expressible pr... more Let R be a ring, and let f be a function from R to R We say that f is polynomially expressible provided that there is a permutation g on the underlying set of R such that the composite function h = g-1ofog is a polynomial function on the ring R

A responsive computing system is a hybrid of real-time, distributed and fault-tolerant systems. I... more A responsive computing system is a hybrid of real-time, distributed and fault-tolerant systems. In such a system, severe consequences will occur if the logical and physical spec ifications of the system are not met. In this paper, we present a logic, Interval Temporal Logic (ITL), to specify responsive computing systems and give a decision procedure to verify properties of the systems at run-time as follows. First, we specify properties of the system using ITL formulas. Next, we collect, at run-time, events and maintain equivalent event histories to represent system execution. Finally, we apply a decision procedure to determine satisfaction of the formulas. The proposed decision procedure is essentially a run-time procedure which makes use of event histories computed during execution to verify properties of the system in the actual operational environment.

ABSTRACT By translating teaching and learning styles into propositional logic, we have establishe... more ABSTRACT By translating teaching and learning styles into propositional logic, we have established the foundational knowledge needed for the development of a "smart" computerized tutoring program. Here, we use set theory to explore the act of learning and, with statements in terms of propositional logic and with diagrams, we construct many different models of teachers and students. It is stressed that programs resulting from any future projects using this concept would seek not to replace human teachers, who are a necessity for society, but to benefit all involved in the world of education. The application of technology to this work would greatly enhance communication between student and teacher, facilitate the student's understanding of material, and give the student more time in an assisted-learning environment without the usual strain on time or resources.

Colloquium Mathematicum, 1998

MR2610906 (2011e:45021) 45L05 (45G10 45Q05 47J06 82B40) Grow, David (1-MST-MS); Insall, Matt (1-M... more MR2610906 (2011e:45021) 45L05 (45G10 45Q05 47J06 82B40) Grow, David (1-MST-MS); Insall, Matt (1-MST-MS) Mathematical analysis of the complete iterative inversion method. I.

Proceedings of First IEEE International Conference on Engineering of Complex Computer Systems. ICECCS'95

A responsive computing system is a hybrid of realtime, distributed and fault-tolerant systems. In... more A responsive computing system is a hybrid of realtime, distributed and fault-tolerant systems. In such a system, severe consequences can occur if the run-tame behavior does not conform to the expected behavior or specifications. In this paper, we present a formal approach to ensure satisfaction of the specifications in the operational environment as follows. First we speci f y behavior of the systems using Interval Temporal Logzc (ITL). Next we give algorithms for trace checking of programs in such systems. Finally, we present a fully distributed run-time evaluation system which causally orders the events of the system during its execution and checks this run-time behavior against its ITL specification. The approach is illustrated using a train-set example.

Topology and its Applications, 2021

Previously, the authors used the insights of Robinson's non-standard analysis as a powerful t... more Previously, the authors used the insights of Robinson's non-standard analysis as a powerful tool to extend and simplify the construction of some compactifications of regular spaces. They now show that any Hausdorff compactification is obtainable with their method.

Colloquium Mathematicum, 1993

Proceedings of the conference Contemporary Mathematics in Kielce 2020, February 24-27 2021, 2021

We generalize the concept of a norm on a vector space to one of a norm on a category. This provid... more We generalize the concept of a norm on a vector space to one of a norm on a category. This provides a unified perspective on many specific matters in many different areas of mathematics like set theory, functional analysis, measure theory, topology, and metric space theory. We will especially address the two last areas in which the monotone-light factorization and, respectively, the Gromov-Hausdorff distance will naturally appear. In our formalization a Schröder-Bernstein property becomes an axiom of a norm which constitutes interesting properties of the categories in question. The proposed concept provides a convenient framework for metrizations.

Journal of the Australian Mathematical Society, 2020

Let ppp be an odd prime. The unary algebra consisting of the dihedral group of order 2p2p2p, acting... more Let ppp be an odd prime. The unary algebra consisting of the dihedral group of order 2p2p2p, acting on itself by left translation, is a minimal congruence lattice representation of mathbbMp+1\mathbb{M}_{p+1}mathbbMp+1.

Topology and its Applications, 2020

IFAC Proceedings Volumes, 1996

Topology and its Applications, 2007

We introduce the notion of a discrepancy function, as an extended real-valued function that assig... more We introduce the notion of a discrepancy function, as an extended real-valued function that assigns to a pair (A, U) of sets a nonnegative extended real number ω(A, U), satisfying specific properties. The pairs (A, U) are certain pairs of sets such that A ⊆ U , and for fixed A, the function ω takes on arbitrarily small nonnegative values as U varies. We present natural examples of discrepancy functions and show how they can be used to define traditional pseudo-metrics, quasimetrics and metrics on hyperspaces of topological spaces and measure spaces.

Nonstandard Analysis for the Working Mathematician, 2015

The intuitive notion of forming a compactification of a topological space is to “attach” new poin... more The intuitive notion of forming a compactification of a topological space is to “attach” new points to a space to “compactify” it. We use equivalence relations on the remote points of an enlargement of a given topological space to produce the new points. Thus, nonstandard methods are shown to unify the various extant approaches to compactification.

ABSTRACT An abstract is not available.

ABSTRACT In this paper ,an ew technique for ensuring run-time satisfaction of properties-sp ecifi... more ABSTRACT In this paper ,an ew technique for ensuring run-time satisfaction of properties-sp ecifically responsiveness property ,as ubset of liveness property ,i nr esponsive systems, is presented. Since whether the run-time behavior of a system is satisfied depends,on the execution (operational) environment, we develop a translation which takes into account the constraints in the operational environment, and generates histories for each process in the system. Thus, every process can uti- lize its history to operationallyevaluate the system behavior and signal errors if its history is vio- lated. Therefore, this technique provides software safety ,h andles error-detection, and ensures run-time satisfaction of responsivenes s property in the operational environment.,To i llustrate this approach a train set example,is presented.

With the rising public and political concern about greener production, there is unrelenting press... more With the rising public and political concern about greener production, there is unrelenting pressure on individual companies to mitigate and abate pollution and adopt cleaner technologies. Governments adopt several types of environmental policies and regulations that are aimed at protecting the environment and encouraging efficient use of natural resources. Instruments such as carbon tax, emission quota and abatement subsidy are being proposed and implemented in several countries. Such policies affect firms’ strategic decision-making such as creating joint ventures, product differentiation, R&D, expansion and outsourcing. This book examines the relationship between firms’ strategic decision making, environmental policies and its resulting effect on society. Each chapter builds a theoretical model in which the market structure is imperfect competition.

Even though most acquisitions take place among manufacturing firms regulated by environmental pol... more Even though most acquisitions take place among manufacturing firms regulated by environmental policies, there are not many studies which model acquisition decisions when such policies are present. In this book chapter, we model acquisition incentives when polluting firms compete in a Cournot oligopoly market. Our result suggests that emission tax can affect acquisition decisions. The exact relationship between emission tax and acquisition (dis)incentives depends on the pollution intensity of the potential acquisition partners. Furthermore our findings suggest that there may be perverse incentive situations, namely cases in which dirtier firms profitably acquire cleaner firms without making use of their cleaner technology.

Topology

Abstract. In On representation spaces, a forthcoming article, José G. Anaya, Félix Capulín, Włodz... more Abstract. In On representation spaces, a forthcoming article, José G. Anaya, Félix Capulín, Włodzimierz J. Charatonik, and Fernando Orozco-Zitli have introduced the representation space C of all continua (up to homeomorphism). Here, we reproduce the argument that it is a topological space, and then we investigate its connectedness properties. Specifically, we show that C has exactly two components, and we demonstrate that the subspace N, consisting of all nondegenerate continua, is itself connected and even path connected. Moreover, we show that there exists a single continuum L such that N is the closure of the class of {L}.