Made available in DSpace on 2016-06-02T19:46:32Z (GMT). No. of bitstreams: 1 592.pdf: 666034 bytes, checksum: a7eb721ac07da78d431e418a8eeadcfc (MD5) Previous issue date: 2005-02-28 / Financiadora de Estudos e Projetos / The repertoire of social skills of blind and sighted children can be different from each other, inasmuch as the absence of the sense of sight prevents the blind children from using the same resources as those commonly used by the sighted ones, for example the visual imitation in the process of learning social skills and behaviors. The area of Social Skills Training (SST) was the theoretical and practical reference for this study, whose general aim was to describe and characterize the social performances of two identical twins aged ten years old: Célia, who is blind; and Virna, who is sighted. In addition, the beliefs and educational practices of their mother, who is their main caregiver, were identified. The data were obtained by conducting an interview with the mother as well as by filming the children during free situations. A transcript was made of the mother s answers to the questions from the interview script, and then the content was analyzed by theme. According to a protocol for observing the free situations, the films were assessed so that the children s performances enabled to infer the categories of social skills. The results showed that the mother considers that Virna is more independent to perform certain activities, while Célia requires more care and attention, besides being more subject to restrictions. The results also showed that the sighted child presented a wider and more refined repertoire of social skills in relation to her sister. From the data, it is possible to conclude that blind and sighted children have distinct social skills repertories, and the existing differences can be related to the blind variable as well as to the differences in the way the caretaker stimulates the children. Therefore, it is considered important to plan programs aiming to maximize the social development of visually impaired children, including social skills training and advices for the caregivers. / O repertório de habilidades sociais de crianças cegas e videntes pode ser diferente, uma vez que a ausência do sentido da visão impede que as crianças cegas utilizem recursos comumente utilizados pelas crianças videntes, como, por exemplo, a imitação visual durante o processo de aprendizagem de habilidades e comportamentos sociais. A área do Treinamento de Habilidades Sociais (THS) foi a referência teórica e prática do presente estudo, cujo objetivo geral foi o de descrever e caracterizar o desempenho social de duas crianças, gêmeas idênticas, com dez anos de idade: Célia, que é cega; e Virna, que é vidente. Além disso, foram identificadas as crenças e práticas educativas da mãe, principal cuidadora dessas crianças. Os dados foram obtidos por meio da realização de uma entrevista com a mãe, bem como por meio de filmagens das crianças em situações livres. As respostas da mãe referentes às questões do roteiro de entrevista foram transcritas, procedendo-se, então, uma análise de conteúdo por tema. A filmagem foi avaliada de acordo com um protocolo de observação das situações livres, de modo que os desempenhos das crianças possibilitaram inferir as classes de habilidades sociais. Os resultados mostraram que a mãe considera que Virna é mais independente ao desempenhar determinadas atividades, enquanto que Célia requer maior número de cuidados, além estar sujeita a um número maior de restrições. Os resultados mostraram, ainda, que a criança vidente apresentou repertório de habilidades sociais mais amplo e refinado do que o de sua irmã. Com base nos dados, é possível concluir que crianças cegas e videntes possuem repertórios de habilidades sociais distintos, sendo que as diferenças existentes podem estar relacionadas tanto à variável cegueira quanto às diferenças na maneira como a cuidadora estimula as crianças. Dessa forma, considera-se indicado o planejamento de programas que visem maximizar o desenvolvimento social de crianças deficientes visuais, incluindo os de treinamento das habilidades sociais e de orientação para pais.

