Topological structures of complex belief systems

The concepts of substantive beliefs and derived beliefs are defined, a set of substantive beliefs S like open set and the neighborhood of an element substantive belief. A semantic operation of conjunction is defined with a structure of an Abelian group. Mathematical structures exist such as poset beliefs and join-semilattttice beliefs. A metric space of beliefs and the distance of belief depending on the believer are defined. The concepts of closed and opened ball are defined. S′ is defined as subgroup of the metric space of beliefs Σ and S′ is a totally limited set. The term s is defined (substantive belief) in terms of closing of S′. It is deduced that Σ is paracompact due to Stone's Theorem. The pseudometric space of beliefs is defined to show how the metric of the nonbelieving subject has a topological space like a nonmaterial abstract ideal space formed in the mind of the believing subject, fulfilling the conditions of Kuratowski axioms of closure. To establish patterns of materialization of beliefs we are going to consider that these have defined mathematical structures. This will allow us to understand better cultural processes of text, architecture, norms, and education that are forms or the materialization of an ideology. This materialization is the conversion by means of certain mathematical correspondences, of an abstract set whose elements are beliefs or ideas, in an impure set whose elements are material or energetic. Text is a materialization of ideology.

Reflections on the role and design of online dictionaries for specialised translation

This article is an updated and modified version of a Spanish article published in MonTi 6 (cf. Tarp 2014a). It deals with specialised translation dictionaries. Based on the principles of the function theory, it analyses the different phases and sub-phases of the translation process from a lexicographical perspective and shows that a translation dictionary should be much more than a mere bilingual dictionary if it really pretends to meet its users’ complex needs. Thereafter, it presents a global concept of a translation dictionary which includes various mono- and bilingual components in both language directions. Finally, the article discusses, by means of two concrete online projects, how this concept can be applied on the Internet in order to develop high-quality translation dictionaries with quick access to data that are still more adapted to the needs of each translator.

Paraconsistent Multivalued Logic and Coincidentia Oppositorum: Evaluation with Complex Numbers

Paraconsistent logic admits that the contradiction can be true. Let p be the truth values and P be a proposition. In paraconsistent logic the truth values of contradiction is . This equation has no real roots but admits complex roots . This is the result which leads to develop a multivalued logic to complex truth values. The sum of truth values being isomorphic to the vector of the plane, it is natural to relate the function V to the metric of the vector space R2. We will adopt as valuations the norms of vectors. The main objective of this paper is to establish a theory of truth-value evaluation for paraconsistent logics with the goal of using in analyzing ideological, mythical, religious and mystic belief systems.

Saint Mathew Law and Bonini Paradox in Textual Theory of Complex Models

The mathematical models of the complex reality are texts belonging to a certain literature that is written in a semi-formal language, denominated L(MT) by the authors whose laws linguistic mathematics have been previously defined. This text possesses linguistic entropy that is the reflection of the physical entropy of the processes of real world that said text describes. Through the temperature of information defined by Mandelbrot, the authors begin a text-reality thermodynamic theory that drives to the existence of information attractors, or highly structured point, settling down a heterogeneity of the space text, the same one that of ontologic space, completing the well-known law of Saint Mathew, of the General Theory of Systems and formulated by Margalef saying: “To the one that has more he will be given, and to the one that doesn't have he will even be removed it little that it possesses.

Rigorous design of distillation columns using surrogate models based on Kriging interpolation

The economic design of a distillation column or distillation sequences is a challenging problem that has been addressed by superstructure approaches. However, these methods have not been widely used because they lead to mixed-integer nonlinear programs that are hard to solve, and require complex initialization procedures. In this article, we propose to address this challenging problem by substituting the distillation columns by Kriging-based surrogate models generated via state of the art distillation models. We study different columns with increasing difficulty, and show that it is possible to get accurate Kriging-based surrogate models. The optimization strategy ensures that convergence to a local optimum is guaranteed for numerical noise-free models. For distillation columns (slightly noisy systems), Karush–Kuhn–Tucker optimality conditions cannot be tested directly on the actual model, but still we can guarantee a local minimum in a trust region of the surrogate model that contains the actual local minimum.

Conceptual Modelling of Complex Network Management Systems

Society, as we know it today, is completely dependent on computer networks, Internet and distributed systems, which place at our disposal the necessary services to perform our daily tasks. Moreover, and unconsciously, all services and distributed systems require network management systems. These systems allow us to, in general, maintain, manage, configure, scale, adapt, modify, edit, protect or improve the main distributed systems. Their role is secondary and is unknown and transparent to the users. They provide the necessary support to maintain the distributed systems whose services we use every day. If we don’t consider network management systems during the development stage of main distributed systems, then there could be serious consequences or even total failures in the development of the distributed systems. It is necessary, therefore, to consider the management of the systems within the design of distributed systems and systematize their conception to minimize the impact of the management of networks within the project of distributed systems. In this paper, we present a formalization method of the conceptual modelling for design of a network management system through the use of formal modelling tools, thus allowing from the definition of processes to identify those responsible for these. Finally we will propose a use case to design a conceptual model intrusion detection system in network.

