International Telemetering Conference Proceedings / October 26-29, 1998 / Town & Country Resort Hotel and Convention Center, San Diego, California / The Test & Evaluation community is starting to migrate toward solid state recording. This paper outlines some of the important areas that are new to solid state recording as well as examining some of the issues involved in moving to a direct recording methodology. Some of the parameters used to choose a solid state memory architecture are included. A matrix to compare various methods of data recording, such as solid state and magnetic tape recording, will be discussed. These various methods will be evaluated using the following parameters: Ruggedness (Shock, Vibration, Temperature), Capacity, and Reliability (Error Correction). A short discussion of data formats with an emphasis on efficiency and usability is included.

International Telemetering Conference Proceedings / October 22-25, 2001 / Riviera Hotel and Convention Center, Las Vegas, Nevada / The DoD has recently mandated new acquisition, or procurement strategies for the research and development community. The policy includes using Non-Developmental Items (NDI) whenever feasible, as well as avoiding the use of proprietary sources. Such practices lesson time from specification to operation, ease of extensibility and progressive maintainability. In this paper we discuss the NDI and in-house designed test assets developed and implemented for testing the pods. Our time from specification to test was less then one year.

This thesis presents a critical analysis of normalisation by evaluation as a technique for speeding up compilation of typed functional programming languages. Our investigation focuses on the SML.NET compiler and its typed intermediate language MIL. We implement and measure the performance of normalisation by evaluation for MIL across a range of benchmarks. Taking a different approach, we also implement and measure the performance of a graph-based shrinking reductions algorithm for SML.NET. MIL is based on Moggi’s computational metalanguage. As a stepping stone to normalisation by evaluation, we investigate strong normalisation of the computational metalanguage by introducing an extension of Girard-Tait reducibility. Inspired by previous work on local state and parametric polymorphism, we define reducibility for continuations and more generally reducibility for frame stacks. First we prove strong normalistion for the computational metalanguage. Then we extend that proof to include features of MIL such as sums and exceptions. Taking an incremental approach, we construct a collection of increasingly sophisticated normalisation by evaluation algorithms, culminating in a range of normalisation algorithms for MIL. Congruence rules and alpha-rules are captured by a compositional parameterised semantics. Defunctionalisation is used to eliminate eta-rules. Normalisation by evaluation for the computational metalanguage is introduced using a monadic semantics. Variants in which the monadic effects are made explicit, using either state or control operators, are also considered. Previous implementations of normalisation by evaluation with sums have relied on continuation-passing-syle or control operators. We present a new algorithm which instead uses a single reference cell and a zipper structure. This suggests a possible alternative way of implementing Filinski’s monadic reflection operations. In order to obtain benchmark results without having to take into account all of the features of MIL, we implement two different techniques for eliding language constructs. The first is not semantics-preserving, but is effective for assessing the efficiency of normalisation by evaluation algorithms. The second is semantics-preserving, but less flexible. In common with many intermediate languages, but unlike the computational metalanguage, MIL requires all non-atomic values to be named. We use either control operators or state to ensure each non-atomic value is named. We assess our normalisation by evaluation algorithms by comparing them with a spectrum of progressively more optimised, rewriting-based normalisation algorithms. The SML.NET front-end is used to generate MIL code from ML programs, including the SML.NET compiler itself. Each algorithm is then applied to the generated MIL code. Normalisation by evaluation always performs faster than the most naıve algorithms— often by orders of magnitude. Some of the algorithms are slightly faster than normalisation by evaluation. Closer inspection reveals that these algorithms are in fact defunctionalised versions of normalisation by evaluation algorithms. Our normalisation by evaluation algorithms perform unrestricted inlining of functions. Unrestricted inlining can lead to a super-exponential blow-up in the size of target code with respect to the source. Furthermore, the worst-case complexity of compilation with unrestricted inlining is non-elementary in the size of the source code. SML.NET alleviates both problems by using a restricted form of normalisation based on Appel and Jim’s shrinking reductions. The original algorithm is quadratic in the worst case. Using a graph-based representation for terms we implement a compositional linear algorithm. This speeds up the time taken to perform shrinking reductions by up to a factor of fourteen, which leads to an improvement of up to forty percent in total compile time.

