A topological description of space is given, based on the relation of connection among regions and the property of being limited. A minimal set of 10 constraints is shown to permit definitions of points and of open and closed sets of points and to be characteristic of locally compact T2 spaces. The effect of adding further constraints is investigated, especially those that characterise continua. Finally, the properties of mappings in region-based topology are studied. Not all such (...) mappings correspond to point functions and those that do correspond to continuous functions. (shrink)

Regions-based theories of space aim—among others—to define points in a geometrically appealing way. The most famous definition of this kind is probably due to Whitehead. However, to conclude that the objects defined are points indeed, one should show that they are points of a geometrical or a topological space constructed in a specific way. This paper intends to show how the development of mathematical tools allows showing that Whitehead’s method of extensive abstraction provides a construction of objects that are (...) fundamental building blocks of specific topological spaces. (shrink)

This paper is a continuation of [VAK 01]. The notion of local connection algebra, based on the primitive notions of connection and boundedness, is introduced. It is slightly different but equivalent to Roeper's notion of region-based topology [ROE 97]. The similarity between the local proximity spaces of Leader [LEA 67] and local connection algebras is emphasized. Machinery, analogous to that introduced by Efremovi?c [EFR 51],[EFR 52], Smirnov [SMI 52] and Leader [LEA 67] for proximity and local (...) proximity spaces, is developed. This permits us to give new proximity-type models of local connection algebras, to obtain a representation theorem for such algebras and to give a new shorter proof of the main theorem of Roeper's paper [ROE 97]. Finally, the notion of MVD-algebra is introduced. It is similar to Mormann's notion of enriched Boolean algebra [MOR 98], based on a single mereological relation of interior parthood. It is shown that MVD-algebras are equivalent to local connection algebras. This means that the connection relation and boundedness can be incorporated into one, mereological in nature relation. In this way a formalization of the Whiteheadian theory of space based on a single mereological relation is obtained. (shrink)

Through contact algebras we study theories of mereotopology in a uniform way that clearly separates mereological from topological concepts. We identify and axiomatize an important subclass of closure mereotopologies called unique closure mereotopologies whose models always have orthocomplemented contact algebras , an algebraic counterpart. The notion of MT-representability, a weak form of spatial representability but stronger than topological representability, suffices to prove that spatially representable complete OCAs are pseudocomplemented and satisfy the Stone identity. Within the resulting class of contact algebras (...) the strength of the algebraic complementation delineates two classes of mereotopology according to the key ontological choice between mereological and topological closure operations. All closure operations are defined mereologically if and only if the corresponding contact algebras are uniquely complemented while topological closure operations highly restrict the contact relation but allow not uniquely complemented and nondistributive contact algebras. Each class contains a single ontologically coherent theory that admits discrete models. (shrink)

Due to the advent of deglobalization and regional integration, this article aims to adopt LASSO-based network connectedness to estimate the multiscale tail risk spillover effects of global stock markets. The results show that tail risk varies across frequencies and shocks. In static analysis, the risk is centered mostly on the developed European and North American markets at a low frequency, and regionalization is imposed on the moderate frequency. Moreover, emerging markets could be sources of risk spillover, especially at the (...) highest frequency where there is no absolute risk center. In dynamic analysis, we use rolling window estimation and find that different frequencies identify distinct episodes of shocks, which provides us with the reason for the diverse risk centers at different time scales in static analysis. Our findings provide heterogeneous financial practitioners, regulators, and investors with diverse characteristics of stock markets under multiple time horizons and help them operate their own trading strategies. (shrink)

As one of the most important routing problems in the complex network within a very-large-scale integration circuit, bus routing has become much more challenging when witnessing the advanced technology node enters the deep nanometer era because all bus bits need to be routed with the same routing topology in the context. In particular, the nonuniform routing track configuration and obstacles bring the largest difficulty for maintaining the same topology for all bus bits. In this paper, we first present (...) a track handling technique to unify the nonuniform routing track configuration with obstacles. Then, we formulate the topology-aware single bus routing as an unsplittable flow problem, which is integrated into a negotiation-based global routing to determine the desired routing regions for each bus. A topology-aware track assignment is also presented to allocate the tracks to each segment of buses under the guidance of the global routing result. Finally, a detailed routing scheme is proposed to connect the segments of each bus. We evaluate our routing result with the benchmark suite of the 2018 CAD Contest. Compared with the top-3 state-of-the-art methods, experimental results show that our proposed algorithm achieves the best overall score regarding specified time limitations. (shrink)