Controversy between curriculum design and curriculum development of online "highly specialized" education in the field of construction

Nowadays, on a global level, the Higher Education System has a complex and broad horizon of curricular tools to use in the teaching and learning process. In addition to these new educational instruments, full of possibilities, we face specific socio-economic conditions that affect in a significantly way the Curriculum Development in certain knowledge areas (areas traditionally built on a methodology based on a physical presence of students in the classroom). Some areas such as Restoration, Rehabilitation or Construction Pathologies, and the construction sector in general, require very defined and particular knowledge that only a small number of experts claim as specialized training. All these aspects condition the teaching methodology performed in a physical classroom at a university campus (the only option used until recent years) and made us consider the integration of online teaching in these areas too. The present work shows the teaching methodology used for the development of two online courses, where we offer distance learning for "highly specialized" formation in the Edification area (an area where traditionally there was only classroom training). At the beginning, both courses were designed by classroom training, but got a really small number of applications due to the specialized topic proposed. Later, we proposed a "Curriculum Redesign" of the contents, offering an online modality, which implied a significant demand both within and outside the university area. A notable feature of this educational experience is the great spectrum opened for attendees of both courses in the online version. This situation improved significantly the "Curriculum Development" for the student and implied an interesting new proposal on the offered contents and materials (what would have been really difficult to get in a face to face classroom). In conclusion, the absence of certain types of specialized contents in the academic university curricula makes essential to raise new methodologies to save the gap in this area through additional training courses as those analyzed in this paper. Thus, our experience opens a debate on the appropriateness of implementing online training in relation to the face to face training in constructive content subjects and, especially, presents a new scheme, not without controversy, for the curriculum design.

A Sequential Algorithm for the Rigorous Design of Thermally Coupled Distillation Sequences

A sequential design method is presented for the design of thermally coupled distillation sequences. The algorithm starts by selecting a set of sequences in the space of basic configurations in which the internal structure of condensers and reboilers is explicitly taken into account and extended with the possibility of including divided wall columns (DWC). This first stage is based on separation tasks (except by the DWCs) and therefore it does not provide an actual sequence of columns. In the second stage the best arrangement in N-1 actual columns is performed taking into account operability and mechanical constraints. Finally, for a set of candidate sequences the algorithm try to reduce the number of total columns by considering Kaibel columns, elimination of transfer blocks or columns with vertical partitions. An example illustrate the different steps of the sequential algorithm.

The Influence of Space Layout, Technology and Teaching Approach on Student Learning: An Architectural Technology Perspective

Some would argue that there is a need for the traditional lecture format to be rethought in favour of a more active approach. However, this must form part of a bipartite strategy, considered in conjunction with the layout of any new space to facilitate alternative learning and teaching methods. With this in mind, this paper begins to examine the impact of the learning environment on the student learning experience, specifically focusing on students studying on the Architectural Technology and Management programme at Ulster University. The aim of this study is two-fold: to increase understanding of the impact of learning space layout, by taking a student centered approach; and to gain an appreciation of how technology can impact upon the learning space. The study forms part of a wider project being undertaken at Ulster University known as the Learning Landscape Transition Project, exploring the relationship between learning, teaching and space layout. Data collection was both qualitative and quantitative, with use of a case study supported by a questionnaire based on attitudinal scaling. A focus group was also used to further analyse the key trends resulting from the questionnaire. The initial results suggest that the learning environment, and the technology within it, can not only play an important part in the overall learning experience of the student, but also assist with preparation for the working environment to be experienced in professional life.

How to measure healthiness in buildings: Experiences in teaching with BIM tools