[pt] A programação de máquinas é um processo de tomada de decisão que desempenha um importante papel na maioria das indústrias de manufatura e serviços. Esta dissertação aborda o problema de programação de máquinas paralelas idênticas sem preempção, considerando características da programação de data de liberação e data limite para execução do início das tarefas, restrição de precedência entre pares de tarefas, elegibilidade e disponibilidade de máquinas. Para resolver este problema, uma formulação de programação linear inteira mista é proposta. O novo modelo, chamado de bucket-indexed (BI), particiona o horizonte de planejamento em períodos de tempos de mesmo tamanho (buckets). O tamanho dos buckets é um par âmetro que varia de acordo com a instância e influencia o porte do modelo, podendo assumir valores entre 1 e o menor tempo de processamento das tarefas. Quanto maior o tamanho do bucket, menor é o número de buckets criados e, consequentemente, menor o porte do modelo. A formulação proposta é testada em instâncias reais referentes ao problema de programação de sondas para construção de poços de petróleo de uma indústria brasileira de óleo e gás. A fim de avaliar os resultados obtidos pela formulação BI, a formulação clássica time-indexed (TI) foi também implementada para comparação dos tempos computacionais e qualidade da solução. Os resultados da formulação proposta apontam um melhor desempenho nas instâncias testadas, reduzindo o tempo computacional em todos os casos e resolvendo instâncias de grande porte não resolvidas pela formulação TI. / [en] Machine scheduling is a decision-making process that plays an important role in most manufacturing and service industries. This dissertation tackles a nonpreemptive identical parallel machine scheduling problem, considering release dates, deadlines, precedences, eligibility, and machine availability constraints. To solve this problem, a mixed-integer linear programming formulation is proposed. The new model, called bucketindexed, partitions the planning horizon in periods of equal length (buckets). The bucket size is a parameter which varies according to instances and influences the model size, assuming values between 1 and the shortest processing time of jobs. The larger the bucket size, the smaller is the number of buckets created and, consequently, the smaller the model size. The proposed formulation is tested in real instances of the rig scheduling problem for a Brazilian oil and gas industry. To evaluate the results obtained by the BI formulation, the classical time-indexed (TI) formulation was also implemented for comparison of computational times and solution quality. The results of the proposed formulation highlight a better performance in all the tested instances, reducing computational time in all cases and solving large instances unsolvable by the TI formulation.

本論文寫作之問題意識，乃基於對儒學在現代社會角色定位與未來走向之反思。在當代，儒學雖逐漸建立作為學術理論的地位，同時也與一般民眾思想、生活漸行漸遠，這種與傳統儒學化成理想有落差的情況，對在現代仍認同儒學或以儒家自許者，成為一個不得不面對的真實問題。從逆覺體證到理一分殊新釋之理論演變，正在尋求其因應之道。此現代新儒學之內部理論發展，內容是走向日用常行化與廣義道德實踐之建立，理一分殊作為方法架構，亦具有應用在種種不同觀點的普遍意義。 首先，就理一分殊新釋而言，一切文化創造活動都屬分殊，只能「通於」、而不能「同於」理一。良知坎陷的範圍也應擴及逆覺體證的行為實踐領域。包括道德行為在內的一切人類活動，都已是理一在某個時空之具體落實，具有侷限而不再等同於無限，但雖不可等同於無限，卻又通於無限。一切人文活動都可通於理一，但因「通」的型態不同，故定位也各異。逆覺體證是「逆」或「返」於理一之「通」，重點在契接、體悟理一；其他人文活動是「順」或「發」自理一之「通」，重點在承繼或順應理一之動用，成就現實生活中的各種價值創造。既然都是「通」於而非「同」於理一，就不必強分高下而可同時並重。儒家作為成德之學的道德實踐概念內涵，就不僅限於由逆覺所體證而發之於道德行為之狹義的道德實踐，而可涵蓋一切正面價值創造活動，成為一種廣義的道德實踐。 這種廣義的道德實踐，是具有基本道德操守而同時以仁心與生生之精神為終極託付的人生態度，凡認同此態度而不斷從事正面價值創造者，不論是學者、藝術家、科學家等任何職業與身分，都是現代意義下的儒者。從事儒家思想研究工作而又同時具有以上生活態度的現代新儒學，即取得在儒學架構下的正當性與必要性。儒家的理想仍然嚮往與追求聖賢境界，卻不再是作為儒者的唯一條件，這是使逆覺體證由聖賢工夫走向日用常行化的轉向。 就廣義道德實踐的立場，內聖是指以仁心與生生精神為終極託付，外王雖主要指涉政治領域，亦可延伸至以仁心與生生為前提，而從事商業、學術、藝術等活動。這種廣義道德實踐的另一個理論效應，則是基於良知與見聞的辯證關係，以及朱子對人之有限性的警覺，將朱子與象山的先後天修養工夫同時並重，而統合於陽明的良知教之下。廣義的道德實踐是以生生之仁為出發點，有關此普遍人性之內涵，牟宗三先生指出是一種心性情合一之普遍道德主體，並以由本心自定自發律則而具現於行為之動態過程，亦即「實踐上的印證」，說明此道德主體之具體化問題。至於道德意識普遍性之證成的落實問題，則需要劉述先先生參與全球倫理運動的「共識上的印證」作補充。這是藉由存異求同的理一分殊方法，與世界各大宗教文化進行平等的對話，從中所得到的共通於各大傳統之極小式的底限共識，亦即人道與金律，可作為說明落實問題之一種可能途徑。 逆覺體證本質上是從工夫論導出哲學理論之系統。可使儒學在指引效力之外逐漸展現出解釋效力，成為一種可以在學術上掌握與論析的理論系統。理一分殊的方法論為這種走向之延續。理一作為人文學科中的規約原則，有別於經驗科學的歸納（induction），因為歸納的方式是取同略異，理一分殊秉持的是存異求同之精神。筆者即嘗試就如何順成朱子所謂「去兩短，合兩長」，以及內聖外王雙向互動之兩行，作為這種方法論應用的實例。這兩個觀點雖非理一分殊新釋之內容，卻可藉由其方法予以證成，正可說明理一分殊方法的普遍意義。 / Nowadays, the situation of Confucianism is rather dubious. It used to be the guidelines of politics and everyday life in Chinese society. However, Confucianism is now not as influential as it was before. Its practical role has given way to theoretical one. This phenomenon, for many, means the loss of the essence of Confucianism. In my opinion, the prospect of turnaround lies in the development of ni-chüeh-t'i-cheng to the New Interpretation of li-i-fen-shu. The content of this progress can be divided into three: the secularization of moral practice, the wide-ranging creation of values and a formation of methodology. At first, ni-chüeh-t'i-cheng emphasizes the request of being sages while the New Interpretation of li-i-fen-shu focuses on the obedience to rules of law and decorum. As a result, the moral practice of Contemporary Neo-Confucian Philosophy is easy for normal people to abide by. Secondly, the New Interpretation of li-i-fen-shu advocates not so much moral practice as the creation of values. Accordingly, people belonging to every walk of life are regarded as a Neo-Confucian on condition that he or she has faith in jen(humanity) and sheng-sheng(creative creativity). Taken together, these theses indicate that Contemporary Neo-Confucian Philosophy tends to lives of modern people. Finally, ni-chüeh-t'i-cheng is a kind of kung-fu-lun which doubles as a academic theory. Nevertheless, li-i-fen-shu has a facet of methodology. I manage to apply this methodology to two issues in Confucianism: the necessity of ch’u-liang-tuan, ho-liang-ch’ang by Chu-Hsi and the interaction between nei-shen and wai-wang. The significance of li-i-fen-shu will be highlighted if my analysis is justified.