The system reachability set is calculated by covering all possible behaviours of the system through a finite number of simulation steps to ensure that the system trajectory stays within a set safety region. In this paper, the theory of the game method is applied to the design of the controller, a very small controller is designed, and good control results are obtained by simulation. The system gradually shows a divergent trend and cannot achieve stable control. A multihop channel reservation (...) Medium Access Control protocol based on a parallel mechanism is proposed. The multihop channel reservation mechanism is proposed based on periodic node sleep, and the node uses the reservation frame to make the reservation of the channel and transmits the data according to the reservation information; the parallel mechanism is used to make the reservation information and data transmission simultaneously. (shrink)

While the classical account of the linear continuum takes it to be a totality of points, which are its ultimate parts, Aristotle conceives of it as continuous and infinitely divisible, without ultimate parts. A formal account of this conception can be given employing a theory of quantification for nonatomic domains and a theory of region-based topology.

Topological relations such as inside, outside, or intersection are ubiquitous to our spatial thinking. Here, we examined how people reason deductively with topological relations between points, lines, and circles in geometric diagrams. We hypothesized in particular that a counterexample search generally underlies this type of reasoning. We first verified that educated adults without specific math training were able to produce correct diagrammatic representations contained in the premisses of an inference. Our first experiment then revealed that subjects who correctly judged an (...) inference as invalid almost always produced a counterexample to support their answer. Noticeably, even if the counterexample always bore a certain level of similarity to the initial diagram, we observed that an object was more likely to be varied between the two drawings if it was present in the conclusion of the inference. Experiments 2 and 3 then directly probed counterexample search. While participants were asked to evaluate a conclusion on the basis of a given diagram and some premisses, we modulated the difficulty of reaching a counterexample from the diagram. Our results indicate that both decreasing the counterexample density and increasing the counterexample distance impaired reasoning performance. Taken together, our results suggest that a search procedure for counterexamples, which proceeds object‐wise, could underlie diagram‐based geometric reasoning. Transposing points, lines, and circles to our spatial environment, the present study may ultimately provide insights on how humans reason about topological relations between positions, paths, and regions. (shrink)

This is the first, out of two papers, devoted to Andrzej Grzegorczyk’s point-free system of topology from Grzegorczyk :228–235, 1960. https://doi.org/10.1007/BF00485101). His system was one of the very first fully fledged axiomatizations of topology based on the notions of region, parthood and separation. Its peculiar and interesting feature is the definition of point, whose intention is to grasp our geometrical intuitions of points as systems of shrinking regions of space. In this part we analyze separation structures (...) and Grzegorczyk structures, and establish their properties which will be useful in the sequel. We prove that in the class of Urysohn spaces with countable chain condition, to every topologically interpreted representative of a point in the sense of Grzegorczyk’s corresponds exactly one point of a space. We also demonstrate that Tychonoff first-countable spaces give rise to complete Grzegorczyk structures. The results established below will be used in the second part devoted to points and topological spaces. (shrink)

It is not only difficult to be a sports expert but also difficult to grow from a sports expert to a sports elite. Professional athletes are often concerned about the differences between an expert and an elite and how to eventually become an elite athlete. To explore the differences in brain neural mechanism between experts and elites in the process of motor behavior and reveal the internal connection between motor performance and brain activity, we collected and analyzed the electroencephalography findings (...) of 14 national archers and 14 provincial archers during aiming and resting states and constructed the EEG brain network of the two archer groups based on weighted phase lag index; the graph theory was used to analyze and compare the network characteristics via local network and global network topologies. The results showed that compared with the expert archers, the elite archers had stronger functional coupling in beta1 and beta2 bands, and the difference was evident in the frontal and central regions; in terms of global characteristics of brain network topology, the average clustering coefficient and global efficiency of elite archers were significantly higher than that of expert archers, and the eigenvector centrality of expert archers was higher; for local characteristics, elite archers had higher local efficient; and the brain network characteristics of expert archers showed a strong correlation with archery performance. This suggests that compared with expert archers, elite archers showed stronger functional coupling, higher integration efficiency of global and local information, and more independent performance in the archery process. These findings reveal the differences in brain electrical network topologies between elite and expert archers in the archery preparation stage, which is expected to provide theoretical reference for further training and promotion of professional athletes. (shrink)

In the first section we briefly describe methodological assumptions of point-free geometry and topology. We also outline history of geometrical theories based on the notion of emph{region}. The second section is devoted to concise presentation of the content of the LLP special issue on point-free theories of space.

