Integrating runtime assertions with dynamic types: Structuring a derivation from an incomputable specification

An inherent incomputability in the specification of a functional language extension that combines assertions with dynamic type checking is isolated in an explicit derivation from mathematical specifications. The combination of types and assertions (into "dynamic assertion-types" - DATs) is a significant issue since, because the two are congruent means for program correctness, benefit arises from their better integration in contrast to the harm resulting from their unnecessary separation. However, projecting the "set membership" view of assertion-checking into dynamic types results in some incomputable combinations. Refinement of the specification of DAT checking into an implementation by rigorous application of mathematical identities becomes feasible through the addition of a "best-approximate" pseudo-equality that isolates the incomputable component of the specification. This formal treatment leads to an improved, more maintainable outcome with further development potential.

Two way power flow using GTO thyristors

Two-way power flow is nothing new and has been in practical use using line commutated converters for at least 50 years. With these types of converters, reversal of power flow can be achieved by increasing the firing angle of the devices beyond 90 degrees thus producing a negative DC voltage. Line commutated converters have several known disadvantages including: the direct current cannot be reversed, the power factor decreases when the firing angle increases and the harmonics are high on the line current. To tackle the above problems a forced commutated converter can be used. The power factor can be unity and the harmonics can be reduced. Many researchers have used PWM with different control techniques to serve the above purposes. In each converter arm, they used a forced commutated device with an antiparallel diode. Under the rectification mode of operation the current path is preponderantly through the diodes and under the inverter operation the current flows preponderantly through the forced commutated devices. Although their results were encouraging and gave a unity power factor with nearly sinusoidal current, the main disadvantage was that there were difficulties in controlling the power factor when the system is needed to operate at lagging or leading power factor. In this work, a new idea was introduced by connecting two GTOs antiparallel instead of a diode and a GTO. A single phase system using two GTO converters which are connected in series was built. One converter operates as a rectifier and the other converter operates as an inverter. In the case of the inversion mode and in each inverter arm one GTO is operated as a diode simply by switching it always on and the other antiparallel GTO is operated as a normal device to carry the inverter current. In case of the rectification mode, in each arm one GTO is always off and the other GTP is operated as a controlled device. The main advantage is that the system can be operated at lagging or leading power factor.

Some aspects of system design for production management in the rolling-mill industry

Case studies in copper-alloy rolling mill companies showed that existing planning systems suffer from numerous shortcomings. Where computerised systems are in use, these tend to simply emulate older manual systems and still rely heavily on modification by experienced planners on the shopfloor. As the size and number of orders increase, the task of process planners, while seeking to optimise the manufacturing objectives and keep within the production constraints, becomes extremely complicated because of the number of options for mixing or splitting the orders into batches. This thesis develops a modular approach to computerisation of the production management and planning functions. The full functional specification of each module is discussed, together with practical problems associated with their phased implementation. By adapting the Distributed Bill of Material concept from Material Requirements Planning (MRP) philosophy, the production routes generated by the planning system are broken down to identify the rolling stages required. Then to optimise the use of material at each rolling stage, the system generates an optimal cutting pattern using a new algorithm that produces practical solutions to the cutting stock problem. It is shown that the proposed system can be accommodated on a micro-computer, which brings it into the reach of typical companies in the copper-alloy rolling industry, where profit margins are traditionally low and the cost of widespread use of mainframe computers would be prohibitive.

Energy conservation measures on an industrial site

World and UK energy resources and use are reviewed and the role of energy conservation in energy policy identified. In considering various energy conservation measures, a distinction is made between energy intensive and non-intensive industries and also between direct and indirect uses of energy. Particular attention is given to the non-intensive user of energy. Energy use on one such industrial site has been studied to determine the most effective energy saving measures in the short term. Here it is estimated that over 65% of energy is consumed for indirect purposes, mainly for heating and lighting buildings. Emphasis is placed on energy auditing techniques and those energy saving measures requiring greater technical, economic and organisational resources to secure their implementation. Energy auditing techniques include the use of aerial thermography and snow formation surveys to detect heat losses. Qualitative and quantitative interpretations are carried out, but restricted mainly to evaluating building roof heat losses. From the energy auditing exercise, it is confirmed that the intermittent heating of buildings is the largest and most cost effective fuel saving measure. This was implemented on the site and a heat monitoring programme established to verify results. Industrial combined heat and power generation is investigated. A proposal for the site demonstrates that there are several obstacles to its successful implementation. By adopting an alternative financial rationale, a way of overcoming these obstacles is suggested. A useful by-product of the study is the classification of industrial sites according to the nature of industrial energy demand patterns. Finally, energy saving measures implemented on the site are quantlfied using comparative verification methods. Overall fuel savings of 13% are indicated. Cumulative savings in heating fuel amount to 26% over four years although heated area increased by approximately 25%.

