Transreal limits expose category errors in IEEE 754 floating-point arithmetic and in mathematics

The IEEE 754 standard for oating-point arithmetic is widely used in computing. It is based on real arithmetic and is made total by adding both a positive and a negative infinity, a negative zero, and many Not-a-Number (NaN) states. The IEEE infinities are said to have the behaviour of limits. Transreal arithmetic is total. It also has a positive and a negative infinity but no negative zero, and it has a single, unordered number, nullity. We elucidate the transreal tangent and extend real limits to transreal limits. Arguing from this firm foundation, we maintain that there are three category errors in the IEEE 754 standard. Firstly the claim that IEEE infinities are limits of real arithmetic confuses limiting processes with arithmetic. Secondly a defence of IEEE negative zero confuses the limit of a function with the value of a function. Thirdly the definition of IEEE NaNs confuses undefined with unordered. Furthermore we prove that the tangent function, with the infinities given by geometrical con- struction, has a period of an entire rotation, not half a rotation as is commonly understood. This illustrates a category error, confusing the limit with the value of a function, in an important area of applied mathe- matics { trigonometry. We brie y consider the wider implications of this category error. Another paper proposes transreal arithmetic as a basis for floating- point arithmetic; here we take the profound step of proposing transreal arithmetic as a replacement for real arithmetic to remove the possibility of certain category errors in mathematics. Thus we propose both theo- retical and practical advantages of transmathematics. In particular we argue that implementing transreal analysis in trans- floating-point arith- metic would extend the coverage, accuracy and reliability of almost all computer programs that exploit real analysis { essentially all programs in science and engineering and many in finance, medicine and other socially beneficial applications.

Facts, scope, style: a guide to writing papers for IEEE transactions on consumer electronics

In a previous article, I wrote a brief piece on how to enhance papers that have been published at one of the IEEE Consumer Electronics (CE) Society conferences to create papers that can be considered for publishing in IEEE Transactions on Consumer Electronics (T-CE) [1]. Basically, it included some hints and tips to enhance a conference paper into what is required for a full archival journal paper and not fall foul of self-plagiarism. This article focuses on writing original papers specifically for T-CE. After three years as the journal’s editor-in-chief (EiC), a previous eight years on the editorial board, and having reviewed some 4,000 T-CE papers, I decided to write this article to archive and detail for prospective authors what I have learned over this time. Of course, there are numerous articles on writing good papers—some are really useful [2], but they do not address the specific issues of writing for a journal whose topic (scope) is not widely understood or, indeed, is often misunderstood.

Two new species of Pamphobeteus Pocock 1901 (Araneae : Mygalomorphae : Theraphosidae) from Brazil, with a new type of stridulatory organ

Two new species of Pamphobeteus Pocock 1901 are described from Brazil: Pamphobeteus crassifemur sp. nov. and Pamphobeteus grandis sp. nov.; Pamphobeteus nigricolor, formerly described from Colombia, Ecuador and Bolivia, is recorded from Brazil and its distribution in Ecuador and Bolivia is questioned. A new type of stridulatory organ is described from legs III and IV of P. crassifemur sp. nov. The structure consists of spiniform setae. Stridulation occurs when the spider moves the legs III and IV, sometimes while shedding urticating hairs.

Revalidation of Pterinopelma Pocock 1901 with description of a new species and the female of Pterinopelma vitiosum (Keyserling 1891) (Araneae: Theraphosidae: Theraphosinae)

We revalidate the theraphosid genus Pterinopelma Pocock 1901, describe the female of P. vitiosum for first time and Pterinopelma sazimai sp. nov. from Brazil. These two species were included in a matrix with 35 characters and 32 taxa and were analyzed both with all characters having same weight and with implied weights. Searches considering all characters non-additive or some additive were also carried out. The preferred tree, obtained with implied weights, concavity 6 and all characters non-additive shows that Pterinopelma is a monophyletic genus sister to the clade Lasiodora (Vitalius + Nhandu). The presence of denticles on the prolateral inferior male palpal bulb keel is a synapomorphy of the genus.

Tatler (Volume 3 1901)

The Winthrop yearbook was published from 1898 to 2002. It has been known as the Tatler since its inception except for 1904 (Lang Syne) and 1918 (Tatler a la Guerre). No yearbook was published in 1900, 1902, 1903, 1905,1906.

Rede de controle em ambiente hospitalar: um protocolo multiciclos para automação hospitalar sobre IEEE 802.3 com IGMP Snooping

VALENTIM, R. A. M. ; MORAIS, A. H. F. ; SOUZA, V. S. V ; ARAUJO JUNIOR, H. B. ; BRANDAO, G. B. ; GUERREIRO, A. M. G. . Rede de Controle em Ambiente Hospitalar: um protocolo multiciclos para automação hospitalar sobre IEEE 802.3 com IGMP Snooping. Revista Ciência e Tecnologia, v. 11, p. 19, 2009

Análise de desempenho sobre redes IEEE 802.3/PM-AH: protoclo multicilos para automação hospitalar

Com a incorporação de conceitos da automação em ambientes hospitalares surge uma série de novos requisitos pertinentes a área médica. Dentre esses requisitos, um que merece destaque é a necessidade do estabelecimento de uma rede de comunicação segura e eficiente entre os elementos do ambiente hospitalar, visto que, os mesmos encontram-se de maneira distribuída. Nesse sentido, existe uma série de protocolos que podem ser utilizados no estabelecimento dessa rede, dentre os quais, um que merece destaque é o PM-AH (Protocolo Multiciclos para Automação Hospitalar) justamente por ser voltado a automatização de ambientes hospitalares tanto no que diz respeito ao cumprimento dos requisitos impostos nesse tipo de ambiente, como pelo fato de ser projetado para funcionar sobre a tecnologia Ethernet, padrão esse que é comumente utilizado pela rede de dados dos hospitais. Em decorrência disso, o presente trabalho aborda uma análise de desempenho comparativa entre redes PM-AH e puramente Ethernet visando atestar a eficiência do primeiro no que diz respeito ao cumprimento dos requisitos impostos pela automação hospitalar

Participação de mulheres na história da Escola Mista no Pará - 1870/1901

This study aims to problematize the history of mixed schools in Pará, from 1870 to 1901, highlighting women participation that helped to build them. The analytical focus of the research fell on the changes and the continuities of the mixed school in Pará. The object of analysis is the Paraense mixed schools, formed by women. The study also brings out arguments that the mixed school was set up in variable forms, concepts, times and spaces, in an overlapping with the inclusion of women in educational universe, either through education, professionalization or teaching in schools of girls and boys. The documentary sources privileged by the study are: the educational law, the newspapers, the government reports and the journals of education, which were examined in a confrontation between what was said and done. The evidential method helped the documentary reading revealed that, in small lines, the linkages built in the search for clues and signs of Paraense mixed schools was assembled with the participation of women, from the perception that historical knowledge is indirect, conjectural. Evidences indicated that the school for both sexes, legally established in the Province of Grão-Pará in 1870, gave the signals of the junction of girls and boys in school, at a time when the presence of women in education was suggested. Mutations related to the educational organization, with the introduction of mixed school in the following decade had a closer relationship with restrictive settings and more effective integration of women in that school. The inaccuracies of the Republican mixed school have revealed, through winding paths, that signal of contradictions between the modern discourse and conservative practices regarding this school, in communion with the expansion of the mixed school throughout the state, including in groups schools, observing the presence of effective women teachers in the regency of such schools and an expansion of students in relation to the equity between the sexes

Protocolo multiciclos para automação hospitalar sobre Multicast com IEEE 802.3 utilizando

The concepts of the industrial automation are being incorporated in the medical area, in other words, they also pass to be applied in the hospital automation. In this sense, researches have been developed and have usually been approached several of the problems that are pertinent to the processes that can be automated in the hospital environment. Considering that in the automation processes, an imperative factor is the communication, because the systems are usually distributed, the network for data transference becomes itself an important point in these processes. Because this network should be capable to provide the exchange of data and to guarantee the demands that are imposed by the automation process. In this context, this doctorate thesis proposed, specified, analyzed and validated the Multicycles Protocol for Hospital Automation (MP-HA), which is customized to assist the demands in these automation processes, seeking to guarantee the determinism in the communications and to optimize the factor of use of the mean of transmission

Group Sequential Communication (GSC): Especificação e Análise de Desempenho de umMecanismo de Comunicação de Tempo Real Compatível ao Padrão IEEE 802.11/11e Aplicado à Automação Industrial

This thesis proposes the specification and performance analysis of a real-time communication mechanism for IEEE 802.11/11e standard. This approach is called Group Sequential Communication (GSC). The GSC has a better performance for dealing with small data packets when compared to the HCCA mechanism by adopting a decentralized medium access control using a publish/subscribe communication scheme. The main objective of the thesis is the HCCA overhead reduction of the Polling, ACK and QoS Null frames exchanged between the Hybrid Coordinator and the polled stations. The GSC eliminates the polling scheme used by HCCA scheduling algorithm by using a Virtual Token Passing procedure among members of the real-time group to whom a high-priority and sequential access to communication medium is granted. In order to improve the reliability of the mechanism proposed into a noisy channel, it is presented an error recovery scheme called second chance algorithm. This scheme is based on block acknowledgment strategy where there is a possibility of retransmitting when missing real-time messages. Thus, the GSC mechanism maintains the real-time traffic across many IEEE 802.11/11e devices, optimized bandwidth usage and minimal delay variation for data packets in the wireless network. For validation purpose of the communication scheme, the GSC and HCCA mechanisms have been implemented in network simulation software developed in C/C++ and their performance results were compared. The experiments show the efficiency of the GSC mechanism, especially in industrial communication scenarios.

WI-BIO: redes de monitoramento de pacientes em ambientes de automação hospitalar utilizando o padrão IEEE 802.11

The monitoring of patients performed in hospitals is usually done either in a manual or semiautomated way, where the members of the healthcare team must constantly visit the patients to ascertain the health condition in which they are. The adoption of this procedure, however, compromises the quality of the monitoring conducted since the shortage of physical and human resources in hospitals tends to overwhelm members of the healthcare team, preventing them from moving to patients with adequate frequency. Given this, many existing works in the literature specify alternatives aimed at improving this monitoring through the use of wireless networks. In these works, the network is only intended for data traffic generated by medical sensors and there is no possibility of it being allocated for the transmission of data from applications present in existing user stations in the hospital. However, in the case of hospital automation environments, this aspect is a negative point, considering that the data generated in such applications can be directly related to the patient monitoring conducted. Thus, this thesis defines Wi-Bio as a communication protocol aimed at the establishment of IEEE 802.11 networks for patient monitoring, capable of enabling the harmonious coexistence among the traffic generated by medical sensors and user stations. The formal specification and verification of Wi-Bio were made through the design and analysis of Petri net models. Its validation was performed through simulations with the Network Simulator 2 (NS2) tool. The simulations of NS2 were designed to portray a real patient monitoring environment corresponding to a floor of the nursing wards sector of the University Hospital Onofre Lopes (HUOL), located at Natal, Rio Grande do Norte. Moreover, in order to verify the feasibility of Wi-Bio in terms of wireless networks standards prevailing in the market, the testing scenario was also simulated under a perspective in which the network elements used the HCCA access mechanism described in the IEEE 802.11e amendment. The results confirmed the validity of the designed Petri nets and showed that Wi-Bio, in addition to presenting a superior performance compared to HCCA on most items analyzed, was also able to promote efficient integration between the data generated by medical sensors and user applications on the same wireless network

Análise de desempenho de estratégias de retransmissão para o mecanismo HCCA do padrão de redes sem fio IEEE 802.11e

This paper presents the performanee analysis of traffie retransmission algorithms pro¬posed to the HCCA medium aeeess meehanism of IEEE 802.11 e standard applied to industrial environmen1. Due to the nature of this kind of environment, whieh has eleetro¬magnetic interferenee, and the wireless medium of IEEE 802.11 standard, suseeptible to such interferenee, plus the lack of retransmission meehanisms, refers to an impraetieable situation to ensure quality of service for real-time traffic, to whieh the IEEE 802.11 e stan¬dard is proposed and this environment requires. Thus, to solve this problem, this paper proposes a new approach that involves the ereation and evaluation of retransmission al-gorithms in order to ensure a levei of robustness, reliability and quality of serviee to the wireless communication in such environments. Thus, according to this approaeh, if there is a transmission error, the traffie scheduler is able to manage retransmissions to reeo¬ver data 10s1. The evaluation of the proposed approaeh is performed through simulations, where the retransmission algorithms are applied to different seenarios, whieh are abstrae¬tions of an industrial environment, and the results are obtained by using an own-developed network simulator and compared with eaeh other to assess whieh of the algorithms has better performanee in a pre-defined applieation

Modelagem aplicada à análise de desempenho do provedor de serviços de uma rede de automação hospitalar ieee 802.3/pm-ah de tempo real

The incorporate of industrial automation in the medical are requires mechanisms to safety and efficient establishment of communication between biomedical devices. One solution to this problem is the MP-HA (Multicycles Protocol to Hospital Automation) that down a segmented network by beds coordinated by an element called Service Provider. The goal of this work is to model this Service Provider and to do performance analysis of the activities executed by in establishment and maintenance of hospital networks