Mereotopology is an extension of mereology with some relations of topological nature like contact. An algebraic counterpart of mereotopology is the notion of contact algebra which is a Boolean algebra whose elements are considered to denote spatial regions, extended with a binary relation of contact between regions. Although the language of contact algebra is quite expressive to define many useful mereological relations and mereotopological relations, there are, however, some interesting mereotopological relations which are not definable in it. Such are, for (...) instance, the relation of n-ary contact, internal connectedness and some others. To overcome this disadvantage, we introduce a generalisation of contact algebra, replacing the contact with a binary relation between finite sets of regions and a region, satisfying some formal properties of Tarski consequence relation. The obtained system is called sequent algebra, considered as an algebraic counterpart of a new mereotopology. We develop the topological representation theory for sequent algebras showing in this way certain correspondence between point-free and point-based models of space. As a by-product, we show how one logical relation in nature notion, Tarski consequence relation, may have also certain spatial meaning. (shrink)

Topological indices are quantitative measurements that describe a molecule’s topology and are quantified from the molecule’s graphical representation. The significance of topological indices is linked to their use in QSPR/QSAR modelling as descriptors. Mathematical associations between a particular molecular or biological activity and one or several biochemical and/or molecular structural features are QSPRs and QSARs. In this paper, we give explicit expressions of two recently defined novel ev-degree- and ve-degree-based topological indices of two classes of benzenoid, namely, linear (...) hexagonal chain and hammer-like benzenoid. (shrink)

Undoubtedly the Penrose-Hameroff Orch OR model may be considered as a good theory for describing information processing mechanisms and holistic phenomena in the human brain, but it doesn’t give us satisfactory explanation of human perception. In this work a new approach explaining our perception is introduced, which is in good agreement with Orch OR model and other mainstream science theories such as string theory, loop quantum gravity and holographic principle. It is shown that human perception cannot be explained in the (...) terms of elementary particles and we should introduce new indivisible holistic objects with geometry based on smooth infinitesimal analysis - elastic membranes. The example of such a membrane is our Universe which is an indivisible whole. It is shown that our perception may be considered as the result of elastic oscillations of two dimensional (2D) elastic membranes with closed topology embedded in our bodies. Only one elastic membrane responsible for its perceptions will correspond to the selected organism, but there may be other membranes, even at the cell level. In other words, reality may be considered as the process of time evolution of holistic energetically very weak macro objects - elastic membranes with the geometry based on smooth infinitesimal analysis. An embedded membrane in this multidimensional world will look different for the external and internal observers: from the outside it will look like a material object with smooth infinitesimal geometry, while from the inside our Universe-like space-time fabric. When interacting with elementary particles and other membranes, a membrane will transform their energy into its elastic energy (a new form of energy) - the energy of stretching of the infinitesimal segments. The theory postulates that these elastic deformations will not be observable from the point of view of the internal observer. Heisenberg’s uncertainty principle will work in this physics only from the point of view of the internal observer. For the external observer each embedded elastic membrane may be stretched and even a very small region will become observable. For example, living organisms play the role of internal observers of the Universe, and at the same time they serve as external observers for 2D membranes embedded into our Universe. We can observe our 2D self-membranes through our perceptions, which are encoded in elastic oscillations of the elastic membrane. According to the theory, elastic membranes occupy energetically favorable positions around microtubules involved into Orch OR. The theory not only gives us a really multidimensional holistic picture of reality, but it also provides us with a new method for understanding such phenomena as perception, self-awareness and will. (shrink)

Topological indices are numeric parameters which portray the topology of a subatomic structure. In QSAR/QSPR analysis, topological descriptors play a vital role to examine the topology of a network. An interconnection network is a structure whose components are connected physically according to some pattern. In this paper, an interconnection network, ternary hypertree, which is a structural combination of complete ternary tree and hypertree, is introduced. We have evaluated the topological descriptors grounded on the distances for the ternary hypertree. (...) The analytical expressions for Wiener, different types of Szeged, and Mostar indices are determined. (shrink)

A topological index can be focused on uprising of a chemical structure into a real number. The degree-based topological indices have an active place among all topological indices. These topological descriptors intentionally associate certain physicochemical assets of the corresponding chemical compounds. Graph theory plays a very useful role in such type of research directions. The hex-derived networks have vast applications in computer science, physical sciences, and medical science, and these networks are constructed by hexagonal mesh networks. In this paper, (...) we determined the exact values of vertex-edge-degree-based topological descriptors for hex-derived networks HDN 1 p and HDN 2 p, which are generated by the hexagonal network of dimension p. (shrink)