Optimizing the radiation pattern of smart antennas using genetic algorithms

This work is directed towards optimizing the radiation pattern of smart antennas using genetic algorithms. The structure of the smart antennas based on Space Division Multiple Access (SDMA) is proposed. It is composed of adaptive antennas, each of which has adjustable weight elements for amplitudes and phases of signals. The corresponding radiation pattern formula available for the utilization of numerical optimization techniques is deduced. Genetic algorithms are applied to search the best phase-amplitude weights or phase-only weights with which the optimal radiation pattern can be achieved. ^ One highlight of this work is the proposed optimal radiation pattern concept and its implementation by genetic algorithms. The results show that genetic algorithms are effective for the true Signal-Interference-Ratio (SIR) design of smart antennas. This means that not only nulls can be put in the directions of the interfering signals but also simultaneously main lobes can be formed in the directions of the desired signals. The optimal radiation pattern of a smart antenna possessing SDMA ability has been achieved. ^ The second highlight is on the weight search by genetic algorithms for the optimal radiation pattern design of antennas having more than one interfering signal. The regular criterion for determining which chromosome should be kept for the next step iteration is modified so as to improve the performance of the genetic algorithm iteration. The results show that the modified criterion can speed up and guarantee the iteration to be convergent. ^ In addition, the comparison between phase-amplitude perturbations and phase-only perturbations for the radiation pattern design of smart antennas are carried out. The effects of parameters used by the genetic algorithm on the optimal radiation pattern design are investigated. Valuable results are obtained. ^

A case study of the assignment of withdrawal codes for reporting dropout in two disciplinary alternative schools

Dropout rates are major issues facing any nation's continued economic and social progress. The seriousness of this issue in the United States is evidenced by the recent legislation of the 2001 No Child Left Behind Act. The purpose of this study was to use the richness of qualitative methodology to analyze inaccuracies in the assignment of withdrawal codes by school administrators in two different disciplinary alternative schools. The primary codes examined were Code 05, any students over the age of 16 who leaves school voluntarily with no intention of returning; Code 15, any PK–12 student who is withdrawn from school due to nonattendance; Code 22, whereabouts unknown; Code 23, no other code can be used to identify the student's reason for leaving school, and Code 26, entering an adult program. ^ The cross-case method was used for this study. The participants were comprised of 19 school personnel and 25 students from two disciplinary alternative schools, designated X and Y, in the Miami-Dade County Public School system, Miami, FL. Data collection procedures included semi-structured interview, observations, field notes, and district documents. With a matrix, these data were analyzed to compare patterns and themes that emerged within both schools. ^ Results indicated that withdrawal codes were assigned inaccurately for two distinct reasons. At School Y, withdrawal codes were inaccurately assigned intentionally to keep the students from returning to a regular school without notification. At School X, withdrawal codes were inaccurately assigned due to lack of ability to properly track students and ascertain the real circumstances for their departure from school. The end result in both cases was that the school systems were not accurately identifying the whereabouts of students. It was recommended that further investigation be conducted to compare the accuracy of reporting dropouts among traditional/regular high schools and disciplinary alternative schools. ^

Composition of a protein-like fluorophore of dissolved organic matter in coastal wetland and estuarine ecosystems

This study demonstrates the compositional heterogeneity of a protein-like fluorescence emission signal (T-peak; excitation/emission maximum at 280/325 nm) of dissolved organic matter (DOM) samples collected from subtropical river and estuarine environments. Natural water samples were collected from the Florida Coastal Everglades ecosystem. The samples were ultrafiltered and excitation–emission fluorescence matrices were obtained. The T-peak intensity correlated positively with N concentration of the ultrafiltered DOM solution (UDON), although, the low correlation coefficient (r2=0.140, p<0.05) suggested the coexistence of proteins with other classes of compounds in the T-peak. As such, the T-peak was unbundled on size exclusion chromatography. The elution curves showed that the T-peak was composed of two compounds with distinct molecular weights (MW) with nominal MWs of about >5×104 (T1) and ∼7.6×103 (T2) and with varying relative abundance among samples. The T1-peak intensity correlated strongly with [UDON] (r2=0.516, p<0.001), while T2-peak did not, which suggested that the T-peak is composed of a mixture of compounds with different chemical structures and ecological roles, namely proteinaceous materials and presumably phenolic moieties in humic-like substances. Natural source of the latter may include polyphenols leached from senescent plant materials, which are important precursors of humic substances. This idea is supported by the fact that polyphenols, such as gallic acid, an important constituent of hydrolysable tannins, and condensed tannins extracted from red mangrove (Rhizophora mangle) leaves exhibited the fluorescence peak in the close vicinity of the T-peak (260/346 and 275/313 nm, respectively). Based on this study the application of the T-peak as a proxy for [DON] in natural waters may have limitations in coastal zones with significant terrestrial DOM input.