La population canadienne-française a une histoire démographique unique faisant d’elle une population d’intérêt pour l’épidémiologie et la génétique. Cette thèse vise à mettre en valeur les caractéristiques de la population québécoise qui peuvent être utilisées afin d’améliorer la conception et l’analyse d’études d’épidémiologie génétique. Dans un premier temps, nous profitons de la présence d’information généalogique détaillée concernant les Canadiens français pour estimer leur degré d’apparentement et le comparer au degré d’apparentement génétique. L’apparentement génétique calculé à partir du partage génétique identique par ascendance est corrélé à l’apparentement généalogique, ce qui démontre l'utilité de la détection des segments identiques par ascendance pour capturer l’apparentement complexe, impliquant entre autres de la consanguinité. Les conclusions de cette première étude pourront guider l'interprétation des résultats dans d’autres populations ne disposant pas d’information généalogique. Dans un deuxième temps, afin de tirer profit pleinement du potentiel des généalogies canadienne-françaises profondes, bien conservées et quasi complètes, nous présentons le package R GENLIB, développé pour étudier de grands ensembles de données généalogiques. Nous étudions également le partage identique par ascendance à l’aide de simulations et nous mettons en évidence le fait que la structure des populations régionales peut faciliter l'identification de fondateurs importants, qui auraient pu introduire des mutations pathologiques, ce qui ouvre la porte à la prévention et au dépistage de maladies héréditaires liées à certains fondateurs. Finalement, puisque nous savons que les Canadiens français ont accumulé des segments homozygotes, à cause de la présence de consanguinité lointaine, nous estimons la consanguinité chez les individus canadiens-français et nous étudions son impact sur plusieurs traits de santé. Nous montrons comment la dépression endogamique influence des traits complexes tels que la grandeur et des traits hématologiques. Nos résultats ne sont que quelques exemples de ce que nous pouvons apprendre de la population canadienne-française. Ils nous aideront à mieux comprendre les caractéristiques des autres populations de même qu’ils pourront aider la recherche en épidémiologie génétique au sein de la population canadienne-française. / The French Canadian founder population has a demographic history that makes it an important population for epidemiology and genetics. This work aims to explain what features can be used to improve the design and analysis of genetic epidemiological studies in the Quebec population. First we take advantage of the presence of extended genealogical records among French Canadians to estimate relatedness from those records and compare it to the genetic kinship. The kinship based on identical-by-descent sharing correlates well with the genealogical kinship, further demonstrating the usefulness of genomic identical-by-descent detection to capture complex relatedness involving inbreeding and our findings can guide the interpretation of results in other population without genealogical data. Second to optimally exploit the full potential of these well preserved, exhaustive and detailed French Canadian genealogical data we present the GENLIB R package developed to study large genealogies. We also investigate identical-by-descent sharing with simulations and highlight the fact that regional population structure can facilitate the identification of notable founders that could have introduced disease mutations, opening the door to prevention and screening of founder-related diseases. Third, knowing that French Canadians have accumulated segments of homozygous genotypes, as a result of inbreeding due to distant ancestors, we estimate the inbreeding in French Canadian individuals and investigate its impact on multiple health traits. We show how inbreeding depression influences complex traits such as height and blood-related traits. Those results are a few examples of what we can learn from the French Canadian population and will help to gain insight on other populations’ characteristics as well as help the genetic epidemiological research within the French Canadian population.