Objective: Cognitive impairment is a common neurological complication in patients with end-stage renal disease undergoing maintenance hemodialysis. Brain network analysis based on graph theory is a promising tool for studying CI. Therefore, the purpose of this study was to analyze the changes of functional brain networks in patients on MHD with and without CI by using graph theory and further explore the underlying neuropathological mechanism of CI in these patients.Methods: A total of 39 patients on MHD and 25 healthy (...) controls matched for age, sex, and years of education were enrolled in the study. Resting-state functional magnetic resonance imaging and T1-weighted high-resolution anatomical data were obtained, and functional brain networks for each subject were constructed. The brain network parameters at the global and regional levels were calculated, and a one-way analysis of covariance was used to compare the differences across the three groups. The associations between the changed graph-theory parameters and cognitive function scores in patients on MHD were evaluated using Spearman correlation analysis.Results: Compared with HCs, the global parameters [sigma, gamma, and local efficiency ] in both patient groups decreased significantly. The clustering coefficient in patients with CI was significantly lower than that in the other two groups. The regional parameters were significantly lower in the right superior frontal gyrus, dorsolateral and gyrus rectus of patients with CI than those of patients without CI; however the nodal local efficiency in the left amygdala was significantly increased. The global Cp and regional parameters in the three brain regions were significantly correlated with the cognitive function scores.Conclusion: This study confirmed that the topology of the functional brain network was disrupted in patients on MHD with and without CI and the disruption of brain network was more severe in patients with CI. The abnormal brain network parameters are closely related to cognitive function in patients on MHD. (shrink)

A topological index is a numeric quantity related with the chemical composition claiming to correlate the chemical structure with different chemical properties. Topological indices serve to predict physicochemical properties of chemical substance. Among different topological indices, degree-based topological indices would be helpful in investigating the anti-inflammatory activities of certain chemical networks. In the current study, we determine the neighborhood second Zagreb index and the first extended first-order connectivity index for oxide network O X n, silicate network S L n, (...) chain silicate network C S n, and hexagonal network H X n. Also, we determine the neighborhood second Zagreb index and the first extended first-order connectivity index for honeycomb network H C n. (shrink)

The purpose of this paper is to compare the notion of a Grzegorczyk point introduced in [19] (and thoroughly investigated in [3, 14, 16, 18]) to the standard notions of a filter in Boolean algebras and round filter in Boolean contact algebras. In particular, we compare Grzegorczyk points to filters and ultrafilters of atomic and atomless algebras. We also prove how a certain extra axiom influences topological spaces for Grzegorczyk contact algebras. Last but not least, we do not refrain from (...) a philosophical interpretation of the results from the paper. (shrink)

Sierpinski networks are networks of fractal nature having several applications in computer science, music, chemistry, and mathematics. These networks are commonly used in chaos, fractals, recursive sequences, and complex systems. In this article, we compute various connectivity polynomials such as M -polynomial, Zagreb polynomials, and forgotten polynomial of generalized Sierpinski networks S k n and recover some well-known degree-based topological indices from these. We also compute the most general Zagreb index known as α, β -Zagreb index and several other (...) general indices of similar nature for this network. Our results are the natural generalizations of already available results for particular classes of such type of networks. (shrink)

In this paper, I advance an original view of the structure of space called Infinitesimal Gunk. This view says that every region of space can be further divided and some regions have infinitesimal size, where infinitesimals are understood in the framework of Robinson’s nonstandard analysis. This view, I argue, provides a novel reply to the inconsistency arguments proposed by Arntzenius and Russell, which have troubled a more familiar gunky approach. Moreover, it has important advantages over the alternative views these (...) authors suggested. Unlike Arntzenius’s proposal, it does not introduce regions with no interior. It also has a much richer measure theory than Russell’s proposal and does not retreat to mere finite additivity. (shrink)

The aim of this paper is to give new kinds of modal logics suitable for reasoning about regions in discrete spaces. We call them dynamic logics of the region-based theory of discrete spaces. These modal logics are linguistic restrictions of propositional dynamic logic with the global diamond E. Their formulas are equivalent to Boolean combinations of modal formulas like E(A ∧ ⟨α⟩ B) where A and B are Boolean terms and α is a relational term. Examining what we (...) can say about dynamic models when we use formulas to describe them, we successively address the axiomatization/completeness issue and the decidability/complexity issue of our dynamic logics of the region-based theory of discrete spaces. (shrink)