A Case Study of the Assignment of Withdrawal Codes for Reporting Dropouts in Two Disciplinary Alternative Schools

This study examined assignment of withdrawal codes by school administrators in two disciplinary alternative schools. Findings revealed: (a) codes were inaccurately assigned intentionally to keep students from returning to a regular school without notification, and (b) administrators improperly tracked students and failed to ascertain students’ reasons for dropping out.

Reporting behaviour change interventions : do the behaviour change technique taxonomy v1, and training in its use, improve the quality of intervention descriptions?

Acknowledgements This research was funded by the MRC via its Methodology Panel: ‘Strengthening evaluation and implementation by specifying components of behaviour change interventions’ Ref: G0901474/1. We thank the participants who took part in the studies that form this research. We also thank Derek Johnston (Emeritus Professor, University of Aberdeen) for his guidance on statistical analyses.

Mesure de la performance dans les organisations de réadaptation en déficience physique

La présente thèse vise à évaluer le degré d’implantation et d’utilisation de systèmes de mesure de la performance (SMP) par les décideurs des organisations de réadaptation et à comprendre les facteurs contextuels ayant influencé leur implantation. Pour ce faire, une étude de cas multiples a été réalisée comprenant deux sources de données: des entrevues individuelles avec des cadres supérieurs des organisations de réadaptation du Québec et des documents organisationnels. Le cadre conceptuel Consolidated Framework for Implementation Research a été utilisé pour guider la collecte et l’analyse des données. Une analyse intra-cas ainsi qu’une analyse inter-cas ont été réalisées. Nos résultats montrent que le niveau de préparation organisationnelle à l’implantation d’un SMP était élevé et que les SMP ont été implantés avec succès et utilisés de plusieurs façons. Les organisations les ont utilisés de façon passive (comme outil d’information), de façon ciblée (pour tenter d’améliorer des domaines sous-performants) et de façon politique (comme outil de négociation auprès des autorités gouvernementales). Cette utilisation diversifiée des SMP est suscitée par l’interaction complexe de facteurs provenant du contexte interne propre à chaque organisation, des caractéristiques du SMP, du processus d’implantation appliqué et du contexte externe dans lequel évoluent ces organisations. Au niveau du contexte interne, l’engagement continu et le leadership de la haute direction ont été décisifs dans l’implantation du SMP de par leur influence sur l’identification du besoin d’un SMP, l’engagement des utilisateurs visés dans le projet, la priorité organisationnelle accordée au SMP ainsi que les ressources octroyées à son implantation, la qualité des communications et le climat d’apprentissage organisationnel. Toutefois, même si certains de ces facteurs, comme les ressources octroyées à l’implantation, la priorité organisationnelle du SMP et le climat d’apprentissage se sont révélés être des barrières à l’implantation, ultimement, ces barrières n’étaient pas suffisamment importantes pour entraver l’utilisation du SMP. Cette étude a également confirmé l’importance des caractéristiques du SMP, particulièrement la perception de qualité et d’utilité de l’information. Cependant, à elles seules, ces caractéristiques sont insuffisantes pour assurer le succès d’implantation. Cette analyse d’implantation a également révélé que, même si le processus d’implantation ne suit pas des étapes formelles, un plan de développement du SMP, la participation et l’engagement des décideurs ainsi que la désignation d’un responsable de projet ont tous facilité son implantation. Cependant, l’absence d’évaluation et de réflexion collective sur le processus d’implantation a limité le potentiel d’apprentissage organisationnel, un prérequis à l’amélioration de la performance. Quant au contexte externe, le soutien d’un organisme externe s’est avéré un facilitateur indispensable pour favoriser l’implantation de SMP par les organisations de réadaptation malgré l’absence de politiques et incitatifs gouvernementaux à cet effet. Cette étude contribue à accroître les connaissances sur les facteurs contextuels ainsi que sur leurs interactions dans l’utilisation d’innovations tels les SMP et confirme l’importance d’aborder l’analyse de l’implantation avec une perspective systémique.