A supply of clean, carbon neutral and sustainable energy is the most scientific and technical challenge that humanity is facing in the 21st century. Though there is enough fossil fuels available for a few centuries, their use would increase the level of CO2 in the atmosphere. This would lead to global warming and may pose serious threats such as rising of sea level, change in hydrological cycle, etc. Hence there is a need for an alternative source of fuel that is clean and sustainable. Among the many resources considered as an alternative power source, hydrogen is considered one of the most promising candidates. To use hydrogen commercially, appropriate hydrogen storage system is required. Various options to store hydrogen for onboard use include gaseous form in high-pressure tanks, liquid form in cryogenic conditions, solid form in chemical or metal hydrides, or by physisorption of hydrogen on porous materials. One of the emerging porous materials are metal-organic frameworks (MOFs) which provide several advantages over zeolites and carbon materials because the MOFs can be designed to possess variable pore size, dimensions, and metrics. In general, MOFs adsorb hydrogen through weak interactions such as London dispersion and electrostatic potential which lead to low binding enthalpies in the range of 4 to 10 kJ/mol. As a result, cryogenic conditions are required to store sufficient amounts of hydrogen inside MOFs. Up to date several MOFs have been designed and tested for hydrogen storage at variable temperature and pressure levels. The overall results thus far suggest that the use of MOFs for hydrogen storage without chemical and electronic modifications such as doping with electropositive metals or incorporating low density elements such as boron in the MOFs backbone will not yield practical storage media. Such modifications are required to meet gravimetric and volumetric constraints. With these considerations in mind, we have selected a Cr-based MOF (MIL-101; Cr(F,OH)-(H2O)2O[(O2C)-C6H4-(CO2)]3•nH2O (n ≈ 25)) to investigate the impact of nickel inclusion inside the pores of MIL-101 on its performance in hydrogen storage. MIL-101 has a very high Langmuir surface area (5900 m2/g) and two types of mesoporous cavities (2.7 and 3.4 nm) and exhibits exceptional chemical and thermal stabilities. Without any modifications, MIL-101 can store hydrogen reversibly with adsorption enthalpy of 10 kJ/mol which is the highest ever reported among MOFs. At 298 K and 86 bar, MIL-101 can store only 0.36 wt% of hydrogen. Further improvement of hydrogen storage to 5.5 wt% at 40 bar was achieved only at low temperatures (77.3 K). As reported in the literature, hydrogen storage could be improved by doping metals such as Pt. Doping is known to improve hydrogen storage by spillover mechanism and Kubas interaction. Hence we proposed that doping MIL-101 with a relatively light metal possessing large electron density could improve hydrogen adsorption. Preferential Ni doping of the MIL-101’s large cavities which usually do not contribute to hydrogen uptake is believed to improve hydrogen uptake by increasing the potential surface in those cavities. We have used incipient wetness impregnation method to dope MIL-101 with Ni nanoparticles (NPs) and investigated their effect on hydrogen uptake at 77.3 K and 298 K, at 1 bar. In addition, the impact of metal doping on the surface area and pore size distribution of the parent MIL-101 was addressed. Metal content and NPs size was investigated by ICP and TEM, respectively. Furthermore, crystallinity of the resulting doped samples was confirmed by Powder X-ray Diffraction (PXRD) technique. The results of our studies on the successful doping with Ni NPs and their impact on hydrogen adsorption are discussed.