With the expansion of the global air cargo transport system, the operating structure of air cargo has become increasingly separate from passenger counterpart, forming an independent organization model. Despite the Chinese air cargo capacity has grown exponentially in the past, its network is still in its infancy. FedEx and UPS have well-established air cargo networks and have operated effectively on both international and domestic scale; thus, understanding the structure and evolution of their air cargo networks is of a high reference (...) value. In conjunction with the division of US regions from the United States Geological Survey, this paper refers to FedEx and UPS as FEPS and analyzes its topological structure, complexity properties, and air cargo accessibility by using social network analysis and accessibility evaluation methods. The results suggest that the structure of the FEPS air cargo network is in the highly developed states and has the typical “small-world” and “scale-free” network characteristics; the degree centrality values for the nodes in the FEPS network suggest that the network complexity has increased; airports in Memphis, Louisville, Indianapolis, and Ontario are the major hubs with both high centrality values and air cargo accessibility; and the FEPS network presents a unique hub-and-spoke structure compared with the passenger counterpart. (shrink)

최근에 전국 시대의 초 나라 지역에서 발굴된 텍스트는 ‘고대 중국 다시 쓰기’를 추동할 정도로 이 시기 지식인들을 새로운 시각으로 조명할 것을 요구한다. 이 글은 이제까지 전래문헌을 중심으로 추출한 고대 중국 사상사의 서술에서 벗어나 종교적 의례를 위한 서주 시대 청동기 명문에서 전국 시대 초 나라 죽간에 이르기까지 유가 사상과 관계된 고고학적 텍스트를 분석한다. 이러한 분석은 초나라 지역의 지식인들이 과거의 종교적 전통을 계승하면서 지역의 특수성에 기반한, 북쪽 중국과는 다른 유가 사상 전개의 방향성을 제시한다. 과거 주 나라의 조상숭배를 위한 의례에서 樂舞를 통하여 ‘威儀’로 (...) 드러난 덕은 초 나라 지역의 유가적 지식인들에 의하여 내면적 수양의 대상으로 전화하였다. 초 지역의 의례 전문가들(儒)은 이전 시대에 天과 조상에서 확인하여 전할 수 있었던 덕의 개념을 누구라도 수양할 수 있는 대상으로서 보편적 덕성의 개념으로 해석하였다. 주 나라의 이념과 통치가 붕괴된 시기에 과거 종교적 의례의 전통과는 별개로, 철저히 철학적 담론의 주제로서 인간 본성의 회복과 실현에 논의의 초점을 맞추는 맹자와는 달리, 초 나라 지역의 의례 전문가들은 의례 행위 그 자체를 도덕적 수양의 토대로 삼는 유가적 교육을 전개하였다. (shrink)

Mereotopology is that branch of the theory of regions concerned with topological properties such as connectedness. It is usually developed by considering the parthood relation that characterizes the, perhaps non-classical, mereology of Space (or Spacetime, or a substance filling Space or Spacetime) and then considering an extra primitive relation. My preferred choice of mereotopological primitive is interior parthood . This choice will have the advantage that filters may be defined with respect to it, constructing “points”, as Peter Roeper has done (...) (“Region-based topology”, Journal of Philosophical Logic , 26 (1997), 25–309). This paper generalizes Roeper’s result, relying only on mereotopological axioms, not requiring an underlying classical mereology, and not assuming the Axiom of Choice. I call the resulting mathematical system an approximate lattice , because although meets and joins are not assumed they are approximated. Theorems are proven establishing the existence and uniqueness of representations of approximate lattices, in which their members, the regions, are represented by sets of “points” in a topological “space”. (shrink)

A region-based model of physical space is one in which the primitive spatial entities are regions, rather than points, and in which the primitive spatial relations take regions, rather than points, as their relata. Historically, the most intensively investigated region-based models are those whose primitive relations are topological in character; and the study of the topology of physical space from a region-based perspective has come to be called mereotopology. This paper concentrates on a (...) mereotopological formalism originally introduced by Whitehead, which employs a single primitive binary relation C(x, y) (read: "x is in contact with y"). Thus, in this formalism, all topological facts supervene on facts about contact. Because of its potential application to theories of qualitative spatial reasoning, Whitehead's primitive has recently been the subject of scrutiny from within the Artificial Intelligence community. Various results regarding the mereotopology of the Euclidean plane have been obtained, settling such issues as expressive power, axiomatization and the existence of alternative models. The contribution of the present paper is to extend some of these results to the mereotopology of three-dimensional Euclidean space. Specifically, we show that, in a first-order setting where variables range over tame subsets of ℝ³, Whitehead's primitive is maximally expressive for topological relations; and we deduce a corollary constraining the possible region-based models of the space we inhabit. (shrink)