Introducing teaching about healthy solutions in buildings and BIM has been a challenge for the University of Alicante. Teaching attached to very tighten study plans conditioned the types of methods that could be used in the past. The worldwide situation of crisis that especially reached Spain and the bursting of the housing bubble generated a lack of employment that reached universities where careers related to construction, Architecture and Architectural Technologist, suffered a huge reduction in the number of students enrolled. In the case of the University of Alicante, students’ enrolment for Architectural Technology reached an 80% reduction. The necessity of a reaction against this situation made the teachers be innovative and use the new Bologna adapted study plans to develop new teaching experiences introducing new concepts: people wellbeing in buildings and BIM. Working with healthy solutions in buildings provided new approaches for building design and construction as an alternative to sustainability. For many years sustainability was the concept that applied to housing gave buildings an added value and the possibility of having viability in a very complex scenario. But after lots of experiences, the approved methodologies for obtaining sustainable housing were ambiguous and at the end, investors, designers, constructors and purchasers cannot find real and validated criteria for obtaining an effective sustainable house. It was the moment to work with new ideas and concepts and start facing buildings from the users’ point of view. At the same time the development of new tools, BIM, has opened a wide range of opportunities, innovative and suggestive, that allows simulation and evaluation of many building factors. This paper describes the research in teaching developed by the University of Alicante to adapt the current study plans, introducing work with healthy solutions in buildings and the use of BIM, with the aim of attracting students by improving their future employability. Pilot experiences have been carried out in different subjects based on the work with projects and case studies under an international frame with the cooperation of different European partner universities. The use of BIM tools, introduced in 2014, solved the problems that appeared in some subjects, mainly building construction, and helped with the evaluation of some healthy concepts that presented difficulties until this moment as knowledge acquired by the students was hard to be evaluated. The introduction of BIM tools: Vasari, FormIt, Revit and Light Control among others, allowed the study of precise healthy concepts and provided the students a real understand of how these different parameters can condition a healthy architectural space. The analysis of the results showed a clear acceptance by the students and gave teachers the possibility of opening new research lines. At the same time, working with BIM tools to obtain healthy solutions in building has been a good option to improve students’ employability as building market in Spain is increasing the number of specialists in BIM with a wider knowledge.

A Finite Element Numerical Algorithm for Modelling and Data Fitting in Complex Systems

Numerical modelling methodologies are important by their application to engineering and scientific problems, because there are processes where analytical mathematical expressions cannot be obtained to model them. When the only available information is a set of experimental values for the variables that determine the state of the system, the modelling problem is equivalent to determining the hyper-surface that best fits the data. This paper presents a methodology based on the Galerkin formulation of the finite elements method to obtain representations of relationships that are defined a priori, between a set of variables: y = z(x1, x2,...., xd). These representations are generated from the values of the variables in the experimental data. The approximation, piecewise, is an element of a Sobolev space and has derivatives defined in a general sense into this space. The using of this approach results in the need of inverting a linear system with a structure that allows a fast solver algorithm. The algorithm can be used in a variety of fields, being a multidisciplinary tool. The validity of the methodology is studied considering two real applications: a problem in hydrodynamics and a problem of engineering related to fluids, heat and transport in an energy generation plant. Also a test of the predictive capacity of the methodology is performed using a cross-validation method.

Regulation of lipocalin prostaglandin-D synthase expression by interleukin-1β in human chondrocytes

L'arthrose est une maladie multifactorielle complexe. Parmi les facteurs impliqués dans sa pathogénie, les certains prostaglandines exercent un rôle inflammatoire et d’autres un rôle protecteur. La prostaglandine D2 (PGD2) est bien connue comme une PG anti-inflammatoire, qui est régulée par l’enzyme «Lipocalin prostaglandine D-synthase». Avec l’inflammation de l'arthrose, les chondrocytes essaient de protéger le cartilage en activant certaines voies de récupération dont l'induction du gène L-PGDS. Dans cette étude, nous étudions la voie de signalisation impliquée dans la régulation de l'expression du (L-PGDS) sur les chondrocytes traités avec différents médiateurs inflammatoires. Le but de projet: Nous souhaitons étudier la régulation de la L-PGDS dans le but de concevoir des approches thérapeutiques qui peuvent activer la voie intrinsèque anti-inflammatoire. Méthode et conclusions: In vivo, l'arthrose a été suivie en fonction de l’âge chez la souris ou chirurgicalement suivant une intervention au niveau des genoux de souris. Nous avons confirmé les niveaux d’expression de L-PGDS histologiquement et par immunohistochimie. In vitro, dans les chondrocytes humains qui ont été traités avec différents médiateurs de l'inflammation, nous avons observé une augmentation de l’expression de la L-PGDS dose et temps dépendante. Nous avons montré, in vivo et in vitro que l’inflammation induit une sécrétion chondrocytaire de la L-PGDS dans le milieu extracellulaire. Enfin, nous avons observé la production de différentes isoformes de la L-PGDS en réponse à l'inflammation.

Multinomial goodness-of-fit: large sample tests with survey design correction and exact tests for small samples

A new Stata command called -mgof- is introduced. The command is used to compute distributional tests for discrete (categorical, multinomial) variables. Apart from classic large sample $\chi^2$-approximation tests based on Pearson's $X^2$, the likelihood ratio, or any other statistic from the power-divergence family (Cressie and Read 1984), large sample tests for complex survey designs and exact tests for small samples are supported. The complex survey correction is based on the approach by Rao and Scott (1981) and parallels the survey design correction used for independence tests in -svy:tabulate-. The exact tests are computed using Monte Carlo methods or exhaustive enumeration. An exact Kolmogorov-Smirnov test for discrete data is also provided.

Standardization, certification, maintenance, and dissemination of large scale engineering software systems : a panel discussion held as a part of the Second National Symposium on Computerized Structural Analysis and Design /

Includes bibliographical references

Peer review of a formal verification/design proof methodology : summary of a sub-working-group meeting /

Bibliography: p. 48.