Rabbits, stoats and the predator problem: Why a strong animal rights position need not call for human intervention to protect prey from predators

Animal rights positions face the ‘predator problem’: the suggestion that if the rights of nonhuman animals are to be protected, then we are obliged to interfere in natural ecosystems to protect prey from predators. Generally, rather than embracing this conclusion, animal ethicists have rejected it, basing this objection on a number of different arguments. This paper considers but challenges three such arguments, before defending a fourth possibility. Rejected are Peter Singer’s suggestion that interference will lead to more harm than good, Sue Donaldson and Will Kymlicka’s suggestion that respect for nonhuman sovereignty necessitates non-interference in normal circumstances, and Alasdair Cochrane’s solution based on the claim that predators cannot survive without killing prey. The possibility defended builds upon Tom Regan’s suggestion that predators, as moral patients but not moral agents, cannot violate the rights of their prey, and so the rights of the prey, while they do exist, do not call for intervention. This idea is developed by a consideration of how moral agents can be more or less responsible for a given event, and defended against criticisms offered by thinkers including Alasdair Cochrane and Dale Jamieson.

A comunicação interna numa organização pública

The present study compose an analysis on the process of internal communication at a public organization, built on the survey data originary of administrative conduct, observation on the cultural model of the organization and how the interdepartmental and interpersonal relations shows up. The research, exploratory descriptive kind, had theoretical basis on two knowledge areas Administrative Science and Social Communication and was developed at Instituto do Desenvolvimento Econômico e Meio Ambiente IDEMA, in Rio Grande do Norte. During data collection, were conducted spontaneous and semi structured interviews with directors and coordinators, besides the application of directed questionnaire to functionaries in two unites of the institution. Through the analysis and interpretation of the data, we came to the conclusion that the process of internal communication at a public organization fall in with same challenges of private organizations, but with peculiarities that attracts the scientific look specially, in concern of the attitude assumed by the administrators in the conduction of communication functions inside the organization, the profile of social actor and the communication channels used. Although the organizational communication represents more and more a strategic function, as an administration tool, the point that research gets to shows that in public organizations the communication refrains from administrative purpose and with the major objective of giving publicity to the institutional acts and actions

Aferição das dificuldades/competências na área da Endodontia percepcionadas pelos alunos do 4º e 5º anos da FCS-UFP

