Part Of Logic Research Articles

Fusing Logical Relationship Information of Text in Neural Network for Text Classification

With the development of computer science and information science, text classification technology has been greatly developed and its application scenarios have been widened. In traditional process of text classification, the existing method will lose much logical relationship information of text. The logical relationship information of a text refers to the relationship information among different logical parts of the text, such as title, abstract, and body. When human beings are reading, they will take title as an important part to remind the central idea of the article, abstract as a brief summary of the content of the article, and body as a detailed description of the article. In most of the text classification studies, researchers concern more about the relationship among words (word frequency, semantics, etc.) and neglect the logical relationship information of text. It will lose information about the relationship among different parts (title, body, etc.) and have an influence on the performance of text classification. Therefore, we propose a text classification algorithm—fusing the logical relationship information of text in neural network (FLRIOTINN), which complements the logical relationship information into text classification algorithms. Experiments show that the effect of FLRIOTINN is better than the conventional backpropagation neural networks which does not consider the logical relationship information of text.

Saldos de la reforma educativa en México, nuevas regulaciones de la gestión y el trabajo docente en educación básica

En 2013, se implementó una política gubernamental de Reforma Educativa en la educación básica mexicana con el objetivo de darle a los niños y jóvenes maestros más preparados, escuelas bien construidas y equipadas, y además la posibilidad de seguir estudiando más y mejor. Al cierre del gobierno que puso en marcha la Reforma, es pertinente hacer una revisión de los saldos que deja la implementación de esta política en la gestión y el desarrollo del trabajo docente en los maestros de educación básica pública. Las formulaciones políticas de innovación y cambio en la educación y el trabajo de los docentes en México, descritas en esta reforma, se inscriben en la lógica internacional que ha ido generando una nueva definición de las relaciones entre la escuela y la sociedad. Estas políticas no sólo implican la existencia de nuevos marcos legales y lineamientos de actuación, sino que instituyen un programa político e ideológico que ha establecido una nueva orientación, objetivos y voluntad en la sociedad. Las nuevas regulaciones de la gestión y práctica de la docencia pública vinculan la política, cultura, economía y el Estado, a través de pautas que cubren los ámbitos de la cotidianidad educativa y el accionar de los sujetos inmersos en este ámbito desde la gestión y organización administrativa, académica y de contenidos, hasta la reconfiguración del sentido de la docencia desde una visión enfocada en la eficacia y eficiencia racionalista. En el presente artículo se presentan de manera exploratoria, los saldos en materia laboral y de sentido de la docencia pública, a partir de la implementación de la Reforma Educativa.

Confession and Hope: Ekklesia’s Task in the Global Emergency

Humanity is currently faced with deadly dangers that could bring about the breakdown of civilization, and even the end of human life on earth in short order. The Marxist and Green thinker Rudolf Bahro spoke of a ‘logic of salvation’, which involved a return to the idea of God. Ekklesia arose as a witness to such a logic of salvation. It can be understood as a social movement, that sketches out a prefigurative politics that can then be realised. The contemporary church needs to recover this understanding, adopting climate change as a confessional issue that defines its common life. This could be part of a practical logic of salvation.

A comparative analysis of the aims of school sport in Spain and France from the point of view of the organization and its actors

ABSTRACTSchool sport structure is different in each European Union country according to in-school physical education and federated sport connections. This study compares the perceptions of the actors about the aims of two school sport programmes in France and Spain. Based on the theory of organised action, it clarifies the educational action logic taking into account the actors and systems involved from an international social approach using a qualitative methodology.Results show that the actors of school sport perceive it differently, and are part of the predominant educational action logic of each country, in coherence with the national normative framework. In Spain there is a strong link with the sport system, while in France it is with the education system, and the different perceptions of the school are very revealing. In conclusion, transnational implications are highlighted that may contribute to conceiving new school sport policies in the framework of the European Union.

Inclusión Educativa: aproximación biopolítica en clave de bicentenario

Resumen: Se pregunta por las relaciones históricas entre educación y sociedad con base en un elemento problemático: la inclusión. Se asume la conmemoración de las independencias americanas para mostrar que las diferentes formas de inclusión educativa del presente deben ser analizadas desde la perspectiva de la forma del poder que las hace posibles y necesarias desde hace ya doscientos años, a saber, el poder liberal. Se recurre teórica y metodológicamente a las nociones de biopolítica y de gubernamentalidad. Se demuestra que la inclusión educativa no es una contingencia altruista del poder sino una condición de posibilidad de su vigencia constante; además, que su inherente obligación de imponer exclusiones y de fomentar inclusiones hace parte de la lógica actual según la cual gobernar también es permitir vivir y facilitar morir.