Dans un contexte où les carences en micronutriments constituent un problème majeur de santé publique touchant particulièrement les jeunes enfants, l'étude de la rétention et de la biodisponibilité du fer et du zinc dans les plats les plus fréquemment consommés peut constituer une stratégie de lutte contre les carences en ces minéraux. Une enquête de consommation alimentaire par pesées auprès de 630 enfants de 6 à 36 mois au Burkina Faso a permis de dégager les principales caractéristiques de l'alimentation de complément des jeunes enfants. Les résultats mettent en évidence une couverture des apports recommandés en fer et en zinc très faible, des apports élevés en fibres et en phytates. Le jour de l'enquête, plus de 90% des enfants avaient consommé du mil, du sorgho ou du maïs, essentiellement sous forme de tô, une pâte très consistante, de bouillie ou de galettes. Des suivis de préparation de ces plats dans les ménages ont permis d'identifier les principales opérations unitaires susceptibles d'avoir un effet sur les teneurs en fer et en zinc et leur biodisponibilité. Le décorticage traditionnel, manuel ou mécanique, entraine d'importantes pertes en fer (50% dans le mil pour 10% de perte de MS) et en zinc (23% dans le sorgho pour 7% de perte de MS). Les variétés biofortifiées présentent un comportement similaire, mais permettent tout de même une amélioration significative du rapport molaire phytate/zinc. La mouture, lorsqu'elle est réalisée à l'aide d'un moulin à meules, entraine une contamination en fer, allant jusqu'à tripler la teneur en fer initiale des grains. Mais la bioaccessibilité de ce fer est extrêmement faible. L'acceptabilité des variétés de mil biofortifiées, testées sur différents plats, reste inférieure à celle de la variété locale. L'amélioration des procédés combinée à l'utilisation de variétés biofortifiées pourrait être promue afin de contribuer à la lutte contre les carences en fer et zinc. / In contexts where micronutrient deficiencies are a major public health concern, the improvement of the retention and bioavailability of iron and zinc in dishes frequently consumed by young children could be part of a food-based strategy to combat these deficiencies. A food consumption survey using weighing records was carried out on 630 children from 6 to 36 months in Burkina Faso. This permitted to highlight the main characteristics of the children diet. Iron and zinc intakes were far below the recommended intakes. High fibre and phytate intakes were also observed. More than 90% of the young children consumed millet, sorghum or maize in the day of the survey. A detailed monitoring of the traditional processing of the cereal dishes permitted the identification of the main unit operations that could have an effect on iron and zinc content and bioavailability. Important losses in iron content (50% in millet for 10% DM loss) and zinc (23% in sorghum for 7% DM loss) were observed after traditional dehulling, either manual or mechanical. Biofortified varieties showed similar behaviour but their phytate/zinc molar ratio was still improved. During milling in local mill with grindstones, iron contamination occurred, and tripled the initial iron content. But the bioaccessibility of this contaminant iron was very low. The acceptability of the biofortified varieties of millet, tested on various dishes, was lower than that of the local variety. The improvement of the processing methods combined with the use of biofortified varieties could be advantageously promoted to contribute to alleviate iron and zinc deficiencies.

Este trabalho tem por objetivo analisar a utilização da noção de adab ( ), no \"Livro das Mil e Uma Noites\". Dividido em três capítulos, no primeiro deles tentamos recuperar, através de diferentes estudos dedicados ao tema, a evolução e a variedade de usos desse termo ao longo dos séculos. Essa abordagem visa, sobretudo, mostrar a dificuldade de fixar-se uma definição precisa para o termo, devido ao vasto corpus de adab e a variedade de assuntos que aborda. Num segundo momento, foi observada a presença do termo adab nas narrativas do chamado \"ramo sírio\" do Livro das Mil e Uma Noites. Essa observação teve como ponto de partida a advertência, contida em seu preâmbulo, de que suas histórias estariam \"plenas de adab. Tomando como referência os elementos associados ao termo neste preâmbulo fizemos um levantamento das formas de sua ocorrência e, em seguida, passamos a explorar de maneira mais detalhada sua função através da análise de uma narrativa em particular. Assim, encerramos o trabalho com a análise da história O segundo dervixe ( ), onde a presença desse termo é importante no desenvolvimento da trama. Dando destaque aos momentos da história onde o termo adab se faz presente, efetuou-se a sistematização e a análise de seus significados, enfatizando-se a representação feita por ela da figura do adb ( , o possuidor de adab). / This work aims to analyze the use of the concept of \'adab in the Arabic cycle of narratives known as \"Arabian Nights\". Divided into three chapters, the first of them try to recover, through different studies devoted to the subject, the evolution and variety of uses of the term throughout the centuries. This approach aims, mainly, to show the difficulty of a precise definition for the term, due to the vast corpus of \'adab and the variety of subjects it covers. Secondly, the presence of the word \'adab was observed in the narratives of the \"Syrian branch\" of the \"Book of the Thousand and One Nights\". This observation had as its starting point the warning contained in its preamble, that their stories were \"full of \'adab.\" Taking as reference the elements associated with the term in this preamble, we did a survey of the forms of their occurrence and then, we explore in more detail its function through the analysis of one specific narrative. Thus we closed the work with the analysis of the story \"The second dervish\", where the presence of this term is very important in the development of the plot. Highlighting the moments in history where the term \'adab is present, we performed the systematization and analysis of their meaning, emphasizing how it represents the figure of the \'adib (the possessor of \'adab).