國中基測實施迄今已十年，但是各種多元管道仍以國中基測量尺分數作為分發篩選之重要參據，多元能力評量參採比重偏低，國中學生升學競爭壓力未得緩解。本研究透過數學與統計分析的工具，尋找採用學生在校成績的方法，希望能找出更好的方式來代表學生在校三年的學習現況與學習成果，以做為免試升學採計在校成績的參考與依據。 本研究主要目的是要探討如何取決各科在校成績的權重(也就是在每個科目的分數之前乘上一個加權比重係數)，以求得一個新的合成變量(由數個科目分數組成的線性組合)，並用這個新合成變量做為學生在校的“綜合學科能力表現分數”，代表學生在校三年的基本學習能力及程度。 研究方法運用主成份分析與典型相關分析的觀念，但因限制條件設定的範圍與傳統主成分分析及典型相關分析的要求不一致，因此，我們便將所用的研究方法命名為「類主成分分析」與「類典型相關分析」。 研究中，方法主要在比較「類主成分分析」、「主成分分析」、「類典型相關分析」、以及「典型相關分析」四種方法與一般學校常用的「等加權比重」算平均成績的方法之分別；了解這些不同加權機制對同一所學校內學生的學科加權平均分數之成績排名百分比結果，以及與基測排名結果的差異。 「類主成份分析」研究結果發現，各科學科成績中變異數大的科目將獲得較大的權重比例，成為主導學生加權平均成績中舉足輕重的科目。另外；運用「類典型相關分析法」所求得的典型相關係數，其結果與傳統典型相關分析法以及使用最佳數值分析軟體(GAMS)所得的典型相關係數完全相同。 本研究最重要的貢獻之一，是我們在「類典型相關分析法」中證明並推導出一個求得各科權重的公式，只要使用此公式代入簡單的MATLAB程式，其所得的權重結果與最佳化數值分析軟體(GAMS)所得的結果完全相同，但花費的計算時間及成本卻遠少於GAMS所需，是一個求權重極便捷的方法，讀者可以在本論文附錄7.5.2或政大應數系網站上下載此程式。本研究最後結論也發現，類主成份分析的變異解釋率是所有方法中較高的；與基測總分結果較相近的則是類典型相關分析所得的權重機制；而等加權方法所得的排名結果則與基測排名結果差異最小。 / The BCTEST (Basic Competence Test) for junior high school students has been implemented for ten years, however, the screenings for a variety of entrance programs are still based on the scale scores of the BCTEST with a low proportion of multi-intelligence. Hence, the competitive entrance pressure for junior high school students remains un-relieved. In view of this, via mathematics and statistics, this study is to explore an alternative approach which can not only reflect students' in-school grade, their learning situations and achievements but also represent a reference for entering senior high schools and junior colleges without entrance examinations. The purpose of this study is to determine the different weightings of five learning subjects (that is, multiply the score of each subject by a weighted coefficient) and acquire a new composite variable from the linear combinations of five learning subjects. Then, use this new composite variable as the synthetic score of students' in-school academic performance. Principal Component Analysis and Canonical Correlation Analysis are used in this study. Due to inconsistent restraints, the other two approaches we use are based on the concept of previously mentioned methodologies and denominated Principal Component Type of Analysis and Canonical Correlation Type of Analysis. In the study, we compare with the different results of Principal Component Analysis, Principal Component Type of Analysis, Canonical Correlation Analysis, Canonical Correlation Type of Analysis and identical weighted method to realize how these different weighted schemes affect the rankings of students from the same school on both their weighted in-school grade and scores of the BCTEST (Basic Competence Test). The outcomes of Principal Component Type of Analysis show that subjects with greater variance acquire larger weightings and play a dominant role in weighted in-school grade. Moreover, the correlation coefficients of Canonical Correlation Type of Analysis are completely the same as the ones of Canonical Correlation Analysis and GAMS. One of the most important contributions in this study is we have proven and derived a formula to acquire different weightings of five learning subjects by using Canonical Correlation Type of Analysis. The acquired weightings are completely the same as the ones of GAMS with less time consuming. Readers can download this program in appendix 7.5.2 or from the website of Department of Mathematical Sciences, National Chengchi University(NCCU). We have also found that, the explanation rate of variance obtained from Principal Component Type of Analysis is the highest; the weighted scheme of Canonical Correlation Type of Analysis is more similar to the scores of the BCTEST; the difference of the rankings between identical weighted method and the BCTEST is the smallest.