Family Structure and Farm Organization in the Cotton Zone of Kita (Mali)

This paper characterizes the structure of the family and family farms in the cotton zone of West Mali (Circle of Kita) using primary data from the survey of the Interuniversity Target Project (PIC) of the Mande Bukari University of Bamako (UMB), the Free University of Brussels (ULB) and the University Foundation Notre Dame de Paix de Namur (FUNDP). The study covered 211 households, with a study population of 3010 people in 18 villages surveyed, and the average family size was 11 people. The analysis of family structure shows that there are three types of families, namely the extended family, the mixed family and the nuclear family. This typology is strongly related to the organization of the farm. The results show that famsily breakups in the Kita area are moderate because most members of the concession live together in the same spatial unit under the authority of a main head of household. In addition, there are two types of family farms, collective and individual farms. The majority of collective plots (86.43%) were inherited upon the death of the father or former head of the family. Land loan transactions are part of a traditional solidarity logic and not a land rental market as we know it in developed countries. The practice of individual farms is a growing phenomenon in the area, which have been granted by the head of the family to 96.89% of the members living in the concession, thus demonstrating the local character of the land loan market.

ATLAS Level-1 Endcap Muon Trigger for Run 3

The Large Hadron Collider is expected to operate with a centre-ofmass energy of 14 TeV and an instantaneous luminosity of 2.0 1034 cm−2s−1 for Run 3 scheduled from 2021 to 2024. In order to cope with the high event rate, an upgrade of the ATLAS trigger system is required. The level-1 endcap muon trigger system identifies muons with high transverse momentum by combining data from fast muon trigger detectors, called Thin Gap Chambers on the Big Wheel. Inner muon detectors (the Small Wheel and the Tile Calorimeter) coincidence was introduced to reduce fake muon contamination. In the ongoing Phase-1 upgrade the present Small Wheel is replaced with the New Small Wheel and additional Resistive Plate Chambers are installed in the inner region of the ATLAS muon spectrometer for the endcap muon trigger. Precision track information from the new detectors can be used as part of the muon trigger logic to enhance the performance significantly. The trigger processor board, Sector Logic, has been upgraded to handle the additional data from the new detectors. The new Sector Logic board has a modern FPGA to make use of Multi-Gigabit transceiver technology, which is used to receive data from the new detectors. The readout system for trigger data has also been re-designed to minimize the use of custom electronics and instead use commercial computers and network switches, by using TCP/IP for the data transfer. The new readout system uses a software-based data-handling. This paper describes the development of the level-1 endcap muon trigger and its readout system for Run 3.

The anthropological model (καλὸς κἀγαθός) in the Platonic dialogue Charmides

In this study we investigate the extract 154b8–156c9 from the introductory chapters of the Platonic dialogue Charmides so that to examine how the terms of Aesthetics are formed, which focuses on the selfhood and makes it the core of dialectics. Specifically, we structure our study in two chapters each of which includes two subchapters. In the first subchapter we focus on the soul, which in the Platonic text appears to be the criterion for moral perfectness. In the second subchapter, which systematizes the former, we show how Socrates contrives to do the transition from subjective judgments to logical propositions and the terms of the authentic Aesthetics. In the third subchapter, paying attention to the first communication between Socrates and Charmides, we discuss how the Athenian philosopher sets beauty within its true boundaries and activates the logical part of the soul. In the fourth subchapter, we follow the introduction in dialectics, which will lead anyone involved in truth. The main contribution of our study is that we show how in this dialogue Plato succeeds to go from vulgar hedonism to the beauty of the soul, which is a requirement for the inner transformation of selfhood.

APPLIED PROGRAM FOR MODELING THE ENERGY EFFICIENCY OF INDUSTRIAL HYDRAULIC DRIVE SYSTEM