A proposta deste trabalho é analisar os elementos sobrenaturais e mágicos presentes nas narrativas do núcleo fundador das Mil e uma noites e nas histórias inseridas ao livro, no século XVIII, pelo primeiro tradutor dessa obra, o francês Antoine Galland. Ao ter em mãos o manuscrito que, atualmente, é considerado o melhor e o mais antigo das Mil e uma noites, o orientalista francês não somente traduziu o núcleo mais antigo do livro, mas também inseriu novas histórias, algumas das quais, até o momento, não possuem um manuscrito árabe e, por isso, são chamados contos órfãos. Observa-se que tanto nas histórias do núcleo fundador como nas que foram inseridas por Galland os seres sobrenaturais e mágicos apresentam diferentes funções, veiculando valores e concepções socioculturais diferentes. Por isso, propõe-se neste trabalho a identificação, a descrição e a análise da função desses elementos sobrenaturais e mágicos nas narrativas em questão, observando tanto sua importância para o desenvolvimento da intriga como a construção de sentido que tais elementos promovem nos dois ciclos narrativos, elaborados em contextos socioculturais distintos. Com base nas narrativas em que os elementos sobrenaturais e mágicos desempenham um papel preponderante no enredo, delimitou-se para este trabalho um corpus de 23 histórias, o que permitiu observar amplamente as modificações das funções desses elementos nos diferentes textos, bem como os diferentes sentidos que eles constroem nas histórias dos dois ciclos narrativos. / The purpose of this research is to analyze the supernatural and magical elements available in the constitutive narratives of the founding nucleus of the Thousand and One Nights and the tales added to the book in the 18th century by its first translator, Antoine Galland. Since he acquired the manuscript, which is considered currently to be the oldest and the best one, the French orientalist not only translated the oldest collection of tales of the book, but also added new tales whose manuscripts were not found so far, for this reason, they were called \"orphan tales\". Comparing the tales belonging to the oldest collection of the book and the ones written by Galland, we conclude that the supernatural and magical beings play various roles transmitting different moral values and sócio-cultural conceptions. For this reason, we aim to identify, describe and analyze the roles of these elements in the narratives, taking into consideration their importance while generating the intrigue and the way they create meanings along the two narrative cycles built in various sócio-cultural contexts. After selecting the narratives in which the supernatural and magical elements play more influential roles in the storyline, we chose 23 tales as a corpus allowing us to observe clearly the role changes of the elements in each text.

At Saab Aerospace in Linköping, components for measurement systems to the fighter aircraft JAS 39 Gripen are developed. In this activity you sometimes want to record the traffic transmitted on the data busses that connects different sys-tems. This traffic on the data busses is using the military standard MIL-STD-1553. This project has aimed to create a system for recording and sending 1553-data. The system is used on an ordinary personal computer, equipped with a recon- figurable I/O card that among others has a programmable logic circuit (FPGA). The recorded data are stored on a hard drive. The system has a graphical user interface, where the user can configure different methods of filtering the data, and other preferences. The completed system has currently the capacity to record one channel. This works excellent and the system basically meets all the requirements stated at the start of the project. By using this system instead of the commercial available systems on the market one will get a competitive alternative. If the system where to be developed further, with more channels, it would get even more price worth. Both in case of price per channel, but also in functionality. This is because it is possible to design exactly the functions the user demands. But the current version is already fully functional and competitive compared to commercial systems.

<p>At Saab Aerospace in Linköping, components for measurement systems to the fighter aircraft JAS 39 Gripen are developed. In this activity you sometimes want to record the traffic transmitted on the data busses that connects different sys-tems. This traffic on the data busses is using the military standard MIL-STD-1553. </p><p>This project has aimed to create a system for recording and sending 1553-data. The system is used on an ordinary personal computer, equipped with a recon- figurable I/O card that among others has a programmable logic circuit (FPGA). The recorded data are stored on a hard drive. The system has a graphical user interface, where the user can configure different methods of filtering the data, and other preferences. </p><p>The completed system has currently the capacity to record one channel. This works excellent and the system basically meets all the requirements stated at the start of the project. By using this system instead of the commercial available systems on the market one will get a competitive alternative. If the system where to be developed further, with more channels, it would get even more price worth. Both in case of price per channel, but also in functionality. This is because it is possible to design exactly the functions the user demands. But the current version is already fully functional and competitive compared to commercial systems.</p>