Ce travail de thèse a concerné l’étude du comportement de nanoparticules d’électrocatalyseurs à base de Pt et Co déposées sur carbone de grande aire développée (Pt/C, PtCo/C et Pt3Co/C) en conditions représentative d’un fonctionnement à la cathode d’une pile à combustible à membrane échangeuse de protons. Dans une première phase, des électrodes modèles de ces matériaux ont été préparées sur des embouts de carbone vitreux compatibles avec une utilisation en montage d’électrode à disque tournant en milieu acide sulfurique, pour étudier l’évolution des performances électrochimiques (adsorption/désorption de l’hydrogène, Hupd, électrooxydation d’une monocouche de CO adsorbée à la surface du catalyseur : « CO-stripping », cinétique d’électroréduction de l’oxygène) après cyclage accéléré de potentiel (0,1 à 0,9 V vs. RHE et 0,6 à 0,9 V vs. RHE par créneaux d’une minute à chaque potentiel). Ces mesures électrochimiques ont été complétées par des observations statistiques par microscopie électronique en transmission (TEM) et fluorescence X (X-EDS) avant/après ces vieillissements sur des prélèvements représentatifs des couches actives. Les résultats montrent que le cobalt est irréversiblement oxydé/dissous des alliages Pt-Co et que la maturation d’Ostwald advient (pour le Pt) spécialement lorsque la borne inférieure de potentiel est fixée à 0,1 V vs. RHE. Ces mesures statistiques ont été confirmées par des expériences de MET en localisation identique (ILTEM), dans lesquelles les mêmes nanoparticules sont physiquement observées avant/après électrochimie réalisée sur la grille de microscopie[1]. Dans un second temps, des vieillissements identiques ont été mis en œuvre sur les mêmes matériaux électrocatalytiques en électrolyte polymère (Nafion), plus représentatif des conditions PEMFC, par utilisation d’une ultramicroélectrode à cavité et d’une « cellule sèche » dans laquelle le seul électrolyte est le Nafion (il n’y a donc pas d’électrolyte liquide). Dans ces conditions, plus proches des conditions réelles de fonctionnement d’une PEMFC, les mécanismes de dégradations sont différents de ceux observés en présence (d’excès) d’électrolyte liquide, parce que (entre autre), les ions Pt2+ formés à haut potentiel sont piégés dans le ionomère et donc plus faciles à redéposer sur les nanoparticules restantes. Le changement de morphologie (et composition) des nanoparticules de Pt/C (et Pt-Co/C) n’est donc pas identique en milieu H2SO4 et en milieu Nafion, ce qui montre que les tests réalisés en condition de laboratoire (en électrolyte liquide) ne sont pas forcément représentatifs de ce qui advient en PEMFC. Par extension, cette cellule sèche a été mise en œuvre pour mesurer les propriétés électrocatalytiques des différents électrocatalyseurs et, une fois encore, le milieu électrolyte liquide ne rend pas compte des performances observées en milieu « polymère ». Ces mesures ont été complétées par des observations statistiques en MET. Enfin, et il s’agit d’une innovation conséquente propre à ce travail, la méthode ILTEM a été employée pour des grilles de microscopie (supportant les électrocatalyseurs) n’ayant été utilisées qu’en interface avec un électrolyte polymère. Cela a permis de confirmer de manière quantitative et sur les mêmes grains de carbone / nanoparticules de Pt (ou Pt-Co) que les dégradations observées en milieu électrolyte liquide ne rendent pas compte de celles advenant en milieu polymère, la présence d’eau liquide jouant un rôle déterminant dans le premier cas (dissolution des espèces Pt2+/Co2+, oxydation du carbone, etc.). / In this study the oxygen reduction reaction (ORR) activity of Pt/C, Pt3Co/C and PtCo/C electrocatalysts supported on high surface area carbon (Vulcan XC-72) was correlated to their structural, morphological and compositional changes experienced after accelerated aging tests. The electrolytes were sulfuric acid at several concentrations and Nafion® ionomer membrane. These tests are based on different protocols that consisted of stepping the potential or keeping the electrode polarized at fixed potentials. The protocols which used steps consisted of stepping the potential during 1 minute for 15 hours overall successively between 0.9 and 0.1 V vs. ERH, 0.9 and 0.6 V vs. ERH, 1.05 and 0.10 V vs. ERH and 1.05 and 0.65 V vs. ERH. For the aging at fixed polarization (15 hours), the following potentials were used: 0.9, 0.6 and 0.1 V vs. ERH. After the 0.9 – 0.1 V vs. ERH aging in aqueous acidic solution, the Pt-Co/C catalysts showed no changes in the activity, while for Pt/C an improvement was seen. However for 1.05 – 0.10 V vs. ERH for Pt/C there was also an improvement while for the other catalysts there was a decrease of the activity. For all other protocols, a loss in activity was observed for all catalysts. Transmission electron microscopy (TEM) coupled with X-ray energy dispersive spectroscopy (X-EDS) analyses were used to characterize the as received and aged catalysts. A particularity of this work is the use of identical location transmission electron microscopy (ILTEM) technique, with the objective of analyzing the same electrode regions or particles before and after the accelerated ageing processes, so that it was possible to follow all the morphological, structural and compositional changes caused by the catalyst aging processes. The catalysts were compared before and after aging regarding the mean particle size, shape, particle density and composition and correlating these with the catalytic activity. Generally it was observed that the degradation correspond to carbon corrosion, coalescence, dissolution and re-precipitation of the catalyst particles for all aging protocols. The Pt/C catalyst, for example, for which an increase of particle mean size without any negative effect of agglomeration was observed, presented an improvement of the catalytic activity, while Pt-Co/C, in spite of the increase of the mean particle size and cobalt dissolution, presented worse or at most the same activity as that of the uncycled materials. Finally, the degradation mechanisms of the electrocatalysts aged in dry electrochemical environment using a Nafion® 115 membrane as polymer electrolyte were characterized by Identical Location Transmission Electron Microscopy, in conditions that perfectly mimic real PEMFC operation. The structural, morphological and compositional changes of the nanoparticles occurring during an accelerated stress test were bridged to changes of their intrinsic kinetics towards the oxygen reduction reaction in Nafion® 115 electrolyte, thanks to an ultramicroelectrode with cavity loaded with the catalyst. The unique setup used herein further enabled to compare the Nafion® environment with conventional liquid electrolyte in which accelerated stress tests are usually performed. Although the nanoparticles are modified upon ageing at Nafion® interface, the degradation processes are milder and different than those observed in liquid electrolyte, mostly following the absence of liquid water and the lack of ion mobility within the Nafion® membrane.