The software for modeling of energy efficiency level of industrial hydraulic drive systems with different levels of complexity of system logic is developed. A generalized structure of industrial hydraulic drive systems with a large number of actuators is proposed. This was done to determine the energy efficiency of the system by modeling its operation during a single operation cycle and throughout its lifetime. For this purpose, the system was divided into functional and logical parts. The program implementation of the logical level of the system with the division into the levels of complexity of the implementation of the hydraulic system algorithm is performed. It is possible to introduce the functional characteristics of each actuator in different ways: simplified representation by introducing the power and duration of the forward and reverse actions of technological operations; choice of standard executive devices of world manufacturers with characteristics of actuators by default; complete introduction of the basic constructive and operational characteristics of each actuator of the hydraulic system. It is proposed to introduce a logical component of the system of all levels of complexity in the form of text sequences based on the developed coding system. It is intended to obtain as a result of the simulation of the hydraulic system dynamic visualization of the actuators of the system, cyclogram of the actuators, the diagram of the change of the working pressure and the flow rate of the working fluid for a single cycle of the system operation, the diagram of the useful power and integral estimates of the level of energy consumption of the system.

La soledad del Contador Público: una aproximación reflexiva y vivencial desde el miedo y el agotamiento

Este ensayo da unos trazos de cómo el contador público, siendo parte de la lógica racional instrumental del capitalismo, termina envuelto en un régimen de soledad y aislamiento. Se pretendió este fin a partir del desarrollo reflexivo de las categorías de miedo, individualismo y cansancio, las cuales fueron abordadas de manera crítica a partir de vivencias propias como estudiante y trabajador del campo contable. Se subraya que no solo el contador es un explotado/explotador dentro del régimen, sino que también propaga que otros sean explotados/explotadores de sí mismos. La categoría de «miedo» desemboca en competencia, y el individualismo en «agotamiento», lo que llevará a la mínima socialización del ser humano a partir de la máxima socialización del trabajo. Concluyo con una invitación a no permanecer dócilmente en la lógica individualista y solitaria fruto de las relaciones sociales del capitalismo, sino a buscar la libertad a partir de la fraternidad.

The Relevance of Information Security Policy in the Logical Part of the Company

The objective of this research is to analyze the relevance of the information security policy in the logical part of the company. It will be used data obtained from research conducted within various companies, which demonstrate the level of knowledge of employees and some wrong measures they taken which ended up harming the company. It will be possible to check not only the weight that an information policy has within any economic sector, but also to point out which areas of the company are most prone to data loss/theft. One of the most valuable assets in any business, is information, that is, data that is generated through trades made, revenue generated, productivity, etc., and however small the information seems, to the market it can be extremely relevant and the leakage of this information, due to a failure or lack of security, can lead to the bankruptcy of a company.

Method of automated synthesis of the logic part of relay protection device which increases its sensitivity

Often there are such modes of operation in the electric power systems where standard methods of relay protection and automation become insufficiently effective. For example, such modes are typical for electric networks with distributed generation and renewable energy sources. Today, the task of developing new digital relay protection methods, that have high technical excellence and fully comply with the requirements of IEC 61850, is relevant. A method of organizing the logical part of multiparameter relay protection is proposed, which improves its sensitivity. The method is based on the criterion of minimizing the average risk of decision making and solving the task of abstract synthesis of automata theory. The application of the proposed method is considered on the example of multidimensional relay protection with five measuring fault detectors and the implementation of simulation models in the Matlab/Similink software package.

Increase the Resistance of Digital Television to Interference

The development of the principle of redundant information in the data stream of a digital television system is proposed.The proposal is focused on future television systems and its essence consists in processing the bitstream using methods that originally existed in analog, discrete-analog form, and then in the form of digital filtering. To do this, redundancy is introduced into the data stream, which allows us to switch from the bitstream to its vector representation. A criterion for detecting a logical vector of a signal is proposed — it is a level that divides the detection field into two areas: the detection area of logical zero and the detection area of logical units. The width of each region takes into account the probability of a logical unit and zero, respectively. The work also proposed models of coding and decoding blocks, which were tested by modeling by the criterion with the same probabilities of occurrence of unity and zero. Simulation for two variants of the development of the principle of redundancy is performed. In the first embodiment, redundancy was introduced by fivefold transmission of the same information bit. On the receiving side, bit information was detected and converted to an analog vector. Depending on the length of the vector, a decision was made to detect and decode the received information bit.In the second case, on the transmitting side, each information bit was encoded with a five-digit Barker code. In this case, the value of logical 1 was converted into a logical vector containing a direct Barker code, and the value of logical 0 was formed as an inverse Barker code.On the receiver side, as in the first case, bit information was detected, logical data was converted into an analog vector, and the vector was convoluted with the reference sequence in the form of components +1 and -1, which corresponds to the deployed Barker code. The obtained value of the correlation impulse in accordance with the detection criterion was converted into informational logical 0 or 1 of the received data stream.The advantage of the proposed principle of redundancy of information is that the implementation is feasible without interference with the radio blocks. Accordingly, the expansion of the signal spectrum is not observed. It is noted that implementation is possible without loss of transmission speed in the presence of 5 dedicated carriers (subcarriers). When transmitting within a single carrier, the image volume must be correspondingly reduced, or the transmission speed will have to be reduced by 5 times.The simulation was performed for the case of broadcasting using the MATLAB system.The method is not involved in radio signal but operating only before transmitting and after receiving and detecting logic part. One permits a simple realization both programmable and programmable-apparatus version.