There are many network topology designs that have emerged to fulfill the growing need for networks to provide a robust platform for a wide range of applications like running businesses and managing emergencies. Amongst the most famous network topology designs are star network, mesh network, hexagonal network, honeycomb network, etc. In a star network, a central computer is linked with various terminals and other computers over point-to-point lines. The other computers and terminals are directly connected to the central (...) computer but not to one another. As such, any failure in the central computer will result in a failure of the entire network and computers in star network will not be able to communicate. The star topology design can be represented by a graph where vertices represent the computer nodes and edges represent the links between the computer nodes. In this paper, we study the vertex-edge-based topological descriptor for a newly designed hexagon star network. (shrink)

Topological indices are of incredible significance in the field of graph theory. Convex polytopes play a significant role both in various branches of mathematics and also in applied areas, most notably in linear programming. We have calculated some topological indices such as atom-bond connectivity index, geometric arithmetic index, K-Banhatti indices, and K-hyper-Banhatti indices and modified K-Banhatti indices from some families of convex polytopes through M-polynomials. The M-polynomials of the graphs provide us with a great help to calculate the topological indices (...) of different structures. (shrink)

Poverty alleviation through tourism is an important way for China to achieve targeted poverty alleviation and win the battle of poverty alleviation. As a region with deep poverty and great difficulty in poverty alleviation, whether tourism development has injected key impetus into ethnic minority areas needs to be tested by both qualitative analysis and quantitative measurement. This paper takes eight ethnic provinces in China as an example to conduct an empirical study. Based on the Data Envelopment Analysis -BCC (...) model and Malmquist index, it evaluates the tourism investment and tourism poverty alleviation efficiency of the ethnic regions in the two stages of tourism poverty alleviation, and analyzes them by classification. The results of the study show: The pure technical efficiency in the first stage is relatively high, but the total factor productivity of each region is declining; The pure technical efficiency in the second stage is also relatively high, but the scale efficiency is low, and the change rate of total factor productivity of the provinces in China has increased significantly; The “double high” type includes Guangxi, Inner Mongolia, and Guizhou, and the “double low” type includes Qinghai, Yunnan, Tibet, Xinjiang, and Ningxia. The results of the study generally show that tourism poverty alleviation has brought about the improvement of the living standards of residents and the development of local economy, but the efficiency of tourism poverty alleviation needs to be improved. On this basis, the article puts forward corresponding improvement measures, in order to further help the ethnic minority areas get rid of poverty in a comprehensive way by promoting the efficient and sustainable development of tourism. (shrink)

Farm to school programs are at the vanguard of efforts to create an alternative agrifood system in the United States. Regionally-based, mid-tier food distributors may play an important role in harnessing the potential of farm to school programs to create viable market opportunities for small- and mid-size family farmers, while bringing more locally grown fresh food to school cafeterias. This paper focuses on the perspectives of food distributors. Our findings suggest that the food distributors profiled have the potential to (...) help institutionalize farm to school programs. Notably, their relationships with farmers may be a critical element in expanding the scale and scope of local school food procurement. Their ability to catalyze local school food procurement however, is limited by the structural context in which farm to school programs operate. Specifically, the oppositional school year and agriculture production cycle, and tight food service budget constraints disembed and limit the potential of farm to school programs to decrease the “marketness” of school food procurement and to shift it from a process based largely on price to one that is more territorially embedded. As farm to school programs continue to gain support, regionally-based food distributors that have the meaningful relationships necessary to re-embed the school food service market back into the larger society may be critical to enabling advocates to achieve their goals. (shrink)

Post algebras of order + as a semantic foundation for +-valued predicate calculi were examined in [5]. In this paper Post spaces of order + being a modification of Post spaces of order n2 (cf. Traczyk [8], Dwinger [1], Rasiowa [6]) are introduced and Post fields of order + are defined. A representation theorem for Post algebras of order + as Post fields of sets is proved. Moreover necessary and sufficient conditions for the existence of representations preserving a given set (...) of infinite joins and infinite meets are established and applied to Lindenbaum-Tarski algebras of elementary theories based on +-valued predicate calculi in order to obtain a topological characterization of open theories. (shrink)

