924 resultados para Topological Linking
Resumo:
Let a compact Hausdorff space X contain a non-empty perfect subset. If α < β and β is a countable ordinal, then the Banach space Bα (X) of all bounded real-valued functions of Baire class α on X is a proper subspace of the Banach space Bβ (X). In this paper it is shown that: 1. Bα (X) has a representation as C(bα X), where bα X is a compactification of the space P X – the underlying set of X in the Baire topology generated by the Gδ -sets in X. 2. If 1 ≤ α < β ≤ Ω, where Ω is the first uncountable ordinal number, then Bα (X) is uncomplemented as a closed subspace of Bβ (X). These assertions for X = [0, 1] were proved by W. G. Bade [4] and in the case when X contains an uncountable compact metrizable space – by F.K.Dashiell [9]. Our argumentation is one non-metrizable modification of both Bade’s and Dashiell’s methods.
Resumo:
It is shown that the construct of supertopological spaces and continuous maps is topological.
Resumo:
∗ This work was partially supported by the National Foundation for Scientific Researches at the Bulgarian Ministry of Education and Science under contract no. MM-427/94.
Resumo:
This paper discusses the integration of quiz mechanism into digital game-based learning platform addressing environmental and social issues caused by population growth. 50 participants' learning outcomes were compared before and after the session. Semi-structured interview was used to gather participants' viewpoints regarding of issues presented in the game. Phenomenography was used as a methodology for data collection and analysis. Preliminary outcomes have shown that the current game implementation and quiz mechanism can be used to: (1) promote learning and awareness on environmental and social issues and (2) sustain players' attention and engagements.
Resumo:
Visual mental imagery is a process that draws on different cognitive abilities and is affected by the contents of mental images. Several studies have demonstrated that different brain areas subtend the mental imagery of navigational and non-navigational contents. Here, we set out to determine whether there are distinct representations for navigational and geographical images. Specifically, we used a Spatial Compatibility Task (SCT) to assess the mental representation of a familiar navigational space (the campus), a familiar geographical space (the map of Italy) and familiar objects (the clock). Twenty-one participants judged whether the vertical or the horizontal arrangement of items was correct. We found that distinct representational strategies were preferred to solve different categories on the SCT, namely, the horizontal perspective for the campus and the vertical perspective for the clock and the map of Italy. Furthermore, we found significant effects due to individual differences in the vividness of mental images and in preferences for verbal versus visual strategies, which selectively affect the contents of mental images. Our results suggest that imagining a familiar navigational space is somewhat different from imagining a familiar geographical space. © 2014 Elsevier Ireland Ltd.
Resumo:
Митрофан М. Чобан, Петър Ст. Кендеров, Уорън Б. Муурс - Полу-топологична група (съответно, топологична група) е група, снабдена с топология, относно която груповата оперция произведение е частично непрекъсната по всяка от променливите (съответно, непрекъсната по съвкупност от променливите и обратната операция е също непрекъсната). В настоящата работа ние даваме условия, от топологичен характер, една полу-топологична група да е всъщност топологична група. Например, ние показваме, че всяка сепарабелна псевдокомпактна полу-топологична група е топологична група. Показваме също, че всяка локално псевдокомпактна полу-топологична група, чиято групова операция е непрекъсната по съвкупност от променливите е топологична група.
Resumo:
Александър В. Архангелски, Митрофан М. Чобан, Екатерина П. Михайлова - Изследвани са прирасти със свойството на Бер на топологични групи.
Resumo:
The manufacturing industry faces many challenges such as reducing time-to-market and cutting costs. In order to meet these increasing demands, effective methods are need to support the early product development stages by bridging the gap of communicating early design ideas and the evaluation of manufacturing performance. This paper introduces methods of linking design and manufacturing domains using disparate technologies. The combined technologies include knowledge management supporting for product lifecycle management systems, Enterprise Resource Planning (ERP) systems, aggregate process planning systems, workflow management and data exchange formats. A case study has been used to demonstrate the use of these technologies, illustrated by adding manufacturing knowledge to generate alternative early process plan which are in turn used by an ERP system to obtain and optimise a rough-cut capacity plan. Copyright © 2010 Inderscience Enterprises Ltd.
Resumo:
2000 Mathematics Subject Classification: Primary 46H05, 46H20; Secondary 46M20.
Resumo:
Supply chains comprise of complex processes spanning across multiple trading partners. The various operations involved generate large number of events that need to be integrated in order to enable internal and external traceability. Further, provenance of artifacts and agents involved in the supply chain operations is now a key traceability requirement. In this paper we propose a Semantic web/Linked data powered framework for the event based representation and analysis of supply chain activities governed by the EPCIS specification. We specifically show how a new EPCIS event type called "Transformation Event" can be semantically annotated using EEM - The EPCIS Event Model to generate linked data, that can be exploited for internal event based traceability in supply chains involving transformation of products. For integrating provenance with traceability, we propose a mapping from EEM to PROV-O. We exemplify our approach on an abstraction of the production processes that are part of the wine supply chain.
Resumo:
This paper consolidates evidence and material from a range of specialist and disciplinary fields to provide an evidence-based review and synthesis on the design and use of serious games in higher education. Search terms identified 165 papers reporting conceptual and empirical evidence on how learning attributes and game mechanics may be planned, designed and implemented by university teachers interested in using games, which are integrated into lesson plans and orchestrated as part of a learning sequence at any scale. The findings outline the potential of classifying the links between learning attributes and game mechanics as a means to scaffold teachers’ understanding of how to perpetuate learning in optimal ways while enhancing the in-game learning experience. The findings of this paper provide a foundation for describing methods, frames and discourse around experiences of design and use of serious games, linked to methodological limitations and recommendations for further research in this area.
Resumo:
The concept of types was introduced by Harsányi[8]. In the literature there are two approaches for formalizing types, type spaces: the purely measurable and the topological models. In the former framework Heifetz and Samet [11] showed that the universal type space exists and later Meier[13] proved that it is complete. In this paper we examine the topological approach and conclude that there is no universal topological type space in the category of topological type spaces.
Resumo:
This research first evaluated levels and type of herbivory experienced by Centrosema virginianum plants in their native habitat and how florivory affected the pollinator activity. I found that populations of C. virginianum in two pine rockland habitat fragments experienced higher herbivory levels (15% and 22%) compared with plants in the protected study site (8.6%). I found that bees (Hymenoptera) pollinated butterfly pea. Furthermore, I found that florivores had a negative effect in the pollinators visitation rates and therefore in the seed set of the population. ^ I then conducted a study using a greenhouse population of C. virginianum. I applied artificial herbivory treatments: control, mild herbivory and severe herbivory. Flower size, pollen produced, ovules produced and seeds produced were negatively affected by herbivory. I did not find difference in nectar volume and quality by flowers among treatments. Surprisingly, severely damaged plants produced flowers with larger pollen than those from mildly damaged and undamaged plants. Results showed that plants tolerated mild and severe herbivory with 6% and 17% reduction of total fitness components, respectively. However, the investment of resources was not equisexual. ^ A comparison in the ability of siring seeds between large and small pollen was necessary to establish the biological consequence of size in pollen performance. I found that fruits produced an average of 18.7 ± 1.52 and 17.7 ± 1.50 from large and small pollen fertilization respectively. These findings supported a pollen number-size trade-off in plants under severe herbivory treatments. As far as I know, this result has not previously been reported. ^ Lastly, I tested how herbivory influenced seed abortion patterns in plants, examining how resources are allocated on different regions within fruits under artificial herbivory treatments. I found that self-fertilized fruits had greater seed abortion rates than cross-fertilized fruits. The proportion of seeds aborted was lower in the middle regions of the fruits in cross-fertilized fruits, producing more vigorous progeny. Self-fertilized fruits did not show patterns of seedling vigor. I also found that early abortion was higher closer to the peduncular end of the fruits. Position of seeds within fruits could be important in the seed dispersion mechanism characteristic of this species. ^
Resumo:
This article outlines an approach, based on ecosystem services, for assessing the trade-offs inherent in managing humans embedded in ecological systems. Evaluating these trade-offs requires an understanding of the biophysical magnitudes of the changes in ecosystem services that result from human actions, and of the impact of these changes on human welfare. We summarize the state of the art of ecosystem services-based management and the information needs for applying it. Three case studies of Long Term Ecological Research (LTER) sites--coastal, urban, and agricultural-- illustrate the usefulness, information needs, quantification possibilities, and methods for this approach. One example of the application of this approach, with rigorously established service changes and valuations taken from the literature, is used to illustrate the potential for full economic valuation of several agricultural landscape management options, including managing for water quality, biodiversity, and crop productivity.