On‐board multi‐lane parallel MLVDS bus design for in‐orbit embedded satellite test device

The traditional satellite prognostic and health management (PHM) mostly relies on the satellite downlink telemetry data. Nowadays, the application of satellite becomes more diversification and its function becomes much more complicated. As a result, the telemetry data cannot meet the data requirements for satellite PHM due to the limited resources of telemetry channels and low sampling rate. Therefore, satellite in-orbit embedded testing was proposed. In order to satisfy the requirement of large volumes of data acquisition and transmission in satellite in-orbit embedded testing, this article proposes a new data agreement by the modification of the Modbus protocol to unified control 5-lane MLVDS bus. Therefore, a multi-channel parallel MLVDS data transmission bus is proposed to realise the data transmission from the data collection end to the information processing end of the PHM system on-board. The bus protocol designed here is implemented by using the Programmable Logic Part on the Xilinx XC7Z045.

Analysis of the Recomposition of Norms and Representations in the Field of Psychiatry and Mental Health in the Age of Electronic Mental Health: Qualitative Study.

BackgroundFor the World Health Organization, electronic health (eHealth) is seen as an effective way to improve therapeutic practices and disease prevention in health. Digital tools lead to major changes in the field of mental medicine, but specific analyses are required to understand and accompany these changes.ObjectiveOur objective was to highlight the positions of the different stakeholders of the mental health care system on eHealth services and tools, as well as to establish professional and user group profiles of these positions and the uses of these services.MethodsIn order to acquire the opinions and expectations of different categories of people, we carried out a qualitative study based on 10 focus groups (n=70, from 3-12 people per group) composed of: general practitioners, psychiatrists, psychologists, social workers, occupational therapists, nurses, caregivers, mental health services users, user representatives, and the general public. The analyses of focus group discussions were performed independently by four investigators through a common analysis grid. The constant comparative method was adopted within this framework.ResultsThe interviewees expressed different problems that new technologies engender in the field of mental health. What was previously strictly under the jurisdiction of physicians now tends to be fragmented and distributed over different groups and locations. New technologies reposition care in the field of domestic, rather than therapeutic, activities, and thus the conception of care as an autonomous activity in the subject’s life is questioned. The ideal of social autonomy through technology is part of the new logic of health democracy and empowerment, which is linked to a strong, contemporary aspiration to perform. Participants emphasized that there was the potential risk of a decrease in autonomy for the digitally engaged patient, while personal empowerment could become a set of obligations.ConclusionsThis qualitative research highlights the heterogeneity of opinions among the groups and within each group. It suggests that opinions on electronic mental health devices are still far from being stabilized, and that a change management process should be set up to both regulate the development and facilitate the use of these tools.

Ubiquitous Computing and the Internet of Things: Socio-Economic Transformation and Regulation (Book Review: Ubiquitous Computing and the Internet of Things: Prerequisites for the Development of ICT [Electronic resource] / ed. by E. G. Popkova. – Cham : Springer Science + Business Media, 2019. – (Studies in Computational Intelligence ; vol. 826))

In fact, the paper is a review of the book “Ubiquitous Computing and the Internet of Things: Prerequisites for the Development of ICT”. At the same time, a brief description of the main problematic issues covered by the corporate authors consisting of the representatives of various branches of science is given. The book contains the best research materials on the results of several scientific events organized and conducted by the Institute of Scientific Communication (Volgograd, Russia) together with the leading Universities of the Volgograd region. The authors of the joint monograph are more than 700 scientists from different cities of Russia. Out of 3000 applications, 157 advanced scientific developments in the field of prerequisites of formation, processes of formation, transformations, as well as the legal support of the social institutions in demand in the context of the development of the concept of digital modernization – the Internet of things – were selected. The book is intended for a wide target audience, which consists of scientists of different generations, different disciplinary and sectoral (within the same science) affiliation. Among them are young researchers (students, graduate students), as well as scientists who have already received recognition from the world scientific community (professors and teachers of universities), studying the socio-economic and managerial-legal consequences of the emergence and spread of digital technologies, including the Internet of things. In addition, the readers can be all individuals and legal entities who are interested in the development of the information society, information and telecommunication and digital technologies. The materials are structured in four logical parts. The first part is devoted to the study of the essence of the process of institutionalization and legal regulation of the information society. In the second part the digital economy is analyzed in the context of the economy sectors. The third part deals with the promising investment and innovation projects in entrepreneurship in the context of its digital modernization. In the fourth part the features of the state and corporate regulation, infrastructure support and maintenance of business security, developing on the basis of the Internet of things, are studied.