Say that space is ‘gunky’ if every part of space has a proper part. Traditional theories of gunk, dating back to the work of Whitehead in the early part of last century, modeled space in the Boolean algebra of regular closed subsets of Euclidean space. More recently a complaint was brought against that tradition in Arntzenius and Russell : Lebesgue measure is not even finitely additive over the algebra, and there is no countably additive measure on the algebra. Arntzenius advocated (...) modeling gunk in measure algebras instead—in particular, in the algebra of Borel subsets of Euclidean space, modulo sets of Lebesgue measure zero. But while this algebra carries a natural, countably additive measure, it has some unattractive topological features. In this paper, we show how to construct a model of gunk that has both nice rudimentary measure-theoretic and topological properties. We then show that in modeling gunk in this way we can distinguish between finite dimensions, and that nothing in lost in terms of our ability to identify points as locations in space. (shrink)

This paper examines several intended topological features of the Region Connection Calculus (RCC) and argues that they are either underdetermined by the formal theory or given by the complement axiom. Conditions are identified under which the axioms of RCC are satisfied in topological models under various set restrictions. The results generalise previous results in the literature to non-strict topological models and across possible interpretations of connection. It is shown that the intended interpretation of connection and the alignment of self-connection (...) with topological connection are underdetermined by the axioms of RCC, which suggests that additional axioms are necessary to secure these features. It is also argued that the complement axiom gives RCC models much of their topological structure. In particular, the incompatibility of RCC with interiors is argued to be given by the complement axiom. (shrink)

Several authors have suggested that a more parsimonious and conceptually elegant treatment of everyday mereological and topological reasoning can be obtained by adopting a spatial ontology in which regions, not points, are the primitive entities. This paper challenges this suggestion for mereotopological reasoning in two-dimensional space. Our strategy is to define a mereotopological language together with a familiar, point-based interpretation. It is proposed that, to be practically useful, any alternative region-based spatial ontology must support the same sentences (...) in our language as this familiar interpretation. This proposal has the merit of transforming a vague, open-ended question about ontologies for practical mereotopological reasoning into a precise question in model theory. We show that (a version of) the familiar interpretation is countable and atomic, and therefore prime. We conclude that useful alternative ontologies of the plane are, if anything, less parsimonious than the one which they are supposed to replace. (shrink)

The notion of contact algebra is one of the main tools in the region-based theory of space. It is an extension of Boolean algebra with an additional relation C, called contact. Standard models of contact algebras are topological and are the contact algebras of regular closed sets in a given topological space. In such a contact algebra we add the predicate of internal connectedness with the following meaning—a regular closed set is internally connected if and only if its (...) interior is a connected topological space in the subspace topology. We add also a ternary relation \ meaning that the intersection of the first two arguments is included in the third. In this paper the extension of a Boolean algebra with \, contact and internal connectedness, satisfying certain axioms, is called an extended contact algebra. We prove a representation theorem for extended contact algebras and thus obtain an axiomatization of the theory, consisting of the universal formulas, true in all topological contact algebras with added relations of internal connectedness and \. (shrink)

The topology optimization of computer communication network is studied based on improved genetic algorithm, a network optimization design model based on the establishment of network reliability maximization under given cost constraints, and the corresponding improved GA is proposed. In this method, the corresponding computer communication network cost model and computer communication network reliability model are established through a specific project, and the genetic intelligence algorithm is used to solve the cost model and computer communication network reliability model, (...) respectively. It has been proved that GA can solve the complex problems of computer working environment better, which is 80% higher than the general algorithm, and can select the optimal scheme pertinently. (shrink)

Contact algebra is one of the main tools in region-based theory of space. In it is generalized by dropping the operation Boolean complement. Furthermore we can generalize contact algebra by dropping also the operation meet. Thus we obtain structures, called contact join-semilattices and structures, called distributive contact join-semilattices. We obtain a set-theoretical representation theorem for CJS and a relational representation theorem for DCJS. As corollaries we get also topological representation theorems. We prove that the universal theory of CJS (...) and of DCJS is the same and is decidable. (shrink)