Introdução: Com uma consciencialização cada vez maior das populações para a preservação dos dentes naturais, a Endodontia tem assumido uma importância crescente, tendo por objectivo principal a manutenção de dentes funcionais, sem prejudicar a saúde dos pacientes. Estes devem beneficiar de um tratamento segundo o “standard of care”, proporcionado por profissionais competentes. Vários estudos demonstram que a Endodontia é considerada uma área difícil e stressante para os estudantes, exibindo um sentimento de menor confiança na prática clínica, sobretudo no que diz respeito a procedimentos mais complexos, nomeadamente, no tratamento de dentes posteriores. Em 2010, na tentativa de homogeneizar as competências adquiridas pelos Médicos Dentistas (MD), a Associação para a Educação Dentária Europeia (AEDE) definiu critérios para a sua formação pré-graduada, indicando que o MD recém-graduado deve ter adquirido competências e capacidades técnicas que lhe permita começar a sua prática clínica de forma independente. Objectivos: Analisar os conhecimentos adquiridos e as dificuldades sentidas na área da Endodontia pelos alunos do 4º e 5º anos do Mestrado Integrado em Medicina Dentária da Faculdade de Ciências de Saúde (FCS) da Universidade Fernando Pessoa (UFP), fazendo, igualmente, uma abordagem ao ensino ministrado na área da Endodontia face aos resultados obtidos. Materiais e Métodos: Este trabalho está dividido em duas partes: revisão bibliográfica e investigação científica. A revisão bibliográfica do tema engloba o ensino graduado em Medicina Dentária, o uso de isolamento absoluto (IA) na prática clínica de Endodontia, a instrumentação manual versus rotatória, a influência no sucesso do tratamento endodôntico (TE) da sua execução por estudantes do 4º e 5º ano, as Guidelines para o TE e o ensino de Endodontia na UFP. A pesquisa bibliográfica foi efectuada através da base de dados PubMed, tendo sido utilizadas, em diferentes combinações, as seguintes palavras-chave: ”Endodontics”, “teaching”; “pre-clinical”; “undergraduate”; “Clinical”; “treatment” e “Europe”. O trabalho de investigação consistiu na elaboração, aprovação pela Comissão de Ética da UFP e posterior aplicação de um questionário destinado aos alunos do 4º e 5º ano do Mestrado Integrado em Medicina Dentária da FCS-UFP. A população estimada de alunos do 4º ano foi de 190 alunos e a de 5º ano de 150 alunos, o que perfaz um total de 340 alunos. Dos inquéritos respondidos, apenas foram considerados 338, uma vez que dois foram anulados pois continham respostas inválidas. Resultados: A “condição socioeconómica do paciente” foi considerada a causa menos relevante para avaliar um caso endodôntico, tendo sido apontada por 34,3% dos alunos. Assinala-se que 92% dos alunos de 4º ano e 93,3% dos alunos de 5º ano consideram que os molares superiores são os dentes mais difíceis de tratar, sendo a visibilidade uma das principais razões para esta opinião. O grau de dificuldade para a colocação do IA é definido como “Elevado” para a maioria dos alunos de 4º ano. A maior parte dos alunos de 5º ano considera que o grau de dificuldade para a “Determinação do tipo de reconstrução/prótese fixa mais indicada” é “Elevado”. O passo do TE onde os alunos do 4º ano se sentem mais confiantes é no “Diagnóstico de cárie”, sendo que os alunos do 5º ano se sentem mais confiantes ao realizar o “TE em dentes com 1 ou 2 canais”. O “Conteúdo leccionado nas aulas teóricas” foi considerado o principal aspecto positivo do ensino endodôntico. Por outro lado, o “Número de actos clínicos realizados” foi considerado o principal aspecto negativo, tanto para alunos de 4º como de 5º ano. Em ambos os anos, os principais pontos que os alunos acham que devem ser melhorados são o “Número de pacientes nas aulas clínicas” e a “Aprendizagem da técnica de instrumentação mecanizada/obturação termoplástica”. As principais preocupações referidas, tanto por alunos de 4º como de 5º anos, foram a “Insegurança na prática clínica” e a “Dificuldade em encontrar ofertas profissionais”. Relativamente à qualidade dos seus TE existe um número significativo de alunos do 5º ano que já se auto-avaliam como “Bons” (33,6%), por comparação com os do 4º ano (21,2%), sendo a auto-avaliação de “Razoável” dominante em ambos os anos de formação. Conclusões: Conclui-se que na disciplina de Endodontia na FCS-UFP, são seguidas as Guidelines da European Society of Endodontology (ESE), sendo que estas indicam o protocolo mais correcto a seguir durante o Tratamento Endodôntico Não-Cirúrgico (TENC). Contudo, o reduzido número de actos clínicos e a consequente falta de prática faz com que os alunos se sintam pouco confiantes ao iniciar a sua actividade profissional.

Improving Employment and Income through Development of Egypt’s Aquaculture Sector (IEIDEAS) project

The Swiss Agency for Development and Cooperation (SDC)-funded Improving Employment and Income through Development of Egypt’s Aquaculture Sector (IEIDEAS) project was implemented by WorldFish in partnership with CARE Egypt and the Egyptian Ministry of Agriculture and Land Reclamation from 2011 to 2014 and later extended to November 2015. The project focused on four governorates with significant aquaculture production (Kafr El Sheikh, Behera, Sharkia and Fayoum) and one governorate (El Mineya), where aquaculture was a new activity. The project was based on a value chain analysis conducted by WorldFish in September 2011 that identified the aquaculture value chain as a significant employer, particularly in rural areas. The analysis suggested that there was scope to increase employment of youth and women in the aquaculture sector The main objective was to increase aquaculture production by 10% and create 10,000 jobs. Other objectives included improving profitability for existing producers, securing employment for women fish retailers, expanding aquaculture in El Mineya and improving the policy environment for aquaculture.

On dangers to rational exploitation and development of the resources of the great lakes of Africa

The major dangers facing the resources of the Great Lakes of Africa include over exploitation, falling species diversity, accumulating pollution, and a probable decline in fishery productivity. These dangers may be viewed as accentuated by: i) Inadequate scientific knowledge on the exploited resources ii) Reluctance to apply even the limited scientific information available, by fishery administrators iii) Constant increase in the demand for fish and other aquatic resources. iv) Lack of commitment to active collaboration and co-operation by riparian states regarding development and management of the shared resources. This paper discusses the above factors in relation to the dangerous trends facing the resources of the Great Lakes of Africa. The discussion is intended to contribute to the promotion of rational and sustainable utilisation of the aquatic resources of these lakes.