Trabalho escravo e trabalho livre: os libertos ocupados nos serviços domésticos no Recife oitocentista

Este estudo evidencia as relações sociais e de trabalho entre os forros engajados nos serviços domésticos, seus ex-proprietários e os demais trabalhadores das famílias recifenses oitocentistas. Essas relações sofreram influências das diferentes conjunturas advindas da política emancipacionista do Estado imperial e da crise do escravismo na segunda metade do século XIX. Fundamentadas no paternalismo, elas produziam libertos dependentes e continuavam a exploração e o controle, tradicionalmente ligados ao trabalho escravo, sobre os mesmos. Por outro lado, essas relações não eram apenas ditadas pelo paternalismo e peladomesticidade. Criadas e amas, em especial as forras e livres, conseguiam gozar de mais e menos autonomia e inseriam-se na lógica contratual do trabalho, inclusive demandando judicialmente o pagamento de salários não pagos.

CSE_E 1.0: An Integrated Automated Theorem Prover for First-Order Logic

First-order logic is an important part of mathematical logic, and automated theorem proving is an interdisciplinary field of mathematics and computer science. The paper presents an automated theorem prover for first-order logic, called C S E _ E 1.0, which is a combination of two provers contradiction separation extension (CSE) and E, where CSE is based on the recently-introduced multi-clause standard contradiction separation (S-CS) calculus for first-order logic and E is the well-known equational theorem prover for first-order logic based on superposition and rewriting. The motivation of the combined prover C S E _ E 1.0 is to (1) evaluate the capability, applicability and generality of C S E _ E , and (2) take advantage of novel multi-clause S-CS dynamic deduction of CSE and mature equality handling of E to solve more and harder problems. In contrast to other improvements of E, C S E _ E 1.0 optimizes E mainly from the inference mechanism aspect. The focus of the present work is given to the description of C S E _ E including its S-CS rule, heuristic strategies, and the S-CS dynamic deduction algorithm for implementation. In terms of combination, in order not to lose the capability of E and use C S E _ E to solve some hard problems which are unsolved by E, C S E _ E 1.0 schedules the running of the two provers in time. It runs plain E first, and if E does not find a proof, it runs plain CSE, then if it does not find a proof, some clauses inferred in the CSE run as lemmas are added to the original clause set and the combined clause set handed back to E for further proof search. C S E _ E 1.0 is evaluated through benchmarks, e.g., CASC-26 (2017) and CASC-J9 (2018) competition problems (FOFdivision). Experimental results show that C S E _ E 1.0 indeed enhances the performance of E to a certain extent.

Logical (Mental) Part of the Knowledge of the Truth in the Constitutional Court Process

Logical (Mental) Part of the Knowledge of the Truth in the Constitutional Court Process

Extramacrochaetae promotes branch and bouton number via the sequestration of daughterless in the cytoplasm of neurons.

The Class I basic helix-loop-helix (bHLH) proteins are highly conserved transcription factors that are ubiquitously expressed. A wealth of literature on Class I bHLH proteins has shown that these proteins must homodimerize or heterodimerize with tissue-specific HLH proteins in order to bind DNA at E-box consensus sequences to control tissue-specific transcription. Due to its ubiquitous expression, Class I bHLH proteins are also extensively regulated posttranslationally, mostly through dimerization. Previously, we reported that in addition to its role in promoting neurogenesis, the Class I bHLH protein daughterless also functions in mature neurons to restrict axon branching and synapse number. Here, we show that part of the molecular logic that specifies how daughterless functions in neurogenesis is also conserved in neurons. We show that the Type V HLH protein extramacrochaetae (Emc) binds to and represses daughterless function by sequestering daughterless to the cytoplasm. This work provides initial insights into the mechanisms underlying the function of daughterless and Emc in neurons while providing a novel understanding of how Emc functions to restrict daughterless activity within the cell.