In this paper, an in-depth study of interactive visual communication of network topology through non-line-of-sight congestion control algorithms is conducted to address the real-time routing problem of adapting to dynamic topologies, and a delay-constrained stochastic routing algorithm is proposed to enable packets to reach GB within the delay threshold in the absence of end-to-end delay information while improving network throughput and reducing network resource consumption. The algorithm requires each sending node to select an available relay set based on (...) the location of its neighbor nodes and channel state and computes transfer probabilities for each node in the relay set combining the remaining delay of the packet with the distance from the relay node to GB. Based on the obtained transfer probability and local channel state, the sending node passes the packet to the relay node. The convergence of the algorithm is proved and its performance is verified by simulation. The first part of the algorithm is based on the greedy algorithm to deploy and locate the network flying platform nodes with the goal of efficient coverage of the network flying platform nodes, considering the ground base station services. As the delay on each link varies due to the change of channel state, the source and relay nodes asynchronously update the data generation rate and the pairwise parameters based on the received local information and use the obtained optimal values to pass the packets to GB. (shrink)

On our ordinary representations of space, space is composed of indivisible, dimensionless points; extended regions are understood as infinite sets of points. Region-based theories of space reverse this atomistic picture, by taking as primitive several relations on extended regions, and recovering points as higher-order abstractions from regions. Over the years, such theories have focused almost exclusively on the topological and geometric structure of space. We introduce to region-based theories of space a new primitive binary relation (‘qualitative (...) probability’) that is tied to _measure_. It expresses that one region is _smaller than or equal in size_ to another. Algebraic models of our theory are _separation_ _σ_-_algebras with qualitative probability_: \((\mathbb {B}, \ll, \preceq )\), where \(\mathbb {B}\) is a Boolean _σ_-algebra, ≪ is a separation relation on \(\mathbb {B}\), and ≼ is a qualitative probability on \(\mathbb {B}\). We show that from algebraic models of this kind we can, in an interesting class of cases, recover a compact Hausdorff topology _X_, together with a countably additive measure _μ_ on a _σ_-field of Borel subsets of that topology, and that \((\mathbb {B}, \ll, \preceq )\) is isomorphic to a ‘standard model’ arising out of the pair (_X_, _μ_). It follows from one of our main results that any closed ball in Euclidean space, \(\mathbb {R}^{n}\), together with Lebesgue measure arises in this way from a separation _σ_-algebra with qualitative probability. (shrink)

My enquiry will be within the scope of two suppositions. The first is that Space is continuous, not discrete. The second is that we are to adopt realism about either points or regions or both. That does not, however, preclude a choice of categories—substance or property—for these entities. Thus we could think of either regions or points as properties of the things in those regions or at those points. Alternatively, we could think of regions or points as substances which themselves (...) have properties. (shrink)

The notion of contact algebra is one of the main tools in the region-based theory of space. It is an extension of Boolean algebra with an additional relation C called contact. There are some problems related to the motivation of the operation of Boolean complementation. Because of this operation is dropped and the language of distributive lattices is extended by considering as non-definable primitives the relations of contact, nontangential inclusion and dual contact. It is obtained an axiomatization of (...) the theory consisting of the universal formulas in the language true in all contact algebras. The structures in, satisfying the axioms in question, are called extended distributive contact lattices. In this paper we consider several logics, corresponding to EDCL. We give completeness theorems with respect to both algebraic and topological semantics for these logics. It turns out that they are decidable. (shrink)

In “Topology of Balasaguni’s Kutadgu Bilig: Thinking the Between,” Onur Karamercan focuses on the philosophical dimension of Kutadgu Bilig, a poetic work of Yūsuf Balasaguni, an 11th century Central Asian thinker, poet, and statesman. Karamercan pays special attention to the meaning of betweenness and, in the first step of his argument, discusses the hermeneutic and topological implications of the between, distingushing the dynamic sense of betweenness from a static sense of in-betweenness. He then moves on to analyze Balasaguni’s notion (...) of language, which he interprets as an early critique of the instrumental account of language and, by examining several selected fragments from Kutadgu Bilig, illustrates Balasaguni’s designation of language as an inexhaustible phenomenon. In the process, he also points to the possible parallels between Balasaguni’s and Heidegger’s ideas of language. In the final section of the article, building on his argument, Karamercan thematizes the margins of Turkic languages and of Islamic philosophy, suggesting that they need to be reexamined. He problematizes the very meaning of Asia itself by decentering what he calls “its internal East–West antagonism” and puts forth instead a framework based on in-betweenness reinterpreted from a topological perspective, proposing it as an alternative view which might help us make sense of the hermeneutic neighborhoods of Asian philosophies. (shrink)