Dissertação (mestrado)—Universidade de Brasília, Faculdade de Educação, Departamento de Pós-Graduação, Mestrado Profissional em Educação, 2015. / Submitted by Fernanda Percia França (fernandafranca@bce.unb.br) on 2016-04-07T16:50:37Z No. of bitstreams: 1 2015_FabieneBritoMendesTeles.pdf: 2234638 bytes, checksum: 33a20a4fb73aebe46f1654f44dc531cd (MD5) / Approved for entry into archive by Raquel Viana(raquelviana@bce.unb.br) on 2016-04-07T21:08:13Z (GMT) No. of bitstreams: 1 2015_FabieneBritoMendesTeles.pdf: 2234638 bytes, checksum: 33a20a4fb73aebe46f1654f44dc531cd (MD5) / Made available in DSpace on 2016-04-07T21:08:13Z (GMT). No. of bitstreams: 1 2015_FabieneBritoMendesTeles.pdf: 2234638 bytes, checksum: 33a20a4fb73aebe46f1654f44dc531cd (MD5) / As políticas públicas são ações do governo com vistas a promover o desenvolvimento social. Nesse sentido, as políticas públicas, vinculadas à educação, trabalho e emprego têm crescido nos últimos anos. O presente estudo tem o objetivo de analisar a inserção das egressas no mundo do trabalho, analisando o Programa Mulheres Mil no Instituto Federal do Norte de Minas Gerais – IFNMG - Câmpus Salinas. Trata-se de um estudo com abordagem qualitativa e quantitativa, sendo utilizado para a coleta de dados à técnica do grupo focal, questionário/visitas in lócus e análise de materiais institucionais, respectivamente. A amostragem intencional é composta pelas beneficiárias certificadas no ano de 2012. As participantes da abordagem qualitativa totalizaram 61 mulheres de um conjunto de 72. Já as egressas que participaram do grupo focal somaram oito beneficiárias, escolhidas aleatoriamente, por meio de sorteio. A análise e representação dos dados quantitativos foram feitos através de quadros e gráficos, com o uso do programa Excel. Os dados qualitativos foram categorizados e analisados através da técnica de análise de conteúdo. Constatou-se que os cursos ofertados apresentaram deficiência na estruturação e desenvolvimento, repercutindo na qualificação das alunas. Os resultados obtidos revelam que as certificadas foram inseridas relativamente no mundo do trabalho, sendo que parte delas conseguiu ingressas no mercado de trabalho e obtiveram uma melhora tênue na renda familiar, após a certificação. Somando-se a isso, 15% das mulheres retornaram aos estudos depois de participarem do programa. As educandas relatam as seguintes contribuições: elevação da autoestima, interatividade, aquisição de conhecimentos ligados aos direitos da mulher, reconhecimento e valorização por parte da família e amigos, além de informações relativas à qualificação. Ao término deste estudo, propõem-se um questionário intitulado Mulheres Mil: Ouvir para Transformar. O mesmo será entregue ao IFNMG – Câmpus Salinas, afim de que a instituição desenvolva suas ações tendo um respaldo concreto, com base nos sentimentos e respostas apreendidos mediante questionário aplicado ao final dos cursos ofertados. Dessa forma, a direção do campus, gestão do programa, equipe pedagógica, comunidade escolar, beneficiárias e sociedade salinense poderão acompanhar e ter retorno do desenvolvimento do programa e da maneira que as egressas do Programa Mulheres Mil estão vivendo diante do mundo do trabalho. / The public politics are government actions aimed at promoting social development. In this way, public politics related to education, labor and employment have grown in recent years. This study aims to analyze the integration of graduates into the labor market, analyzing the program “Mulheres Mil” in the Instituto Federal do Norte de Minas Gerais - IFNMG - Campus Salinas. It is a study of qualitative and quantitative approach. It was used for data collection to the technique of focus groups, survey / in-locus visits and analysis of institutional materials, respectively. The intentional sample is made up by the beneficiary certified in 2012. The participants of the qualitative approach amounted to 61 women a set of 72. As for the graduates who participated in the focus group totaled eight beneficiaries randomly chosen by lot. The analysis and representation of quantitative data were made through tables and graphs, using the Excel program. Qualitative data were categorized and analyzed through the content analysis technique. It was found that the offered courses presented deficiency in the structuring and development, reflecting on the qualification of the students. The results show that certified were inserted relatively into the labor market , and part of them could get in the labor market and obtained a fine improvement in family income, after certification . Adding to this, 15% of women returned to education after participating in the program. The educandas reported the following contributions : elevated self-esteem, interactivity, acquisition of knowledge related to women's rights , recognition and appreciation from family and friends, as well as information relating to the qualification.At the end of this study, we propose a questionnaire titled “Mulheres Mil”: Listen to transform. This questionnaire will be delivered to IFNMG - Campus Salinas, in this way the institution could develop their actions having a concrete support on the basis of feelings and responses seized by questionnaire at the end of the courses offered. Thus, the direction of the campus, program management, teaching staff, school community, beneficiaries and the local society can follow the graduate women. They can also have a return of the program development and the way that the graduates of the “Mulheres Mil” Program are facing the labor market.